黒木玄 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 を見て下さい。
2021年12月02日(木)
こういう「申請したらもらえるお金」って調べてみたら結構色々とあるもんですね。日本の制度って申請ベースなので、知らないと損していることも多そうです🤔 pic.twitter.com/n4zys1ZB6L
タグ：
posted at 00:41:35
#統計 【ベイズだとストッピングルールがない】についてはこのスレッドも見ておいた方が良いです。(ちなみにKen McAlinnさんは私をブロックしているようです。)
否定したいパラメータ値がベイズ版95%信用区間から外れるまデータ取得を続けてもいいのかな？(笑)
twitter.com/sacasacla/stat... pic.twitter.com/x1pkxz8aeV
タグ： 統計
posted at 03:35:13
#統計 データが運悪く偏るリスクを考慮すると「ベイズ統計にストッピングルールはない」と安易に言っちゃいけないのですが、その辺が非常にナイーヴなので要注意です。
2つ前のツイートで述べたデータが運悪く偏るリスクに配慮した議論も知っておいた方がよいです。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 03:53:45
#統計 上で以下をリンクした理由を書くのを忘れていた。
現代では竹内啓さんが「非ベイズ」に分類しているベイズ統計の使い方が普及しています。
WAICや交差検証を使っている膨大な数の論文は、データが運悪く偏るリスクも考えていることになるので、竹内啓さん的には「非ベイズ」です。続く twitter.com/genkuroki/stat...
タグ： 統計
posted at 04:03:38
#統計 続く。汎化誤差を気にする機械学習でのベイズ的仕組みの利用も竹内啓さん的にはNon-Bayesianに分類されるでしょう。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 04:03:39
#統計 赤池弘次さんは、事前分布を使うベイズ的方法であれば、パラメータ数を大幅に増やしても実用的な推測ができることを強調していたのですが(現代に通じる考え方！)、伝統的ベイジアンの考え方を否定するための論争を激しくやっていたことで有名です。
私は赤池さんが結果的に正しかったと思う。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 04:07:14
#統計 ただし、赤池弘次さんがその主義を否定し、竹内啓さんがBayesianと呼んでいる人達も、その主義を無視すれば、「現実の問題」「実際の応用の場」「実際的な問題」で役に立つ具体的方法関連的に価値ある仕事をしている点には注意が必要です。
主義に立て篭もる統計学のみを否定すれば十分。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 04:13:54
#統計 シンプルなモデルでは、否定したいパラメータ値がベイズ版95%信用区間を外れるまでデータを取得し続けることは、有意水準5%を固定して否定したいパラメータ値が棄却されるまでデータの取得を続けることと近似的に等価。
対数周辺尤度の比較でデータ取得をストップする方法はどこが違うのか？ twitter.com/genkuroki/stat...
タグ： 統計
posted at 04:20:21
#統計 渡辺澄夫『ベイズ統計の理論と方法』は赤池弘次さん的なベイズ統計について非常に良い教科書だと思います。そのpp.80-83では正規分布モデルを扱っているのですが、「比率」に関するベルヌイ分布モデルの場合は私のノート
nbviewer.org/gist/genkuroki...
がものすごく詳しいです。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 04:35:13
#統計 1パラメータの確率分布属のモデルとパラメータを固定したモデルの場合には、AICによるモデル選択は有意水準α=16%の対数尤度比検定と等価で、BICや対数周辺尤度によるモデル選択は有意水準を以下のように小さくする場合の対数尤度比検定と等価:
n=10⇒α=12.9%
n=100⇒α=3.19%
n=1000⇒α=0.858% pic.twitter.com/PZyZGP8ZLv
タグ： 統計
posted at 04:49:14
#統計 例えば
watanabe-www.math.dis.titech.ac.jp/users/swatanab...
決定理論 と ベイズ法
不確か と 未知 の違いを理解しよう
渡辺澄夫
はminimal working exampleをきちんと提示して説明しているので読む価値があります。
こういう気遣いが非常に重要。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 04:59:42
シンプルな第三者が自分でいじって遊べるような具体例の適切な提出には、提出する側の理解度が問われ、実力があらわになり易い事柄だと思います。
しかし、そこから逃げないことが非常に重要です。
タグ：
posted at 05:11:57
私はさらに妥協して、「教育指導上のメリットがあれば、間違ったことを教えることもあり得るかもしれないことは認めますから、そのメリットを語ってください」と言うけど、納得できる回答は皆無。
それ以前に、「順序がある、あえて嘘を教えている、あなたの立場はどちら？」にもまともな回答はない。 twitter.com/kamo_hiroyasu/...
タグ：
posted at 05:34:46
よくあるのは
「数学ではどちらの順序でもいいのでしょうが、算数では一方の順序のみが正しいのです。噓を教えているわけではありません」
というやつ。
じゃあ、何で数学では通用しないことを教えているのか？
というと「算数と数学は違う」「数学者を育てることが目的ではない」とかなんとか😓
タグ：
posted at 06:14:34
心理学が言葉を話せない対象(動物やヒトの赤ちゃんなど)に関する実験技術を進歩させてくれたお陰で、ヒトの赤ちゃんでさえ相当に優れた認知能力を持っていることが分かっているわけです。
ピアジェの発達段階説を教採試験のために学び、教育現場で保護者に「発達段階」とか言うのは非常にまずい。 twitter.com/genkuroki/stat...
タグ：
posted at 06:17:02
これは超重要な注意。加えて例えばそれこそ「2×6と6×2は値は同じだけど意味は違う！」みたいなムダに（いくら聞いても教育的効果のエビデンスも出てこないどころか逆のエビデンスすらある）複雑な理論を子どもに教えていたら、ますます混乱しても当然。 twitter.com/genkuroki/stat...
タグ：
posted at 06:22:13
何度も繰り返し指摘していますが、新井紀子さんの「読解力」に関する言説の中身(曖昧でよくわからない)については、算数教育について書かれた『ハッピーになれる算数』が参考になると思います。
相当にひどいです。
キーワードのパターンマッチ読解を勧めている！
続く twitter.com/rochejacmonmo/...
タグ：
posted at 06:22:20
新井紀子さんは、『ハッピーになれる算数』で、問題文に
わり算の言葉づかい
が書いてあったら、
わり算の式
を書かなければいけないとしています。
パターンマッチ読解を算数ではすすめる方針になっており、相当にまずいです。
現実の算数教育でもパターンマッチ教育がひどいことになっている。 twitter.com/genkuroki/stat... pic.twitter.com/rlsK9frQXU
タグ：
posted at 06:26:19
さすがに、自分ちの子が心配な十分な教養のある親が新井紀子さん的な算数における言葉づかいのパターンマッチ読解に賛成するのは相当に苦しいと思います。
もっと普通に、文を読んだら、文で示された場面をイメージして、そのイメージに基いて考えるようにしてほしいです。
タグ：
posted at 06:28:44
仏バカロレアの*数学*の問題について
漸化式が成り立つプロセスを，接続詞を用いて文章で論理的に表現する力が求められ
数列を活用して実社会の問題を解決できるかを批判的に吟味する力も問われ
数学を使って現実世界を吟味する力も問われている
[細尾他2020]
どんな凄い問題なんだと思ったら
続く→
タグ：
posted at 06:40:30
当該箇所のスクショをみてまずは考えてみてほしい．
出典は，細尾萌子・夏目達也・大場淳編著
「フランスのバカロレアにみる論述型大学入試に向けた思考力・表現力の育成」
（ミネルヴァ書房2020年） pic.twitter.com/LStUTs7kzm
タグ：
posted at 06:42:54
取り上げられている問題は基本的な漸化式の解法とその極限の問題でよく言えば極めて基本的．しかしもし本当にこういう小問の付け方をしているんだと事実上ほとんど答が書いてあるので，悪く言えば「考える部分はひとつもない」問題になっているように思う．
タグ：
posted at 06:47:35
「漸化式が成り立つプロセスを，接続詞を用いて文章で論理的に表現する力が求められる」という小問1は，むしろずっと端的に「u_{n+1}をu_nで表せ（答えのみ）」の短答式で十分で，それが正しく書けた人は長々と言葉で説明した模範解答の部分は理解していると判断できるのではないか．
タグ：
posted at 06:49:40
小問2-dも，単に極限値を求めればよいだけ．しかも小問2-cに一般項が書いてある．（なんで小問2-cを「一般項u_nを求めよ（記述式）」にしてないのかも不明だけど）
「数列を活用して実社会の問題を解決できるかを批判的に吟味する力」
なんてコメントがあまりにも大げさすぎて，正直呆れてしまう．
タグ：
posted at 06:53:49
この章を記述したのは細尾萌子氏だが，この章では，平成30年度の大学入試センター試験の問題をバカロレアの問題と比較するために併記している．当該箇所で比較のために持ち出されたセンター試験の問題は画像から．
端的に言って（同じ分野の問題だというだけで）比較の対象がおかしいのでは？ pic.twitter.com/jLpjL71Vt8
タグ：
posted at 06:56:37
この2つの問題で，センター試験を「選択問題であるため計算過程の説明は求められない」と述べ（それ自体は事実としては正しいが），バカロレアの方は「なぜその式や答えなのかという思考の過程を説明する力および，数学を使って現実世界を吟味する力も問われている」と比較する議論は妥当ですか？ pic.twitter.com/lIxW83qHxf
タグ：
posted at 07:00:23
しかも肝心のセンター試験の問題の方は引用せずに「与えられた条件に従った初項や一般項などを求める問題」とだけ記述してしまう，その引用の仕方，比較の仕方，両者を比較する言葉の選び方は本当に適切ですか？
私個人はこういう議論の仕方はちょっと酷すぎると思う．
タグ：
posted at 07:03:34
センター試験の問題の難易度や問題の内容について様々な議論があり，選択式で問う方法の是非にも種々の議論がある．バカロレアの数学の問題もここで引用されたものだけではないはずなのでこの引用例だけで判断することもできない．しかし，この細尾氏の文章の比較方法やコメントは不当すぎないか．
タグ：
posted at 07:05:21
「ベイズ統計はp-hackingの類に対して頻度主義統計学より頑健である」かのように言っている人達は、ベイズ統計を使って研究不正を知らず知らずのうちにやってしまう潜在的リスクの持ち主達なので要注意だと思います。
不正行為の易しさは「主義」で決まるわけではない。
方法の数学的性質が重要。 twitter.com/genkuroki/stat...
タグ：
posted at 07:06:55
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
「オミクロン株」見逃さない 仙台市衛生研、最新装置で遺伝子解析
kahoku.news/articles/20211...
おー、新しいシーケンサー買ってもらえたんだ。これは心強い。
しかし「スクリーニング検査の方法が定まっていない」という表現はうーん。オミクロン株を特定するプライマーが開発されてないことだと思うが。
タグ：
posted at 07:31:34
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
www.khb-tv.co.jp/news/localNews...
「オミクロン株はスパイクが30個以上あると確認されていて」いや、それはスパイクの数じゃなくて、スパイクの変異の数。。。
タグ：
posted at 07:31:35
#統計 ベルヌイ試行をpがベイズ版95%信用区間を外れるまで行ったときの試行回数の経験累積分布函数を添付画像②でプロットしています。
試行回数の上限をたったの10にするだけで、成功確率は22%を超えるようです。100なら40%を超え、1000なら55%を超える。
nbviewer.org/github/genkuro... pic.twitter.com/biFLLjbasj
タグ： 統計
posted at 07:36:40
Recently started coding with #julialang and think it would be ideal for single-cell RNAseq work .. but there are surprisingly few packages in this space twitter.com/JuliaLanguage/...
タグ： julialang
posted at 07:55:06
@Uematsu1987 @YouTube ホームページ見ましたがリテラシーがあっても論文はたくさん羅列されてるし顧問に医師は複数いるし、信用してしまいます。ブラインドをやってない？？なんて肝心なところの情報は論文一つ一つチェックするしかないし。なぜ検査が保険適用されてないか、て考えるしかないか。。モラルですかね。。
タグ：
posted at 08:08:57
#統計 通常のp-hackingと「pがベイズ版95%信用区間を外れるまで試行」の比較。
私が計算したケースではベイズ版の方がハックに成功するまでの回数が少なくなりました。
不正をするならベイズ統計の方が有利かもしれませんね(笑)
nbviewer.org/github/genkuro... pic.twitter.com/ainZJvDHSp
タグ： 統計
posted at 08:12:32
EM菌、信じる人が居るのはともかく行政やら学校に入るのすら止められないというの辛いんだよなぁ…… 「2020年頃の日本では広くEM菌のような似非科学が信じられていました」って将来言われる
タグ：
posted at 09:19:32
非公開
タグ：
posted at xx:xx:xx
#統計 訂正
❌「パラメータ値をθ₀に固定したモデルよりパラメータ値が固定されていないモデルの対数周辺尤度が大きくなる」
⭕️「パラメータ値をθ₀に固定したモデルよりパラメータ値が固定されていないモデルの対数周辺尤度がある閾値以上に大きくなる」
「閾値以上に」が抜けていた。よくある。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 09:40:58
M1 MacでもHomebrewだけでバイナリが入るありがたみを噛み締めております twitter.com/MathSorcerer/s... pic.twitter.com/C1jK6Uobad
タグ：
posted at 09:41:22
#統計 パラメータ値をpに固定した場合よりパラメータ値が固定されていないBernoulliモデルの対数周辺尤度がある閾値以上に大きくなるまでデータを取得した場合のシミュレーションの結果。
nbviewer.org/github/genkuro... pic.twitter.com/ORh7fRuNHN
タグ： 統計
posted at 09:44:24
#統計 これは対数周辺尤度比(χ²分布のスケールに合わせて2倍されている)が5以上になるまで試行を繰り返して成功する確率と、有意水準をnと共に小さくして行った場合のp-hackingの比較です。
理論通りに似たような結果になります。 pic.twitter.com/WRfYAvzEPx
タグ： 統計
posted at 09:47:36
ゴールを厳しめに設定すると、ベイズ版でも通常版でも不正はし難くなります。
その代わりに、ゴールが厳しめになった分だけ、有益な知見を見逃してしまう可能性も増えるかもしれません。
さじ加減は正直で十分に賢いユーザーサイドに任せるしかないと思う。
タグ：
posted at 09:51:53
朝から年末掃除の先払い。
ドラム式洗濯機・槽洗浄
トイレ・錠剤投入
洗面所、風呂場・パイプクリーナー
台所・同じく
食洗機・洗浄
ドラム式洗濯機の槽洗浄は、塩素系洗剤使ってお湯で毎月やっていると、パッキングがカビないみたい。
うう。気づくのが遅かった。
タグ：
posted at 10:01:08
Composability in Julia: Implementing Deep Equilibrium Models via Neural ODEs (Re-post) www.juliabloggers.com/composability-...
タグ：
posted at 10:37:28
#統計 【未知パラメータを含むデータ分布】(モデルの分布)が【データから特定の目的に適した情報を抽出するための道具】とみなせることの簡単な例：
モデルの分布が正規分布のi.i.d.の分布の場合には、そのモデルに関する最尤法は、データから平均と分散の情報を取り出すことと同値になる。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 11:04:33
若手研究者支援の予算増についての資料を見ていたのですが、まだ研究者としてのポテンシャルが明らかでない時期に格差をつけ、選別することは、これからの研究者に悪いメッセージを送っているような気がします。
タグ：
posted at 11:17:28
クーポン化みたいな誰も賛成しないプランがまかり通る一方で、できれば手厚くやって欲しい政策は、いろいろな方向から手が入ってじわじわと削減されます。これで我が国を動かしているのは偉大な財務省なのだと言われても嘆息しますね。
タグ：
posted at 11:21:32
確認用碁盤です。
後半が脳内でやるのは結構大変だと思うので並べてやってみてください❄️
hikarunogo.starfree.jp/goban/jerrygo0...
タグ：
posted at 11:27:46
そういえばJulia 1.7で疑似乱数を使った計算をする人は注意が必要で、1.7からデフォルトの乱数生成アルゴリズムが変わったので Random.seed! 関数で固定しただけでは乱数が再現しないです。 pic.twitter.com/KF753DVtUV
タグ：
posted at 11:31:25
Julia REPL stan now @miguelraz_
@bicycle1885 It’s quite tricky!
PRNGs in Julia have *never* been guaranteed to generate identical sequences across Julia versions. It’s explicitly left as an implementation detail so that features and optimizations can be added later.
For full reproducibility just store a vec of the values.
タグ：
posted at 11:36:31
@genkuroki ツリー拝見いたしました。ベイズ検定の数値実験の部分で、ベイズ版信用区間のセットアップが読み取れなかったので教えていただきたいです。帰無仮説と対立仮説を確率的にモデリングして、対数尤度比が閾値を超えるところを検定しているということでしょうか？
タグ：
posted at 11:49:02
道草学習の部屋＠オンライン家庭教師&教育 @michikusa_heya
昨年のきょう、さくらんぼ計算について、長〜いつぶやきをしていた。さくらんぼ計算は一刻も早く舞台から退いてもらいたいので現場の先生に読んでいただけたらと思い、再掲。twitter.com/michikusa_heya...
タグ：
posted at 12:02:16
@miguelraz_ You're right. But lazy people (including me) write code that depends on never-guaranteed features that have been preserved by chance. The tweet is intended to be a caution to those who failed to reproduce the previous results on Jupyter Notebook or other similar tools.
タグ：
posted at 12:03:30
道草学習の部屋＠オンライン家庭教師&教育 @michikusa_heya
そもそもこの長い呟きはこのツイートが発端でした。twitter.com/michikusa_heya...
タグ：
posted at 12:07:15
#超算数 これはひどいな。三角形の面積を求めるのに色々な考え方があることをおしえるように見えて、「式が場面を表す」ことを教えてしまっている。 twitter.com/Yossy_K/status...
タグ： 超算数
posted at 12:10:19
@bicycle1885 Since 1.7 change the default PRNG, you need to change from MersenneTwister to Random.Xoshiro
タグ：
posted at 12:48:35
この点は掛順と全く同じで、「思考放棄＆規定された解法を暗記」という方向に強い圧をかける。ここが一番の問題点だがそれを踏まえた擁護はあまり（全く？）見ない twitter.com/michikusa_heya...
タグ：
posted at 13:09:47
@Cheng_Ching_Wen Yes, but the point of my tweet is to restore the old PRNG behavior after update.
タグ：
posted at 13:12:20
演算子と被演算子のみの数式がそれ単体で演算以上の意味など持つはずがなく、意味なるものを持つとすればそれは必ず問題文との対照による。で、「6人に4個ずつ分ける」という問題文と4×6という式を見比べて、4が人数だと思うトンチキがこの世のどこにいるというのだね
タグ：
posted at 13:13:30
これはJulia 1.6までの乱数生成を再現するにはどうすればいいかという話で、その必要がなければ素直に新しい疑似乱数生成器を使いましょう。軽くて速くなったらしいです。
タグ：
posted at 13:14:57
@bicycle1885 Maybe I didn’t understand you correctly, but isn’t this what you want? pic.twitter.com/vAfFESBzsG
タグ：
posted at 13:15:59
@Cheng_Ching_Wen I thought a situation where you need to reproduce results obtained with an old Julia after update. So, yes, your way is better if you don't need to care about reproducibility.
タグ：
posted at 13:22:12
@bicycle1885 Ah, I see. You are talking about reproducibility between different Julia version, not different process with same version.
タグ：
posted at 13:26:22
@Cheng_Ching_Wen Perhaps, my tweet was confusing. It's hard to cram all context into a single tweet.
タグ：
posted at 13:30:12
もう何年も前からだけど、2ちゃんにちょっと工夫できる算数の四則に「お前ら、コレどうやって計算してる？」ってスレが立ったのよ。
で、俺的には1通りしか当時は見えて無かったんだけど、スレ内で色んな「他人の脳内」が見れて、めちゃくちゃ面白くて勉強になったのよね。
タグ：
posted at 13:40:57
何度も言ってるけど、「かけ算の順序」みたいな話に「発達段階ガー」とか持ち出してくる人たち、目の前の子供を見て、あるいは子供とやりとりして、エライヒトに聞かされたその話に疑問を持たないのかと。 ナゼそんな話を鵜呑みに出来る？、と思う。 （カルトの奴隷だからさ）
タグ：
posted at 13:55:34
公）仲邑菫二段が、女流名人戦の予選で今年の女流本因坊挑戦者、星合志保三段を破り、今年４０勝目を挙げました。日本棋院の勝ち星ランキングでは、男女合わせた全棋士のなかで上野愛咲美女流棋聖の４９勝に次ぐ第２位。すでに女流トップクラスの棋力です。（写真は日本棋院提供です） pic.twitter.com/ykh1WCwtNi
タグ：
posted at 14:03:51
割とそのときはじめて「自分と全然違う世界が見えてる人がこんなにいるんだ」ってのを実感して，1つ授業の壁超えた感はあったよね。
で，そういうのを見たときに学びがあるのが当たり前だと思うんだけど，その逆が小学校で行われている闇
タグ：
posted at 14:37:26
膝の上で過ごす時間の長さ選手権があれば相当良いところにつけるのでは。 とにかく座ればすぐにやってくる。😌 pic.twitter.com/wFeFSXtzeW
タグ：
posted at 14:45:39
式では判断できない理由を述べたツイートにこのリプライである。掛順擁護する人はだいたいこの程度ということがもっと世に知られるとよい twitter.com/fuckinsatoshit...
タグ：
posted at 14:49:48
だいぶ周回遅れの、陳腐で聞き飽きた論だったことあり、この人が何を言っていたのかくらいほぼ全員が分かっててそれを踏まえたツッコミをしているのに、「わからないなら仕方ないですが」と来た。まあ、相手がわかってないことにしないと手詰まりだもんね。このへんも実に教員ぽい。教員かしらんけど。 twitter.com/fuckinsatoshit...
タグ：
posted at 14:53:49
#Julia言語
juliaupによる version up完了
(MS Store上の更新に少しラグがある)
あとjuliaupだと、デフォのPKG管理のProject.tomlが
v1.6からv1.7にコピってくれる様 pic.twitter.com/7t6GoHlT8U
タグ： Julia言語
posted at 15:06:05
「批判し続けてる人が、擁護しているニワカより圧倒的に詳しく批判対象を理解してる」ってことはちょいちょいあって、例えばニセ科学・疑似科学界隈とかに多いケースだけど、超算数でもよく見るよね。 twitter.com/fuckinsatoshit...
タグ：
posted at 15:26:00
@tkawai18_tkawai 「ベイズ」が流行語の1つになった理由に機械学習の普及(及び所謂PRMLの標準的教科書化)があるという意味ではその推測は正しいと思います。
その他にも、MCMC法でユーザー側がかなりお気楽にそれなりの複雑さを持ったモデルを使った推定・推測・推論をできるようになったことの影響も大きいです。
タグ：
posted at 16:56:06
@tkawai18_tkawai 8割おじさん(西浦博さん)達も"Rt"の推定のためにベイズ統計も使用。最尤法も使用。
github.com/contactmodel/C...
最尤法とベイズ法は似たような道具。「主義に基く統計学」の信者はこういう考え方をしないと思いますが、現場で使われている最尤法やベイズ法は「主義」に依存しない使われ方がされている。
タグ：
posted at 17:02:02
@kankichi57301 @genkuroki @sekibunnteisuu 3×2と書いた途端に問題文が「うさぎは何匹でしょう」に改変される時間遡行OKな世界の住人もいるはずなんですが、解釈違いの諍いとか異世界間闘争が怒らないのは何故なんだろう。。
タグ：
posted at 17:24:14
@kankichi57301 @genkuroki @sekibunnteisuu 時間遡行OK型の世界からお越しの方の例
twitter.com/temmusu_n/stat...
#超算数
タグ： 超算数
posted at 17:30:35
@temmusu_n @kankichi57301 @genkuroki 7人に5個ずつ蜜柑を配った。配った蜜柑は何個か？
7×5とすると、
「答えが35人になる」説 vs
「問題文の意味が、5人に7個ずつ」になる説
ファッイ！
タグ：
posted at 17:32:17
@temmusu_n @genkuroki @sekibunnteisuu 内ゲバの心配はずっとしてます。
twitter.com/kankichi57301/...
タグ：
posted at 17:34:17
えー😳‼︎‼︎小1の娘が
今日持って帰ってきた算数のテスト！
右から 3わ 目を ◯で囲んでる🤣
我が子ながら面白い😁 pic.twitter.com/kjHhGXmBMW
タグ：
posted at 17:59:15
@ukontadasige1 #超算数
失礼します。
掛け算順序問題は「馬鹿な教師が馬鹿な教え方をしている」ということではありません。（教師の責任もありますが）
この足し算の順序ですが、事例の多くが教科書会社や大学付属小、教育センターなど、「先生に算数の教え方を教える立場」のところです。
togetter.com/li/901635
タグ： 超算数
posted at 18:01:16
@kankichi57301 @temmusu_n @genkuroki #超算数
掛け算順序論者同士は、内ゲバをしません。左翼は見習うべきです。
相互批判もしません。
「掛け算の順序に順序はない、と言っている奴は算数も分からないアホ」
vs
「掛け算の順序に順序はない、と言っているのは、数学だけが得意で教育が分かっていない奴」
とか見たいのですがね
タグ： 超算数
posted at 18:05:27
#統計 ベイズ版信用区間を使うハッキングの方法
事後分布からP値の類似物を図のように定義すると(伝統的ベイジアンは主義に殉じているのでこういう定義をしない)、
p∉(ベイズ版95%信用区間) ⇔ (pのベイズ版P値) < 5%
が成立。この条件が成立するまでデータ取得を続ければ研究不正が可能です。 pic.twitter.com/ZG65OL1IsC
タグ： 統計
posted at 18:26:29
@sacasacla 多分、対数周辺尤度比で書いたせいで分かりにくかったのだと思います。ベイズ因子の方で何をやっているかが分かりやすくなるようにノートを作り直しました。
今からそのノートをスレッドの主分岐の方で放流します。
タグ：
posted at 18:28:30
ハルヲ2023@受験おつかれさま❀ @ParuParunnn
このテストの前に授業で「かけ算は前と後ろの数を逆にしても答えは同じ」だと習った娘、脳破壊不可避。
タグ：
posted at 18:29:24
#統計
更新されたノートは
nbviewer.org/github/genkuro...
にあります。
(Bayes因子) = (pを固定しないBernoulli分布モデルの周辺尤度)/(p=0.5に固定した場合の周辺尤度)
が10を超えるまでデータを取得し続ける計算を行なっています(最大取得数は5000)。続く pic.twitter.com/WJyl9sDC99
タグ： 統計
posted at 18:35:28
#統計 一様事前分布の場合
青線は (Bayes因子) > 10 という条件が達成される確率を表します。横軸はデータの最大取得数です。大体7%程度の確率でいつかは成功する。 pic.twitter.com/yhA4mjnV6C
タグ： 統計
posted at 18:37:58
#統計 Jeffreys事前分布の場合
この場合は一様事前分布の場合とそう違いません。
橙と緑の破線は、データサイズnごとに有意水準を
α_n = (自由度1のχ²分布で 2log(10) + log(n) 以上になる確率)
として、(通常のP値) < α_n になるまでデータを取得する計算を行なった場合の成功確率です。 pic.twitter.com/9lyBxR6oHo
タグ： 統計
posted at 18:41:37
#統計 通常のP値版で使った、2log(10) + log(n) や自由度1のχ²分布の出所は、対数周辺尤度比および対数尤度比の漸近挙動を理解していれば出所がわかります。
以下は事前分布がBeta(10, 10)の場合。 pic.twitter.com/MAMjS4mDqO
タグ： 統計
posted at 18:46:01
#統計 事前分布を「帰無仮説」にあたる条件p=0.5の周囲に集中させた方が最大データ取得数を増やしたときに、Bayes因子 > 10 の達成に成功する確率が上昇するのはちょっと面白いと思いました。
共役でない2つ山の事前分布を使えばさらに確率を高められるでしょう。 pic.twitter.com/Xr8gGxx7ki
タグ： 統計
posted at 18:49:09
これ、3人に4個ずつでダメって言われて、先生が勘違いしたんじゃない？ってもう一回同じ答えで出したんだけど、(こずつ)に線引かれて戻ってきたんだけど何がダメなの？
今の書いてる答えは子供がとりあえず逆にしてみて再提出予定の答えです pic.twitter.com/olPuSFgLGL
タグ：
posted at 18:59:55
New post: Sets, chains and rules - part II - www.juliabloggers.com/sets-chains-an... #julialang pic.twitter.com/iGdg5ivExA
タグ： julialang
posted at 19:00:16
#統計
既出のノート
nbviewer.org/github/genkuro...
では、添付画像の定義のもとでの計算を行なっています。 pic.twitter.com/U4zuN3jdXn
タグ： 統計
posted at 19:01:12
@sacasacla #統計 以下のリンク先からスレッドを遡れば疑問が解消すると思います。
リンク先の添付画像の記号で、BF > 10 となるまでデータを取得し続ける計算をするようにノートの内容を変更しました。
その前のバージョンは BF > exp(5/2) = 12.18… の場合と同じになっています。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 19:08:54
JuliaTokai #11 年末LT大会 を公開しました！ juliatokai.connpass.com/event/232791/?... #JuliaTokai
タグ： JuliaTokai
posted at 19:22:10
LT大会やります！ jl.dev との共催です。見るだけの参加もOK！
#Julia言語 #JuliaTokai twitter.com/antimon2/statu...
タグ： JuliaTokai Julia言語
posted at 19:24:19
#統計 既出のノートを更新して、手書きの数式による説明の画像と事前分布がBeta(5, 15)の場合を追加しました。
nbviewer.org/github/genkuro... pic.twitter.com/rMzgAf19VZ
タグ： 統計
posted at 19:30:03
確率統計は、なかなかCやC++だとやりづらいですよね。私のゼミの人は、ほとんどPythonとRを学び直してます。
Juliaは布教中🥰 twitter.com/genkuroki/stat...
タグ：
posted at 19:35:24
@genkuroki 丁寧にありがとうございます！概ね理解できた気がしますが、ちょっとまだ理解が浅い所があるので、ゆっくり消化してから質問させていただくと思います。
タグ：
posted at 19:37:53
弊社の従業員が主催している #JuliaTokai がオンラインで開催されます。
12/19(日)です。Julia言語に興味のある方、ぜひご参加下さい ☺
juliatokai.connpass.com/event/232791/
#Julia
#Julia言語
#Julialang
#LT
タグ： Julia Julialang JuliaTokai Julia言語 LT
posted at 19:39:18
#統計 パラメータ数1のモデルでは、サイズnのサンプルで、
ベイズ因子 > 10
は
通常のP値 < 自由度1のχ²分布で2log(10)+log(n)以上になる確率
と近似的に同値。
これを知っていれば、ベイズか否かとハッキングに頑強かどうかは無関係だと分かる。ゴール設定の問題。
nbviewer.org/github/genkuro... pic.twitter.com/RaMdq4b1ej
タグ： 統計
posted at 19:41:37
@sacasacla 多分、この手のことは、何もないところから、手で数式を計算して、それをコンピュータで実装して、シミュレーションの計算を実行して、グラフを描いて確認するところまでを、全部自分でやってみないと納得し切るのは難しい。
無限に速いコンピュータが欲しくなる。
慣れるまで私も結構大変でした。
タグ：
posted at 19:49:34
上野愛咲美女流棋聖は本日、天元戦予選Ａで武宮正樹九段を破り今年の勝ち星を50勝(21敗)としました。「実感はないが、50勝の大台はうれしい」。これまで女性棋士の年間最多勝は上野女流棋聖自身が2019年に挙げた44勝(25敗)でしたが、今年は記録を大幅に伸ばしそうです。 pic.twitter.com/j5I7QGgro7
タグ：
posted at 19:54:54
SciML Scientific Mac @SciML_Org
With the release of Julia v1.7, Julia v1.6 is the new Long-Term Support (LTS) version of #Julialang. Here is #SciML's stance in regards to the LTS version support.
sciml.ai/news/2021/12/0...
posted at 20:26:43
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
「指導要領の解説」に「掛け算の順序」について載ってるのは最新版からであって、前回には載っていない。
「掛け算の順序」は最新版の「指導要領の解説」より前に小学校で大流行している。 twitter.com/aaschoolschool...
タグ： 超算数
posted at 20:54:37
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
「指導要領の解説」には法的強制力はないので、
教科書・作成会社が「指導要領の解説」を元に教科書を作るのは教科書・作成会社の責任であって、
文科省には責任はありません。
twitter.com/aaschoolschool...
タグ： 超算数
posted at 20:59:17
#Julia言語 でOffsetArraysを使ったプログラムの高速化を目指しています．1枚目のようなコードの型の確実性を見るためにcode_warntypeマクロを使ったところ，2枚目のような警告が得られました．が，どのように書き換えればよいのか掴めずにいます．
有識者の方々よろしくお願いします🙇 pic.twitter.com/boKzFvIvV3
タグ： Julia言語
posted at 20:59:59
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
１ 法的強制力のない「指導要領の解説」をベースに教科書を作るのは教科書・作成会社の責任
２ 教科書会社の方針に教材会社が従うのも教材・作成会社の責任
３ 「指導要領教の解説」、教科書、教材会社のテストの方針に従うかは教師の自由 pic.twitter.com/cPSOskfzUv
タグ： 超算数
posted at 21:08:34
かけ算の順序問題なあ。今まさに教える側なんだけど、主任に聞いても「そういうものと決まってる」というのだよな。個人的には交換法則が成立するんだからどっちでも正解やろがいと思うんだが、上の基準に従うしかないのがやるせない。不毛だなあ。
タグ：
posted at 21:12:53
シンプルな具体例 minimal working example が欲しいところ
逆に数学的に測度零の集合が無視できない場合もある。例えばベイズ統計の文脈で特異モデルになるパラメータの集合は測度零だが、有限のnでは近似的に特異モデルだとみなした方が良い場合も出て来る。例へのリンクに続く #統計 twitter.com/stattan/status...
タグ： 統計
posted at 21:18:52
特異モデルに近い正則モデルは有限のnでは特異モデルのように振る舞っているように見えることがよくある。 #統計
以下のリンク先にプロットがある2つ山の混合正規分布モデルの尤度函数は全然シンプルな単峰型になっていない。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 21:18:53
統計学の実際の利用では、モデルが現実をなんら反映していなくても、そのモデルが役に立っている場合がある。
例えば、新型コロナウイルスの潜伏期間をガンマ分布、対数正規分布、Weibul分布で推定した論文のベイズ法の部分を自分で再現してみたことがあるが、その3モデルを選ぶ必然性はない。続く twitter.com/stattan/status...
タグ：
posted at 21:31:43
#統計 続き。その3つのモデルはどれも現実での潜伏期間が生じる仕組みに基くモデルだとは言えないが、その論文で得られた推定結果はその後十分に我々の安全を守るために役に立っていると思います。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 21:31:44
#統計 最近気付いて面白かったのは、赤池弘次さんが
【未知パラメータを含むデータ分布】(モデルの分布)は【実はデータから特定の目的に適した情報を抽出するための道具立てである】
と述べていることに気づいたこと。
例：正規分布のi.i.d.モデルの最尤法はデータの平均と分散の計算と等価。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 21:44:36
難しいとか難しくないじゃなくて、「不可能だ」つってんのに。
可能だってんなら、実際に「こうすれば一意に定める事ができる」って示せばよいだけやろ。 twitter.com/fuckinsatoshit...
タグ：
posted at 21:59:36
#統計 ガンマ分布の最尤法の実際の数値計算は巧妙に工夫されたニュートン法を使うと爆速になる。
この手の technical details にもおもろい話が多い。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 22:23:26
私のうちでも算数プリントのおかしな採点は「家庭内でマル」の方針でした！そういううちは多いと思います。
かけ算順序固定強制指導(100年以上の歴史がある！)は、子供にかけ算の交換法則を教えた後に厳しくなる傾向があると思います。
本当にひどい話だと思います。 twitter.com/y8nyvvrcv98dcc...
タグ：
posted at 22:32:02
かけ算順序固定強制指導の批判者達の中にも根本的に誤解している人達がいて、「かけ算の交換法則を否定する教え方」だと思っていたりするのですが、現実は常識内で想定できないほどひどいです。
現実は「かけ算の交換法則をしっかり教えたから、かけ算順序固定強制指導をより徹底する」という方針！
タグ：
posted at 22:34:36
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
今週の土，日，月曜日担当します（11月に書いたのが予約投稿される形です）
qiita.com/advent-calenda...
タグ： Julia言語
posted at 22:48:04
ごまふあざらし(GomahuAzaras @MathSorcerer
そういえば（皆さんの）Julia に関するツイートも，(海外の人が)Twitterの翻訳機能を使って読んでるらしいよ
タグ：
posted at 22:49:19
#統計 個人的な意見では、標本平均や不偏分散のように標本分布に関する非常に緩い仮定のもとで不偏推定量になっている統計量と、特殊なモデル内部でのみ不偏推定量になっている統計量では印象が全然違うと思う。
その辺をしっかり説明しないと、どうして不偏性が大して重要でないか分かりにくくなる。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 22:56:13
「コウノドリ」ドラマをみて、わたしもついホロリと涙をうかべたんですが、「でもこのセリフってたしか自分で書いたんだよな」と思いだしたら、こんどは笑ってしまいました。
タグ：
posted at 22:59:30
@a_toyokky @OokuboTact 6✕7だとマルになるやつです。
バカバカしいので、バツがついていても気にしないほうがよいでしょう。
#超算数
タグ： 超算数
posted at 23:00:07
現実には「かけ算の交換法則をしっかり教えたので、かけ算順序固定強制指導を徹底する」という方針。
それなのに、
「かけ算の交換法則を教えるまでバツにしてよい」派
と
「習ってなくても交換法則は正しい」派
が争っているのを結構見る。
どうしたものかなあ、といつも思います。
タグ：
posted at 23:07:30
「かけ算の交換法則を教えるまでバツにしてよい」などと無茶を言う勢力には潰れてもらうべきだと思うのですが、それを批判している側も過去10年の議論で提出された資料を検索して読むというようなことはした方が良い。
常識的な発想では絶対に想定できそうもないことが行われています！子供相手に！
タグ：
posted at 23:10:46
@nyankophone その他の事象についても色々とタグ #超算数|や #掛算|で報告しています。わたしを含め議論参加者の多くがツイログもやっているので、適切なワードを設定したらそっちの方が早いかもしれません。
posted at 23:11:28
@sunchanuiguru @a_toyokky @OokuboTact 失礼します。
バツになってよかったですね。ちゃんと理解している証拠です。これが〇になるようだと心配した方がいいでしょう。
これは採点が間違っているので、堂々とバツになってください。バツになるのが正解です。
よろしければこれをお読みください。
sumatome.com/su/13343991669...
タグ：
posted at 23:40:57
@sekibunnteisuu @sunchanuiguru @a_toyokky @OokuboTact これ、結構怖いのは、せっかくのバツをマルに書き変えるときに先生に
ずつという言葉が出て来たらかけ算で
ずつのついている数をかけ算の式で先に書く
のように教わっている可能性です。😱
パターンマッチ教育に染まると子供の正常な読解力が破壊される危険性があると思います。
タグ：
posted at 23:47:31
後輩からの相談の時に
最終的な解析結果（多変量解析）だけ見せてくれたので、
記述的なデータ解析結果も見せてといったら、
「それはやっていません」
と言われたことがありました😓
分布を確認するとか基本的な事ほど身につかないのかもしれないと思いました。
タグ：
posted at 23:49:31
Hideki Kawahara: WAS @hidekikawahara
Julia v1.7.0が出ていた。MacBook Pro(Intel)と、Macmini(M1)にインストールした。（Windows 11にも入れた。忘れていた。）Juliaが本気で活躍するのはいつになる？MATLABが逃げ切るか、共存するか。
julialang.org/blog/2021/11/j... pic.twitter.com/err424aA85
タグ：
posted at 23:58:47
