黒木玄 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 を見て下さい。
2022年05月25日(水)
高専ではラプラス、フ－リエに早く触れるか、電子系だと自然に使ってるという感じだったはずなので、高校でももっと早く触れるべき。 twitter.com/genkuroki/stat...
タグ：
posted at 00:23:11
Building quite the collection over here 😅. Thanks @Viral_B_Shah for the latest addition 🧼.
#julialang pic.twitter.com/aA7RgS0XYh
タグ： julialang
posted at 01:30:24
#Julia言語 のTuring.jlのtutorialのBayesian logistic regressionの例
turing.ml/dev/tutorials/...
↓
↓私が実行した結果
↓
nbviewer.org/github/genkuro... pic.twitter.com/N2DOjNzijW
タグ： Julia言語
posted at 01:35:36
Body transfer illusion
The illusion of owning a part/or entire body other than one's own
sight, touch and proprioception (a sense of body position) all combine to convince this person that a rubber hand is their body part 1/🧵
🔈This video has sound
pic.twitter.com/p8O1GATuYv
タグ：
posted at 02:19:32
Calculating things in a wrong but an aesthetic way.
#JuliaLang twitter.com/sonukg4india/s... pic.twitter.com/PvzZf2uA3o
タグ： JuliaLang
posted at 03:31:21
Numerical integration with #JuliaLang twitter.com/AugustoCLeal/s...
タグ： JuliaLang
posted at 04:23:25
Este notebook interactivo es parte de mi clase de mañana de control de procesos. Estoy contento con el resultado.
Combina cálculo simbólico con @SymPy y numérico con @JuliaLanguage . La interactividad es súper fácil de hacer con @PlutoJL .
Cc @julialang_es pic.twitter.com/SnqlhNc3t3
タグ：
posted at 05:40:52
昨日、数学教師でピアジェの発達段階説について誤解してる人おった。12歳にならないと負の数は扱えないのだとさ。その人、国立大の教育学部だからなるほどなって感じ。
でも専門は高校数学やろ？呆れた。
タグ：
posted at 06:39:45
「12歳にならないと負の数は扱えない」
そんなバカな。😵💫
#算数・数学教育に関してピアジェとか持ち出す奴はまずデタラメ twitter.com/c_space630/sta...
タグ： 算数
posted at 06:50:03
JuliaLang en Español @julialang_es
@runjaj @SymPy @JuliaLanguage @PlutoJL Qué cool!
Has intentado usar ModelingToolkit.jl ó Symbolics.jl para no necesitar SymPy.
タグ：
posted at 06:50:19
@julialang_es @SymPy @JuliaLanguage @PlutoJL También he preparado otro notebook con la misma simulación usando ModelingToolkit.jl. Añado un componente aleatorio para mostrar que la realidad no es tan “limpia”.
A Symbolics.jl le falta la parte de integración. A ver si hay suerte y puedo dejar de usar SymPy.jl. pic.twitter.com/zHylZeB9Lm
タグ：
posted at 07:05:50
非公開
タグ：
posted at xx:xx:xx
@mhsatman How about this↓ ?
```
p(y) = x -> x^y
var"'²" = p(2)
var"'³" = p(3)
var"'⁴" = p(4)
5'³'⁴ * 5'⁴'³ / 5'²'³'⁴
# => 1.0
```
#julialang
タグ： julialang
posted at 09:32:33
#Julia言語 多分、お望みのものとは違うと思いますが、Pluto.jl github.com/fonsp/Pluto.jl では、ノートブックのあるセルを書き換えると、それに依存している他のセルが自動的に再計算されます。
これ、はまるケースでは相当に便利そうです。
NASAでは宇宙機のシミュレーションでPlutoを使っている。 twitter.com/ki_chi/status/...
タグ： Julia言語
posted at 10:49:43
#Julia言語 Pluto.jlのノートブックでは、セル間の依存関係はPluto.jlが自動的に判別してくれます。
あるセルを更新すると、変更したセルに依存する他のセルが自動的に再計算される。
Pluto.jlのノートブック内では型の仕様変更も自動的に反映される。
github.com/fonsp/Pluto.jl
タグ： Julia言語
posted at 11:10:24
#Julia言語
私が作ったVan der Pol方程式のPlutoノートブックの例
以下のリンク先の添付画像では初期値を摂動してもリミットサイクルに吸い込まれて行く様子が見えている。
パラメータをスライダで変更できます。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 11:15:00
#Julia言語
Pluto.jlを使えば添付画像のようなことをするミニアプリを数十行のコードで実現できます。
gist.github.com/genkuroki/9013... twitter.com/genkuroki/stat... pic.twitter.com/ycdLL7ISxC
タグ： Julia言語
posted at 11:17:23
#数楽 高校数学IIIの練習問題にありがちな、
∫ x³ e⁻ˣ dx = ?
という問題がどうして非常に面白いかについて、1枚のメモにまとめてみた。
正則化不完全ガンマ函数 regularized incomplete gamma function については→ en.wikipedia.org/wiki/Incomplet... pic.twitter.com/NEhNTVWo5O
タグ： 数楽
posted at 11:27:47
#数楽 #統計 再掲する添付画像の内容を知っていれば、ガンマ分布とPoisson分布の統計学で正則化不完全ガンマ函数Q(s,x)がどのように使われるかを実践的に使えるレベルで理解したことになると思います。
∫ x³ e⁻ˣ dx = ? のような問題は単に解けても面白くはなくて、そこからの話の発展が重要。 pic.twitter.com/NCE471NfOR
posted at 11:30:57
「日本は世界最強の科学力を有する国に生まれ変わります。全国民が数学できて当たり前、三角関数など初等もいいとこ。そんなもんできて当たり前。各専門の基礎になる。STEM教育は義務教育。全国民が科学知識を身につけて当然。全産業に科学を。」ぐらい言ったらどうなんだ。政治家。
タグ：
posted at 11:56:29
21世紀の現代、ありとあらゆる全産業、科学に依らざるはなく、科学に基づかざるはなし。全国民に科学を学ぶことを義務とし、広く利用される基礎数学、および基礎の物理化学生物学を全国民に必修とする。それこそが経済強国の礎である。とか演説する保守系議員はなぜ登場しないのか。
タグ：
posted at 12:00:07
#数楽 ちなみに以上の
ガンマ分布↔Poisson分布
の話は、
ベータ分布↔二項分布
↓ ↓
ガンマ分布↔Poisson分布
に持ち上がります。↓は連続時間極限。(ただしガンマ分布への連続時間極限については負の二項分布を考える方が自然。) pic.twitter.com/B65e7vxPvw
タグ： 数楽
posted at 12:16:22
#数楽 Fourier変換やLaplace変換は数学を道具として使う分野の学生への標準的な教育の中に組み込まれていますが、Mellin変換はそうではない。
しかし、知っていると「ゼータ函数」の概念が必要な場合(例：渡辺澄夫『ベイズ統計の理論と方法』第4章)を楽に理解し易くなるという利点があります。続く twitter.com/genkuroki/stat...
タグ： 数楽
posted at 12:37:53
#数楽 Mellin変換はℝでのFourier変換の(0,∞)=ℝ_{>0}版です。expとlogで通常のFourier変換と関係付けられます。だから、Fourier変換が既習なら、「全然見たことがない」という話にならずに済む。
渡辺澄夫『ベイズ統計の理論と方法』第4章を読むために必要な事柄の解説→ nbviewer.org/github/genkuro...
タグ： 数楽
posted at 12:37:54
高校数学でフーリエというと思い出すのが、ヒッポファミリークラブの「フーリエの冒険」。
概念つかむのに、とてもわかりやすい本だと思う。
改訂版、出てたのか。
www.amazon.co.jp/dp/4906519148 twitter.com/genkuroki/stat...
タグ：
posted at 12:45:03
あの報道は偏向報道というよりもデマの領域であり、福島への風評被害を助長しているかと。偏向報道だと主張なさるのであれば、UNSCEARの報告書を覆すような信頼性に足る、確固たる論文を提示していただきたいです。 twitter.com/hamemen/status...
タグ：
posted at 13:03:01
まあ白石草さんにしてみれば長い間専門家に「あなたは子どもの人権を揺るがす酷い事をしていますよ」と言われ続けて、それでも続けてしまった訳だから、今更これを認めてしまうと自分の10年丸ごと悪行になってしまうわけだから認められんよな。 twitter.com/hamemen/status...
タグ：
posted at 13:06:06
ただし、Mellin変換を普及したいと思った人がBayes統計について勉強を始めるときに注意するべきことがあって、それは
主義に基く統計学の黒歴史に従わないこと
です。渡辺澄夫さんのウェブサイトにはそのための警告が何度も出て来る。それに従っておく方が無難。 twitter.com/genkuroki/stat...
タグ：
posted at 13:10:53
これではまるで、内容には全く反論も指摘もできないけど、それを認めたくないからバナーがどうとか著者が偏向とレッテルを貼るなどでごまかしております、と、表明しているかのように見えてしまうので、何もコメントされないか、ちゃんと内容に触れるかされるのがよいと思いました。 twitter.com/hamemen/status...
タグ：
posted at 13:13:39
#Julia言語 ああ、なるほど。
私が同じtutorialのBayesian logistic regressionを実行してみたら正常に実行されました。エラーは一切出ない。
そちらのgistで公開されたノートブックを見るとTuring.jlなどのバージョンがもにすごく古いです。
pkg> up
すれば良さそう。
nbviewer.org/github/genkuro... twitter.com/thyself_know/s...
タグ： Julia言語
posted at 13:54:53
@rmarkdown #JuliaLang What is the value of the argument N when running julia_logistic(N,dt,u)?
I tried it with N=10³ in my environment and it is a bit faster with @ turbo of LoopVectorization.jl than with @ fastmath @ inbounds.
github.com/genkuroki/publ... pic.twitter.com/hobc5kghMr
タグ： JuliaLang
posted at 14:11:30
#Julia言語 の線形代数へのインターフェースは、普通の数学の教科書のスタイルに合わせてくれているので、数学を教える側にとっては非常にありがたい。
行列を配列の配列のように見せるのはやっぱりやめて欲しい感じ。プログラミング言語側でその辺はどうにかしてほしい。(Juliaはどうにかしてくれた) twitter.com/otl_ltl/status...
タグ： Julia言語
posted at 14:24:59
個人的な印象では、プログラミング界の人達は「通常の数学の数式文化にかなり冷たい」という印象があります。
GitHubが数式対応するまで8年もかけた理由も理解できない。MathJaxやKaTeX以後の対応は技術的に容易だったはず。
JuliaとJupyterの組み合わせには「我々の味方がやって来た！」と感じた。
タグ：
posted at 14:31:10
私の実体験では、企業のソフト開発者は、複素数とか実数とかの概念はまるでなくて、”自然数とゼロ”くらいしか理解していないという感じでした。そういう発想で会社の足を引っ張ることが、何故か許されているという異様な状況が今世紀の日本の製造業の実情ですね。たぶん。 twitter.com/genkuroki/stat...
タグ：
posted at 14:44:23
どうも幼児の発達科学やら子供の発達科学やらは大学でもいまだにピアジェが正しいかのように扱われているって聞くね。
どうも教える人もそういう人が多いのだとか twitter.com/C_space630/sta...
タグ：
posted at 15:27:43
#数楽 応用上、超絶役に立ちまくっている無限区間の積分を排除している問題の他に気になっていることは、
速さの積分が軌跡の長さになることの説明が
高校数学IIIにならないと出て来ないこと
微積分を勉強しても、速さの積分が何になるかを知らないままで終わる可能性があるのはまずすぎ。 twitter.com/genkuroki/stat...
タグ： 数楽
posted at 16:03:27
あと、健全な知識を次世代の人達が楽に手に入れられるようにするにはどうするかという話なので、入試に合わせることを考えるのはやめなければいけない。
論理的な厳密性を犠牲にすれば教える分量は大して増えないかもしれないし、今まで不定積分の計算を異様に沢山やらせていたのも多分減らせる。
タグ：
posted at 16:14:15
応用で積分が使われるのは主に定積分の形式なのに、不定積分というか原始関数を求める計算を異様に沢山やらせて、その中に不完全ガンマ函数ネタまで突っ込んでいる。
もっと普通の話を教えるようにした方が無駄がなくなると思いました。
タグ：
posted at 16:16:40
速さの積分が軌跡の長さになることの説明が
高校数学IIIにならないと出て来ないこと
(しかも高校数学IIIの後ろの方)
は高校物理で微積分を使わない(使えない)こととも直結している問題で、悪影響は数学にとどまらないように思えます。
タグ：
posted at 16:21:15
高校数学の微積分の部分を「つまらない」と感じてしまう優秀な人達は結構多いと思う。
私が見ればつまらなそうに見える微積分の計算問題の多くが面白いということになるのですが、私ではなく、高校生が見て「これは価値ある素晴らしいことだ」と分かるようになっていないとまずいと思います。
タグ：
posted at 16:26:46
もしかしたら、1次元の運動であれば、高校数学IIの内容で何とかなる可能性はありますが、例えば惑星の運動とかになると、高校数学IIIがほぼ終わりになるまで「速さの積分」を扱わない。
微分方程式使いたいとか言う前にこの段階に障碍がある。 twitter.com/genkuroki/stat...
タグ：
posted at 16:32:36
リアル農夫houmei@【JCU】マイク @nouhuhoumei
@genkuroki 三角関数は3Dエディターであるマイクラで大活躍なので分かるのですが、やっぱり文系なのでⅢまで行かないので何に使えるのかさっぱりわからないです。
タグ：
posted at 16:37:07
時間で1回微分したら速度が得られ、2回微分すると加速度が得られ、加速度を積分すると速度の変化が得られ、速度を積分すると位置の変化が得られる、というようなことを高校微積分で教えるようにはなっていないように思う。
しかし、それを理解していると、Taylorの定理の数学的な証明も得られる。
タグ：
posted at 16:38:55
大学卒業してすぐ私立高校の非常勤講師で働いていたんだけれど、先輩教師にモル計算の前に必ず算数と単位から指導するように言われた。んなアホなってその時思ったけど、確認テストしてみると意外に算数でつまずいていたりする。小数の割り算が怪しかったり単位変換できていなかったり。 twitter.com/y_bonten/statu...
タグ：
posted at 16:49:34
@nouhuhoumei マインクラフト、楽しいですよね。
私は自宅サーバーをたてて子供と遊びました。
変な建物を「見える場所」に建てたら、めっちゃ怒られた。
タグ：
posted at 16:53:29
リアル農夫houmei@【JCU】マイク @nouhuhoumei
@genkuroki 斜め建築の基礎で必要になるんですよ。うまく作れば斜め建築でもきれいな建物建ちます
タグ：
posted at 16:55:59
昔、実際にFFT(高速フーリエ変換)で画像圧縮をやってみて、その効果が絶大だとわかった。
気が付いてないだけで、スマホもってれば１日に数えきれない回数フーリエ(逆?)変換やってるわけで、
そういう話は単純に面白いハズ twitter.com/genkuroki/stat...
タグ：
posted at 17:07:10
ほんこれ。科学技術軽視してその日暮らしするのと敗北主義を私もかなり結びつけて認識してるんだけど、保守系の人がああいう国力を弱める政策に怒らないのが不思議でたまらない。
twitter.com/mokonuco/statu...
タグ：
posted at 17:32:05
とりあえず昨晩はうちの子が割合についてあまり理解していなかったことが発覚して(○gが△%のとき全体は何g?みたいなやつ)、操作的に出てきた数字を組み合わせて計算しようとするので、そうじゃなくてイメージを持て、と言うのだけど、とにかく「式」にもっていきたがるので難儀した
タグ：
posted at 17:34:10
@cUCUC96rK8K1voO 僕は非常に貧しい母子家庭に育ち、本と紙と鉛筆だけで科学を学び、科学者になりました。おっしゃることは想像に難くありません。だからこそ知識を身に付け、格差を埋めるのです。もちろん勉強の意欲ある子供への支援は惜しんではなりませんし、学校や行政も変わるべきです。
タグ：
posted at 18:24:19
数学に限らず、どの教科でも高校のカリキュラムは「本物の面白さ」の手前で立ち止まるように設定されているんだよなあ
私が漢文を教わった先生は、最初の授業で「カリキュラムからは外れますが、私の授業では白文を素読できるレベルを目指します。そこまで行かないと、面白くありませんから」と仰った twitter.com/genkuroki/stat...
タグ：
posted at 19:35:01
@takusansu そう、割合の教え方がまずい、というよりは、算数教育全体がまずい。
出てきた数値以外を使って答えを出したなら、その方がちゃんと理解していると思うけどね。
800円の5割、800÷2と求めたなら、
教わった公式でもないし、2は問題に出てきていないから、高確率で理解している。
タグ：
posted at 20:18:26
削られる大学教員の研究時間、会議など負担に 政府が対策検討
「市民講座や研修などでの講師役としての参加や、競争的研究費の審査、国の審議会への出席など、研究以外の活動の割合が増えていることが原因だ。」
いやー市民講座とかは別に良いんだけど…
www.asahi.com/articles/ASQ5S...
タグ：
posted at 22:10:37
「特に、教授会をはじめとする学内会議への参加など大学の運営業務の制約が大きいと感じている教員が多い。」
教授会は文科省令でどんどん権限削られてるし、業務負担の意識はそんな無いなぁ。
「教員不足などによる教育負担も」
コレだろ明らかに。人と金が足らん。
タグ：
posted at 22:13:05
