黒木玄 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 を見て下さい。
2023年07月11日(火)
朝、カラスにおそわれた。
職場近くの横断歩道で、カラスの若鳥と思われる個体が車に轢かれて絶命していた。ほんの数分前に事故にあったようであった。
近くで数羽のカラスが警告と思われる鳴き声を発していた。
信号待ちをしつつ、カラスの死体をみつけ、警告の鳴き声の意味を理解した。
タグ：
posted at 00:25:30
どうでもいいなら（10a+6b)(10a-6b)も○にすればいいのに。
そもそもどうでもいいなら、こんな話題に入ってこない。
本当はどうでも良くなくて、自分の正しいと思ってる因数分解が否定されることが、気になってしょうがないのだろう。 twitter.com/KabuTaro/statu...
タグ：
posted at 00:26:01
Juliaの研究会参加したかったな
ちょっと触った程度の経験しかないしバックグラウンドの知識も無いので話にはついていけんだろうけど
#mathphysjulia2023
posted at 07:40:46
おはようございます（2回目）。
昨日のチュートリアル講演(3) の資料スライドを公開しました。
#mathphysjulia2023
スレッド並列の基礎 for 数学と物理におけるJuliaの活用 2023-07-10 speakerdeck.com/antimon2/suret...
posted at 07:45:51
ごまふあざらし(GomahuAzaras @MathSorcerer
akio-tomiya.github.io/julia_imi_work...
初日の資料は研究会ホームページに揃いました。お時間がある時にパラパラめくっていただければと思います。 twitter.com/mogupym/status...
タグ：
posted at 08:18:08
ごまふあざらし(GomahuAzaras @MathSorcerer
ホームページに講演資料など追加が必要であればプルリクを送ることができます
github.com/akio-tomiya/ju...
#mathphysjulia2023
posted at 08:20:22
@yokoemon2112 福岡空港につきました。横山先生の講演に間に合うかな。
#mathphysjulia2023
posted at 08:21:40
「ずるい」感情は、非合理で意味のない怨嗟を生むし、なによりも人の足を引っ張る。この負の連鎖を少しでも食い止め、「ずるい」感情による暴力的な行動（いやがらせなど）をあらかじめ封じる方便が「権利は義務の代償（だから我慢せよ）」だったとは考えられないだろうか。
タグ：
posted at 08:25:06
人間の集団が、「ずるい」感情を基本にして社会をみているひとと、「ずるい」感情をあまり持っていないひとに大きく二分されるとして、社会をどうデザインすれば「うまく回る」かを考えると、どうなるだろう。
タグ：
posted at 08:33:18
別の言い方をすると、天賦人権説は、人権を人々に付与する機関を人間の集団のどこかに置くことの不可能性から来ている「知恵」なので（露悪的にいえば、これはこれで「方便」）、「ずるい」感情の説得にはあまり効果がない。
タグ：
posted at 08:35:15
「ゴール(答)がひとつで、ルート(解法)は問わない」のが数学のいいところ。とよく言っているのだが、答の表記は必ずしもひとつではないことはそんなに難しいか？
簡潔というやや主観的な判断が入るので、生徒には書き方は気にせず、これとこれが同じだとすぐにわかることが重要と伝えてるけど…。
タグ：
posted at 09:12:14
無痛分娩 阪大病院で休止に 背景には麻酔科医の人手不足 | NHK
痛みを感じてこそ母になるとか根性論でやらないわけではなく、人手不足、これ。やりたくてもできない。ほんとこの現実知られてほしい。 www3.nhk.or.jp/news/html/2023...
タグ：
posted at 09:36:58
#Julia言語
ちょっとしたモンテカルロシミュレーションにスレッド並列化は非常に便利でいつも使っています。
添付画像は、与えられた確率分布distのサイズnの標本を大量に生成して、標本平均と不偏分散を計算する仕事を、スレッド並列で行っている。
ソースコード: github.com/genkuroki/publ... twitter.com/antimon2/statu... pic.twitter.com/384V1Pgueu
タグ： Julia言語
posted at 09:40:26
@virus_mania スレッド並列にご興味をお持ちでしたっけ…？Juliaにおけるスレッド並列について解説されているスライドです。面白いのでぜひ読んでみて下さい。
twitter.com/antimon2/statu...
タグ：
posted at 09:52:02
九州大学到着。間に合った！
#mathphysjulia2023
posted at 09:54:47
#Julia言語 注意！
スレッド並列化の前に無駄なアロケーションを消すことは非常に重要です！
添付画像では確率分布distのサイズnの標本をランダムに生成して標本平均と不偏分散を返す函数でrandの代わりにRandom.rand!を使うことによって無駄なメモリ割り当てを消しています。 pic.twitter.com/zfJCNbMaP6
タグ： Julia言語
posted at 10:00:14
始まりました2日目。今日からは一聴講者です
#mathphysjulia2023
posted at 10:02:34
#Julia言語 さらに、この例では、スレッド並列化された函数の側では、ランダムに生成された標本の吐き出し先の配列を各スレッドごとに用意して利用しています。
この例は、統計学への入門的な勉強をしている人にはちょっとありがたいものになっていると思います。 pic.twitter.com/JrT4mLjuEk
タグ： Julia言語
posted at 10:03:53
ごまふあざらし(GomahuAzaras @MathSorcerer
人的な問題もあるのですがどう学べばいいのかわからんというのもありそう(´･_･`) > CAS 周り
#mathphysjulia2023
posted at 10:05:23
#統計 「百聞は一見に如かず」で例えば期待値1のポアソン分布のサイズ10, 40, 160, 640の標本の標本平均と不偏分散の同時分布は添付画像のようになります。
標本平均と不偏分散の組には中心極限定理が効いていて、n→大で同時分布は2変量正規分布で近似されます。添付画像はその確認例になっている。 pic.twitter.com/poYOjTANcn
タグ： 統計
posted at 10:11:23
#統計 右側に外れ値の小さな山を持つ分布のサイズ10,40,160,640の標本の標本平均と不偏分散の同時分布は添付画像のようになります。
サイズ10,40の同時分布は、標本中に含まれる外れ値の個数ごとのかたまりに分離されます。
n→大で中心極限定理が効く様子も見える。 pic.twitter.com/XDPJf3c09A
タグ： 統計
posted at 10:14:36
ほりたみゅ (mastodonも見てね) @Hyrodium
楕円曲線を使って素因数分解。Juliaを使って3秒かかっていたものを1秒以下に高速化！ #mathphysjulia2023
posted at 10:25:20
@temmusu_n 逆に式以外の文言を書いてはいけないと小学校６年まで思ってました。お受験の模試の講評で式以外の日本語での考え方を書くべきと言われて目から鱗
タグ：
posted at 10:27:48
最新（最近）のJuliaならprecompile（JIT compile）もある程度速くなったし、[at]time マクロで「コンパイルにかかった時間の割合」も出ます（よね確か）
#mathphysjulia2023
posted at 10:30:50
ごまふあざらし(GomahuAzaras @MathSorcerer
（いい意味で）膝から崩れ落ちる Resultant benchmark
#mathphysjulia2023
posted at 10:35:24
ごまふあざらし(GomahuAzaras @MathSorcerer
確かに膝が崩れる経験をすると伴侶にしたくなりますね（わかルゥ〜）
#mathphysjulia2023
posted at 10:37:30
OSCARってなんか聞いたことあるけど違うやつかな...
まぁOSCAR自体は造語ってわけでもないやろうから多分違うんやろうな
#mathphysjulia2023
posted at 10:46:39
うえもっちゃん(うえもと雅斗)@☎数学カ @syukugennmathto
OSCARが入っているのを考えるとやっぱりJuliaの普及は強くなっているんやろうな
速さも考えると全体における利用率分岐点までもうすぐなのかな
バックエンドやってる友達もJuliaの認知していたし認知は強くなっていてその速度と利便性がもっと評価されるべきよな
#mathphysjulia2023
posted at 10:53:00
#Julia言語 関連
ループの内側で rand(n), rand(dist, n)は禁忌で、Random.rand!を使う。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 10:55:21
この振れ幅が大きいというのがまさに3σ。繰り返しになりますが、検証もお手盛りで本来の主要因のリソース不足の議論を避けてしまいます。リソース不足は政治の責任ですから三重県議会は逃げないでほしいです。 twitter.com/doctor_nw/stat...
タグ：
posted at 11:08:37
念のため今講演しているほりたみゅさんの資料情報(再)共有します↓
#mathphysjulia2023 twitter.com/Hyrodium/statu...
posted at 11:13:40
#Julia言語 SymPyの数式は文字列化→Meta.parse→evalでJuliaの函数に変換できます。(ループの内側でそういうことをしない方がよい。ループの外側で行う。)
純粋にJuliaのシンプルな函数であればスレッド中で使い易い。
ちょっと時代遅れの解説の例
↓ twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 11:34:36
#mathphysjulia2023 でのスレッド並列の解説を聴いた人に役に立ちそうな情報をこのツイートを含むスレッドにまとめてみた。
* 確率分布の標本をランダムに大量に生成して行うシミュレーションにスレッド並列は超便利。
* 警告：並列化前に最適化を済ませておかないとダメ。
* rand!を使うと良い。
posted at 11:38:56
Plots.jlのバックエンドにBasicBSpline.jlを利用して滑らかに近似したグラフを出力できるバックエンドがあると無茶苦茶良いのでは？（とふと思った実現性は知らんけど） #mathphysjulia2023
posted at 11:42:14
以下のスレッドには同感。
「ずるい」という感情に支配された社会的有害因子の害を強制的に抑える社会的仕組みは非常に重要。
「かけ算順序強制指導をやめない先生達の労働環境はまともで楽なものに改善してはいけない」と考えるクズな人達への対策にはいつも心を痛めている。本当にクズ。 twitter.com/goito/status/1...
タグ：
posted at 11:52:26
#Julia言語
SymPy.jlで不定積分を計算してそれを利用して定積分を大量に計算するのと、QuadGK.jlによって数値積分を大量に繰り返すことの比較。
eval(Meta.parse("f(x) = $(sympy_expression)")) でSymPy.jlの数式からJuliaの函数f(x)を__概ね__作れる。
github.com/genkuroki/publ... twitter.com/genkuroki/stat... pic.twitter.com/Yu1YlrLUwX
タグ： Julia言語
posted at 12:27:17
#Julia言語 evalやMeta.parseの使い方を説明すると乱用し始める人が増えてしまったりするのがちょっと怖い。
Meta.parseはほぼ禁忌で原則として使ってはいけないと覚えておく方が安全。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 12:34:41
（学校図書の教科書より）
この教科書だと、整数をくくり出す指示があるもよう。
どういう意図でこれを書いたのか気になる。
マナーとしてなのか、これ含めて因数分解と呼んでるのか・・・？ pic.twitter.com/t5pVDe5BgP
タグ：
posted at 12:54:41
@kankichi57301 私は証明問題で循環論法をして痛い目を見たことで、あ、ちゃんと書こうと思うようになりました。何が過程か、何が結論か自分でわからなくなるという自爆ですね。
タグ：
posted at 12:56:40
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
まだZoomのキャパあるようなのでぜひ参加してください！
akio-tomiya.github.io/julia_imi_work...
午後一は、永井佑紀 @cometscome_phys さんに
「Juliaによる科学技術計算:大規模並列計算について」と題して講演頂きます
#mathphysjulia2023
posted at 13:25:55
@IgnorantCoder そうですね。
分数を使った因数分解の問題の出題がなかったので、整数の範囲の因数分解を意識してるのかも知れません。
もちろん、合成数も出てこないようになってます。
タグ：
posted at 13:35:55
@IgnorantCoder なるほど。
つまり、この教科書の因数分解は、その後、数学で扱う因数分解とは別物を教えているということですかね。
高校でも、「一次式以上の多項式の積」という記述があるものがあるので、高校でもすでに別物になってそうです。
タグ：
posted at 13:43:12
昨日のスレッド講演資料でもこういう図が書きたかった（絵心ないのと時間がなかったのとCharG¶Tくんに丸投げしようとしてまともな結果が得られなくて諦めた） #mathphysjulia2023
posted at 13:48:24
以下のリンク先スレッド経由で pointsyu.com/3000ban/37syo/... を見たが、述語論理を使えていないせいでひどく非論理的な内容になっている。
添付画像コメントでは切り取った部分だけを「rに関する条件」とみなした場合を赤字で扱っているが、本当は「x,yに関する条件」の同値性を扱う必要がある。 twitter.com/k_ito1213/stat... pic.twitter.com/QJvJjg5aEu
タグ：
posted at 13:52:29
@temmusu_n @kankichi57301 「式を書いただけで説明したつもりになる人達」の存在が気になるので、以下のリンク先のように、言葉による説明をぎっしり書いた例を見せるように注意しています。
こういうのは数年以上気楽に場数を踏まないとできるようにならないです。小学校の6年間があれになっているのが痛い。 twitter.com/genkuroki/stat...
タグ：
posted at 13:58:08
@temmusu_n @kankichi57301 以下のリンク先で取り上げた例は、条件をきちんと言葉を使って説明しないせいで、
r = 2 cos θ
⇔ r = 0 または r = 2 cos θ
と書いてしまっているともみなせます。
算数の段階での悪影響だけではなく、実際にはもっと悪影響を与えている人達が広く存在する感じ。 twitter.com/genkuroki/stat...
タグ：
posted at 14:08:46
@IgnorantCoder うーん。そうなるためには、「平行線は交わらないこと」に関してのユークリッド平面の条件みたいな感じで、
数学的にある条件を付け加えると、確かにそれが正しい、という形になって欲しいんですが、その条件が見当たらない・・・と思ってます。
タグ：
posted at 14:13:35
市の教育委員会に確認してもらって、この問題の出題は不適切であった（表現が悪かった）というところまでは認めてもらいました。
定期テストでは、不問（全員正解とする）扱いです。 twitter.com/0315_osami/sta...
タグ：
posted at 14:16:17
しかし、途中の会話で、
「慣例として４でくくるべきとは思ってる」と言われたのは、ちょっと気になったことろですね。
表記としては慣例があっても、数学の本質には慣例は関係ないはず・・・。
タグ：
posted at 14:18:10
算数の段階から、数学教育では
先生や親がそう言っているから正しいということにはならないし、教科書にそう書いてあるから正しいということにもならない。一つひとつ慎重に論理的整合性を確認して、初めて正しいかどうかが分かるのだ。
という事実を徹底して教えて欲しいですよね。
タグ：
posted at 16:51:45
特に小学校の段階が重要で、
先生の側が間違ってしまってかつ、
そのことを子供達に指摘されてかつ、
先生の側が明瞭に間違っていたことを認めてかつ、
そういう態度を取ったがゆえに先生が信頼されるようになる
ような教育になればよいと思います。
タグ：
posted at 16:51:46
@temmusu_n @kankichi57301 教えている側に言葉を使って論理的に正確に説明する能力がない場合は結構多いと思います。
学生時代に相当に修練を積んでいないと多分無理。
例えば、「r = 2 cos θ」と式を書いただけでは「ある実数θが存在してr = 2 cos θ となる」の意味にはならないことがわかっていないと相当に苦しい。
タグ：
posted at 16:57:25
誰か偉い人が言ったことや権威ある文献に書かれているからという理由で正しいか否かがわかるのではなく、一つひとつ慎重に論理的整合性を確認して初めて正しいかどうかが分かるという事実を理解できている人が増えまくればよいと思います。
権威に頼る人達にとって不都合な人達が増えるのは良いこと。
タグ：
posted at 17:03:22
ポスターセッションの後，歓談中。
#mathphysjulia2023
posted at 17:23:20
一瞬「うーん・・・」と思ったが、よく考えてみれば、
「（因数分解として）数学的な意味合いでしているのではなく、慣例としてしている」という認識を確認できたのは大きいんじゃないか？？ twitter.com/0315_osami/sta...
タグ：
posted at 17:33:02
@genkuroki そうなんです。
人間は最初に入力された情報を正しいと信じて、頑なにそれに固執する性質があります。だから最初に間違った情報を与えると後からそれを修正するのが非常に困難になります。
だから最初が一番重要で、正しい事を教えないといけないのです。
タグ：
posted at 18:39:21
ヒカルリ(ハイパー都内勤務エンジニア) @hika_ruriruri
#mathphysjulia2023
この二つの講演が聞きたい pic.twitter.com/X6jxz9DHDi
posted at 18:58:21
元高校数学担当
算数／数学の授業では当たり前のこと過ぎて、意識をしたことさえなかった。言語化もしてこなかった。
当たり前すぎるがゆえに意識する・言語化することが難しいなと、ハッとさせられます。
（引用は、この当たり前が存在しない算数／数学の授業があるという指摘でしょうか） twitter.com/genkuroki/stat...
タグ：
posted at 20:48:25
「汚染水」か「処理水」かというのは言葉遊びではなくて、「放出されるのは汚染水ではなく、希釈したALPS処理水だ」とみんなが言い続けたおかげで、今や「汚染水」という言葉を使うのは福島の復興を願わない放射能デマ・風評加害者だけになったわけです。非常にわかりやすい。言葉はだいじですよ
タグ：
posted at 20:49:50
大本の方も同じだけど、「表現が悪かった」というのが気になる。
表現の問題じゃないよね。
「不十分である」とか「望ましくない」なんてのに変えられたら台無し。 twitter.com/0315_osami/sta...
タグ：
posted at 20:50:21
これって、言葉による説明をぎっしり書いてるように見えなくて、このくらいは普通に書くよなぁ、と思ったので、余程ひどいのですね。残念ながら。 twitter.com/genkuroki/stat...
タグ：
posted at 22:16:35
