黒木玄 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年05月28日(金)
#julialang
教えていただいたところを見よう見まねで実装してみた．
改めてjuliaの強さを実感．ただ，速度がむしろ低下したのが気がかり．なぜだ，，， twitter.com/genkuroki/stat... pic.twitter.com/rIERB91zN2
タグ： julialang
posted at 00:10:44
#Julia言語
【3.260456 seconds (3.79 M allocations: 206.492 MiB, 3.70% gc time, 95.20% compilation time)】
とほぼコンパイル時間を測っています。
@ timeで実行速度を測る場合には複数回それを繰り返す必要があります。
BenchmarkTools.jl の @ btime はそれを自動的にやってくれます。 twitter.com/iitenki_morute...
タグ： Julia言語
posted at 00:18:44
もちろんPHPだけなんてことはなくて、D、ruby、pythonを並行して使いました。
この歳になってからVBも勉強しました（笑）。なんで今頃……って今必要になったからです。そんなもんです（笑）。
JuliaだってLuaだってRustだって気になれば都度入れて遊びましたし、とにかく言えるのは
言語多すぎ。
タグ：
posted at 00:41:38
@hgn_no_otaku 掛け順は氷山の一角なので、拘っている先生は困った算数指導スタイルを他にも実践している可能性が高いです。足し順やさくらんぼ算あたりはほぼ確定的でしょう。くもわはじきやノート指導もあるかも。掛け順が単品ででてくることはほとんどないとわかってきたので、教師の資格も取り沙汰するわけです。
タグ：
posted at 01:04:50
I feel like I should mention that in #julialang that's just as much fun
#julialang 🤝#rstats data.table twitter.com/FlorianOswald/... pic.twitter.com/kcRbswN8Cv
タグ： julialang
posted at 02:18:55
ジェンナーが種痘を開始してから「種痘をすると牛になる」という反対派のデマが流れたが、それを聞いたジェンナーは次の言葉を残したという
「現実と空想を混じぇんなー」
タグ：
posted at 08:15:12
参考書の式変形を手計算すること、図をプログラムで再現することの重要性を教えてくださったゼミの先生には本当に感謝しています。
(たまに勉強のレビューもしてくれるので感謝しかない) twitter.com/genkuroki/stat...
タグ：
posted at 08:47:20
#Julia言語 続き。そのことは公式ドキュメントでもよめるし、同じことになるが、
julia> ?
help?> ^
としても読める。
3^(-2) は Base. pow_literal(^, 3, Val(-2)) と解釈され、その結果、inv(3)^2 で計算される。
Juliaではギョッとしたら、?^ のように入力して、ドキュメントを読めば解決する。 pic.twitter.com/oa16BzpbIq
タグ： Julia言語
posted at 08:51:32
#Julia言語
Juliaで書かれたソースコードで分散を意味する変数の名前が σ² であることにギョッとした人は、REPLなどへの σ² のコピー&ペーストによって
julia> ?
help?> σ²
"σ²" can be typed by \sigma<tab>\^2<tab>
とすれば、Julia対応環境における世界共通の入力の仕方を教えてくれる。 pic.twitter.com/Xhgnwh2Etm
タグ： Julia言語
posted at 08:54:57
All you need論文もこれだけあるといいかげんにせえよという気持ちになる scholar.google.com/scholar?as_ylo...
タグ：
posted at 09:17:26
#JuliaLang
discourse.julialang.org/t/all-ways-to-...
julia> a * b = a + b
* (generic function with 1 method)
julia> 3 * 4
7
🤣🤣🤣🤣🤣 pic.twitter.com/PD1DutklW9
タグ： JuliaLang
posted at 09:21:53
#Julia言語 そうか、
⪅(x, y) = x < y || x ≈ y
ではなく、
x ⪅ y = x < y || x ≈ y
でもいいのか。 pic.twitter.com/ZeGQ5HyT6y
タグ： Julia言語
posted at 09:25:06
ごまふあざらし(GomahuAzaras @MathSorcerer
なるほどなー。後者の方が好きです。 twitter.com/genkuroki/stat...
タグ：
posted at 09:48:44
Juliaで「≈」って何の記号かなと調べたら、「差の絶対値が計算機イプシロン以下」みたいな判定ができる便利演算子だった。「\appox [tab]」で入力できる。
ニュートン法みたいな反復法の収束条件を書くのに便利そう。 twitter.com/genkuroki/stat...
タグ：
posted at 09:51:47
Stefan Karpinski @StefanKarpinski
@steveklabnik @fogus Except #JuliaLang which is grass roots
タグ： JuliaLang
posted at 10:09:49
Stefan Karpinski @StefanKarpinski
@miguelraz_ @steveklabnik @fogus Most of the time Jeff was there he was a phd student — which we all know is incredibly lucrative. The amount of funding that paid for initial Julia development through MIT is comically small. Like one FAANG engineer-year’s salary, spread out over three people over multiple years
タグ：
posted at 10:36:07
#Julia言語
Juliaは少なくともv1.0までは "can do" 設計段階にあるということのようです。現在のnightly buildも間違いなくそうです。
a * b = a + b
だけではなく、
Base.:*(a::Int, b::Int) = a + b
でさえ可能です。後者をやるとシステムが壊れますが(笑)
discourse.julialang.org/t/private-stat... pic.twitter.com/DpnGsTCA4W
タグ： Julia言語
posted at 11:16:21
#Julia言語
sum = 0 とおいても、Juliaのbuiltin sum函数はBase.sumの形式で使えます。 pic.twitter.com/2L7SVkThkG
タグ： Julia言語
posted at 11:22:43
非公開
タグ：
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
図形の掛け算の式では、数字の順序を問わないのが算数教育の専門家の常識
#超算数
twitter.com/h_okumura/stat...
タグ： 超算数
posted at 12:50:01
非公開
タグ：
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
「小学校の掛け順（逆順を間違いとする指導）」を１０年ぐらいウオッチしているけど、
ネットで話題になると逆に算数教育の専門家達は掛け順指導を露骨に強化して来る。
例えば「指導要領・解説」に掛け順が掲載されたりする。
ちなみに「指導要領・解説」には法的強制力はない。
＃超算数
タグ： 超算数
posted at 12:57:18
#超算数 引用ツイにみられる誤解を解いておく。今年度実施新学テの「小学校算数解説資料」www.nier.go.jp/21chousa/pdf/2...の当該ページはこれ。【乗数と被乗数を入れ替えた式】は◎と評価されうる。また、以前の新学テにも乗数と被乗数の入れ替えを許容する記述がある。必ずしも明確でない年度はあるかも。 twitter.com/h_okumura/stat... pic.twitter.com/8pGF2Fjwvp
タグ： 超算数
posted at 13:02:10
OokuboTact 大久保中二病中年 @OokuboTact
市販の教師向けの算数参考書にも掛け順（逆順を間違いとする指導）はしっかり書いてある。
本屋で買うことができる。
本屋では買えない教科書マニュアル（教師用指導書）にもしっかり書いてある。
ちなみに教師用指導書は文科省検定外。
＃超算数 pic.twitter.com/hFUGNrSpfD
タグ： 超算数
posted at 13:05:05
@hgn_no_otaku @temmusu_n 【掛け算順序にこだわる教員がまともなはずはない】
我々はここ10年の間そういう話をしていません。
かけ算順序問題(など)は一般教師とは異なる算数教育専門家達が伝統的に広めてきた有害な教え方の氷山の一角に過ぎないことを強く示唆する文献の存在について繰り返し説明して来ました。
タグ：
posted at 13:25:44
@hgn_no_otaku @temmusu_n カルトの教祖様のような人達の存在を第三者が確認可能な文献を示すことによって示して来てかつその有害さを10年続けて説明しているのだから、末端のカルト信者達を印象論で貶すというやり方はやめて欲しいと正直思っています。
タグ：
posted at 13:28:23
@hgn_no_otaku @temmusu_n もっと悪い奴がいるのだから、その悪い奴の実名を挙げ、書いたものを引用して、どれだけ社会的に有害であるかについて語り続ける人が増えて欲しいと思います。
もちろん、末端のカルト信者が悪を働くことも見逃すべきではないのですが。
タグ：
posted at 13:30:49
@sekibunnteisuu @hgn_no_otaku @temmusu_n 末端のカルト信者が「自分には責任がない。文句は○○に言え」(○○の部分はなぜか決してカルト幹部ではない)と言って来たら、カルト幹部と一緒に末端の信者もボロクソに貶してよいとおもいます。
しかし、無関係の一般教師への反感を煽る行為はクズ行為としてみんなで潰すようにするべき。
タグ：
posted at 13:34:43
@genkuroki @hgn_no_otaku @temmusu_n まあそりゃそうですね。
私も「あなたに算数を教える資格はありません」というのは、ある程度やりとして、「駄目だこりゃ」となってからであって、「それだけ」で言っているわけではない。 pic.twitter.com/V1W0tOSstF
タグ：
posted at 13:38:38
@FlorianOswald You can read a file directly on HTTP as well like this
name_dict = JSON3.read(transcode(GzipDecompressor, http.body))
Composable! pic.twitter.com/pMRjPxXvvd
タグ：
posted at 14:52:33
The composability in Julia is just amazing!
You do not have to wait for the package author to implement a feature.
E.g. I took the HTTP package to read a .gz file directly and then use CodecZlib.jl to uncompress it in memory sent it to JSON3.jl to parse it!
#julialang twitter.com/FlorianOswald/...
タグ： julialang
posted at 14:59:56
#Julia言語
他人が定義した函数に自分が定義した型を扱うメソッドを追加したり、他人が定義した型を扱うメソッドを自分が定義したりできることの解説。
gist.github.com/genkuroki/6716...
モジュールSでは図形のサブタイプとして点と線分の型を定義して、それらのプロット函数を定義している。 pic.twitter.com/3gNp2l23OP
タグ： Julia言語
posted at 18:07:50
#Julia言語
モジュールTでは、円周の型を独自に定義して、モジュールSで定義されたdraw!函数に円周をプロットするメソッドを追加している。
gist.github.com/genkuroki/6716... pic.twitter.com/aNUx885R0q
タグ： Julia言語
posted at 18:09:27
#Julia言語
モジュールUでは、モジュールSで定義された図形の型の平行移動函数を独自に定義し、さらにモジュールTで定義された円周の半径を何倍かする函数も独自に定義した。
gist.github.com/genkuroki/6716... pic.twitter.com/yH4gMFb4rA
タグ： Julia言語
posted at 18:11:17
#Julia言語 別の具体例↓
discourse.julialang.org/t/is-julias-wa...
【Despite the fancy name, the expression problem is definitely a stumbling block you’ve encountered many, many times in object-oriented programming, ...】(Stefan Karpinski, 2020-12-22)
タグ： Julia言語
posted at 18:33:08
#Julia言語 上の続き
discourse.julialang.org/t/is-julias-wa...
【Right. So that’s one of the other “solutions” to this problem in my talk — don’t use OOP at all, just use external functions. Which does work, but then you can no longer specialize or dispatch on the first argument, ...】
タグ： Julia言語
posted at 18:36:36
air dropの名前を「飼い犬か猫の画像を下さい」にしていたら、電車で知らん人から犬の画像が送られてきた pic.twitter.com/aBgXcjUqbb
タグ：
posted at 19:12:39
非公開
タグ：
posted at xx:xx:xx
「大事なことだから一回しか言わない」は意地悪なんです。「大事なこと」は「何度でも言って」あげてください。子どもたちの中には一回で聞けない子もいるんです。あなたの意地悪で子どもたちが学ぶことは「諦め」ですよ。
タグ：
posted at 20:48:49
@sekibunnteisuu @genkuroki @hgn_no_otaku #超算数 ちょっと違う視点からも考えています。学校でおかしな算数・数学が教えられている問題は、教科教育専門家がおかしな指導法を推奨していること*だけ*では説明ができないと思います。ここでも性急に特定の人々を責め立てるべきではないのですが、教員の学力不足*も*大きな要因でしょう。
タグ： 超算数
posted at 20:58:47
@sekibunnteisuu @genkuroki @hgn_no_otaku 芳沢光雄氏の主張には根拠薄弱なセンター試験批判など問題もありますが、こういう観察は看過できないでしょうtwitter.com/OokuboTact/sta...。#超算数 と教員の学力の両方を押さえておくことで、twitter.com/temmusu_n/stat...のような事象を2つの要因が合流した結果として観察できるようになります。
タグ： 超算数
posted at 21:02:06
@sekibunnteisuu @genkuroki @hgn_no_otaku #超算数 よりマクロな現象もこの2要因の合流点とみなせます。これはtwitter.com/temmusu_n/stat...、小学校教員は自身の算数を教える能力に(妙に)高い自信を持つという調査でした。明確にいうと、私の考えでは、算数教育専門家のおかしな主張と教員の学力不足は、相互再帰的に深刻化していると思います。
タグ： 超算数
posted at 21:04:32
@temmusu_n @sekibunnteisuu @hgn_no_otaku 何がチョー算数体制を支えて来たか？
私は、おかしな教え方をマスターした方が「周囲」の評価が高くなり、場合によっては社会的にも大きく出世できてしまう体制が維持されているからではないかと思っています。
人事が伝統的にそうなっている。
タグ：
posted at 21:13:20
@temmusu_n @sekibunnteisuu @hgn_no_otaku 私がよく知っているとある小学生が小2のときに算数を習った非常に若い先生のかけ算順序強制は大してひどくなかったのですが、冬の学年頼りには「かけ算の順序は重要です」と書いてありました。
タグ：
posted at 21:18:54
@temmusu_n @sekibunnteisuu @hgn_no_otaku で、市の教育委員会にその件についてメールで質問してみたら、「学習指導要領」(実際にはその解説なのだが)と教科書の教師用指導書のひどく粗い画像が添付された返事が無記名で返って来た。😱
タグ：
posted at 21:21:27
@temmusu_n @sekibunnteisuu @hgn_no_otaku で、その後そのよく知っている小学生の子が高学年になったときに、担任のやはり非常に若い先生は、かけ算の順序が逆なら誤りにするのはおかしいと言っていたそうです。
常識のわかる温厚ないい先生。
タグ：
posted at 21:23:30
@temmusu_n @sekibunnteisuu @hgn_no_otaku あと、正方形も長方形に分類しないと論理的におかしい算数プリントに回答欄の項目数を増やして回答したらマルになっていたという話も何回かしました。
タグ：
posted at 21:25:14
@temmusu_n @sekibunnteisuu @hgn_no_otaku 常識がわかっていて柔軟で温厚な人物であればそれだけで十分だと思うし、実際にそういう先生は結構いるように思えます。個人的な経験だけなのでデータにはならないですが。
タグ：
posted at 21:26:50
@temmusu_n @sekibunnteisuu @hgn_no_otaku 仮に私が知っている常識がわかっていて柔軟で温厚な人物が、教師を続ける過程で、非常識な算数の教え方の側を擁護するようになるとしたら、お先真っ暗だと思いました。
タグ：
posted at 21:29:41
@temmusu_n @sekibunnteisuu @hgn_no_otaku 算数教育界での地位が高くなっていて、教師に影響を与えることができる側を実名で文献を引用して社会的な信用ウィ失ってもらうようにするのは、私には有力な選択肢に思えます。
出世した側に責任をとってもらうべき。
タグ：
posted at 21:31:54
@temmusu_n @sekibunnteisuu @hgn_no_otaku すでにこのカルトは数十年以上の伝統と人事に支えられた社会的に堅固な基盤を持っています。
一般信者がすでに沢山いることを学力が低すぎる証拠とするのはまずいと思いました。
タグ：
posted at 21:33:47
@temmusu_n @sekibunnteisuu @hgn_no_otaku 割合の問題を普通に解ける人の割合は超大雑把に日本人の半分くらいだと推測できます(3割かもしれないし、7割かもしれない)。
社会全体での平均学力自体がそう高くはないです。
そういう中で我々はうまくやって行く必要があります。
タグ：
posted at 21:36:29
@genkuroki @sekibunnteisuu @hgn_no_otaku 先生たちへの期待値をあまり下げると、能力の低い教え手にも実践できる指導法として、くもわはじき等に正当性を与えかねない懸念があります。 #超算数
タグ： 超算数
posted at 21:50:15
@temmusu_n @sekibunnteisuu @hgn_no_otaku こうやって会話していると、これが本当に根の深い問題だと再認識してしまう。こんな問題がSNSで話題になるまで社会的に埋もれていたこと自体が大問題なのかも。
タグ：
posted at 22:14:21
@genkuroki @sekibunnteisuu @hgn_no_otaku ネット言論の普及で、ログの蓄積と検索が容易になったことは大きいでしょうね。今までだったら6年か9年耐え忍べばいいや、自分ちの子だけならなんとか面倒見られるかとかの諦めで、議論の裾野が広がらなかったんじゃないかと思うんです。
タグ：
posted at 22:27:32
#Julia言語
juliaを--math-mode=fastで使うべきではない理由の続き
discourse.julialang.org/t/a-subtle-bug...
↓
discourse.julialang.org/t/cos-allocate...
--math-mode=fastでJuliaを使うときにisnanをオーバーライドしたせいで、余計にひどく計算が遅くなったらしい。
タグ： Julia言語
posted at 22:47:22
