黒木玄 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 を見て下さい。
2020年06月29日(月)
@Ototo_ #数楽 多分大量の反応があると思いますが、A₂型クラスター代数またはA₂型フリーズパターンの話だと解釈できます。
多分、中高生にも分かる様に書いた私による解説が一番易しい(笑)。
genkuroki.github.io/documents/2010...
genkuroki.github.io/documents/2012...
genkuroki.github.io/documents/clus...
genkuroki.github.io/documents/2010... pic.twitter.com/5xJby3OS7E
タグ： 数楽
posted at 00:00:40
@genkuroki ありがとうございます。PDEなら配列で持つことになると思うのですが、少数変数のODEなら各変数に命名する方が可読性が高いので、mutable structとおっしゃる方法のDict版を比べてみたいと思います。
タグ：
posted at 00:22:38
@Ototo_ #Julia言語 #数楽
他の例(A_3型の場合)
g(x, y, z) = (z, (x+yz+z)/(xy), (x+z)/y)
とおくと、gを3回合成すると恒等写像になります(添付画像の右半分、左半分はA_2型の場合の件の例)。
こういう例を有限型Dynkin図形ごとに沢山作れます。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/mCF7Bbhmn6
posted at 00:35:06
@Ototo_ #数楽 検索するまで知らなかったのですが、現在ではCoxeter-Conwayのフリーズパターン(≒A型のクラスター代数の話)の解説が結構容易に見付かりますね。
高校への出前授業ネタをみんな仕入れているということなのだと思います。
www.google.com/search?q=Friez...
タグ： 数楽
posted at 00:40:36
ブログを書きました。#Julia言語 はタスクでマルチスレッド処理も簡単にできるので非常に助かる。
MATLABで Parallel Computing Toolbox を買ってもそう簡単には並列処理で高速化できないからな…。
Julia のコルーチン（タスク）の動作を理解する hassiweb-programming.blogspot.com/2020/06/unders...
タグ： Julia言語
posted at 01:13:03
ごまふあざらし(GomahuAzaras @MathSorcerer
@hika_ruriruri @genkuroki 是非是非．（昔ラズパイでやりましたが動くはずです．）
タグ：
posted at 01:52:38
ごまふあざらし(GomahuAzaras @MathSorcerer
Julialangの人々，QiitaじゃなくてJulia本体ないしはパッケージ，GitHubのIssue，Slack，Twitterに生きてる(偏見）．
ユーザー増やすんだったらQiita戻って書いた方がいいのかな？ twitter.com/kei_fxv/status...
タグ：
posted at 02:02:42
全然知らなかったけど、Dockerを使ってPythonとJuliaをJupyter Lab上で動かせるコンテナをつくってみました😊
pyenvやcondaとかで仮想環境を管理するよりも、Dockerでコンテナ乱立した方が安全なのかな？
よくわかりません🙃
タグ：
posted at 02:55:53
そうなんですよね、かかりつけ医などの力は絶大ですから、がんばっていただきたい👶
#マシュマロを投げ合おう
marshmallow-qa.com/messages/17bcc... pic.twitter.com/CiHaoivOvd
タグ： マシュマロを投げ合おう
posted at 04:37:37
@TimothyStiles @terronk @davidcrawshaw @golang @rustlang @JuliaLanguage The package manager in #JuliaLang is a real game changer. I regularly use Python and I feel like I have no idea what’s going on vs when I use Julia I have complete control of my packages and environment.
タグ： JuliaLang
posted at 05:03:34
Dr. Chris Rackauckas @ChrisRackauckas
@TimothyStiles @OfficialLoganK @terronk @davidcrawshaw @golang @rustlang @JuliaLanguage #julialang of 2015 is not even comparable to the #julialang of today. The exponential growth that occurred means that the vast majority of the packages and community did not arrive until at least 2016 or 2017.
タグ： julialang
posted at 05:51:49
Zoomだけは油断ならないですね。「ん? なんかMacが重いな」と思ったらload averageが300を超えていて、会議を抜けてZoomを終了するとload averageが通常まで下がる、ということが何度もありました。昨日もありました。 twitter.com/ytb_at_twt/sta...
タグ：
posted at 12:06:32
ごまふあざらし(GomahuAzaras @MathSorcerer
@physics303 その設定自体をDockerfileに書かないと起動時に毎回Vimの設定する作業が発生するので追記するなりお好み焼きでどうぞ。
github.com/terasakisatosh...
タグ：
posted at 12:57:56
非公開
タグ：
posted at xx:xx:xx
@Ototo_ #数学 例(A_2型)
f(x, y) = (y, (y+1)/x) の5個の合成は恒等写像になる。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/7b01bKISbG
タグ： 数学
posted at 13:17:10
@Ototo_ #数楽 例(A_3型)
f(x, y, z) = ((y+1)/x, y, z)
g(x, y, z) = (z, (x*z+1)/y, x)
h(x, y, z) = (x, y, (y+1)/z)
とおいて、f,g,hの順の合成を3回繰り返すと恒等写像になる。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/Pn4ouVjGWz
タグ： 数楽
posted at 13:29:00
@Ototo_ #数楽 例(B_2型)
f(x, y) = (y, (y^2+1)/x)
g(x, y) = (y, (y+1)/x)
とおいて、f,gの順の合成を3回繰り返すと恒等写像になる。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/TwS40cu05E
タグ： 数楽
posted at 13:30:09
@Ototo_ #数楽 例(G_2型)
f(x, y) = (y, (y^3+1)/x)
g(x, y) = (y, (y+1)/x)
とおいて、f,gの順の合成を4回繰り返すと恒等写像になる。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/k5m2fbPtHt
タグ： 数楽
posted at 13:31:35
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@Ototo_ #数楽 例(A^{(1)}_1 型)
f(x, y) = (y, (y^2+1)/x)
とおく。
(Y, Z) = f(X, Y),
C = (Y^2 + 1)/(XZ)
K = (Z + C*X)/Y
とおくと、自明にC=1となり、非自明にfの作用でKが保存される。
アフィン型の場合には有限周期性は成立しないが、保存則が現われる。
gist.github.com/genkuroki/3c9b... pic.twitter.com/hwLisqEZXp
タグ： 数楽
posted at 13:51:41
@Ototo_ #数楽
genkuroki.github.io/documents/clus...
の第5節で解説したように、以上の話は「非可換な場合」に拡張されることも知られています。
かけ算の順序を注意深く決め、かけ算の順序を勝手にひっくり返してはいけないというルールのもとでも、クラスター代数およびその周辺のきれいな結果がかなり保たれます。
タグ： 数楽
posted at 13:55:19
主観的に私は「かけ算の順序にこだわる数学」の専門家のつもり。
そういう私が子供の教育が心配になって調べてみたら、かけ算順序にこだわる教え方の問題を氷山の一角とする悲惨な算数教育の問題に気付いてしまった(笑) twitter.com/genkuroki/stat...
タグ：
posted at 14:04:42
#統計 ベイズ統計についておかしな考え方を現在も広め続けている「偉い人」のお話
私たちはAIの世界にどう対峙すべきか？ 「ベイズ統計」を研究する 東京大学名誉教授 松原 望さん
synapse-magazine.jp/new-business/1...
web.archive.org/web/2020061813... pic.twitter.com/AdcDC80pn7
タグ： 統計
posted at 14:33:10
#統計 教科書に書いてあったりするせいで、多くの人が同じようなことを言うのですが、実践的には【同条件で100回データXをサンプルした場合に[L(X),U(X)]が5回程度μを含まないというイベントが起きる】と無条件に信じると、信頼区間を求めるために使ったモデルが妥当でない場合に酷い目にあう。 twitter.com/maea_2/status/... pic.twitter.com/JPdhp5vzDN
タグ： 統計
posted at 15:08:26
あみだくじ調べてたら確率分布は直下を最大値として正規分布に漸近するとか、５本に対し１００本の横棒が必要とかの確率の話があって意外に面白かったんだけどあみだくじがGhost Legというらしいという知識が増えた
タグ：
posted at 15:11:52
H. Miyoshi (ALC Japa @metaphusika
Göteborg＋お笑い≒大阪なのか。 twitter.com/sonotasan2017/...
タグ：
posted at 15:15:49
#統計 補足
あと、あまり複雑でないモデルの場合には、事前分布を「おとなしめ」のものに取っておけば、少々事前分布を変えても推定・推測結果は大して変わらないことが多いです。
そういう場合には事前分布の選択は大して重要ではなく、確率モデルの選択が重要。続く
twitter.com/genkuroki/stat...
タグ： 統計
posted at 15:28:01
最終文の"the penny dropped"っていう表現初めて知ったけど「腑に落ちる」と似ていていいね twitter.com/FintaPazza/sta...
タグ：
posted at 15:55:01
ほんとに1日おきになってしまって、昨日の陽性判定は2例でした。ここからフィボナッチ数列みたいになると嫌だけど、さすがにそれはないだろうな…。 twitter.com/netvol_myg/sta...
タグ：
posted at 16:16:45
勉強が嫌になったので、
中国の元素周期表を筆ペンで書いてみました。
久し振りの書写。
もう暫く金偏は書きたくない。
#書いてみた #筆ペン pic.twitter.com/rHak5GR876
posted at 16:53:05
@BluesNoNo #統計 N=1でパラメータが沢山だとWBICやらBICは分散がでかくなり過ぎてほとんど意味なさそうですよね。
階層モデルでの自由エネルギーの近似計算は結構大変な問題だと思います。モデルの性質が良ければブリッジサンプリングで結構行けると思いますが、特異モデルに近いケースではまずそう。
タグ： 統計
posted at 17:01:01
あ、忘れていた。「経済学者」とかっこ付きで表現される阿呆で悪辣な輩の悪行について twitter.com/genkuroki/stat... このスレッドで大体判ると思う。ずっと前から批判され続けているのに相変わらずでかい顔して増税を企んでいるらしい…こんな奴のさばらせてはいけない。私の気分は今すぐ消費税を廃止しろ
タグ：
posted at 17:03:13
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia1.5 RCで一応ラズパイ向けにビルドできる兆しはあるけれど、プレコンパイル抜かないといけなくてそうすると通常の起動すらJITが入ってつらい問題がある。。。(プレコンパイルするとsysimage作成段階で無限ループしてるみたいなのでダメ)
タグ：
posted at 17:03:23
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
算数教育のくだらなさを具体的指摘しているけど、
実際には多忙な現場教師をらくにする提案しかしていない。
だから現場教師から憎まれるのは筋違い。
むしろ我々は救世主（だと思う）。
タグ： 超算数
posted at 17:14:01
#数楽 このパズルの答えが分かれば、物語における主人公の賢さ・リーダーシップとそして勝負強さ(運の良さ)を読者に印象付けるために使えそうなネタであることが分かる。
このパズルは非常に面白い。
答えが分かった後も面白さが消えない。
ある意味、純粋数学ネタ。
nbviewer.jupyter.org/gist/genkuroki... twitter.com/genkuroki/stat... pic.twitter.com/nfKdWrfG3I
タグ： 数楽
posted at 17:21:59
民俗学者の大月隆寛、札幌国際大学を懲戒解雇！ 留学生水増し問題で反発した制裁か？｜matomame
matome.5chmap.com/?twi&id=11835
タグ：
posted at 17:34:14
#統計
「尤度」
=「現実に観測されたデータと同じ数値がモデル内で生成される確率(密度)」
=「現実に観測されたデータへのモデルの適合度」
≠「現実の未知の真の法則へのモデルの適合度」
=「現実におけるモデルのもっともらしさ」
なので、
「尤度」≠「もっともらしさ」
です。 twitter.com/j_nobuyuki/sta... pic.twitter.com/00YwrQUcKF
タグ： 統計
posted at 17:43:35
くまくま氏の「歴史改変」を発見してしまいました。
＜くまくまがゆう君に間違いを教えてさしあげたところ、答えに窮してブロックしてしまいました＞
なんだそうです(^^ゞ
こんなのをいちいち相手にするのも何ですが、一応、経緯を説明します。twitter.com/totetatta/stat...
タグ：
posted at 18:07:54
さらに、彼のシンパさんによる「捕虜はせぬ方針についてのくまくま説」がたまたま目に入りましたので、下記の通り、徹底的に叩いたこともあります。要するにくまくま理論は、「捕虜にしない方針」というのは実は「捕虜にする方針」のことであった、という謎理論です（笑）。twitter.com/yu77799/status...
タグ：
posted at 18:11:00
彼が私の見えないところで悪口をつぶやくのは彼の勝手、ご自由にどうぞ、というのが私の基本スタンスですが、エゴサーチしていたらたまたま目に入ってしまったので、一応コメントしてみました。
タグ：
posted at 18:11:23
ごまふあざらし(GomahuAzaras @MathSorcerer
環境構築ちゅらい云々の問題言いたいことわかるんだけれど、お使いのOS、PCは当事者にとって環境構築しやすいものかをまず疑って欲しいな。。。
タグ：
posted at 18:15:04
非公開
タグ：
posted at xx:xx:xx
@abap34 色も変わりました
bar(x,y,fillcolor=cgrad(:inferno)[y]) pic.twitter.com/kztcRLoNHm
タグ：
posted at 18:34:18
#Julia言語
Juliaのググラビリティはかなり高いです。
ただし、Googleの設定を
地域：アメリカ合衆国
などに変更しておく必要があります。
「日本」になっているとアウト(笑)
twitter.com/dassoujieitai/...
タグ： Julia言語
posted at 18:46:53
テスト方程式に対してだと, 陰的ルンゲ-クッタ法の種類によっては、まさにパデ近似していることになるんだけど、テスト方程式ではない一般の場合にどうなってるか気になる
タグ：
posted at 18:50:04
パデ近似は、制御系理論でシステム応答の時間遅延のモデル化に使用されます。時間遅延は、化学処理や輸送プロセスなど、入力とシステム応答の間に遅延があるシステムで発生します。これらの入力をモデル化したものはむだ時間入力と呼ばれます。
タグ：
posted at 18:52:11
毎度のテンプレで恐縮ですが、「７３１」が殘虐な人体実験を行っていたのは紛れもない事実です。一応まとめておきましたので、「人体実験。これだけの根拠」シリーズをご覧ください。yu77799.g1.xrea.com/#731 twitter.com/rx6061/status/...
タグ：
posted at 19:02:35
最後のthe penny dropped の意味分からなくて、ペニー硬貨に書いてるのかと訳したら、『理解できた』的な慣用句だと教えてもらった。知らないこと沢山だー。
タグ：
posted at 19:41:34
@6JH3sgvhsK0Ww9Y @sekibunnteisuu @takahashi_sansu 「ずつ」という言葉に反応して掛け算にしていそうですね。
タグ：
posted at 20:14:12
@6JH3sgvhsK0Ww9Y @sekibunnteisuu @takahashi_sansu 掛け算で、「ずつ」という言葉に赤線を引いて指導している事例があります。
生徒がキーワードのパターンマッチで処理するようになっていた場合、同数累加というイメージすらもしていない可能性があります。
タグ：
posted at 20:29:02
@6JH3sgvhsK0Ww9Y @takahashi_sansu 現状だと、
足し算を教えるのと、足し算で求める文章問題を扱うのがセットになっています。
引き算、掛け算、割り算でも同様。
で、テストも（式 答え ）となっている。
これが非常のまずいと思います。
タグ：
posted at 20:32:39
@takusansu @6JH3sgvhsK0Ww9Y @takahashi_sansu 教える側が「キーワードに注目しよう」と言っている例がありますしね。
タグ：
posted at 20:37:16
#超算数 つぶ二さんからtwitter.com/tsubu_02/statu...、
Gelman, R., & Gallistel, C. R. (1978). _The Child’s Understanding of Number_. Cambridge, MA: Harvard University Press.
が、文章題のうち、二項演算と解釈される方が単項演算よりも難しいという考えの初出だと教えてもらった。
タグ： 超算数
posted at 20:47:06
#超算数 ただし、王 (2011)の文献調査によれば、心理学の最新の知見では、二項演算だから難しいという説明は修正を求められているtwitter.com/temmusu_n/stat...。啓林教科書、教師用指導書やその周辺の人々が二項演算や乗法的オペレータを云々するとき、古い理論にしばられていないだろうか？
タグ： 超算数
posted at 20:47:07
#超算数 クソまずい教え方をされてしまった例
【Ａは『かけられる数』、
Ｂは『かける数』。】
【娘のやり方を聞く。
問題文に「ずつ」とあったら、それがＡ。（飴を1人に5個ずつ3人に配るには何個必要か、みたいなやつ）
でも問題文に「ずつ」がないこともあり、そのときにわからなくなる。】 pic.twitter.com/JNUajoY1uV
タグ： 超算数
posted at 20:53:56
@sekibunnteisuu @takusansu @6JH3sgvhsK0Ww9Y @takahashi_sansu 以下のリンク先スレッドに、子供が
問題文に「ずつ」とあったら、それがかけられる数
と教わっていることが判明した例があります。
子供達のイメージ豊かで常識的な考え方を破壊するかけ算順序指導のために、パターンマッチ教育を教科書出版社が勧めている。
twitter.com/genkuroki/stat...
タグ：
posted at 20:57:50
@igyouno_king @sekibunnteisuu @OokuboTact OokuboTactさんのお陰で中身が読めました。
添付画像のように書いてある教科書で算数教育について習って、その内容を正しいと信じてしまうと、算数については子供にとって有害な先生になってしまうことは確実だと思いました。 pic.twitter.com/yJxPtZEiJP
タグ：
posted at 21:12:24
@igyouno_king @sekibunnteisuu @OokuboTact え？？？教科書の内容を明瞭に否定する講義をする人なら、そもそもこの教科書を採用しないと思います。
twitter.com/igyouno_king/s...
タグ：
posted at 21:13:37
#超算数 都算研「H30年度 学力実態調査の結果と考察」(電子版は2019年11月17日公開)tosanken.main.jp/data/jittaityo...では、1年生の学年末における最新の求差の正答率(正答は式で9-6)は75% (5万人のうち)。誤答の内訳は6% (同、以下同じ)が6-9、15%が6+9または9+6、4%がその他の誤答。前2回の調査も同傾向。 pic.twitter.com/GMZkUat5nT
タグ： 超算数
posted at 21:21:21
#超算数 ラーメンマン先生さんが、報告書の【「なん人おおいでしょうか」という表現から加法だと考えた児童がいる】という分析に異議を唱えている。【文章の順に6-9と立式し、「少ない数から多い数は引けない」と考え、知っている他の四則計算であるたし算を選んだ】と主張twitter.com/ramenmanteache...。
タグ： 超算数
posted at 21:31:48
#超算数 これが【文章の順序と式の順序が違うひき算の問題】twitter.com/ramenmanteache...であることがラ生さんの主張の根拠だが、上のような正順と逆順の設問への正答率を直接比較することは不可能。そこで、石田、子安 (1988)の一年生の結果を専断的に使用する。すなわち正順の正答率を85.79%と仮定する。
タグ： 超算数
posted at 21:31:49
#超算数 妥当性を無視してラ生さんの主張に有利な仮定をいくつも持ち込んだが、都算研のデータは【立式の根拠が持てない子は、その根拠のなさから文章に出てきた順序に流されてしまう子が多い】twitter.com/ramenmanteache...という主張の根拠とはみなせないことが分かった。
タグ： 超算数
posted at 21:31:53
#超算数 参考情報
坂本美紀『算数の文章題解決に関する認知心理学的研究: 解決過程・関連する知識・教育的介入の観点から』博士論文 京都大学、1997年。dl.ndl.go.jp/info:ndljp/pid...
石田、子安 (1988)や麻柄など、参考文献でみて読んだものがあるので、紹介。
タグ： 超算数
posted at 21:51:51
非公開
タグ：
posted at xx:xx:xx
@yoshikawanori 失礼します。
「足し算の順序問題」はあります→togetter.com/li/901635
ただしこの問題の場合、どうなるかは微妙です。
●「袋の中」と「机の上」は対等のようである。ゆえに順序はどうでも良い。
●対等の場合は、問題文に現れた順にすべきである。
●そもそも公文は順序に五月蠅くない。#掛算
タグ： 掛算
posted at 22:02:09
#Julia言語
添付画像1: 色付きバープロット。fill_zを設定する。
添付画像2: 色付きヒストグラム。cbarhistのレシピを書く。
ソースファイル↓
nbviewer.jupyter.org/gist/genkuroki...
色付きヒストグラムの方はそれ専用のレシピを適当に作る必要があった。
twitter.com/abap34/status/... pic.twitter.com/lfEjQuot0h
タグ： Julia言語
posted at 22:05:53
#Julia言語
function blue_grad(max_value, xs)
res = []
for x in xs
push!(res, cgrad(:blues)[x / max_value])
end
return res
end
は
(t -> cgrad(:blues)[t]).(arr/maximum(arr))
で代用でき、fill_zの設定ならそれも無用(添付画像4)。
twitter.com/abap34/status/... pic.twitter.com/PZSnPMWaSE
タグ： Julia言語
posted at 22:27:05
#Julia言語 1つ前のツイートの添付画像作成に使ったソースファイル
nbviewer.jupyter.org/gist/genkuroki...
Juliaを書くときにはpush!を可能な限り避けたくなる感じ。
dot で済むとシンプルで見易くて楽。
タグ： Julia言語
posted at 22:27:06
クソリプ禁止法に抵触するので直接リプライはしませんが、英語の「tax haven」はオランダ語だと「Belastingparadijs」、直訳すると「税金天国」なので、人間をやめてまで放ったDIO渾身のジョークが微妙にスベり気味というか、本当に天国へ行きそうです。 twitter.com/kidocch1/statu... pic.twitter.com/FFGVNHrEXH
タグ：
posted at 22:41:20
@MAEA_2 #統計 【真の分布およびパラメータが分かっているような理想的な場合】ならばパラメータの信頼区間を考える必要がありません。
使用したモデルが適切であることが最初から分かっているという想定も、現実の通常の統計分析に関しては不適切なので、「通常の場合は誤り」という扱いにするべきです。 pic.twitter.com/CvlaJlmvXR
タグ： 統計
posted at 23:05:08
大月隆寛氏が札幌国際大学を懲戒解雇された事件、大学側のキナ臭さとかは続報待ちですが、それよりもking-biscuitの中の人だったってほうがちょっとおもしろかったです。そうだったのか。
オタ的にはBSマンガ夜話の司会者、社会学クラスタ的には『消えるヒッチハイカー』の訳者っすね。 twitter.com/kingbiscuitSIU... pic.twitter.com/cHk1R1J8qd
タグ：
posted at 23:05:09
