黒木玄 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年05月28日(木)
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#統計 『社会科学のためのベイズ統計モデリング』にはAICやWAICや自由エネルギーやWBICの話も少し書いてあります。
ベルヌイ分布モデルというこれ以上易しくできない場合についてそれらを含めてまとめたノートが
nbviewer.jupyter.org/gist/genkuroki...
にあります。数値計算部分が多い。 #Julia言語 twitter.com/you_s1025/stat...
posted at 00:54:04
#統計 #Julia言語
nbviewer.jupyter.org/gist/genkuroki...
の最後にある動画
二項分布の正規分布近似によるP値とベイズ統計での事後分布から作ったP値の類似物がほぼ一致することを示す動画。
この場合には「頻度論」と「ベイズ統計」の区別は実践的にはほとんど無意味である。 pic.twitter.com/wXvBZfidrx
posted at 01:02:33
#統計 所謂豊田『瀕死本』はその辺のことに無頓着なせいで、相当にひどい内容の本になってしまっている。
twitter.com/genkuroki/stat...
タグ： 統計
posted at 01:08:02
I was pleasantly surprised at how straightforward it was to infer parameters of an SIR epidemiological model in @JuliaLanguage using DifferentialEquations.jl and @TuringLang. Fast too! github.com/epirecipes/sir... pic.twitter.com/RI4L6kODr2
タグ：
posted at 05:42:16
.@theosysbio I added an ABC example to compare against too using your GpABC package github.com/epirecipes/sir...
タグ：
posted at 06:32:13
Dr. Chris Rackauckas @ChrisRackauckas
Indeed, this is a great demonstration of composability as an asset. Want to do probabilistic programming on ODEs? Call the #julialang ODE solver inside of a Turing model. There's no need for Turing developers to add ODE functionality, and no need for SciML to make Bayesian tools. twitter.com/sdwfrost/statu...
タグ： julialang
posted at 08:05:15
諸外国があの惨状で日本も一時は患者数が指数増加してたのに「非常事態宣言が不要だった」と言い出す人がいるんだから、日本特有の問題に関する意見にはいかにデタラメが多いかわかる
タグ：
posted at 08:06:07
東電「主張が認められた」トモダチ作戦、控訴を却下 www.nikkansports.com/general/news/2... @nikkansportsさんから
タグ：
posted at 08:08:55
HAYASHI Tomohiro @SokoranoKumasan
さらに言えば、『鼻血』の美味しんぼで福島への風評を拡散させた雁屋哲氏も共同代表です。 twitter.com/blues_1224/sta...
タグ：
posted at 08:19:42
@temmusu_n @try_ymk 【スロウネス、初めて聞きました。（汗）】
「スロウネス」という用語も知っている必要がないと思います。
小学生が100メートル走のタイムを測ったとき、20秒の子が15秒の子に「めちゃくちゃ速い！」と言う、というような話ですよね。
算数はシンプルで易しく、子供もすでに知っていることが多い。
タグ：
posted at 09:20:20
@temmusu_n @try_ymk 小3の子はすでに速さと時間と距離の関係を教えなくても理解しているらしいので、実際にある子に「1時間で4キロメートル歩くとき、3時間歩き続けたら何キロメートル歩くことになるか」などの質問をしたら正答できました。割り算が必要な問題でも大丈夫でした。続く
twitter.com/try_ymk/status...
タグ：
posted at 09:24:42
@temmusu_n @try_ymk 子供はすでに日常生活の中で「言葉」や「数字」で考えるのではなく、リアルな経験に基くイメージや直観で考えることができるようになっていたりする。
それを「言葉の式」(きはじ図は「言葉の式」の使用を前提としている)で上書きされてしまうと、速さと時間と距離の関係を子供が分からなくなる。
タグ：
posted at 09:28:02
@temmusu_n @try_ymk まったくその通りで、【「距離は大きく、上にあるので…」】はバカすぎ。
例えば「12キロメートル歩く」と小3の子が言われたら、「え？そんなに歩くの？ちょっといやだな」程度のことは思って欲しいです。そういう感覚と正確な計算を繋げるのが教育の仕事。
twitter.com/temmusu_n/stat...
タグ：
posted at 09:32:03
@temmusu_n @try_ymk 「12キロメートル」「3時間」「10リットル」「15センチメートル」のように書いてあったら、それが具体的にどの程度の量であるかをイメージできるように教えてくれるならば大歓迎ですが、「きはじ図のイメージ」を教えられちゃうと子供の頭が悪くなってしまいます。
タグ：
posted at 09:35:56
加藤公一, 가토우 기미카즈（はむかず） @hamukazu
久しぶりにうちのオタク情報ですが、Zoomで学校の授業受けてるんですが、その裏でマインクラフトしています。
タグ：
posted at 09:36:41
www.jurist.org/news/2020/05/f...
3.11「トモダチ作戦」に従事した米兵が被曝を理由に東電・GEを相手どり米連邦地裁に損害賠償を求めた訴えは昨年3月に地裁が却下したところ、原告は連邦控訴審に控訴提議。先週22日、控訴審は地裁の判断を支持。ってことで本件終了
＃日本メディアが報じないニュースを語ろう
posted at 10:02:31
#統計 『社会科学のためのベイズ統計モデリング』では、対数ガンマ函数の導函数もコンピュータで効率よく計算できる基本特殊函数であることを見逃している感じなのですが、
nbviewer.jupyter.org/gist/genkuroki...
ではその辺もきちんと計算して、プログラムを書いています。 #Julia言語 pic.twitter.com/64F0FsWeYt
posted at 11:16:41
#統計 「頻度論」(最尤法を含む)と「ベイズ統計」の対立的な区別は実践的にそれらを使っている人達にとっては無意味になっていることは、しばらく前に公開されたリポジトリ
github.com/contactmodel/C...
では、最尤法もベイズ統計も両方使われていることからも想像できると思う。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 11:27:39
非公開
タグ：
posted at xx:xx:xx
「一行が長くならないよう30文字程度で切るのが電子メールのマナー」と書いてある本に、「違う。それは過去の技術的制限の名残。今では意味はない」とツッコミを入れるだけの簡単なお仕事を、これから始めます。ふにゃ〜
タグ：
posted at 14:17:44
岩田先生に噛み付いている池田信夫氏がひどすぎてもう見ていられません。
専門家 vs. 素人かつ科学者 vs. ？？？の議論です。
言葉のやり取りなので血は流れませんが、とっくにセコンドがタオル投げ込んでないとおかしい状況。
タグ：
posted at 14:36:51
ヘルムホルツ運動って、これでいいのかなぁ。
本当は #Julia言語 で厳密に解いたうえでアニメーションを作るのをやりたいのだけど、時間もないのでそれっぽければいいやで作った。 pic.twitter.com/N54aLxqBfH
タグ： Julia言語
posted at 16:10:03
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
d(・ω・d) 微分！
(∫・ω・)∫ 積分！
∂(・ω・∂) 偏微分！
(∮・ω・)∮ 周回積分！
(∬・ω・)∬ 重積分！
＼( ・ω・)／セブン！
＼(・ω・ )／イレブン！
＼(・ω・)／いい気分！
タグ：
posted at 16:29:00
非公開
タグ：
posted at xx:xx:xx
Juliaでcsv読み込むときに、列名を区切るカンマの後ろの空白がそのままColumn Namesとして読み込まれてしまうのはどうすれば回避できるのだろう…
タグ：
posted at 16:39:40
@SH1N0 赤木智弘自身が、速さ、距離、時間の関係式は「はじき」と同義だと言っています。
私自身は赤木智弘にブロックされているし、このまとめもなぜか削除されましたが、
twitter.com/sekibunnteisuu...
タグ：
posted at 16:40:08
@SH1N0 ちなみにこのツイート、赤木智弘へのメンションがついていないですね。
twitter.com/SH1N0/status/1...
あの人、自分宛のツイートじゃないのに、わざわざ返信したということでしょうかね？
タグ：
posted at 16:44:26
@sekibunnteisuu そうです。
赤木氏はミュートしてるので、全く関わったことも無いんですが、わざわざ「はじき」で検索してリプライしてるようです。
タグ：
posted at 16:47:09
#お笑いネタ 池田信夫氏と言えば
web.archive.org/web/2007110311...
【「相関」というのは、45度線になったときが最も高く、垂直または水平になったときはゼロ（相関なし）です。】
とか
【期待値を確率変数で割ったら確率になるんだよ。】
の件が忘れられない(笑)
twitter.com/mph_for_doctor... pic.twitter.com/lkzTxi8c2t
タグ： お笑いネタ
posted at 16:48:15
pythonで入力パラメータの型の空気読んで挙動が変わる関数作れねーかなーって思ってたけど、julia なら楽にできるなこれ #julialang
タグ： julialang
posted at 17:02:42
非公開
タグ：
posted at xx:xx:xx
白鴎大学のウェブサイトを見て、名状しがたい気分になっている夕回診後。
メディア情報 ｜岡田晴恵教授（教育学部）が新型コロナウイルス感染症について解説しました（5月）｜白鴎大学 hakuoh.jp/media/233
タグ：
posted at 17:56:08
非公開
タグ：
posted at xx:xx:xx
@redshiftedanna Yes some are! I got in love with the language about 2 years go. Not an expert and probably still doing lot of stuff thinking with the mindset of other coding languages, however feel free to take any inspiration from the various routines I've put here
github.com/FrancoVazza/JU...
タグ：
posted at 19:02:55
授業用にRとRStudioのインストール法を解説するスライドを作ってみた。遠隔授業仕様にしたところ、Ubuntu編が41枚、macOS編が54枚、Windows編が118枚に。先が思いやられる。
yukiyanai.github.io/jp/resources/
タグ：
posted at 19:51:40
@54EWguT9FxazoLC いきなりで失礼します。
「⬜︎×3=15 で、□の所を求めるために割り算がある」
で始めるのは大賛成です。
「割り算の単元だから、割り算」なんていう考えはぶっこわしてあげてください。#掛算
タグ： 掛算
posted at 20:01:10
I missed the new composable parallelism in #julialang v1.3:
julialang.org/blog/2019/07/m...
This is an _amazing_ feature. I just added 6 macros to my code and my 72-core server is now at full capacity.
Enabling new science! Or at least getting my neurips experiments finished on time...
タグ： julialang
posted at 20:10:51
ベアメタルルーター
IPoEとPPPoEのマルチセッションで、DNSの問い合わせはIPoEで、膨大なポートを使うデータ取得はPPPoEに流して、5GバイトまでDNSレコードをキャッシュするcachedDNSにすることで200mbpsぐらいしか出なかったのが400mbpsを恒常的に出せるようになってポート制限も無くなった pic.twitter.com/GSDz6YV8uL
タグ：
posted at 20:11:22
遅くてもいいサービスと早くなくてはいけないサービスをLinuxならip routeでipレベルで振り分けられるし、IPoEもマルチセッションにできるので、必要ならば何本もNTT東日本の境界サーバーにラウンドロビンかけられる。
95%信頼区間に入らない人の使い方をするには普通の人がしないことしないとダメ
タグ：
posted at 20:14:37
感想・Intel nicめちゃ強い。
カニチップでみんなはインターネット繋いでるから遅い。遅いのは人生の可処分時間減らしいているってこと。早い事は正義。開いた時間でライバルにコーナーで差をつけろ
タグ：
posted at 20:16:17
I continue to evangelize #julialang for scientific computing. (Disclosure: they are not paying me)
タグ： julialang
posted at 20:19:26
小学校教師で、ハジキ、クモワを批判している人って、いることはいるんだろうけど、少ない気がする。
高校教師が批判するのは見る。これは良くわかる。単なる比例関係に過ぎないモル計算を教えるのに苦労すれば、自然とそうなる。知り合いの物理教師も「やめてほしい」と言っていた。
タグ：
posted at 20:26:26
ハジキ、クモワを批判するのは、塾アカウントが多い気がする。
ハジキ、クモワで教えている塾もあるから、私のフォローしている塾アカウントは、批判派が多いということだろう。
タグ：
posted at 20:33:52
あと、教師って相互批判の文化がないような気がする。どうなんだろうか？
塾アカウントの場合、塾だろうが学校だろうが、ろくでもない教え方だと思ったら批判すると思う。これも私のTLでは、という話だけど。
そうすると、教員アカからは、「塾が学校批判している」と見えるんだろうな。
タグ：
posted at 20:37:28
あと、塾の場合、小学校から高校まで教えることが多いと思う。少なくとも学校よりはそういうケースが多いだろう。
そうすると、「とにかく目の前の問題を解ける方法、だけど後で困ったことになる方法」を教えたら、自分の首を絞めることになる。
タグ：
posted at 20:42:10
そんなこんなで、
学校で、理解を蔑ろにする小手先のテクニックであるハジキ、クモワが教えられ、
塾講師らが、「ハジキ、クモワは本質的な理解を蔑ろにするからやめろ」と主張するという
見ようによってはシュールなことになっている。
タグ：
posted at 20:47:42
これに入れ込んじゃってた元総理大臣とか、バラ撒いた誤解と風評と差別の種、どうしてくれるんでしょうねぇ。 twitter.com/happysakiko1/s...
タグ：
posted at 21:21:45
等号は、左右が等しい、というだけの意味。
5と、7-2と、√25は、まったく同じ数
5＝7-2 はまったく正しい等式。
なんだけど、中学、高校生あたりでも、このような認識を持っていないケースがある。むしろその方が多数かもしれない。
タグ：
posted at 21:30:41
#超算数 #デマ
また私が言ってもいないことを言ったかのように発言している人を発見したのでメモしておく。
言ったことで批判されるのは大歓迎だが、言っていないことを言ったかのように吹聴されるのは困る。 twitter.com/5chneewei55/st... pic.twitter.com/QPnciqoYUG
posted at 21:31:32
まあこれは、教え方も要因だと思う。というか、教える側も誤認しているかもしれない。
1+2＝1+2
これが正しい等式である、と断言できる人は意外と少ないかもしれない。
いずれにしても、小学校の計算問題が典型だが、等式は、左から右に計算を進めるケースが多い。
タグ：
posted at 21:32:44
で、これに追い打ちをかけるのが、あまりのある割り算である。
7÷3＝2あまり1
11÷5＝2あまり1
7÷3＝11÷5 ？
2あまり1＝7÷3 ?
ということで、「等号の左右は、同じ数を表す」の例外になっている。
タグ：
posted at 21:35:44
#超算数 貞静学園中学校・高等学校校長、佐藤好次氏が、お校長ブログで「くもわ」「はじき」を使用していたことがわかったteiseigakuen.ac.jp/news/principal...。佐藤氏の記事は
日本の大学生が｢％｣を理解できなくなった理由
約2割が｢2億円は50億円の何％か｣解けないtoyokeizai.net/articles/-/286...
に触発された。
タグ： 超算数
posted at 21:40:17
#超算数 被害者の例↓
【先生の授業をあまり聞いていなかったのと、個/人 の意味が全く理解できていなかったからです～正直なところ、小学生の間はずっと理解できませんでした～何で「個/人」という表記にこだわっていたのか、これを知ったのは高校3年生でした】
twitter.com/genkuroki/stat...
タグ： 超算数
posted at 21:43:12
小学生に算数を教える、というのを度外視したら、ガウス記号を使って
a÷bの商は[a/b]、あまりは、a-[a/b]*b というようにそれぞれを2変数関数として定義すれば良いのだが、
小学生相手にそうもいくまい。
タグ：
posted at 21:49:45
むしろ、式を要求することが、理解を遠ざけることにもなりかねない。
これが正しく答えられない人が多いというのも、式で処理しようとするかだろう。
twitter.com/shelfall/statu...
タグ：
posted at 21:57:12
小数と分数 (子どもを賢くする－よくわかる算数の授業 )
銀林 浩 (編集), 増島 高敬 (編集), 加川 博道 (編集) 日本評論社
1dmとは10㎝のこと。
10㎝で1.2gなら、23㎝だと1.2gの2倍強、
ということに気づかず、半分以上が一桁大きい値を出している。
userimg.teacup.com/userimg/8254.t...
タグ：
posted at 22:05:58
#超算数 個人的に、かつ、現在の私個人の好みでは、「破壊的変更」が許されるならば、÷記号は「商と余り」の商を求める割り算の記号にしてしまって、分数商の意味での割り算は / 記号(スラッシュ、斜め線)で書くことにしたい。 pic.twitter.com/GrxRiaADFC
タグ： 超算数
posted at 22:08:04
8254.teacup.com/kakezannojunjo...
1あたりを求めるのは割り算、などと散々教え込んだ結果がこれである。
「これは教え方を失敗したな」と思いそうなものだが、数教協の人達はそうは考えないらしい。
タグ：
posted at 22:08:35
非公開
タグ：
posted at xx:xx:xx
Ninja DAO | CryptoNi @CryptoNlnjaNFT
ちょっと嫌なものを見てしまった。当たり前だけど、学部や大学院で勉強する理由は、人によって違っていても良い。全ての大学院生が研究者を目指さなければならない、なんてことがあるはずはないし、研究者を目指す事が他に優先する価値を持つはずもない。
タグ：
posted at 23:23:12
