黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2019年02月17日(日)
OokuboTact 大久保中二病中年 @OokuboTact
「バナタル」でツイート検索したけど、バナッハ＝タルスキをバナタルで略している人かなりいる。
タグ：
posted at 00:07:36
Fortranもできる
www.nag-j.co.jp/fortran/tips/t...
Juliaもできる twitter.com/a33554432/stat...
タグ：
posted at 00:16:26
非公開
タグ：
posted at xx:xx:xx
#数楽 Stirling-Binetの公式
log Γ(x+1) = x log x - x +(1/2)log x + log√(2π) + φ(x),
φ(x) = ∫_0^∞ (1/(e^t-1)-1/t+1/2) e^{-xt} t^{-1} dt
の証明は、Hurwitzのゼータ函数の偏微分係数に関するLerchの定理
log Γ(x) = ζ_s(0,x) + log√(2π)
経由が易しい。
twitter.com/genkuroki/stat...
タグ： 数楽
posted at 00:38:18
#数楽 (3) Lerchの定理の証明は、ヴェイユさんが楽しんで書いたと言っている本
A.ヴェイユ著『アイゼンシュタインとクロネッカーによる楕円関数論』
の第VII章§9(pp.70-73)にあります。その証明の実質コピペが
genkuroki.github.io/documents/Calc...
にある(添付画像)。 pic.twitter.com/PYsmjDvM9B
タグ： 数楽
posted at 00:38:21
ごまふあざらし(GomahuAzaras @MathSorcerer
np.inf にも代入できる模様 pic.twitter.com/cgAbO2r4C2
タグ：
posted at 00:55:36
非公開
タグ：
posted at xx:xx:xx
『彼や、彼に同調している若い人たちのアカウントのプロフィール欄は、どれも同じような特徴を持っていて、それはいわゆるインフルエンサー界隈やオンラインサロンを運営している人々のプロフィールの作り方と酷似している』
(「彼」=アメリカ横断中学生)
note.mu/toda_makoto/n/...
タグ：
posted at 01:11:41
ごまふあざらし(GomahuAzaras @MathSorcerer
@ceptree @nekomath271828 @jaialkdanel @tdualdir きゅ〜？
タグ：
posted at 01:12:05
非公開
タグ：
posted at xx:xx:xx
論理的に破綻しているルールなんか押しつけたら、それこそ算数教育（もっと言えばその先の数学教育に）に有害だとは考えないのだろうか？
分からない子にはルール.. togetter.com/li/1319611#c59...
「かけ算の順序 教育を研究しているらしい人とのやりとり」togetter.com/li/1319611 にコメントしました。
タグ：
posted at 01:22:26
「悪魔の飽食」は「パイオニア」ではありますが、少なくとも私の中では「参考文献」の扱いです。私が示した「これだけの根拠」の中にも、「悪魔の飽食」関連はひとつも入っていませんよね。yu77799.g1.xrea.com/#731 twitter.com/shindoP/status...
タグ：
posted at 03:26:13
どうしてパイオニアである「本書より前に出た」資料を問題にするのかよくわかりません。「パイオニア」ですから、それ以前の資料が乏しいのは当たり前。私が採り上げているのも、大半は、その後に発見された資料です。
タグ：
posted at 03:28:57
なお「裁判」云々の文字が見えましたが、「731」の記述をめぐる家永教科書裁判では、「悪魔の飽食」前後の時点で、「731」に関してどれだけの裏付け資料が揃っていたか、が論点でした。最高裁では逆転勝訴になっています。
タグ：
posted at 03:30:49
ついでですが、この裁判では、肝心の国側証人である秦郁彦氏が、裁判中に論稿『日本の細菌戦』を書いて、「731」が事実であることを認めちゃいました。ですので最高裁における争点は、あくまで「執筆時点で事実と認識されていたか」です。最高裁判決yu77799.g1.xrea.com/siryoushuu/731...
タグ：
posted at 04:15:28
Yoshiki NAGATANI @nagataniyoshiki
今日は学力入試。今年もまた希望に満ち溢れた受験生たちが来るだろうが、彼らの熱い眼差しに堪えられる自信が無い。彼らを教育で伸ばす、なんておこがましいことは言えないが、せめて足を引っ張ることのないようにはしたいものなんだが。
タグ：
posted at 08:03:39
河豚の毒は人間の場合麻痺による呼吸困難を引き起こします。
イルカでは河豚の毒が効かないどころが、イルカがハイになる。
その為、イルカは河豚をわざと膨らませて、友達でキャッチボールして、ハイになる。 pic.twitter.com/V5iQHknI8i
タグ：
posted at 08:25:52
@MathSorcerer こんにちは、np.nanはIEEEのNaNであるとドキュメントに書いているので、代入して別の値にできるのはバグの可能性があると思います（もしくは実装の都合上代入できるようにせざるを得ないのかもしれません）。NumPyの開発チームにレポートして修正すべき内容か聞いてみると喜ばれるかなと思いました
タグ：
posted at 08:42:09
どうも、『ルール』って言葉を『理屈はないけど強制するもの』って考え方をする人が一定数いるようですな。
論理的に破綻している事項を強制するなんて、『将軍様』.. togetter.com/li/1319611#c59...
「かけ算の順序 教育を研究しているらしい人とのやりとり」togetter.com/li/1319611 にコメントしました。
タグ：
posted at 09:36:50
お手伝いで入ったファームウェア開発で、たまに、半導体の営業の方から、こんなに説明が楽な組み込みファームの書き手はあなたが初めてだ、みたいなことを言われると、照れ恥ずかしいですけど、やっぱり嬉しいものですね。特にこの10年はいつも個人でいるから、他を知らないので、なおさらです。
タグ：
posted at 11:19:57
ごまふあざらし(GomahuAzaras @MathSorcerer
@delta2323_ numpyの Issueをパッと見た限り np.nan = 1 みたいなことを許す/許さないような議論は見当たらなかったので、Issueを出してみようかと思います。
タグ：
posted at 11:42:49
@MathSorcerer @delta2323_ Pythonって定数がない(はず)なので、仕組み的に防げなくないですか? (TrueやFalseは構文レベルで再代入を防いでいる)
タグ：
posted at 11:48:13
ごまふあざらし(GomahuAzaras @MathSorcerer
@bicycle1885 @delta2323_ np.nan に関しての getter/setter を定義して setterが呼ばれたら例外をだすみたいな仕組みでいけませんかね？（普段、明示的にsetterを使うコードは書かないのでわからないですが・・・）
タグ：
posted at 11:56:35
@MathSorcerer @delta2323_ module自体のsetter/getterの書き換えると、影響範囲広すぎないですか? numpyだけとかnanだけとかに限定できるのかもですけど、実際の危険性がそれほどない割に特別な対応が必要な気がするので、あんまり受け入れられない気がします。
タグ：
posted at 12:03:00
非公開
タグ：
posted at xx:xx:xx
研究室に入りたての頃、2個上の修士の先輩で、好奇心の塊みたいな人がいた。その人がしょっちゅう “〇〇が気になる” と議題提起するので、その度にそこにいる皆んなで一斉にググり出して、あーだこーだ言う、そういう時間が楽しかった。研究の話題に限らず、そういう空気感を求めてTwitterしてる。
タグ：
posted at 12:29:36
.@vecchio_ciao さんのコメント「掛算の順序に拘る人は、自分がなぜそれに拘っているのか理解していないということがよくわかる…」にいいね！しました。 togetter.com/li/1319611#c59...
タグ：
posted at 12:45:48
.@mochiey さんのコメント「.@Lamborghini_16 少なくとも、この件に関しては納得のしようがないのではないでしょうか。この掛け算の順序にこだわっている方、みんなから総フルボッコで、一人の賛同者もいないという...」にいいね！しました。 togetter.com/li/1319611#c59...
タグ：
posted at 12:46:00
.@JosephYoiko さんのコメント「論理的に破綻しているルールなんか押しつけたら、それこそ算数教育（もっと言えばその先の数学教育に）に有害だとは考えないのだろうか？
分からない子にはルールを与えてパターン化して教えるって一番駄目な教育や..」にいいね！しました。 togetter.com/li/1319611#c59...
タグ：
posted at 12:46:19
なろう系の小説の魔法って
一般常識となっている呪文より本質を掴んでイメージした無詠唱のほうが強い
という話が支持されているの
掛け算の順序に拘る現在の教育への寓話のようにも見える
タグ：
posted at 12:49:05
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@AS_Insects 私自身もそうだし、生徒にもノートは不要、無地の紙にどんどん書くように、と言っています。以前は落書き帳を薦めていたけど、コピー用紙の方が割安だと気づいた。
タグ：
posted at 14:00:40
むかし仲良くなった半導体営業の方から「自分で仕様を理解する気がまったくないファームウェア担当者から，信じられないほど頭の悪い質問が，山ほど来るんですよ」と告白されたことがあります。心中お察しいたします。 twitter.com/u_akihiro/stat...
タグ：
posted at 14:03:42
開発環境はgccベースで自前で構築してVMイメージを社内で配布しています。コード管理は普通にgitです。なにも難しいことはしていません。と言ったら，そこまでやってる会社そんなにありませんって言われたんだけど，みんなどんな仕事のやり方してるのかしらね。
タグ：
posted at 14:19:10
日本母親連盟の件がTLに流れ出したけど、これ山本太郎が広告塔になってるからね。昔、内海聡と対談本出してたけど、こんなニセ医学カルトのクズレイシストとまだつるんでるんだね。 pic.twitter.com/i03PzRn2Um
タグ：
posted at 14:52:33
@sekibunnteisuu @AS_Insects うちの子「数学の勉強しようと思って裏紙もらってきた」と学校から裏紙どっさりもらってきてましたｗｗｗ
考えをまとめるのに途中の式とか、グラフとかを書いて、いかに効率よく「答案」を仕上げるのか練習するのが数学の勉強法だと思っています。
ノートがきれいであるのはあんまり必要ないかもね
タグ：
posted at 15:05:22
@sekibunnteisuu @AS_Insects ちなみに、私の恩師も、子どもの先生も、ノートチェックするのは「成績の悪い子」だけ。テスト点が赤点の子のノートをチェックして、少しでも平常点をあげようということらしい。その他ノートを見て欲しい希望者のも見てた。ノートが汚いとか出さないとかで「減点」するためではなかった。
タグ：
posted at 15:10:25
児童相談所。痛ましい事件があるけど、都市部、政令市は数が足りない。数の足りないのは質ではカバーできないのがしばしば。痛ましい事件も数の問題かも pic.twitter.com/GIxecOCrkI
タグ：
posted at 16:05:52
非公開
タグ：
posted at xx:xx:xx
@sayasayaf @AS_Insects 問題集の模範解答は、試行錯誤の痕跡を消した“よそ行き”のものなんですよね。重要なのは試行錯誤の部分で、それこそが数学の理解を深めるんだけど、「きれいなノート」を心がけるというのは、試行錯誤よりも、「正しい答案を一発で書く」という方向にいきがち。これだと理解は遠のく。
タグ：
posted at 17:28:26
Ninja DAO | CryptoNi @CryptoNlnjaNFT
さて姫新線で帰宅中である。 pic.twitter.com/NNUalBYxo6
タグ：
posted at 17:43:27
非公開
タグ：
posted at xx:xx:xx
When the tensioner pulley is not being adjusted right to correct the tracking, a belt of a grinder can escape and run on its own, giving us a brilliant visualization of conservation and transformation of angular momentum [source: buff.ly/2wW0Kji] #Physics pic.twitter.com/kt5DzW1Ehe
タグ： Physics
posted at 21:00:15
#julialang の plot が何から何まで全くわからないという状態を辛うじて脱した気がするので、julia で防災科研 Hi-net のバイナリフォーマットである .cnt ファイルを読み込んで、滋賀県の大津観測点で記録された2018年大阪北部地震の際の地震波形記録(速度の上下・南北・東西成分)を描画してみました pic.twitter.com/FgXfuPXcjl
タグ： julialang
posted at 21:32:13
まだできていないこと
・チャンネルテーブルをプログラムが読みに行って振幅を物理量に換算するところ（今は別処理。asciiファイルを読むだけだから簡単なはず？）
・自動的に観測点コードと成分を図中に表示する（まったくわからない）
タグ：
posted at 21:34:46
できていないこと続き
・0.5バイトデータが入っていた場合の処理（3バイトができているので出来るはず…？ただし0.5バイトはほとんど使われることがなく、V-netで一度見たことがあるだけ）
・欠測の判定（Fortran で組んだプログラムの方にはちゃんと実装済みなので難しくない）
タグ：
posted at 21:36:29
都道府県別組体操事故統計によると、２０１６年度の事故件数は５２７１件、骨折は１３２６件。
これだけ事故が多発しているというのに、未だにこんな危険なことをやらせてるのだとしたら…まず大人達が組体操をして子供達が感じている恐怖、痛みを体感して欲しい。 pic.twitter.com/n5TtE87tFb
タグ：
posted at 22:35:13
非公開
タグ：
posted at xx:xx:xx
@super6694295123 上下関係らしきものもあるんだけど、例えば教育委員会は「文科省の指導要領の文言からかけ算の順序に拘る」と言っていて、文科省は「文科省としてどうこう言う立場ではない」という感じ。どこにも責任が存在しない。日本社会の縮図ですねｗ
タグ：
posted at 23:12:07
