黒木玄 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 を見て下さい。
2017年10月29日(日)
webjapanese 日本語教育 @webjapaneseJ
【BOT】 [ ネット上で読める日本語教育関連の論文・資料 062] ■ 日本語教育語彙を選定するための統計的指標--尤度比検定、カイ2乗検定、イェーツの補正公式の特徴 ow.ly/bdoe302Bw0G
タグ：
posted at 02:42:30
DifferentialEquations.jlをJulia v0.6.1で使うとprecomliingが制限されるバグがあるようなので、当面は使いところだけimportするか、Juliaのコンパイラのバグが治るのを気長に待とう
github.com/JuliaDiffEq/Di...
タグ：
posted at 03:26:30
今の所Julia v0.6.1のバグではなくてDifferentialEquations.jlのバグという説が濃厚
github.com/JuliaDiffEq/Di...
タグ：
posted at 05:46:39
julialangとかswiftとか、LLVMベースの言語の言語仕様が頻繁に変わるのはLLVMのせいではないと思うけど、影響されている可能性は否定できない。。。
タグ：
posted at 07:49:52
ツイッターで得た情報をまとめてくれるpaper.liを、私と相互フォローになっている人たちが結構使っているのですが、私が #JuliaLang ネタをふりまくるせいで、そういう話題を一切しないタイプの人たちがまるでJulia言語に興味を持っているように見えてしまっていて笑える。
タグ： JuliaLang
posted at 08:17:13
昔からずっとツイートしているが、大学入学してきても教科書が読めない、読まない学生はたくさんいて、数学科だと「数学の教科書を丁寧に読む訓練」はどこかでやらないといけない。昔なら3年の演習、4年のゼミあたりだったが、今は低学年セミナーをやってる大学も多い。
タグ：
posted at 10:37:03
「どすこい初等力学」じゃなかった「よくわかる初等力学」の著者としてはこのテキスト欲しいのだがどこで手に入るのだろう？？ twitter.com/nisegahama/sta...
タグ：
posted at 10:45:31
#JuliaLang Julia v0.6.1のprecompiling周辺の挙動がおかしいという話になった
github.com/JuliaLang/juli...
DifferentialEquationsはその影響を受けてprecompilingがクソ遅くなったようだ
タグ： JuliaLang
posted at 11:41:19
校則黒髪にそれがルールだから従うのが当然でしょみたいな反応を本当にしている人々がいるのすごい、ツイッターで匿名であっても積極的にその有り様を肯定していくからには本当にそう信じているのであろうし、すごい
タグ：
posted at 12:02:42
#掛算 と同じ反応。須くその調子なのだろう。レプリカントかウォーカロンかというと不謹慎やからまぁ前世紀の人工無脳ロボット程度か。 twitter.com/shibism/status...
タグ： 掛算
posted at 12:04:17
豊田憲子 Toyoda Noriko@1 @nrk_toyoda_H
↓数学に限らず、本が読めない人が多すぎて泣きます。もっと深刻なのは、眼球運動を「読む、理解する」と勘違いしている人たち。文字を追うことは理解ではありません。文字の根底にある思考を論理的に分析することです。…が、母語で説明しても通じないことがあり。
タグ：
posted at 12:13:38
豊田憲子 Toyoda Noriko@1 @nrk_toyoda_H
理解とは眼球運動ではないということを小学校からジックリ指導しないと、大学や社会人になってから脳を掘り起こすのは結構大変です…
タグ：
posted at 12:19:32
「小学校では掛け算の順序に拘るように教えることになっているのです」
なっているのかどうかがそもそもあやしいが、仮にそう教えることになっていたとしても、そう教えることになっていること自体を批判することは可能。
だからアムネスティのこの方針を批判することも可能だが、私は批判しない
タグ：
posted at 16:56:26
掛け算の順序に関しては、そう教えなければならない、ということはないにも関わらず、教師が「そう教えなければならない」と勘違いしている面がある。
またそう教えられる事情も調べた上で「駄目だこりゃ」という結論になっている。
タグ：
posted at 16:58:31
@zero_divisor ｢中学で絶対値を教える必要がない｣と主張すると、なぜ「あの指導書のページが単元のどこにあたるかも把握していない」という結論になるのでしょうか？
私が、把握した上で｢中学で絶対値を教える必要がない｣と主張している可能性はない、
と判断した理由は何でしょうか？
タグ：
posted at 20:14:06
@zero_divisor あと唐突に「無責任」などと断ずるのも不可解です。
twitter.com/zero_divisor/s... でも「悪意がある」と言っていますが、私の意見に異論があるのなら普通に指摘すればいいだけじゃないでしょうか？
タグ：
posted at 20:17:44
@zero_divisor 「(1)どこぞの教材会社の記述を根拠に」というのも違います。それだけが根拠ではありません。
これも、あなたの質問の意図も、質問の意味もよく分からないので、「理解していません」と答えました。
twitter.com/zero_divisor/s...
タグ：
posted at 20:19:37
@zero_divisor 変にレトリック使ったり思わせぶりな質問とかしないで、言いたいことがあるなら率直に言ったらどうでしょうか？
お互い素性もよく知らないなかで文字だけのやりとりをするのだから、誤解や齟齬もあるでしょう。お互いそれを避ける努力をしながらやりとりしませんか？
タグ：
posted at 20:21:06
@zero_divisor twitter.com/zero_divisor/s... この質問に対しても、私は「はいそうです」と回答しても良かったのですが、「あえてこう質問すると言うことは、「流布しているのはこの動画および教材を製作した会社だけですよね？」という質問かも知れないと思ってそれ以上の説明もしました。
タグ：
posted at 20:24:24
@zero_divisor twitter.com/zero_divisor/s...
あなたはここで、私が誤読していると主張していますよね。私はそうは思わないし、そもそもあなたが言っている意味が理解できないのですが、仮に私が誤読して誤った認識をしていたとしたら、それは「悪意がある」とは言わないのではないでしょうか？
タグ：
posted at 21:17:56
@zero_divisor 正しく理解した上で意図的に曲解しているなら「悪意」というのも理解できますが。
それともあなたは自分と異なる意見のことを「悪意」と言うのでしょうか？
タグ：
posted at 21:18:59
@Kazu0402cd キーワードが指導要領に出てきて、具体的にどうすればいいのか分からなくて右往左往している教師が、「こりゃ助かる」とかいって書いてあることを忠実に実行する、なんてことになっていないか心配です。
タグ：
posted at 21:46:23
@Kazu0402cd 指導要領、改定するときに、それまでの指導要領の総括とかしているのでしょうかね？「こういう方針でやって来たけど間違いでした」とか言うとは思えない。「これはこれで正しかったが、状況が変わったのでそれに合わせて変える」という建前なんですかね？
タグ：
posted at 21:48:46
#JuliaLang
nbviewer.jupyter.org/gist/genkuroki...
混合正規分布モデルの最尤法とベイズ法による推定例
非常に簡単な例です。Julia言語のMambaパッケージでベイズ推定しています。事後分布や尤度函数のプロットも見れます。プロット例に続く
タグ： JuliaLang
posted at 23:21:31
#JuliaLang by Mamba.jl
y ～ (1-a)Normal(0,1) + a Normal(b,1)
true parameter: a0=0.1, b0=0.5
sample size: n=32
萌えるような色の事後分布と尤度函数だけを見れば十分。 pic.twitter.com/s50dMfUiNs
タグ： JuliaLang
posted at 23:26:20
#JuliaLang
nbviewer.jupyter.org/gist/genkuroki...
ではベイズ推定法だけではなく、最尤法も実行しています。しかし、一部、最尤法の真の解の計算に失敗しているので(←これはよくある、極大値によくトラップされる)、まだバグが残っているかも。
タグ： JuliaLang
posted at 23:28:12
#JuliaLang
最尤法の方ではAICを、ベイズ推定法の方ではWAICも計算しています。
nbviewer.jupyter.org/gist/genkuroki...
Julia言語でのMambaパッケージの使用例が少ないように思われるので、結構貴重かも。
タグ： JuliaLang
posted at 23:29:44
#JuliaLang Julia言語のMambaパッケージですが、なんとなくなんですが、まだ最適化できる部分が残っているような気がします。プログラミングが得意なユーザーが増えれば、最適化もすすむような気がします。
タグ： JuliaLang
posted at 23:31:36
#JuliaLang Julia言語で書かれたMCMCパッケージを使う利点は
* モデルの記述にJulia言語の機能を全部使える。
* Julia言語は高速なのでMCMCした結果の解析もJulia言語で行える。(階層モデルのWAICの計算には数値積分が必要。)
だと思う。
タグ： JuliaLang
posted at 23:34:23
#JuliaLang
AICやWAICとKullback-Leibler情報量については以下のリンク先で詳しく解説しておきました。AICは最尤法の予測分布の精度の指標で、WAICはベイズ推定法の予測分布の精度の指標です。
twitter.com/genkuroki/stat...
タグ： JuliaLang
posted at 23:38:18
#JuliaLang AICやWAICが予測分布の予測精度の指標であることや「予測精度」の意味についても以下のリンク先で解説してあります。Kullback-Leibler情報量に関するSanovの定理を理解することが肝です。
twitter.com/genkuroki/stat...
タグ： JuliaLang
posted at 23:40:14
#JuliaLang KL情報量が「予測精度」を表わしていることについて、もっと一般的な「損失函数」の立場から理解しようとして苦労している人がいるような気がします。変に工夫して苦労するよりも、単純にSanovの定理について学んでしまった方がお得です。
タグ： JuliaLang
posted at 23:42:13
#JuliaLang しかし、Sanovの定理について、例えば理学部2～3年生くらいの人達が読めそうな良い解説が見当たらなかったので、自前で書きました。
www.math.tohoku.ac.jp/~kuroki/LaTeX/...
Kullback-Leibler情報量とSanovの定理
タグ： JuliaLang
posted at 23:43:34
