黒木玄 Gen Kuroki(@genkuroki)/2020年06月22日

#数楽グラフィカル・モデルの形式で確率モデルを構成することを学びたい人は、最終的な着地点=モデルを使った推定・推測・推論で何をやることになるかの理解を進めながら、基礎になる確率変数の概念について理解を深めて行く必要があります。

タグ：数楽

posted at 23:58:55

@OokuboTact @genkuroki @temmusu_n @sekibunnteisuu 私が引用した現代数学教育事典は700頁以上ある大作で、1962年（昭和37年）に横地清氏が脱退した後の、数教協の基準になる考えではないかと想像しています。
8254.teacup.com/kakezannojunjo...

タグ：

posted at 23:58:01

#数楽要するに、確率モデルを使った予測を行いたければ必然的にモデル内条件付き確率分布を構成することになり、確率モデルをデータにフィットさせたければ尤度を最大化するようにパラメータを調節することになる。

これは最尤法でもベイズ統計でも全部同じ。

タグ：数楽

posted at 23:56:24

#数楽モデルに調節できるパラメータがあるならば、観測されたデータy_1,…,y_nにモデルがフィットするようにパラメータを調節したくなる。

確率モデルの場合には、モデル内で観測されたデータy_1,…,y_nと同じ数値が生成される確率の密度(尤度)を最大化するようにパラメータを調節することになる。

タグ：数楽

posted at 23:53:58

Julia に絶望した回数だけJuliaに強くなれる（楽になりたい．．．）

タグ：

posted at 23:52:22

#数楽モデル内条件付き確率分布の構成の必然性。

モデルを使って予測をする場合には、観測されたデータy_1,…,y_nと同じ数値がモデル内でも生成された場合に、モデル内で次のy_{n+1}がどのように生成されるかを調べることになる。これは確率モデルでは条件付き確率分布の構成そのものになる。

タグ：数楽

posted at 23:51:43

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos それらの区別は幻影だと認識しています。そもそも、算数教育について調べる以前は、そんな概念は知りませんでした。

引き算は引き算でしかないと思っていたし、今も思っています。

ラーメンマン先生さんは引き算に求残や求部分、求差という区別があると考えていますか？　

どうぞ

タグ：

posted at 23:49:41

#数楽

* グラフィカル・モデルの記述は確率的に値が連鎖的に(ランダムに)決まって行く様子の記述になる。

* モデルを使った推定・推測・推論の基本は

(1)モデル内でデータと同じ数値が生成された場合の条件付き確率分布の構成

(2)モデル内でのデータと同じ数値の生成確率密度(尤度)の最大化

タグ：数楽

posted at 23:49:01

#数楽このスレッドを書いた動機は「確率変数と呼ぶのをやめよう」という言説を潰すことなのですが、確率変数ユーザーになりたい人の側の動機は「グラフィカル・モデルを理解したい」「確率モデルを使った推定・推測・推論について理解したい」であることが多いはずだと思って、その解説も書いた。

タグ：数楽

posted at 23:43:55

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos それを

足し算の意味は「ふえるといくつ」「あわせていくつ」
引き算の意味は・・・

と教えることで、逆演算など、あたらな問題に遭遇するたびに「これも足し算を使っていい」という教師の許認可が必要になってしまうのだと思います。

どうぞ

タグ：

posted at 23:42:11

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos 「3人帰ったので5人になった。最初は何人？」

式を立てなくてもいいなら、最初に4人なら3人帰れば1人、など、としらみつぶしにやってもいいでしょう。

式を書くにしても、「足し算の意味」を、「a+bはaよりもb大きい数」としてだけ教わっていれば、5よりも3大きい数だから、5+3とできるでしょう。

タグ：

posted at 23:40:39

@takusansu @genkuroki @temmusu_n @sekibunnteisuu Takuさんへ

スウキョウキョウにもいろんな考えがあります。
例えば銀林浩の『量の世界』から pic.twitter.com/KWpT8RqHsc

タグ：

posted at 23:39:37

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos で、重要なことですが、足し算や引き算を習っていなければ、簡単な数値であれば、難なく答えられたのではないか？と思うのです。

　教えていて、学校で教わることでそれまで溶けていた問題が解けなくなることがあります。さっきのロープの重さもそうです。

タグ：

posted at 23:37:01

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos もし本当にそう認識しているのなら、算数云々以前に、世界の認識を正しくさせる必要があると思います。

で、おそらくは深く考えていなくて、「なんか指揮を立てないとならない。帰った、とあるから引き算、3と5があるから、5-3」としたのだと思います。

タグ：

posted at 23:34:33

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos 同様のことは、逆思考の問題でも言えます。

「3人帰ったので5人になった。最初は何人？」

これを「帰った」だから、5-3＝2　とする子がいるというのです。

その子は、本当に「最初に2人いて3人帰ると5人になる」と認識しているのでしょうか？

タグ：

posted at 23:32:49

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos 「男の子から女の子は引けません」というのは、「引き算の意味」として、求残・のこりはいくつ　と教えているからではないでしょうか？

タグ：

posted at 23:30:53

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos 子供は本当に、「男子の方が女子より2個多い」というのが分からないものなのでしょうか？

就学前の子でも、お菓子の数で「そっちの方が2個多い」だのなんだのと、兄弟げんかしたりするのではないでしょうか？

タグ：

posted at 23:29:54

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos 遠山啓の本に、「求差は求残よりも難しい」とありました。

「男子8人、女子6人、男子は女子より何人多いか？」

これを、8-6とすることに対して「男の子から女の子は引けません」と声が上がるというのです。

私はこれに対して疑問があります。

タグ：

posted at 23:28:18

#数楽このスレッド執筆の動機は、確率変数について学んだ人が理解できなくなって「確率変数と呼ぶのをやめよう」というくだらない言説の側に流れてしまわないようになって欲しいこと。

問題：確率的に決まる数量(確率変数、例：サイコロの出目)を数学的に扱うための必要最小限の数学的データは何か？ twitter.com/tsatie/status/...

タグ：数楽

posted at 23:25:49

Julia News @julialang_news

Fast implementation of DeepMind's AlphaZero algorithm in Julia github.com/jonathan-laure... #hackernews

タグ： hackernews

posted at 23:21:33

Fredrik Bagge Carlso @baggepinnen

Visualize and listen to sounds using Makie and #julialang
@MakiePlots @SimonDanisch
youtu.be/KcqyUi5X-1o pic.twitter.com/1uWr3wg4E2

タグ： julialang

posted at 23:12:06

Zygote.jl のドキュメントをベースに使い方，調べるにあたって検算したときのメモを公開します．

gist.github.com/terasakisatosh...

タグ：

posted at 23:11:06

@genkuroki @temmusu_n @sekibunnteisuu @OokuboTact 【「倍」と「積」の区別が「単項演算」と「二項演算」の区別に対応。】
数学教育協議会とは別の考えだと思います。

参考画像
現代数学教育事典
遠山啓／責任編集
出版年:1965年 pic.twitter.com/zaYtLuXngr

タグ：

posted at 23:03:58

ʇɥƃıluooɯ ǝıʇɐs @tsatie

🀙🀛🀜🀜🀝🀞🀟🀠🀡🀒🀓🀔🀇🀇なるほど。

タグ：

posted at 22:51:04

@genkuroki @temmusu_n @OokuboTact 8254.teacup.com/kakezannojunjo...

別の方でした。失礼しました。

タグ：

posted at 22:39:09

@genkuroki @temmusu_n @OokuboTact ありがとうございます。これですこれ。

でも、「板垣」で↓を検索したけど、該当するのはなかったから、私の勘違いようでした。数教協の大学の先生が書き込んだ記憶があるけど、この方ではなかったですね。
8254.teacup.com/kakezannojunjo...

タグ：

posted at 22:34:56

天むす名古屋 Temmus @temmusu_n

@temmusu_n @sekibunnteisuu @OokuboTact #超算数

 8254.teacup.com/kakezannojunjo...
↓
homepage.kokushikan.ac.jp/rio/user/kks_r...
↓
Forbidden

にあったkakezan.pdfの内容は添付画像の通りです。

twitter.com/sekibunnteisuu... pic.twitter.com/zerDDOaBH6

タグ：超算数

posted at 22:30:25

@sekibunnteisuu @genkuroki @OokuboTact #超算数ブログの方の根上生也さんtwitter.com/genkuroki/stat...は倍概念にオペレータとしての用法があるとも言ってました(cf. 乗法的オペレータ)。啓林著者の中で二項演算に言及していることが明らかなのは黒﨑東洋郎さんですtwitter.com/sekibunnteisuu...。

タグ：超算数

posted at 22:22:50

@genkuroki @OokuboTact @temmusu_n #超算数で、「数学教室」に記事を書いたご本人（を名乗る方）がこの掲示板に登場したんだけど、見つけられない。
8254.teacup.com/kakezannojunjo...

タグ：超算数

posted at 22:21:20

@genkuroki @OokuboTact @temmusu_n #超算数倍と積に関しては数学教育協議会の機関紙「数学教室」でもあったはずなんだけど、画像が乗っていたサイトがなくなっちゃいましたね。コピペしておけばよかった。
8254.teacup.com/kakezannojunjo...

タグ：超算数

posted at 22:19:03

んんンァxああぁあ pic.twitter.com/uphvQg5Yzi

タグ：

posted at 22:15:24

Control flow is fully supported なんだーって知って喜んだときの顔 pic.twitter.com/TIGXMk6rp2

タグ：

posted at 22:12:57

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos 括弧が分数でもちゃんとできていた子が学校で分数の掛け算・割り算を習ってできなくなってしまったこともあります。

「学校でやったことは忘れて、前みたく地道に考えて」と言ったらできるようになりました。

タグ：

posted at 22:11:18

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos しかし、同様のことは、高学年にやっています。分数の掛け算・割り算を教わっていない状態で

（　）mで（　）kgのロープは、（　）mで（　）kg

で、3つを埋めて、残りを求める問題をやります。

タグ：

posted at 22:10:41

Zygote で計算すると定数関数の微分 nothing になるんやけど・・・．で見つけたIssue.

github.com/FluxML/Zygote....

そんで本家にissueが伝搬してる．

タグ：

posted at 22:10:32

@ramenmanteacher @mtkharu3 @U8qbdc13KgqOMos あいにく小学校低学年の子を教えたこと長いので、実践はしていません。機会があればぜひやってみたいと思っています。

タグ：

posted at 22:09:26

@OokuboTact @temmusu_n @sekibunnteisuu #超算数ぶっちゃけ、検索抜きに今まで触れた資料について全部思い出すのは無理。検索しても見つからないことが多いので、検索しても無理。

タグ：超算数

posted at 22:03:24

@OokuboTact @temmusu_n @sekibunnteisuu #超算数 2人の「根上生也」が同一人物であるかどうかはわからないのですが、言っている内容は偉そうな割に中身がなくてくだらない。

仮に2人が同一人物ならばこのスレッドの内容的にはちょっと興味深いことだと思いました。

タグ：超算数

posted at 22:02:05

@OokuboTact @temmusu_n @sekibunnteisuu #超算数啓林館の算数教科書の編集委員の中に「根上生也」という名前があり、以前あるブログのコメント欄にも「根上生也」を名乗る人物が登場しました。その記録。

web.archive.org/web/2012081705...

より。

「倍」と「積」の区別が「単項演算」と「二項演算」の区別に対応。

twitter.com/genkuroki/stat... pic.twitter.com/7fLIxGGj2k

タグ：超算数

posted at 21:59:47

@takusansu （続き）

新しい指導要領解説に掲載されている掛け算順序の説明は、坪田氏の著書の説明とよく似ています。
坪田氏のオリジナルではないのですが、坪田氏の著書の影響力を考えると、関係が深いと思うのです。

タグ：

posted at 21:33:18

@takusansu ＞　学習指導要領解説は、作成協力者間で意思統一されないで書かれていると推察しています。(担当部分があるのでは？)

そうだと思いますが、しかし掛け算順序は坪田氏だけではなく、多くの算数教育の権威の常識です。

＃算数教育の常識は一般の非常識

タグ：算数教育の常識は一般の非常識

posted at 21:31:05

@OokuboTact #超算数学習指導要領解説は、作成協力者間で意思統一されないで書かれていると推察しています。(担当部分があるのでは？)
坪田耕三氏の担当部分が掛け算ではなかったか、突っ込んで書く勇気がなかったかあたりかと。
平成29年版は分量が増えた分、ちぐはぐ感が大きい印象があります。

タグ：超算数

posted at 20:08:48

JuliaのKenoさん，持っている技術が人類の予想の外に来るようになっていて好き．

タグ：

posted at 19:59:40

万博@盲学校マジック @bampaku

@OokuboTact でた！場合の数と掛け算の順序！実際、あの返しは明確にやばい人をあぶりだせるので素晴らしいと思います。積分定数さんはいつも具体例がうまい。

タグ：

posted at 18:53:52

@takusansu そうですね。
坪田耕三氏は掛け算順序の強い推進者なのですが、この時の指導要領解説には、掛け算順序の記載はないのが不思議！

＃超算数

タグ：超算数

posted at 18:49:29

@bampaku ＞　その出演料はフォロワーで等分除させて頂きまして……

いえいえ、フォロワーを抽選して飲み会の費用に。

＃場合の数と掛け算の順序

タグ：場合の数と掛け算の順序

posted at 18:47:36

@OokuboTact 小学校学習指導要領解説算数編 1999年(平成11年)の作成協力者ですね。
8254.teacup.com/kakezannojunjo...

タグ：

posted at 18:45:50

万博@盲学校マジック @bampaku

@OokuboTact その出演料はフォロワーで等分除させて頂きまして……

タグ：

posted at 18:43:55

@bampaku ＞　積分定数さんが算数教育学者になれる！

NHKの教育テレビで算数教育の専門家として出れば、出演料をがっぽり貰えるはず

＃超算数

タグ：超算数

posted at 18:40:48

万博@盲学校マジック @bampaku

積分定数さんが算数教育学者になれる！

タグ：

posted at 18:31:44

@temmusu_n @sekibunnteisuu ＞　論文が何本も書けるくらい資料見てますからねー。

もし論文を書いて提出したら、算数業界から高く評価してもらえるのかな〜？

タグ：

posted at 18:30:33

２０１４年の岩波新書の『算数的思考法』の著者・坪田耕三氏の経歴を見ると

＞　前小学校学習指導要領協力者
・・・と書いてある。
たぶん誤植
別の本には「指導要領」ではなく、「指導要領解説」と書いてあるから pic.twitter.com/Bnf2XA5rB6

タグ：

posted at 18:29:01

Linux環境でGUIまではいけたけれどなぜかスライダーが動かない・・・．なんでや・・・

Juliaでバーチャル地球儀を作ってみた qiita.com/oki_mebarun/it... #Qiita

タグ： Qiita

posted at 18:16:45

天むす名古屋 Temmus @temmusu_n

@dendero3 「こいつは理解できないに決まっているから、きはじ図を教えてすます」に類する扱いを小学生時代から受けてしまっているかわいそうな子もいると思うんです。

そういう子を何とか救おうとする大人が高校にもいてくれるとよいのではないかと思いました。

タグ：

posted at 17:47:51

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

@sekibunnteisuu #超算数論文が何本も書けるくらい資料見てますからねー。そのリンクの中で一番ふるいのは大久保さんが紹介している2001年の向山本ですね。あるTOSS教師が啓林に質問したところ二項演算、単項演算に依拠する回答を受けたとありましたtwitter.com/OokuboTact/sta...。これも小関氏の事績かもしれません。

タグ：超算数

posted at 17:44:30

最近ほんとJuliaユーザ増えたな。ワシがJuliaを始めた頃はな…（昔話が3時間続く）

タグ：

posted at 17:33:09

いまだに atan2 ないんだっけって探してしまう。
(実際には atan(y,x) で良い)

#Julia言語

タグ： Julia言語

posted at 17:09:34

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

@temmusu_n #超算数自分の過去ツイ検索したら、いろいろ出てきました。どうも記憶力が悪いようですみません。
twitter.com/search?q=sekib...

タグ：超算数

posted at 16:27:58

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

やはり時代はJulia ( ˘ω˘)

タグ：

posted at 16:01:12

コロナ社☉自然科学専門書の出版社 @coronasha

1位めう！

タグ：

posted at 15:59:24

書店様向け情報　コロナ社

🏆　2020年6月Webアクセスランキング　🏆 pic.twitter.com/FcQkldYUrn

タグ：

posted at 15:54:41

#超算数分岐

子供を「こいつは理解できないに決まっているから、きはじ図を教えてすます」というような扱いをしちゃダメ。

twitter.com/genkuroki/stat...

タグ：超算数

posted at 15:41:00

@dendero3 #超算数「こいつは理解できないに決まっているから、きはじ図を教えてすます」というような扱いを大人達から受けたら、子供は自分がどのような扱いを受けているかに気付いて、誇りが傷付いたり、理解を諦めたりするものだと思います。

まさに子供を殴る行為そのものだと言ってよいと思います。

タグ：超算数

posted at 15:38:30

@dendero3 #超算数「試験の点数」のようなくだらないどうでもよいことに適応させるために「きはじ図」を教えて頭が悪くなる方向に誘導して、生活で必要になる事柄の真っ当な理解を妨げる行為は、教わっている若い人達から明るい未来を奪うとてつもなくひどい行為だと思います。続く

タグ：超算数

posted at 15:34:33

@dendero3 #超算数「間違っている」で済ませてはいけないほど教育的にクズな考え方をしていると思いました。

速さと距離と時間の関係の理解は例えば自動車を運転して仕事をする場合などで生活に不可欠な事柄です。

一方、数学の試験で点数を取ることはくだらなくてどうでもよいことです。続く pic.twitter.com/LPzE2iYiC5

タグ：超算数

posted at 15:30:45

#統計関連

twitter.com/genkuroki/stat...

タグ：統計

posted at 14:00:56

#統計関連
twitter.com/genkuroki/stat...

タグ：統計

posted at 13:54:20

#統計二項分布とスケールされたベータ分布が互いに相手を近似していることから、シンプルなベルヌイ分布モデル(二項分布モデル)について、頻度論でダメだったことがベイズ統計に行けば解決するということはあり得ないことが分かる。

心理統計の人達が広めたベイズ統計観は杜撰なので要注意。 pic.twitter.com/JOhEl6D4z2

タグ：統計

posted at 13:52:55

ある程度以上歳を食った人が、言葉遣いや服装が気に入らないという理由で若い人を叱りつけるのも醜悪。

タグ：

posted at 13:42:11

#Jupyter

Jupyterの開発者達のモチベーションは

open science

であり、

all languages equal class citizens

という立場なので、Jupyterは主にPython用だと思うのはもってのほかで、Julia, Rを加えただけで済ますのもまずい。

speakerdeck.com/fperez/project...

twitter.com/stmtk_yu/statu... pic.twitter.com/2iTY5uDsir

タグ： Jupyter

posted at 13:25:07

#超算数頭が悪くなる方向に誘導する教え方をしている人達がまるで子供のためにそうしているかのような態度を取るのは醜悪。

子供を平気で殴る大人が「子供のためを思ってそうしている」と言っているのと同じ。

「きはじ図」を教えている人は子供を殴る人と同じ扱いを社会的に受けるべき。

タグ：超算数

posted at 13:06:31

#超算数算数教育に書かれたまともな本を見ると、子供は何かについて教わると教わる前には正しくできていたことをできなくなる(やらなくなる)という話が繰り返し出て来ます。

小3の子が直観的にできることを、「きはじ図」の類を教えたせいでできなくなるようにしている場合もあるのではないか？

タグ：超算数

posted at 13:02:38

#超算数このコメントが一番常識的(であるべき)だと思いました。

とある割り算を習った直後の小3の子に速さと距離と時間の関係の簡単な問題を口頭で出したら暗算ですぐに解けました。

「はじき」「きはじ」「みはじ」の図を描こうとしている時点で割り算を習った直後の小学3年生より劣っている。 twitter.com/ink_virtue/sta...

タグ：超算数

posted at 12:59:48

#Julia言語

二項分布とスケールされたベータ分布の比較 pic.twitter.com/Rsq8jilGIb

タグ： Julia言語

posted at 12:54:42

#Julia言語 Distributions.jl の公式ドキュメントの

juliastats.org/Distributions....

にある沢山の確率分布をどんどん「可視化」して行けば、確率分布に詳しい人にすぐになれると思います。

ベータ分布とArcsine分布 pic.twitter.com/CiWQpVmgnh

タグ： Julia言語

posted at 12:53:27

#Julia言語

χ²分布と一致するガンマ分布 pic.twitter.com/hdi63j4KjI

タグ： Julia言語

posted at 12:50:02

#Julia言語

正規分布とt分布の比較 pic.twitter.com/bkxw6TGf9j

タグ： Julia言語

posted at 12:49:03

#Julia言語では

using Distributions
using StatsPlots
plot(Normal())

とか

plot(Cauchy(), -7, 7)

のようにして、確率分布を「可視化」できる。添付画像は

github.com/terasakisatosh...

のlaunch binderを使った。ブラウザからJuliaを使える。 pic.twitter.com/br2Ih9S8XQ

タグ： Julia言語

posted at 12:48:13

Anyway, I don't really have the time to pursue this much farther, but happy to point in the right directions if anybody feels inspired.

タグ：

posted at 12:36:55

The goal here would be twofold:
1) To have a prototype of what frontend julia development may look like if we had performant bindings in wasm that julia could make use of.
2) As a faster version to ship for desktop GUI apps (kind of like a reverse Node.JS).

タグ：

posted at 12:36:55

That said, I think for somebody familiar with Rust macros and willing to dive into the Servo source code, I think it wouldn't be more than a few days work. github.com/Taaitaaiger/jlrs has a good start to the Julia-Rust integration side, but would need a slight enhancement.

タグ：

posted at 12:36:55

So curiosity got the better of me and I tried doing this. Turns out just hacking #julialang into servo and hooking up code evaluation is pretty easy. Of course the whole point would be DOM integration which is about two orders of magnitude harder. twitter.com/KenoFischer/st... pic.twitter.com/9prX13cDiP

タグ： julialang

posted at 12:36:54

#Julia言語については、1始まりでない配列のテストも書かれています。

github.com/JuliaLang/juli...

OffsetArrays.jlはJuliaでFortran-likeな任意の始まりの配列を使うためのパッケージ。

github.com/JuliaArrays/Of...

OffsetMatrices.jlがあるともっと便利だと思う。

タグ： Julia言語

posted at 10:30:53

天むす名古屋 Temmus @temmusu_n

#Julia言語を使い始めてから「配列は0始まりじゃなくてダメだと思った」というような発言をして恥じない人達が沢山いることに何度もがっかりさせられている。教条主義者達。

ちなみに、Juliaの公式ドキュメントでは1始まりでない配列の型を作る方法も解説されています。
docs.julialang.org/en/v1/devdocs/... pic.twitter.com/MEP9ZhAWEh

タグ： Julia言語

posted at 10:30:52

@sekibunnteisuu #超算数 2011年の指導書を見たことがあります。twitter.com/temmusu_n/stat...
小関熙純氏が啓林で編集責任者だった時代なのでしょう。啓林の算数用語集には乗法的オペレータtwitter.com/temmusu_n/stat...というやつも。

タグ：超算数

posted at 09:09:37