黒木玄 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年11月26日(金)
ごまふあざらし(GomahuAzaras @MathSorcerer
Python で書かれているライブラリ goma を
#Julia言語 から
goma = PyCall.pyimport("goma")
goma.kyukkyu
とするのは誰でもできるんだけれど,Julia, Python ユーザーから親しみやすい開発体験をできるモジュールを提供するのは価値がある仕事だと思っています.
タグ: Julia言語
posted at 00:11:44
再度「犬」と書く必要があったのに、そこが「タコ」になっているという非常に楽しい話。爆笑してしまった。
それより気になるのはその次の問題の「ずつ」という用語の使い方。 twitter.com/volley_suguru/...
タグ:
posted at 00:18:46
若園さんの以下の指摘が鋭い。
小学生の保護者の人達は、自分ちの子が
「ずつ」とあったらかけ算で、「ずつ」のついている数をかけ算の式で先に書く
のような文章の内容を理解せずに問題を解くためのパターンマッチ教育を受けている危険性に注意を払うべき。
twitter.com/GreatDemon1701...
タグ:
posted at 00:21:47
#統計 久保川達也『現代数理統計学の基礎』でも、このスレッドで紹介した「仮に帰無仮説として提案されたときに検定で棄却されないパラメータの範囲」による信頼区間の構成の仕方を紹介しています。 twitter.com/genkuroki/stat...
タグ: 統計
posted at 00:32:10
多分、このスレッドで私が述べていることは優れた統計ユーザー達であればすでに知っていることなのですが、毎年出版される統計学入門の教科書では統計学入門の伝統的スタイルを採用してしまい、普及の経路が塞がれてしまっている。
タグ:
posted at 00:38:54
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 言いたいことはたくさんあるんですが・・・。
要約すると「歴史は繰り返す」と「伝言ゲームによる勘違い」ですね。
ツイッターでもいろんな人が掛け順について屁理屈を出張しますが、
屁理屈の先駆者がいて、先駆者の言う通りに主張する場合もあれば、自分で屁理屈を編みだす場合もあります。
続く
タグ:
posted at 01:24:01
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
いうて、時間の都合とシラバスの都合もあるし、僕の能力の問題もあり、完璧には程遠いんだけど、なるべく僕が受けたかった講義にできるように頑張っている
タグ:
posted at 01:28:07
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 同じ屁理屈を全く影響を受けずに別の人が考え出すということがあるわけです。
掛け順は高度な思考を必要としないので、いろんな人が独立に考え出すことは難しくないと思うのです。
しかし重要なポイントは、「掛け順がどうして算数教育で必須なほどに重要度が増したのか?」という歴史であり
続く
タグ:
posted at 01:28:53
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 私が注目しているのは、
幕末の洋算の輸入、大正時代の心理学ブーム、戦後すぐのアメリカの介入、数学現代化の影響、中曽根内閣の教育改革などなどです。
これらは上からの教育改革によって算数教育が大きく変わる一方、伝言ゲームによる深刻な勘違いが発生したと思えるからです
続く
タグ:
posted at 01:32:54
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 九九の先唱について少しだけ触れますと、
戦前の算数教師は「式の意味」と「九九の先唱」の関係付けに苦戦している・・・と思えるのです。
そして、この苦戦が逆に掛け順の存在を強く意識させた・・・と思えるのです。
参考
「大正・昭和初期における九九教授実践」
shiga-u.repo.nii.ac.jp/?action=pages_... pic.twitter.com/pTHn30jYmo
タグ:
posted at 01:42:16
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 脱線
この論文で気になった箇所の紹介します。
どう解釈していいか悩み中 pic.twitter.com/Ei7BdwfzUH
タグ:
posted at 01:45:29
OokuboTact 大久保中二病中年 @OokuboTact
誤字訂正
出張しますが → 主張しますが twitter.com/OokuboTact/sta...
タグ:
posted at 01:48:05
#統計 十分統計量のノートを拡充した
①~② of 5 (この部分は上で公開したものとほぼ同じ)
①不偏推定量の作り方
②正規分布モデルの場合の例 pic.twitter.com/vvXTszfVP5
タグ: 統計
posted at 05:13:35
#統計 ③~⑤ of 5
③十分統計量
④完備十分統計量と補助統計量、Basuの定理
⑤完備十分統計量を使った一様最小分散不偏推定量の作り方 pic.twitter.com/uVrMwVTJ3j
タグ: 統計
posted at 05:13:39
Ayako Shibata@ウィメンズヘ @ayako700
ミスが起こると「チェック回数を増やそう」って仕事が増えるけど、シングルチェックからダブルチェックにチェックの回数を増やしても
仕事が増えるだけでミスの回数は減らないというのは京大が報告していますね(⌒-⌒; )
www.igaku-shoin.co.jp/paper/archive/... twitter.com/uupaa/status/1... pic.twitter.com/RlWzlNSrwi
タグ:
posted at 08:24:16
南アフリカで B.1.1.529 variant が2週間にも満たない間に δ variant を置き換え今や同国内の75%を占め数日内にはほぼ完全に置き換えると予想されています。この variant はまだ不明点が多いですが感染・伝播力が強く、免疫回避能も上昇していると考えられ、早急な水際対策強化が必要だと思います。 twitter.com/tuliodna/statu...
タグ:
posted at 08:40:42
すでにイギリスが行っているように、南アフリカを含む B.1.1.529 が dominant になりつつある国からの渡航をビジネストラックも含めて一時的に完全に停止すべきだと思います。一度入り込むと恐らく日本でもあっという間に dominant となる可能性があり、詳細が分かるまでの時間を稼ぐべきです。
タグ:
posted at 08:43:58
非公開
タグ:
posted at xx:xx:xx
いろんな重要な問題に関して、こうやっていつもいつもいつもいつも、よりによって“まちがった人”にばかり訊きにゆき、よりによって“まちがった人”ばかりを担ぎ上げるから、バカにされるんだよ。「全力!脱力政党」としか言いようがない。もっと、相談する人や擁立する人を選べよ。 twitter.com/News_ABEMA/sta...
タグ:
posted at 09:33:00
@genkuroki 「ずつ」から掛け算へのパターンマッチングに囚われるあまり、不自然でヘンテコで一般性も発展性もない日本語を捏造して教義を守ろうとする醜悪な姿ですね。
タグ:
posted at 10:43:09
【算数と数学は似て非なるもの】って、頭悪くて恥ずかしいことをドヤ顔で言ってしまう頭悪くて恥ずかしい人が次々と出てくるんだけど、本当に頭悪くて恥ずかしいからやめた方がいいよ。
(大事なことなので3回言った)
タグ:
posted at 12:12:48
私および私の周りでは、高校数学に対して「あれもこれも入れろ」と言う人はいません。多く存在するのは
「(数学とはとても言えない)薄い統計を入れるな」
(箱ひげ図のひげの長さを目で見て比較させる問題とか)
です。
(あ、統計に弾き飛ばされた行列・1次変換は元に戻して欲しいかな…)。 twitter.com/Ohrui_math_bas...
タグ:
posted at 12:15:43
非公開
タグ:
posted at xx:xx:xx
村中直人 (Naoto Muranaka @naoto_muranaka
想いを込めて開発し、Windows標準搭載まで勝ち取った我が子のようなフォントの使用を「手間がかかる」の一言で却下されてしまったことへの、高田さんの魂の叫びを感じました笑
合理的配慮の提供拒否は「過度な負担」がない限り差別であるという認識がもっと広まりますように!! twitter.com/yumit_419/stat...
タグ:
posted at 12:37:14
非公開
タグ:
posted at xx:xx:xx
#Julia言語 での「数学ではよく同一視していること」の実装はかなり面白く、線形代数の実装やmixed type arithmeticにその特徴がよく出ていると思います。
それらはJuliaの多重ディスパッチの特徴が非常によく出ている部分。 twitter.com/ceptree/status...
タグ: Julia言語
posted at 13:24:35
#Julia言語 続き。mixed type arithmeticの実装をJuliaは多重ディスパッチを使って手際よく処理しています。
具体例は有理数や複素数の定義のソースコードを見てください。
github.com/JuliaLang/juli...
github.com/JuliaLang/juli...
タグ: Julia言語
posted at 13:24:37
@vecchio_ciao もしかして、
「~ずつ」とか「はじき」とかのパターンマッチングで回答してたけど 数学では 算数のパターンが使用できず 新たにパターンを覚え直したから「算数と数学は似て非なるもの」って信じているのでは?
(ぎむきょういくろせ)
タグ:
posted at 13:38:47
いや…今や算数は「一部のトチ狂った教育学者や教師が勝手に設定した独自ルールによって生徒を苦しめる教科」と化しているから…確かに数学とは別のものになったよ!
そして…そんなものは即刻滅ぶべきだ! twitter.com/vecchio_ciao/s...
タグ:
posted at 13:42:27
#Julia言語 JuliaではNumber型の下に添付画像①の型が最初から定義されているのですが、それらの間でのmixed-type四則演算が定義されています。添付画像②③④のようにNumber型に属し、mixed-type演算を定義しなければいけない型がどんどん増えて行きます。 pic.twitter.com/FwcYCgjkGC
タグ: Julia言語
posted at 14:01:21
この「UDデジタル教科書体」についての使い方の動画や、書体を使った子どもたちの学びの無償教材や、インタビューを盛り込んだサイトもあります。
note.morisawa.co.jp/n/n4dc9e9626c18
また「Kaien TEENSニュースレター」では、フォント開発途中の赤の入ったメモもチラ見せしています。
www.teensmoon.com/staffblog/%e3%...
タグ:
posted at 14:05:17
Julia REPL stan now @miguelraz_
I’m going to fold my clothes and I’d rather talk to people as I do it so hit me with your Julia questions or tell me what you’re up to twitter.com/i/spaces/1OdKr...
タグ:
posted at 14:50:18
ごまふあざらし(GomahuAzaras @MathSorcerer
Space is live (I’m just a listener since i’m currently out now 💦)
#JuliaLang twitter.com/i/spaces/1OdKr...
タグ: JuliaLang
posted at 15:27:47
非公開
タグ:
posted at xx:xx:xx
Open Sustainable Tec @protontypes
A repository containing all the data and codes required to demonstrate applications of #machinelearning methods for #geothermal exploration. github.com/SmartTensors/G... #openscience @JuliaLanguage #renewables #julialang #opensustain #opensource
タグ: geothermal julialang machinelearning openscience opensource opensustain renewables
posted at 16:31:39
非公開
タグ:
posted at xx:xx:xx
算数と数学が違うというのは、数学どころか算数すらわかっていなくて、算数で嘘やでたらめを教える人が自己弁護のいいわけによく使っている言葉なんだけど、そういう人と一緒の思い込みをするのは辛くない?w twitter.com/masuwo1980/sta...
タグ:
posted at 16:51:46
今週末の課題書。須山さんのベイズ論となると、それはノールック購入が基本所作ということになる
Juliaで作って学ぶベイズ統計学
amzn.to/3FrGLZ8
タグ:
posted at 17:01:00
#統計 このスレッドに書いてあることは竹内啓『数理統計学』のような昔の教科書には書いてあります。 twitter.com/genkuroki/stat...
タグ: 統計
posted at 17:44:23
atl.recruit.co.jp/blog/5268/ で書いたようにそれなりのローカルな最適化を得るためには、インライン展開がほぼ必須なんだけど、他のLLVMバックエンドの言語がどんなインライン展開をしてるのか気になる。Juliaの場合だとLLVM IRにする前の段階でインライン展開をして (続く twitter.com/kdwkshh/status...
タグ:
posted at 17:56:53
LLVMのレベルではinterproceduralな最適化は行わない。一応LLVMにもIPO用のAttributorなるシステムがあるらしいけど、とてもJITで使えるパフォーマンスじゃないらしい。
タグ:
posted at 17:56:53
注文してたJuliaベイズが届いてた。
前書き読んだのとパラパラめくっただけだけど、Juliaが主体なんですかね。触ってみれるのありがたい。
ただ、「触ってみる」がメインなのは良いけどモデル構造の説明が少なそうな雰囲気があるなー(ちゃんと読んでないけど) pic.twitter.com/jacpmKcpcg
タグ:
posted at 18:18:36
NMRパイプテクターの会社からSAMA企画に「弊社や取引先等への信用を著しく低下させるものであった場合、なんらかの対応を検討せざるをえないことを通告いたします」と。→編集委員会はよい論説だと判断し掲載。広く読まれてほしい。
RikaTan (理科の探検) 2022年1月号 www.amazon.co.jp/dp/B09M54VFM2/... pic.twitter.com/dMZAE1PRjz
タグ:
posted at 18:32:48
Juliaで作って学ぶベイズ統計学 (KS情報科学専門書) 須山 敦志 www.amazon.co.jp/dp/4065259800/... @amazonJPより
手に入った.
タグ:
posted at 18:41:29
🚨Our #newpaper made it to the front cover of @Nature Computational Science @NatComputSci 🥳 www.nature.com/articles/s4358... #openaccess 📖 Data archives are exploding, @ECMWF stores 500,000,000 GB📈 but many bits are just noise with no real information. We propose ... 🧵1/4 pic.twitter.com/Yi2KFOwrCR
タグ: newpaper openaccess
posted at 18:50:32
to use #InformationTheory to distinguish between real and false information in data. Keep what's real📀, bin the rest 🚮♻️. Hammerling&Baker summarised that for us in a @NatComputSci News article www.nature.com/articles/s4358.... How to separate real from false information? We use ... 2/4
posted at 18:50:33
the #MutualInformation between bits to identify real information. If the state of a bit depends on others it's real, otherwise it's noise = false information, summarised in an infographic⬇️ Effectively we just count MANY bits. Computationally expensive? Not with ... 3/4 pic.twitter.com/KTmoZc8hjZ
posted at 18:50:34
#JuliaLang! Our paper uses The @JuliaLanguage 🔴🟢🟣 to implement the algorithms. Fast, easy, flexible and readable. Thanks to @KenoFischer @JeffBezanson @Viral_B_Shah and the entire community for creating an awesome language! 4/4 🧵end.
タグ: JuliaLang
posted at 18:50:34
私は、dockerhub の jupyter/datascience-notebook という docker image で、Python と R そして Julia も JupyterNotebook上で動く環境があるので、この機会にRを勉強しようかな。
そして、Julia の DataFrames.jl でデータフレーム周りを学習してみよう。
#Python #R #Julialang #julia言語 twitter.com/kspub_kodansha...
タグ: Julialang julia言語 Python R
posted at 19:34:59
非公開
タグ:
posted at xx:xx:xx
「当方への取材や裏付けを取らず執筆者の一方的な推論」というクレームだけど、以前の「理科の探検」記事には「編集部への聞き取りもせず、プロバイダへのクレームでサイト停止に追い込んだ」んじゃなかったっけ?
自分は大暴れしておいて、相手には謎マナーを要求という身勝手さ(^^)
タグ:
posted at 20:07:44
村中璃子先生の公開ノート.「アエラ」の寄稿を編集長に断られたこと.「ワクチンの副反応であると言われたけいれんなどの症状とワクチン薬剤は何の因果関係もなかった」をきちんと報道しなければ,世の中のひとは混乱するだけだろうこと.たいせつな内容が書かれています.
www.facebook.com/plugins/post.p...
タグ:
posted at 20:28:40
この会社、そのうち本気で訴訟を起こしてきそう。
「売上高が年間3億円下がった。原因は雑誌記事とツイッターだ」と、オレオレ証拠書類を用意すれば、民事なら割と受理されちゃいます。
訴状に「とくめぃピョピヨ大使【仮】」と書かされる弁護士が可哀想( ^ω^ )
タグ:
posted at 20:28:47
Watch people play ‘Pong’ on a rock wall with Augmented Climbing [source: ow.ly/E6Ug50Am51h] [more: valomotion.com] pic.twitter.com/b1L5LjDzns
タグ:
posted at 20:30:01
算数と数学の顕著な“違い”は、数学は客観的に見てかなりできる人でも「数学できる」と自称することには慎重で、算数はその逆かなりできない人でも「算数できる!教えられる!数学できる人より!」と言ってしまうアレな人が少なからず沸いてしまうところかなぁ…
(そういうことじゃない) twitter.com/vecchio_ciao/s...
タグ:
posted at 20:44:42
福島の妊婦さんの産んだ子どもには原発事故の影響はまったくなかった,という事実を苦労して調査し結論づけたとき,某新聞の編集から「影響があったというなら別だが,なかったという事実にニュースバリューはない」と記事を断られたことがありました.村中先生のノートを読みそのことを思いだしました
タグ:
posted at 20:46:04
今井翔太 / Shota Imai@える @ImAI_Eruel
Juliaを使ったデータサイエンス・機械学習のかなり大型の入門Web書籍が公開されています
datascience-book.gitlab.io/book.html
Juliaのプログラミングから、基礎数学、機械学習までをスクラッチからの実装と解説を通じて学ぶスタイルです
図や解説、例の豊富さから、Juliaユーザーでなくとも学べることが多そうです pic.twitter.com/qbZer62zEU
タグ:
posted at 21:33:50
YouTube チャネルを準備中👶1,000 人フォロワーさん達成したら放送開始する、ということで!
www.youtube.com/channel/UCgGu2...
タグ:
posted at 21:34:29
おぉーっ!これは、これは。
DeepLの出番だな。
#JuliaLanguage #Julia言語 twitter.com/ImAI_Eruel/sta...
タグ: JuliaLanguage Julia言語
posted at 21:36:48
#超算数
割合の導入指導に関する一考察
ー関係としての割合の理解を目指してー
越後 佳宏, 清野 辰彦, 田中 義久, 中野 博之, 栗田 辰一朗
日本数学教育学会誌 / 101 巻 (2019) 10 号
www.jstage.jst.go.jp/article/jjsme/...
割合の三用法の公式による指導に否定的な文献です。
こういう研究に力を入れて欲しいですね pic.twitter.com/4oxPiov0J7
タグ: 超算数
posted at 21:58:33
#超算数 19世紀後半のフランス語圏にも×記号の前後いずれも乗数になり得ることを述べる算術書があった。twitter.com/temmusu_n/stat...
タグ: 超算数
posted at 22:03:04
#統計 適当な条件を満たす任意のi.i.d.の母平均や母分散の不偏推定量になっている標本平均や不偏分散と違って、このスレッドで扱っている不偏推定量はモデル内部でのみ不偏になっているだけであることに注意。
このことからも不偏性にこだわりすぎても無意味なことが分かる。 twitter.com/genkuroki/stat...
タグ: 統計
posted at 22:31:31
#統計 例えば #Julia言語 の有名確率分布達に関するパッケージの Distributions.jl で十分統計量はsuffstatsという名前の函数として実装されています。
↓
github.com/JuliaStats/Dis...
こういう実践的な知識抜きに初学者が十分統計量を勉強するのは非常に苦しいのではないかと思います。 pic.twitter.com/FxpjzD4YtI
posted at 22:59:29
非公開
タグ:
posted at xx:xx:xx
五十嵐美樹/Miki Igarashi @igamiki0319
生クリームを振ってバターを作る実験 pic.twitter.com/wVrN9ospf7
タグ:
posted at 23:37:59
運営費交付金に依存する国立大学|Satoru Muro @SatoruMuro #note note.com/smuro/n/nd55af... これはまさにその通りで「運営費交付金を増やすことで論文を増やすことに貢献する」と内閣府のデータが示している.運営費交付金がダメだというなら,上記データに反証するデータが必要.
タグ: note
posted at 23:43:13
「どれも正解」って判断して、その上で「指導する」かどうかは状況次第。
そもどういう意図で出題したかにもよるし、それによっちゃあガバ過ぎる問題文に手を入れるかもしれんし。 twitter.com/nemakineko777/...
タグ:
posted at 23:47:12
むしろ、意欲とか学力が欠けている層の方が、順序とか教え込んだら「考えなくなる」んじゃないのかねえ twitter.com/Z7Mv8pyqhdGNa5...
タグ:
posted at 23:55:35
「くもわ」とか「みはじ」とか掛け算の順序なんかは「どーせお前らは『考える』なんてことができないんだから、考えずに決まった手順に従っとけ!」って指導だっちゅう気がするのよねえ。
タグ:
posted at 23:57:27