黒木玄 Gen Kuroki(@genkuroki)/2022年05月06日

#数楽数学を学んでいて楽しいのは、楽しそうなこと達が大量に目の前に見えているのに、試行錯誤が足りていないせいで、ぐちゃぐちゃに見えていて、全然理解に至っていない場面です。

そういう場面として、ぐちゃぐちゃの確率分布の図表が肯定的に評価されるようになれば、理解する人が増えると思う。

タグ：数楽

posted at 23:59:49

#統計すでに「確率分布曼荼羅」の概念がある種の人達の頑張りによって普及してしまったので、ぐちゃぐちゃの確率分布図表について

⭕️整理の試行錯誤をまだやり遂げていないことから来る楽しさ

で評価するのではなく、

❌複雑で神秘的な曼荼羅は素晴らしい

となってしまわないかちょっと心配だ。 twitter.com/genkuroki/stat... pic.twitter.com/luWRm7R0Ak

タグ：統計

posted at 23:51:06

#統計添付画像①の

T～Gamma(k,1/λ)=Gamma(k,1)/λ
λ～Gamma(α,θ)=θGamma(α,1)
⇒ T～BetaBrime(k,α)/θ

は添付画像②の一部分とみなされる

X～Gamma(k,1)
Y～Gamma(α,1)
⇒ X/Y ～ BetaPrime(k,α)

と同じこと。X/(X+Y)～Beta(k,α)なので、ベータとベータプライムの違いはX/(X+Y)とX/Yの違い。 pic.twitter.com/1gKvejJx1n

タグ：統計

posted at 23:46:15

@genkuroki @takusansu @you_you_1 @84yame1000 「等式の性質」もそうですね。字面から予想されるような意味ではなく、特定の４つの性質を指している。 pic.twitter.com/tpULPC4zIA

タグ：

posted at 23:39:22

@takusansu @sekibunnteisuu @you_you_1 @84yame1000 算数教育界のスタイルは「害がないように聞こえる言い方でものすごく害のある教え方を正当化する」という方向に適応して来ているので要注意ですよね。「発達段階」「意味の理解」は典型的。

ついに、特殊な用語である「立式」も普及してとある辞書に載ってしまった。

これも利用されちゃいそう。😱

タグ：

posted at 23:36:28

#統計ポリアの壺型ルーレットでは、富めるものはさらに富み、貧しいものはさらに貧しくなるので、ベータ(負の)二項分布では分散がベルヌーイ試行の場合の二項分布や負の二項分布より大きくなります。

それと同じことが、その連続極限の、負の二項分布やベータプライム分布で起こります。 pic.twitter.com/X1gD9Q2Qdx

タグ：統計

posted at 23:30:55

#統計ポリアの壺(Polya's urn)と同じ性質を持つルーレットでは、当たりが出ると当たりが出る確率が高くなり、はずれが出るとはずれが出る確率が高くなります。

そういうルーレットを回し続けることは、毎回当たりが出る確率が同じベルヌーイ試行の一般化になっています。

タグ：統計

posted at 23:24:07

TaKu @takusansu

@genkuroki @sekibunnteisuu @you_you_1 @84yame1000 goo国語辞書や Weblio辞書では↓ですね。
【［名］(スル)数式を作成すること。「文章題から立式する」】
算数教育界ｗでは、もっと特殊で有害な使われ方がされているので、注意が必要とすればいいのでは。

タグ：

posted at 23:22:46

#統計ポリアの壺(Polya's urn)は、次のように当たりとはずれが出るルーレットと本質的に同じです。

* 当たりが出る確率pは2つの正値パラメー(α,β)でp=α/(α+β)と決まっている。

* 当たりが出るとパラメータは(α+1,β)に更新され、はずれが出ると(α,β+1)に更新される。

続く twitter.com/genkuroki/stat...

タグ：統計

posted at 23:21:24

#統計

⭕️色々な確率分布とそれらの間の複雑なに出会い、面白いと思って自分で図を描いたら、ぐちゃぐちゃになったが、楽しかった。

↑これは素晴らしいと思います。しかし、

❌教える側がそのぐちゃぐちゃを「曼荼羅」と称して称賛し、うまい整理の仕方が色々あることを強調しない。

はまずい。

タグ：統計

posted at 23:15:13

@you_you_1 以上の2つに発言の文脈がわかるスレッド
↓ twitter.com/genkuroki/stat...

タグ：

posted at 23:06:18

@takusansu @sekibunnteisuu @you_you_1 @84yame1000 「立式」という用語が算数教育の文脈でどのように特殊で有害な意味で使われているかについて知らないせいで、算数教育の文脈で安易に「立式」という用語を使う有害な発言をしてしまうこともある程度までは仕方がないことだとも思っています。

タグ：

posted at 23:03:45

@takusansu @sekibunnteisuu @you_you_1 @84yame1000 スクショも入れて目立つようにしておきます。 twitter.com/genkuroki/stat... pic.twitter.com/Y7ArDkLJ05

タグ：

posted at 23:00:28

@you_you_1 しかし、辞書に載っていないと断言してしまったことは私の側の一方的な誤りでした。その一点については私が酷かった。その点は非常に申し訳なかったです。ごめんなさい。

タグ：

posted at 22:59:08

@you_you_1 どうもこのスレッドの結果に恨みを持っているようなのは困りものだと思いました。文脈を読めば、文字通りの意味で辞書に載っているかどうかは私に主張の正しさとは無関係なことは分かるはずで、恨みを残すにしても、妙な悪印象を広める行為はやめてほしいです。謝罪に続く。

タグ：

posted at 22:57:34

#統計非常に困ったことに(もしかしたらこれも「伝統」なのかもしれませんが)、確率分布の世界は複雑でわけがわからない「曼荼羅」だという印象を広めることによって、クリアで分かり易い説明から遠ざける教育活動をしている人達がいる。

冗談で「曼荼羅」と言うのは構いませんが、知的には見えない。

タグ：統計

posted at 22:51:02

@takusansu ＞　その聞き方だと、教師用指導書に関しては管轄外と言われて終了になりそうですね。

それなら仕方ないですね
文科省が教師用指導書についてどの程度把握しているか気にはなりますが・・・

タグ：

posted at 22:49:40

#統計そして、

* Poisson分布 →拡張→ 負に二項分布
* ガンマ分布 →拡張→ベータプライム分布

はそれぞれ

* 二項分布 →拡張→ ベータ二項分布
* 負の二項分布 →拡張→ ベータ負の二項分布

の連続時間極限になっています。

そして、ベータ(負の)二項分布はポリアの壺で解釈できる。 pic.twitter.com/AKFlNciFqs

タグ：統計

posted at 22:47:40

#統計確率pのベータ分布をオッズu=p/(1-p)に変換するとベータプライム分布が得られ、F分布はベータプライム分布のスケール変換。

ベータプライム分布を確率分布表から除外すると、表が非常に不完全になってしまい、クリアな理解に至ることが難しくなります。

en.wikipedia.org/wiki/Beta_prim...

タグ：統計

posted at 22:43:26

TaKu @takusansu

@OokuboTact その聞き方だと、教師用指導書に関しては管轄外と言われて終了になりそうですね。
そもそも内容的に、どの部署に確認すればいいかも不明です。
私の方では、あくまで学習指導要領や解説の改善に向けた事に焦点をあてています。

タグ：

posted at 22:30:06

@takusansu 教科書の虎の巻（教師用指導書）が検定外なのをいいことに好き勝手をして、
教師が洗脳されて、生徒に深刻な被害を与えているのに、
何もできないままの無法状態がこのまま続くのか
文科省に聞いて欲しいです

＃超算数

タグ：超算数

posted at 21:55:12

TaKu @takusansu

@OokuboTact 学習指導要領解説も作成協力者に丸投げしている可能性もあります。
機会があれば、「文科省の考えを反映したものであり、作成協力者(教科書の著作関係者等)の主張を披露する場ではないですよね」と確認したいですね。

タグ：

posted at 21:32:47

Julia日本語記事まとめ @julia_kizi

「文科省が算数教育について何も知らない」という疑惑がある
国立教育政策研究所と校長などの学校の管理層に丸投げ状態では？ twitter.com/takusansu/stat...

タグ：

posted at 21:17:31

新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
 qiita.com/ekzemplaro/ite...👈

タグ： Julia日本語記事 Julia言語

posted at 16:13:30

「小学校の掛け算順序の固定強制」が日本の津々浦々まで大流行する背景には
教科書作成会社の出している虎の巻の悪影響が大きい
検定無しなので、文科省に責任は問えない

＃超算数

タグ：超算数

posted at 14:12:40

教科書作成会社が発行している教科書の虎の巻（教師用指導書）に依存している教師はかなり多いと思う
しかしネットにその内容が公開されることがほとんど無い
教師用指導書は検定無しに教科書作成会社が作っていて、一般販売もしていない
だから生徒や保護者には内容がわからない

タグ：

posted at 14:09:49

「小学校の掛け算順序の固定強制」などのトンデモ教育を擁護する人がいるけど、
そういう人達が公開する資料は「指導要領の解説」の最新版だけだったりする
しかも「指導要領」と勘違いして出してくる（わざと？）
もっと一般の人には見れない資料を公開して欲しい
＃超算数

タグ：超算数

posted at 14:05:23

学校内での体罰やイジメなどは外部からはわかりにくい
同じようにトンデモ教育も外部からはわかりにくい
「小学校の掛け算順序の固定強制」もスクショがネットに出回ったことで大騒ぎになった

＃超算数

タグ：超算数

posted at 14:02:30

#数楽そして、ガンマ分布と正規分布で1つのワールドを作っているという認識を得るためには、Gauss積分

∫_{-∞}^∞ exp(-x²) dx = √π

を一般化するとガンマ函数

∫_{-∞}^∞ exp(-x²)|x|²ᵃ⁻¹ dx = Γ(a)

が得られることに気付くことが必要。

この辺を早めにやっておくと楽。

タグ：数楽

posted at 13:36:34

#数楽ガンマ分布・正規分布ワールドとベータ分布・t分布ワールドの関係は、結局のところ、大学1年生での解析学で習いそうな

(1) Γ(a)Γ(b)=Γ(a+b)B(a,b)

と

(2) lim_{n→∞} nᵃ B(a, n+b) = Γ(a)

の2つの帰着します。

ベータ分布だけではなく、ベータプライム分布も基本的な点にも注意が必要。 pic.twitter.com/XwrRRGxMjO

タグ：数楽

posted at 13:31:57

ごまふあざらし(GomahuAzaras @MathSorcerer

#数楽 #統計教育用の図

リンク先はベルヌーイ試行から派生する分布の図。連続時間極限でポアソン分布やガンマ分布も出て来る。

下の図は

ガンマ分布・正規分布ワールド

と

ベータ分布・t分布ワールド

の関係の図。

「確率」のベータ分布と「オッズ」のベータプライム分布の両方が大事。 twitter.com/genkuroki/stat... pic.twitter.com/MLswg7quHx

タグ：数楽統計

posted at 13:21:41

ごまふあざらし(GomahuAzaras @MathSorcerer

クラウドコンピューティングのお勉強を個人用途でかつ
手元の計算機資源を使わずクラウド上で行うことを体験する
ことが目的ならJuliaHub から始めるといいかも.

JupyterLab使いたい場合は SageMaker Studio Lab が良さそうだけれどね

#Julia言語

タグ： Julia言語

posted at 12:34:05

#Julia言語

DataSets.jl の機能を用いて
CSVやら画像データを読み込めることができた。

データというものをコードのパッケージ・モジュールとみなすことで
データセットの取得を抽象化させてデータロードのロジックをいい感じにするのかな？

タグ： Julia言語

posted at 12:09:17

荒木飛呂彦コメントbot @araki_h_bot

日本、ダメじゃん。 twitter.com/atsukohigashin...

タグ：

posted at 11:08:47

Julia日本語記事まとめ @julia_kizi

僕が『ジョジョ』を王道だと呼ぶのは、主人公、悪役であってもキャラクターの志は前向きだからです。そこに悩む人物は描かない。人生に悩むのは普通のことなので、退屈になってしまう。前向きな志同士がぶつかり合うことで、化学変化やサスペンスが生まれると思って描いています。

タグ：

posted at 11:06:36

新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
 qiita.com/cometscome_phy...👈

タグ： Julia日本語記事 Julia言語

posted at 09:18:00

Yuki Nagai @cometscome_phys

記事を投稿しました！ Juliaでproxy経由でパッケージをインストールしたいけどエラーがでる時の解決策 v2 on #Qiita qiita.com/cometscome_phy...

タグ： Qiita

posted at 09:14:23

@nami_ca #Julia言語

 nbviewer.org/github/genkuro...

での、SymPyでのBase. showの定義の上書きのコードにバグがあったので修正しました。

\displaystyleの後に空白が必要でした。 github.com/genkuroki/publ...

タグ： Julia言語

posted at 07:59:36

Aww Cats @AwwCats_

pic.twitter.com/MegBCJiZoe

タグ：

posted at 05:42:08

ぴえこ@連珠（競技五目ならべ） @pieco_renju

七盤勢と。 pic.twitter.com/VwgNE74ZQE

タグ：

posted at 05:32:15

「管理教育」云々という仮説が間違っている可能性はないのかな？

＞不思議ではあったが、オピニオンリーダーになる人が、親世代の空気も決めてしまう面があるのかもしれない。

仮説が正しいという前提での合理化だね。

タグ：

posted at 05:19:12

＞ただ不思議だったのは、親の年齢はバラバラだったのに、90年代後半から急にそうした親が増えだしたこと。あんた管理教育の世代違うやん、という親も教師をバカにしていたり。不思議ではあったが、オピニオンリーダーになる人が、親世代の空気も決めてしまう面があるのかもしれない。

タグ：

posted at 05:17:44

note.com/shinshinohara/...
この人、学者なの？

自分が見聞きした雑多な事柄と自分の感想を並べて、根拠もなく関連付けているようにしか見えないのだけど・・・

タグ：

posted at 05:14:11

積分定数「麻薬、覚醒剤、などの薬物は危険。」

ぼんじり氏「薬物を使う人間が悪い。薬物自体が悪いわけじゃない。薬物にもメリットがある」

積分定数「どんなメリットが？」

ぼんじり氏「いやなことが忘れられる。幸福感に浸れる。やめられなくなる。これがメリット」

積分定数その他「・・・」 twitter.com/ikecchi_poke/s...

タグ：

posted at 04:42:46

See the github.com/mkitti/ArrayAl... for documentation on the overall project.

タグ：

posted at 04:24:38

My overall recommendation is to use these tools as part of profile guided optimization for your specific application.
en.wikipedia.org/wiki/Profile-g...

タグ：

posted at 03:47:45

For more about NUMA on @Microsoft @Windows , please see the following documentation.
docs.microsoft.com/en-us/windows/...

タグ：

posted at 03:47:45

For more about using NUMA on Linux, please see the numactl project.
github.com/numactl/numactl

タグ：

posted at 03:47:44

Additional work is needed to affinitize #JuliaLang threads to processors local to individual #NUMA nodes. #NumaAllocators.jl only provides bindings to allocate memory on specific NUMA nodes.

タグ： JuliaLang NUMA NumaAllocators

posted at 03:47:44

#NumaAllocators.jl lives as a subdirectory package in the #ArrayAllocators.jl repository. It depends on NUMA_jll.jl to provide #libnuma from #numactl on Linux. On Windows, VirtualAllocExNuma is used. github.com/mkitti/ArrayAl...

タグ： ArrayAllocators libnuma NumaAllocators numactl

posted at 03:47:44

Naively, I had believed that #NUMA meant that copying data between memory local to the current processor was always most efficient. On Intel #Skylake and #CascadeLake processors, copying data from the local node (1) to a remote node (0) takes 60% of the time as a local copy. pic.twitter.com/1SDBAAVpYU

タグ： CascadeLake NUMA Skylake

posted at 03:47:43