黒木玄 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年08月27日(金)
#JuliaLang folks, if you use the @JuliaLanguage VS @code extension, please drop a review here: marketplace.visualstudio.com/items?itemName... for visibility.
Also, quick s/o to the team maintaining the Julia VS Code extension! It is thankless work. CC @davidanthoff and co. #OpenSource
タグ： JuliaLang OpenSource
posted at 00:00:13
I wrote a blog post about diffusion on graphs! 🚀
- the mathematics behind it
- Julia code to simulate it #julialang
- download the Pluto.jl notebook to run the interactive code
simonensemble.github.io/pluto_nbs/grap...
タグ： julialang
posted at 03:16:28
@monachansdojo @temmusu_n @Yta8Ntion1FKvR0 @sekibunnteisuu @math82307435 指導要領の1年の内容に
「エ 一つの数をほかの数の和や差としてみるなど，ほかの数と関係付けてみること。」
とあるのにそれができなくなるような謎ドグマ。8が10 - 2として考えられるのは標準的カリキュラム上小学校1年生レベル。 twitter.com/monachansdojo/... pic.twitter.com/mrOjXS1CJO
タグ：
posted at 05:57:58
@monachansdojo @temmusu_n @Yta8Ntion1FKvR0 @sekibunnteisuu @math82307435 2年生の数と計算には「エ 一つの数をほかの数の積としてみるなど，ほかの数と関係付けてみること。」が含まれます。
即ち12と3×4と4×3とが同じものであることは小学校2年生の内容。中学生でそれが出来ないというのは相当邪魔する教育が為されているということ。 twitter.com/monachansdojo/... pic.twitter.com/qHvdZW4imC
タグ：
posted at 06:05:35
@monachansdojo @temmusu_n @Yta8Ntion1FKvR0 @sekibunnteisuu @math82307435 『解説』はくそ文書とみんな言っているでしょう。
ま、要領も数量関係に「（2） 乗法が用いられる場面を式に表したり，式を読み取ったりすることができるようにする。」と書いてあって、謎ドグマが浸透している人が読むと、謎ドグマに沿っていて、(続)
タグ：
posted at 06:26:44
@monachansdojo @temmusu_n @Yta8Ntion1FKvR0 @sekibunnteisuu @math82307435 「3×4 は３つの塊が４つあることだと読み取りをさせるということですよね？」
そんな事は書いてない一方、そういう解釈(3個からなるグループを4つ見つけること)は大体できるはずです。例えば4つのリンゴが入っているかごが３つでも。
twitter.com/monachansdojo/... pic.twitter.com/DFZqkXBfw5
タグ：
posted at 06:50:11
コードをpythonからjuliaに書き換えようとしているのだけどpythonの記法が独特過ぎてこれをjuliaでどう書くのかなかなかわからない。対応表が欲しい…。
タグ：
posted at 08:02:06
@CoryMSimon This in an amazing post! I can imagine how much work it I was to write it…
BTW, what’s Pluto shortcut( e.g. “ !!! note ….”) to create this call out window above? Thank you! pic.twitter.com/JsJUDnY2P3
タグ：
posted at 08:40:31
結局この訂正がさらに東氏のシミュレーションへの無理解を際立たせる結果になっている。「試算がいくども現実と大きな食い違いを見せており」っていうなら【感染は常に収束する！！】のK 値中野貴志教授なんて計算値を現実に fitting させるために何回初期条件をいじってると思ってるんだろう。 twitter.com/hazuma/status/...
タグ：
posted at 08:47:53
"Fundamental Theorem of Calculus" unit tests
𝒹(Cauchy(), Normal()) is the "Radon-Nikodym derivative", and computes a function for the density of a Cauchy, relative to that of a Normal.
github.com/cscherrer/Meas... pic.twitter.com/kdLv4LaqsL
タグ：
posted at 08:53:18
The ∫ operator takes this density and uses it as a density with respect to another measure.
So
μ = ∫(𝒹(Cauchy(), Normal()), Normal())
should give us back a Cauchy, though the base measure will be different.
タグ：
posted at 08:53:19
Then
logdensity(μ, Cauchy(), x)
computes the log-density of *this* with respect to a Cauchy. If all is right in the world, the density should be one, so log-density should be zero.
タグ：
posted at 08:53:19
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
twitter.com/TomiyaAkio/sta...
チュートリアル講演の題目を追加しました
1.“いまから使えるJulia言語
講演者:佐藤建太
2.jupyterとGoogle colabで使うjulia入門
講演者:長瀬伊織
3.Fortran から始めるJulia
講演者:永井佑紀
4.Zygote.jl/Flux.jl のお話(Youtubeに上がりません)
講演者:寺崎敏志
(敬称略)
タグ：
posted at 09:02:20
OKUMURA, Akira（奥村 曉） @AkiraOkumura
名古屋市教育委員会の「感染者が増えてるから授業は午前中だけにする、給食はあり、これでオッケー」みたいなのもよく分かんないよね。5 時間授業か 4 時間授業かは多分関係しない。身体接触の多い体育の種目、合唱、班分けでの課題などは一時停止しますとかなら時短しなくてもより効果がありそうな。
タグ：
posted at 09:51:33
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
twitter.com/NH_M_/status/1...
本にも書いたんですが、Jupyter には格子QCDのPhDの人がコントリビュートしてる。Lattice many flavor QCDやモンテカルロくりこみ群で有名なAnna Hasenfratzの弟子。
en.wikipedia.org/wiki/Fernando_...
タグ：
posted at 09:53:27
Hiromitsu Takagi @HiromitsuTakagi
この解説、認証と識別（認識）を区別してるのが良いですね。概念整理表は、「顔認証」①は問題なくて、それ以外の顔認識（顔識別）②が問題とされる旨が説明されてる。その点、写真のJR東の説明は「顔認証機能」と書いていて、致命的な嘘偽りとなってる。 twitter.com/y_seniorwriter... pic.twitter.com/q1jKZy8dDY
タグ：
posted at 10:04:48
恐ろしいのは、患者さんにとっては「良い先生」に見えること。風邪に抗菌薬を処方したり、ちょっとしたことで点滴したり、希望に応じて必要性に乏しい検査したりするのと同じ。集患になるので歯止めが効きにくい。
タグ：
posted at 15:17:59
It was great fun talking about #julialang with @shripati, who has been a friend and supporter all these years through our journey. twitter.com/shripati/statu...
タグ： julialang
posted at 20:18:16
New post: Handling vectors of vectors in DataFrames.jl - www.juliabloggers.com/handling-vecto... #julialang
タグ： julialang
posted at 21:51:24
新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
qiita.com/ismkt/items/21...👈
タグ： Julia日本語記事 Julia言語
posted at 21:57:02
2021年08月28日(土)
空気感染がトレンドに上がって、案の定「ほれみろ、コロナはやっぱり空気感染するんじゃないか」とか言ってる人いるけど、Scienceの総説の話は、そうじゃなくて「コロナでいろいろわかったことを踏まえて『空気感染』の定義や考え方を見直すべきなんじゃないか」って話だからね？
タグ：
posted at 03:23:54
#Juiia言語
Juliaでは函数の引数の型を書いても速くならない。多くの初心者が引数の型を書いたせいで失敗する。
例えば、f(x)=2x と g(x::Float64)=2.0x について、
@ code_native f(1.2)
と
@ code_native g(1.2)
を比較してみて下さい。完全に同一のネイティブコードにコンパイル実行される。 twitter.com/1789aorhow/sta... pic.twitter.com/OmyurU66K7
タグ： Juiia言語
posted at 06:32:12
#Julia言語 以下のスレッドも参照。
Juliaの型の世界の複雑さがよく見えていない段階では、以下の簡易的な処方箋が実用的です。
* 多重ディスパッチを利用する場合以外に、函数の引数の型を書かない。
* 型の定義を
struct Foo{A, B, C}
a::A
b::B
c::C
end
の形式で行う。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 06:37:54
@hattarist しかし
function f(A::AbstractMatrix{T}, x::T) where T<:Real
とAのeltypeとxの型を一致させたことが原因でろくでもないことになる場合もあります。
Juliaの型について何が起こるかよく理解していて、自信を持てる場合以外には、引数の型をそのように複雑に書くのはやめた方が無難です。
タグ：
posted at 10:33:20
@hattarist 個人的な意見では、Juliaを使っているのに、引数の型を細かく書きたいという欲求があること自体、Juliaを十分に理解できていない可能性が高いことを示していると思います。
タグ：
posted at 10:36:19
@hattarist 私は以下のようにしています。
① docstringに書く。(非常に便利。?f で閲覧できる)
"""Aは行列でxはスカラー"""
function f(A, x) ～ end
② 緩めの型制限ですませる。
function f(A::AbstractMatrix, x) ～ end
③ 函数の行数を少なめにして、見ればすぐにわかるようにしておく。
タグ：
posted at 10:44:27
@hattarist #Julia言語 doc string の例
methods(f) と ?f の2つの情報を合わせれば、しばらく前に自分で書いた函数のことを思い出せるようにしておきます。
ちょっとした例を書いておくと便利です。 pic.twitter.com/np0iNKUpjV
タグ： Julia言語
posted at 10:56:27
@genkuroki 解説頂きありがとうございます。とても参考になります。①の方法でjldoctestも組み合わせておくと私の用途に合いそうです。例を書くのもとても良さそうです。
タグ：
posted at 11:01:49
4分の1になっても十分に高い www.news24.jp/articles/2021/... という内容なのに、こっちは見出しどころか本文にも書いていない。 twitter.com/tv_asahi_news/...
タグ：
posted at 11:40:52
HPVワクチン副反応とされる症状はワクチンを接種していなくても同程度の頻度で発生することが分かっています。
WHOはHPVワクチンを安全で効果が高いワクチンとして推奨しています。
日本も積極勧奨を再開するべきです
タグ：
posted at 12:14:17
非公開
タグ：
posted at xx:xx:xx
講演を聞いてるときにそれについてTwitterとかでつぶやくことに "digital backchannel" という名前がついているらしい discovery.ucl.ac.uk/id/eprint/1551...
タグ：
posted at 13:14:41
チェスを教える仕事をしていると「うちの子はまだ小さいのですが、チェスを覚えられるでしょうか」 という質問を時々貰います。これについては以前、小さな子供を持つ先輩から聞いた発想がとても面白かったです。その人いわく「自分の子供にチェスを教えるなら、じゃんけんができるようになってから」
タグ：
posted at 15:21:40
じゃんけんには子供にとっても分かりやすいルールがあり、最低限それが理解できるようになってからという意味合いもあるでしょう。しかし一番のポイントは、勝って嬉しい、負けて悔しい、勝負のかけひきを楽しいと思えることだそうです。
タグ：
posted at 15:28:20
じゃんけんは確かに、そうした勝負のやりとりを子供が学べる最初の遊びかもしれません。ルールの複雑さに差はあれど、将棋でもチェスでも「うちに子にはまだ早くないですか」 と聞かれたら、「じゃんけんができるなら大丈夫です」 と答えるのはありかもしれませんね。
タグ：
posted at 15:34:47
#数楽 ネタではなく、以下のリンク先の通りで論理的には全然問題ない。
論理的に問題ないのにネタ扱いする人達の多さにびっくりしてしまいました。
高校数学IIIで習う曲線の長さを速さの積分で表す公式を使って弧度法の意味での角度とsin xを定義すれば、(sin x)' = cos x はほぼ自明になります。 twitter.com/yusui_math/sta...
タグ： 数楽
posted at 17:08:04
#数楽 「扇形を2つの三角形で挟む方法」による lim_{x→0} (sin x)/x = 0 の証明法は Cauchy さんが1832年の本に書いています。
これを高校数学の教科書はまだひきずっているわけです。
弧度法の意味での角度を積分で定義して扱う方法を教科書に載せた方がよいと思う。
gallica.bnf.fr/ark:/12148/bpt... twitter.com/genkuroki/stat... pic.twitter.com/8IPmwwts18
タグ： 数楽
posted at 17:39:46
@golgo_sardine @alchem400 ところが中学数学でも教科書では掛け算順序アリ、というか掛け算順序アリと矛盾しないような記述になっているのです。
彼らには、2xは2×xのことじゃない、と言う屁理屈もあるのです。
タグ：
posted at 18:37:38
教員なのか民間の教室なのかわからんが、ひでえデマ屋だ。が、この手の狂人には中学生も度々遭遇するので「皆」のうち何割かはその場だけ「打つたない」と言ったのだろう
bioに香ばしいことが書いてあるが、トランプもワクチン接種を推奨してるんだが・・・ twitter.com/000Floral/stat...
タグ：
posted at 18:48:14
#Julia言語 Threads.@ threads の代わりに使用できそうな Polyester.@ batch
物理コア数分の並列化と最大スレッド数分の並列化をオプションで選べる。
github.com/JuliaSIMD/Poly...
discourse.julialang.org/t/allocations-... で紹介されていた。
タグ： Julia言語
posted at 18:48:47
@golgo_sardine @alchem400 #超算数
学校図書中学1年の教科書から
akgの荷物5個の重さは a×5 kg
文字式のルールで、この積が5aになる、という解釈のようです。
積はかけ算の答え、と言うこと解釈のようです。 pic.twitter.com/SjMdMWDFwW
タグ： 超算数
posted at 19:19:42
非公開
タグ：
posted at xx:xx:xx
PythonもRも使ってるが、そこまでキモイ！かなぁ...
Rはスルメのように、使えば使うほどありがたみがわかる言語だけどね
Juliaやるときも、なんかASCII artでてきて、キモい！といわれかねん
#rlang twitter.com/kuruton456/sta... pic.twitter.com/Exl6S1iJ0p
タグ： rlang
posted at 19:37:42
@golgo_sardine @sekibunnteisuu @alchem400 【b×aのような文字どうしの積では】
「b×a」を積としているのに安心しますｗ
タグ：
posted at 19:48:58
@takusansu @golgo_sardine @alchem400 そこ気づきませんでした。以前、学校図書に問い合わせたときは、「3と4の積は12であって、3×4のことじゃない」という説明を受けました。「この記述と言っていることが違うね」と言ってやればよかった^^
タグ：
posted at 19:57:27
TikZ実例集〜3D編 - Notes_JP www.mynote-jp.com/entry/TikZ-exa... 同じtex使ってると思えない すごい
タグ：
posted at 20:06:32
@sekibunnteisuu 元にツイート主は、死者数が0であっても、感染はするわけで、そこから大人に広げているということまで頭がまわらないということでしょうかね。
タグ：
posted at 20:27:38
この記事が使えなかったのでYuki Nagaiさん（@cometscome_phys）の記事を参考にしてcolabでjuliaを初めて動かせました．感謝です！
本日はここまで！
#まきゃのjulia日記 twitter.com/1789aorhow/sta...
タグ： まきゃのjulia日記
posted at 21:25:35
