黒木玄 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年01月01日(土)
@hankagosa 京大では、経済の依田先生、医学部の川上先生とこういうイベントもやっています。なかなかカオスでおもしろいです。
www.kyodai-original.co.jp/?p=10962
ベイズ本の須山さんもよく参加してくださってます。
タグ：
posted at 00:14:02
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
昨日、はじめて彼氏を実家に紹介したんですけど、妹がはじめて彼氏を実家に紹介するイベントも兼ねたせいで、父親の前に彼氏ズ2人が並んで集団面接みたいになりました
タグ：
posted at 02:02:15
新年あけましておめでとうございます。元旦ということで新しい記事を書きました。
「Genie.jlとHerokuで作成・公開するWebアプリケーション」
muuumin.net/genie-heroku-w...
実際に自分のWebアプリを公開すると、チャチなサンプルでも面白いです。三が日のお供にぜひお読みください。
#Julia言語
タグ： Julia言語
posted at 02:46:35
Buitengebieden @buitengebieden
See you all next year!! ❤️ pic.twitter.com/9bxGzK0tOp
タグ：
posted at 04:17:45
背景のDVDのラインナップが気になる。
算数教育界は独自の奇妙な算数に関する理論体系を作ってしまっているんだよね。おそらく100年以上前から。
その部分を全廃して、常識的なものに置き換えるにはどうすればよいのだろうか？ twitter.com/ookubotact/sta...
タグ：
posted at 05:23:39
#統計 補足：「① 尤度最大化」には「①' 正則化された(罰則付きの)尤度最大化」という一般化があります。
このスレッドの記号では、ナマの尤度函数を最大化するのではなく、正値函数ψ(θ)によるその正則化
θ ↦ Z(Y_1,…,Y_n|X_1,…,X_n,θ)ψ(θ)
の最大化でパラメータθを調節する方法。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 05:34:18
#統計 古典的で有名な正則化法の例はStein推定です。解説が
nbviewer.org/gist/genkuroki...
にあります。分散は同じだが平均値は異なるかもしれない独立なn個の正規分布で生成された乱数から、n個の正規分布の未知の平均値を推定するときには、最尤法は平均二乗誤差的に損な方法になります。
タグ： 統計
posted at 06:10:08
今日はこれから退院の予定なのですが、熱っぽくなくても検温で37.1℃のような数値を体温計が出して来ることがどうしても納得できなくて、10回ほど測ってみた。
こういうことをやり始めると精神状態がまともになって来た気がする。😅
タグ：
posted at 06:41:53
テルモ体温計C215
37.1
36.9
36.9
36.4
36.7
36.4
36.6
36.6
36.6
36.4
数値はおそらく独立ではないです。脇の下に挟むと体温計自体があったまることが、その次の計測時の推定結果に影響すると思う。
結構ばらつく！
タグ：
posted at 06:46:27
再度10回測ってみた。
36.8
37.0
36.7
36.7
36.6
36.9
36.3
36.6
36.6
36.8
やはり、結構ばらつく。
私は家庭内では昔ながらの水銀体温計を使っています。
タグ：
posted at 07:03:12
#統計 例: Gauss過程回帰の場合には
Z(y_1,…,y_n|x_1,…,x_n,θ,σ²)
=(2π det(Σ))⁻¹ᐟ²
×exp(-(1/2)(y-μ(x))^T Σ⁻¹ (y-μ(x)))
ここで、
y = [y_i] 縦ベクトル
μ(x) = [μ(x_i)] 縦ベクトル
Σ = [k(x_i, x_j|θ)] + σ²I 正方行列
函数μとkを与えると決まる。
これと①②からGauss過程回帰は出る。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 07:41:35
ついさっきのお通じで便器を見たら血の色が！大量ではないが、看護師さんを呼んで報告。写真を撮ってもらった。
ドキドキイベントが続いている。
果たしてどうなるか？
痛みはない。血圧も下がっていない。
タグ：
posted at 08:38:58
#統計 実際に #Julia言語 でその「視覚化」をやるとこんな感じです。Juliaを知らなくても、私のツイート中の式がほぼそのまま実装されていることは見ればすぐに分かると思います。
添付画像
①件の多変量正規分布の乱数を1つ生成してプロット。
②20個同時にプロット。 pic.twitter.com/i2HH82vyif
posted at 09:10:16
#統計 添付画像では件の多変量正規分布の乱数を20個プロットしたもの。横軸がxで縦軸がyです。
Gauss過程回帰は、このような曲線達の分布に条件付き確率分布を作る構成②を適用するだけ。
基本②を理解しておけば、Gauss過程回帰は自力で思い付く程度の陳腐なアイデアにすぎません。 pic.twitter.com/bOccMjl6XF
タグ： 統計
posted at 09:20:59
#数楽 非常に教育的。
実はガンマ函数の積分定義式の被積分函数の増減表は、階乗のスターリング近似の最初の2つの主要因子の計算にもなっています。
a=n+1のとき、積分変数をx=n+√n y=n(1+y/√n)とyに変換すればスターリングの公式が楽に得られる。
統計学でスターリングの硬式は基本的。 twitter.com/arts_lib/statu... pic.twitter.com/rVhmkCTtEO
タグ： 数楽
posted at 09:48:17
#超算数 たし算順序問題が実際に発生していることについてはこのスレッドの8個以上前の部分や次のまとめを参照して下さい。
togetter.com/li/901635
「かけ算の順序」なんてもう古い⁈ 今や時代は「足し算の順序」‼︎
この話題では事実を指し示す資料の集積の確認が最も重要。 twitter.com/77ameka/status...
タグ： 超算数
posted at 09:58:44
JuliaのWebフレームワークGenie.jlを使って簡単なWebアプリを作る方法を示しています。Herokuを使って実際にデプロイしたり、既存のソースを流用する方法を示したり、Ajaxを使って動的なページ書き換えを行ったりしています。
muuumin.net/genie-heroku-w...
#Julia言語
タグ： Julia言語
posted at 10:36:49
高校数学で「多項式」ではなく「整式」と言わざるをえないのは中学数学で「単項式は多項式でない」とか「白馬は馬でない」「正方形は長方形でない」みたいなことを言ってるのが悪いので、明記したほうが責任がはっきりして良いと思う派。 twitter.com/f_sei/status/1...
タグ：
posted at 10:37:48
物理学科や化学科で、「ヘリウム原子のSchrödinger方程式をHartree-Fock方程式やKohn-Sham方程式を数値的に解く」みたいな内容の講義（講義名は「計算物理学」や「計算化学」になるのかな）を設けて、必修にすれば良いと思う。もちろんプログラミング言語はC++かJuliaかRustで。Fortran？知りません。
タグ：
posted at 11:09:12
s/ヘリウム原子のSchrödinger方程式をHartree-Fock方程式やKohn-Sham方程式を/ヘリウム原子のHartree-Fock方程式やKohn-Sham方程式を
タグ：
posted at 11:11:34
我田引水ですが、ヘリウム原子のHartree-Fock方程式を、Juliaで解くのは、この記事が参考になるかと思います。
有限要素法で、ヘリウム原子に対するHartree-Fock方程式を解いてみる（Juliaでやってみた） qiita.com/dc1394/items/9... #Qiita @dc1394より twitter.com/dc1394/status/...
タグ： Qiita
posted at 11:14:52
「検診受ける事では健康は害さない。検診を受けた後でどう対処するかが大切」という主張は完全な誤りです。がんが見つかり、手術せずに経過観察を選んだとしても、心理的な不安はずっと残ります。 twitter.com/k5hWIp6v3qhUVh...
タグ：
posted at 11:26:20
Masa Yamamoto予測誤差が大き @mshero_y
入院は体力をかなり奪いますので、本当にご無理なさらずに体力のご回復を。
無事のご帰宅なによりです。 twitter.com/genkuroki/stat...
タグ：
posted at 11:41:13
仮に９ミリの甲状腺がんを疑う結節が子どもに見つかったとしましょう。細胞診や手術をしなくても害はあります。結節が大きくなっていないか、リンパ節に転移していないか、ずっと経過観察をしていくことになります。検査のたびに、今回は大丈夫か、手遅れになってはいないかという不安に陥ります。
タグ：
posted at 11:49:50
まれには自然退縮もあるかもしれませんが多くはずっとこのままです。一生、この不安とともに生きることになりかねません。甲状腺がん検診を推奨している人たちには、がんの疑いを抱えて生きる不安に対する想像力が決定的に欠落していると私は考えています。
タグ：
posted at 11:50:23
新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
qiita.com/ekzemplaro/ite...👈
タグ： Julia日本語記事 Julia言語
posted at 12:05:09
これは本当に小中学生のとき（どころか高校生になっても）「因数分解」と「素因数分解」の関係が全くわからなくてものすごく混乱したので現に有害でした。今にして思えば、ちゃんと答えられる教員が誰もいなかったのが「学校」制度の無理さの典型。 twitter.com/esumii/status/...
タグ：
posted at 13:01:30
@genkuroki 新年およびご退院おめでとうございます。黒木さんのtwitter.com/genkuroki/stat... からのスレッドに基づくメモを hackmd.io/@GM3D/B1IcjbpjK のように作ったのですが、これを公開してもよろしいでしょうか？（今は確認していただくために一時的に公開しています）
タグ：
posted at 14:00:15
#超算数 「小学校第6学年「比」の単元における割合の指導実践 の雑感」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
www.jstage.jst.go.jp/article/jssep/...
いきなり21÷0.6のような式(文献内では第3用法の式)で解かせるのに失敗している様子が伺えます。 pic.twitter.com/2EotUFWAXG
タグ： 超算数
posted at 14:05:35
@genkuroki 私は機械学習や確率統計関係の勉強会にいくつか参加しており、主にその参加者の人たちに分かりやすいまとめとして見てもらいたいと思いましたがツイートのままだと特に数式がぱっと見分からないのでメモにまとめた次第です。
タグ：
posted at 14:07:05
So, #julialang people, now that 2022 is here, what big goal should we set for ourselves for this year?
タグ： julialang
posted at 14:58:46
#囲碁 パソコンでコンピュータ相手に囲碁を遊びたければ最も楽なのは
github.com/sanderland/kat...
からKaTrainをダウンロードしてインストールしてしまうことだと思います。 twitter.com/genkuroki/stat... pic.twitter.com/PaEdFbvpjD
タグ： 囲碁
posted at 16:07:46
#囲碁 KaTrain katago についてはググれば使い方の解説がたくさん出て来ます。
www.google.com/search?q=KaTra...
タグ： 囲碁
posted at 16:31:37
#囲碁
www.youtube.com/channel/UCB_68...
囲碁棋士 柳 時熏のGo Channel
が面白過ぎ。
囲碁入門の入口で多分大変なことに「どのように感情をこめれば面白いのかよくわからない」ということがあるように思えます。
このチャンネルは感情の動きを全部見せてくれていてその点も非常に良いと思います。
タグ： 囲碁
posted at 16:43:44
@genkuroki 黒木先生
あけましておめでとうございます。また、ご退院、おめでとうございます。まだ本調子ではないかもしれませんので、くれぐれもご自愛下さいませ。
今年も先生のツイの1/1000でも理解できるように精進いたします。
タグ：
posted at 16:53:29
新年あけましておめでとうございます Happy New Year! 2022 I really hope this year could be better :) #パンケーキアート #pancake #pancakeart pic.twitter.com/JfYqpA8GaU
タグ： pancake pancakeart パンケーキアート
posted at 16:59:45
はたちこうた Kota Hatachi @togemaru_k
年間100人が死亡している「着衣着火」の恐ろしさ、知っていますか？
服に火がつく事故のこと。「表面フラッシュ現象」により一瞬で火に包まれることもあります。
火がついてしまったとき、どうすれば良いのか？対処法「ストップ、ドロップ＆ロール」についてまとめました。
www.buzzfeed.com/jp/kotahatachi...
タグ：
posted at 17:26:20
@ProductsCo 先生の中にも、異を唱えている人もいる。ストレスだろうな。
でもなかなか変えられないようだ。根が深い。
twitter.com/genkuroki/stat...
タグ：
posted at 17:50:15
旋盤で削った木から動物のおもちゃを量産する19世紀の木工技術
www.core77.com/posts/105770/A... pic.twitter.com/2Yj6scvy2P
タグ：
posted at 18:32:25
Julia + Genie.jlを触っていて本当に痛感するのは環境構築の容易さ。Genie.jlとRuby on Railsを細かく比較したくなってきたので、久しぶりにRails環境を構築しているけど正直大変。環境がわかりやすいというのは本当に大事だと思う。
タグ：
posted at 19:19:52
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
私の青春 東洋の魔女と呼ばれて 谷田絹子
www.amazon.co.jp/dp/4908341184/...
もう一冊注文したのがこの本（近所の図書館にあるだろう、と思ったのだけどなかった）で、こちらは「魔女」本人による手記。というかインタビューの書き起こしのようで、字がすっごく大きい ^^ ので、こちらを先に読み始めている。
タグ：
posted at 19:24:03
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
この件に限らないのだが、何十年前の出来事となると、なかなか公的資料でも当時の経緯を書き記したものが見つからず、事情を知っている当事者による証言がとても貴重。まだご存命のうちに細かいことでも記録として残さないと永遠に失われてしまう、と宮城県美術館存続運動に関わって実感したのが昨年。
タグ：
posted at 19:24:03
Dr. Chris Rackauckas @ChrisRackauckas
In 2022, the difference between symbolic computing and compiler optimizations will be erased in #julialang. Anyone who can come up with a set of symbolic mathematical rules will automatically receive an optimized compiler pass to build better code. Thread on how it will be done. twitter.com/Viral_B_Shah/s... pic.twitter.com/6Ynu3SqZcL
タグ： julialang
posted at 22:45:36
Dr. Chris Rackauckas @ChrisRackauckas
What happens when you build a composable ecosystem? Serendipitous synergies. Nothing showcases this as well as the automated code optimization with e-graphs where this technique is now being used to accelerate simulations in #julialang #sciml
arxiv.org/abs/2112.14714
posted at 22:45:37
Dr. Chris Rackauckas @ChrisRackauckas
"Hey, I only need 11 digits of accuracy so please optimize my model according to this tolerance" and boom it's able to simplify the code and accelerate it by almost an order of magnitude! This is for a system of differential-algebraic equations in rigid body dynamics / robotics. pic.twitter.com/zTISStco08
タグ：
posted at 22:45:38
Dr. Chris Rackauckas @ChrisRackauckas
Now the kicker: those rules shown in the first tweet are all the user needs to define in order to get that 8.5x speedup!!! "Writing a customized compiler pass" has changed from the realm of computer science to the realm of mathematics and engineering via e-graphs.
タグ：
posted at 22:45:39
Dr. Chris Rackauckas @ChrisRackauckas
In 2022 this will be connected to the Symbolics.jl array symbolics to give automated array operation simplification system that can be applied to Julia quasi-static code. Think XLA but fully customizable from the user side. There will be default rule sets but customization.
タグ：
posted at 22:45:39
Dr. Chris Rackauckas @ChrisRackauckas
Following the flow of Julia's AD, there lines between "symbolic" and "code" are blurred. Prove a few properties and these symbolic tools can act on Julia code. There's no "symbolic library" someone has to use, just like there is no "ML library" mixed into AD. All acts on code
タグ：
posted at 22:45:40
Dr. Chris Rackauckas @ChrisRackauckas
2022: Implementing the fabled XLA "really difficult to do, domain knowledge required, compiler expertise magic that ML needs" will be a homework problem that I will give to undergraduates and they will comfortably implement the whole thing in one night in #julialng symbolics.
タグ： julialng
posted at 22:45:40
Dr. Chris Rackauckas @ChrisRackauckas
Because it's so high level, anyone can join in this exercise. No compiler expertise required. Contribute to the rule sets (github.com/JuliaSymbolics...), add a few linear algebra simplifications. Add some trig rules. Make some benchmark problems. Any #julialang programmer can do it
タグ： julialang
posted at 22:48:56
Dr. Chris Rackauckas @ChrisRackauckas
I don't know what the democratization of code simplifier writing will bring, but I'm excited to see what happens. If 2022 goes correctly, everyone will say that #julialang cheats too much in its benchmarks because too much automatic optimization is applied, and I will😃 for users
タグ： julialang
posted at 22:48:56
息子が小さかった頃、「は」に点々をつけると「ば」になるということが、何度教えても理解できなかった。「か→が」や「た→だ」の対応関係はきちんと理解しているのに、なぜか「は→ば」だけが理解できない。「『は』に点々をつけると何になるかな？」「う〜ん、わかんない」の繰り返しだった。
タグ：
posted at 22:58:02
これはぜひ自分で順番に発音しながら口の中の動きを確かめてもらいたいんだけど、「か→が」「さ→ざ」「た→だ」と発音する時に口の中で起こっている動きと、「は→ば」と発音する時に口の中で起こっている動きが、まったく異なることがわかると思う。
タグ：
posted at 23:00:06
音声学的には、点々をつけることは「濁音化」と呼ばれており、「無声音（喉の奥を震わせずにする発音）」を「有声音（喉の奥を震わせながらする発音）」に切り替えることを言うらしい。つまり、「か→が」「さ→ざ」「た→だ」はそれぞれ「無声音→有声音」という同じ対応関係が成立している。
タグ：
posted at 23:01:05
しかし、「は→ば」だけは、「無声音→有声音」という対応関係が成立しない。ここはまた発音しながら確かめて欲しいんだけど、「は→ば」の切り替えは、喉の奥の震えの有無ではなく、唇の動かし方の変化によって行われている。つまり音声学的には、「は→ば」の発音だけまったくルールが異なるのだ！
タグ：
posted at 23:03:11
よって、音声学的な観点で言えば、「『は』に点々をつけると何になるかな？」という質問の答えは、「わからない（そんな音は存在しない）」が正解になる。つまり息子の答えは正しかったのだ。
タグ：
posted at 23:09:38
#統計 #Julia言語 Gauss過程回帰を理解するためのコードの公開
github.com/genkuroki/publ...
続く pic.twitter.com/FmgPtkrfl5
posted at 23:12:11
息子はきっと「か→が」や「さ→ざ」の時に使った「無声音→有声音」の切り替えの法則をきちんと理解しており、その法則を「は」にも当てはめた。しかし、「は」を濁音化することができなかったため、「わからない」と答える、という推論の仕方をしたのだろう。そう考えると完璧に合理的な回答である。
タグ：
posted at 23:12:24
#統計 #Julia言語 Gauss過程回帰を理解するためのコード
github.com/genkuroki/publ...
添付画像
①テストデータ
②条件付き確率分布を構成と1つのサンプルのプロット
③条件付き確率分布の視覚化
条件付き確率分布について直観が足りない場合はこの例について深く考えて直観を得るという方針でもよい。 pic.twitter.com/u2AkIuviMR
posted at 23:16:04
#統計 Gauss過程ではランダムに曲線が生成される(添付画像①)。
データから作られる条件付き確率分布では、データによってランダムに生成される曲線が添付画像②の上段のように制限されている。
「サイコロ」の条件付き確率分布を作る操作は「サイコロの出目」を制限する操作になっている。 pic.twitter.com/DIHDYqJsLL
タグ： 統計
posted at 23:26:07
我々大人は、子供の合理的思考能力をあまりに甘く見すぎているのかもしれない。彼らは彼らの意味の世界で、彼らなりの合理性を駆使して生きている。「子供だから間違えたのだろう」と大人はすぐに判断してしまうが、今回のケースのように、大人の世界の矛盾に子供だけが気づいていることも多い。
タグ：
posted at 23:35:21
大人達は「は→ば」という日本語のルールを前提として生きているため、そこに発音的な差異があるなんてことにもう気づくことができない。知識を習得するということを、我々はなんとなく知が増えることだと信じているが、一つのルールに順応することは、同時に何か別の知を失うことなのかもしれない。
タグ：
posted at 23:35:31
ちなみに「ば」と対応関係にあるのは「ぱ」らしいです。つまり音声学的には「ぱ→ば」が正しい対応関係になるということ。こんなのたぶんほとんどの大人が知らないし、気づけないですよね。
タグ：
posted at 23:38:09
今回の話はこちらの本から学ばせて頂きました。他にも、「かににさされてちががでた」や「これ食べたら死む？」といった子供によくある言い間違いが分析の対象になっています。むちゃくちゃ面白いのでぜひ読んでみてください。
www.amazon.co.jp/dp/4000296590/...
タグ：
posted at 23:42:34
