黒木玄 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 を見て下さい。
2019年08月29日(木)
WolframがTuringが所有していたというDiracの量子力学の本を入手。その本に挟まれていた紙にλ演算の簡約が書かれていた。果たしてTuring本人が書いたものだろうかというお話。本文も面白いのだけどコメント欄も面白かった。Wolframがエゴイストで何でも彼の作った言語で説明するとかの評価も :-) twitter.com/HNTweets/statu...
タグ：
posted at 00:03:19
Maarten A. Breddels @maartenbreddels
Voila 0.1.10 is just released, which can serve plain #Python #rstats or #JuliaLang scripts, (using @QuantStack's xeus-python kernel here), host static files + bugfixes. Docs: voila.readthedocs.io/en/latest/cust... pic.twitter.com/IdCuy8XPjo
posted at 02:35:29
しかし、あれだけイケイケだった安倍政権でさえ屈服せざるをえなかった財務省の強さってなんなの？ どうすれば財務省潰せるの？ってなるんだがどうすればいいんですかね。
タグ：
posted at 02:51:16
#チューリングマシン で知られるAlan Turingの所有していた本が、一昨年Stephen Wolframの手に渡りました。
Paul Dirac著「The Principles of Quantum Mechanics」のドイツ語版でした。
どんな物が挟まっていたのでしょうか。栞？ メモ？ レシート？ こちらでご覧ください。wolfr.am/G8LuX45J pic.twitter.com/ReLFukdhJs
タグ： チューリングマシン
posted at 06:02:00
宮原篤 6th「小児科医ママとパパのやさ @atsushimiyahara
もはや福島については科学ではなく政治の問題にされている以上、「科学的に正しい情報を淡々と発信していく」だけでは、残念ながら対抗手段としては大きな意味を持たないといえるでしょう。
韓国・文在寅政権「日本は放射能汚染されている」プロパガンダのウソ @gendai_biz gendai.ismedia.jp/articles/-/66798
タグ：
posted at 07:22:08
@OokuboTact 磯田正美は、乗数・被乗数を、後ろの数・前の数、の意味で使っている。
本の著者と議論して欲しい。
twitter.com/sekibunnteisuu...
タグ：
posted at 07:41:58
財務省の強さ…うーん、ワシ、財務省の強さっていうのは、むしろマスメディアの半端ない知的な弱さ、なんだと思ってる。
実際、軽減税率で庶民を裏切って財務省のケツ舐めたもんね。大手紙（怒。
twitter.com/y_kurihara/sta...
タグ：
posted at 07:50:31
安倍政権に批判的でもイイんすよ。いまの政権与党の経済政策はダメな部分がたくさんあるから、そこをバンバン批判したら良いんですよ。消費税率引き上げを攻撃することは、経済的弱者や（経済的弱者とまで言えなくても）裕福とは言えない大多数の庶民からね、強く支持されますよ。
タグ：
posted at 07:50:31
消費税の所得逆進性は明らかなんだから！（怒。そして財政緊縮が安保や社会保障や科学振興に大きな害を与えてることもすぐにわかるでしょ！（怒。
それをきちんと継続的に報道するなら、庶民の怒りはすぐに財務省と政権与党に向く。野党だって攻撃の論点ができる。
ま、無理かな。ポチだもんね（怒。
タグ：
posted at 07:50:32
"ベイズ統計学の概論的紹介" by @nhayashi1994 #bayes #learningtheory www.slideshare.net/naokihayashi71... @SlideShareさんから
タグ： bayes learningtheory
posted at 08:23:32
「子供の病気の一番の薬はママ」という言葉の真偽や賛否は別にして、発熱すると私にべったりで剥がすと泣き喚く娘②に、類似成分で出来た私より30年後発の息子が代役を買って出てくれた際の一言が
「ハイ！ジェネリックお母さんよ〜！」
患児、全力拒否。
タグ：
posted at 08:30:52
ベイズ統計学の概論的紹介 (Naoki Hayashi, @nhayashi1994)
www.slideshare.net/naokihayashi71...
タグ：
posted at 09:33:08
非公開
タグ：
posted at xx:xx:xx
ガウス・ボンネの定理から genus を計算してみました。三角形メッシュの面の内角を頂点毎に積算して定理を適用。使ったモデルは杉原厚吉先生の立体錯視のモデルで穴が8個。きちんと genus = 8 と出ました！（コードは F# で、弊社のライブラリを利用） twitter.com/genkuroki/stat... pic.twitter.com/fyfCJ08nS2
タグ：
posted at 10:31:39
非公開
タグ：
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu １９３３年生まれなのでかなりのお年の方ですね。語学の老舗出版社からいろいろ本を出してますね
webcatplus.nii.ac.jp/webcatplus/det...
タグ：
posted at 10:49:30
かつてオープンソースを癌呼ばわりしていたマイクロソフトが、今や最大のOSSコントリビューターになっている。時代が変わった。素晴らしいことだ。
#AnyPicks
www.anypicks.jp/news_resources...
タグ： AnyPicks
posted at 11:06:33
これほどいろいろな人が「政府と人（国民、人種etc）は全く別問題で、両者をきちんと区別すべき」と言っているところ、「韓国が悪い」という（韓国）政府批判と「ユダヤ人はろくでもない」という人種への攻撃を同一視しているあたり、何も考えてないんだろうなと思うしかない
twitter.com/fjhiro3/status...
タグ：
posted at 11:43:22
#統計 「頻度主義vs.ベイズ主義」「客観確率vs.主観確率」という悪しき説明の習慣を廃してベイズ統計について紹介すると以下のリンク先のスライドのような解説になる。
www.slideshare.net/mobile/naokiha...
ベイズ統計学の概論的紹介
林直輝
タグ： 統計
posted at 11:45:25
そもそも、韓国政府への批判と、嫌韓や韓国人差別を同じくくりにしてしまう人は、日本政府への批判を「日本人への攻撃だ。反日だ」と騒ぎ立てるネトウヨと同じ穴の狢になっていることにあまりにも無自覚である。
タグ：
posted at 11:46:33
中１の子に教えていたのですが、文章題をもっと早く解けるやり方、もっと簡単に、イメージで解く方法を話したら
「ちゃんと方程式書かないと先生に×にするって言われた。」
と言われ、もう何も言えなくなりました。やり方に縛られている数学。
タグ：
posted at 12:05:10
別に方程式で解くのが悪いというわけではなく、他のやり方で解いたら×になる、というのが「？」。その場にいた子の中で一番優秀な子だったので豊富なやり方で視野を広げることが大切だと思ったのですが、やり方が一つにパターン化されてしまうとそれを「早く解く」以外に面白みがないんですよね。
タグ：
posted at 12:07:17
#統計 通常、統計学に期待されていることは、
現実の未知の母集団分布の様子をそのサンプルから推測して我々の意思決定に役に立つ__客観的に信頼できそうな情報__を得ること
です。ベイズ統計もそういう要求に使える便利な道具です。続く
twitter.com/sho_has_hus/st...
タグ： 統計
posted at 13:30:29
#統計 統計的意思決定論におけるベイズ解は、与えられた確率モデルと事前分布と意思決定選択肢の集合と損失函数の数学的モデル内部で損失の期待値を最小にする意思決定のことです。
その導出では使用した数学的モデルの現実世界における客観的な信頼性は無視されます。
twitter.com/sho_has_hus/st...
タグ： 統計
posted at 13:30:30
#統計 だから、「現実の未知の母集団分布の様子をそのサンプルから推測して我々の意思決定に役に立つ客観的に信頼できそうな情報を得る」という統計学に期待される役割を、統計的意思決定論におけるベイズ解の概念は果たしてくれません。
twitter.com/sho_has_hus/st...
タグ： 統計
posted at 13:30:30
#統計 我々は、ベイズ解の導出に用いた確率モデルや事前分布による統計的推測の現実世界での客観的信頼性についても説明してくれなければ、導出されたベイズ解の現実での使用の是非を判断するために必要な情報が得られない。
twitter.com/sho_has_hus/st...
タグ： 統計
posted at 13:30:31
#統計 それに対して、赤池弘次さんが1970年代に広めた考え方を使えば、ベイズ統計であろうがなかろうが、数学的モデルを用いた統計的推測の客観的信頼性を比較するための指標を得る研究への道が開かれます。
ベイズ統計についてもそういう研究がずっとされている。
twitter.com/sho_has_hus/st...
タグ： 統計
posted at 13:30:31
#統計 赤池さん由来のアイデアに基いてベイズ統計を利用すれば、数学的モデルの設定がどのように行われていても(客観的な根拠無しの主観が入っていてもよい)、複数の数学的モデルを用いた同じサンプルを使った推測を客観的な基準で比較することができるわけです。
twitter.com/sho_has_hus/st...
タグ： 統計
posted at 13:30:32
#統計 いずれにせよ、ベイズ統計が
現実の未知の母集団分布の様子をそのサンプルから推測して我々の意思決定に役に立つ__客観的に信頼できそうな情報__を得ること
に役に立つという事実を見え難くなる方向に誘導するような説明の仕方は教育的に有害だと思います。
twitter.com/sho_has_hus/st...
タグ： 統計
posted at 13:30:32
#統計 補足：リンク先では、分布の制限条件を
(1/n)Σ_{i=1}^n H(W_i) = c
と等号にしていますが、実際に証明したり、コンピューターシミュレーションする場合には
* c ≦ ∫H(w)φ(w)dw ならば (1/n)Σ_{i=1}^n H(W_i) ≦ c
または
* 上の≦を≧に変えた条件
にします。
twitter.com/genkuroki/stat...
タグ： 統計
posted at 13:47:13
#統計 以下のリンク先では、逆温度パラメーターを2つ含むカノニカル分布が得られている。十分に広い区間上の一様分布に従う乱数X₁,…,X_nを
(1/n) Σ_{i=1}^n X_i ≦ 1,
(1/n) Σ_{i=1}^n log X_i ≧ (ある定数)
という条件で制限した場合にどうなるかを計算しています。
twitter.com/genkuroki/stat...
タグ： 統計
posted at 13:47:14
#統計 リンク先動画の「バーンイン」後では
右側上段：(1/n) Σ_{i=1}^n X_i が上限の 1 にはりついている。
右側下段：(1/n) Σ_{i=1}^n log X_i が赤点線のある定数にはりついている。
こういうことが一般に起こっていることが、カノニカル分布が出て来る仕組み。
twitter.com/genkuroki/stat...
タグ： 統計
posted at 13:52:56
Non-linear approximation in a Haar wavelets basis performs an adaptive approximation on a dyadic partition.
en.wikipedia.org/wiki/Haar_wave... pic.twitter.com/rnf5wd2ZPn
タグ：
posted at 14:00:00
#統計 x_i ≥ 0, (x_1 + … + x_n)/n = 1 という制限を課すと平均1の指数分布がn→大で出て来る。計算だけなら
rand_simplex(n) = let X = sort(rand(n)); [X; 1.0] - [0.0; X] end
sim_expdist(n) = n * rand_simplex(n-1)
X = sim_expdist(1000)
で可能。 #Julia言語
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/WJFGz8XL6P
posted at 14:48:59
もしかすると、公式の「導出を暗記する」とは「導出のステップを一つ一つ丸暗記する」という意味でしょうか。そんなこと、一部の超絶暗記力の持ち主を除いて不可能でしょ。
タグ：
posted at 15:56:17
@OokuboTact 『子どもはどこでつまずくか』を持っているのでしょうか？そうであるなら、48ページあたりにあるらしい、数の合成分解に関する記述を見たいのですが。
タグ：
posted at 15:59:39
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu これですね pic.twitter.com/Zr69LPNd8K
タグ：
posted at 16:46:42
このスライド、ベイズ統計の入門としてもよいし、jupyter notebookつきでさらに素晴しいですね。
ベイズ統計学の概論的紹介 by @nhayashi1994 #bayes #learningtheory www.slideshare.net/naokihayashi71... @SlideShareさんから
タグ： bayes learningtheory
posted at 17:14:45
#統計 予測誤差とWAIC(など)の挙動の比較のために以下のリンク先の形式のプロットを行うことを思い付いたのは非常に良かった。
(自画自賛😊)
汎化誤差ではなく、予測誤差=KL情報量をプロットし、WAICの側もそれに対応するもので代替することが大事。
twitter.com/genkuroki/stat...
タグ： 統計
posted at 17:46:08
普通はこう考えるとおもう。⇒「対象が巨大すぎるためランダムなデータの中に一見有意な現象が見つかってしまう「どこでも効果」を引き合いに出し、ペンローズ氏らの発見は単なる偶然の産物ではないかと指摘しています。」
gigazine.net/news/20190828-...
タグ：
posted at 18:27:43
Hear from the Julia language creators on how computer programming is changing modern life.
www.youtube.com/watch?v=md3F1A...
#siam #julialang #computerprogramming #modernlife
タグ： computerprogramming julialang modernlife siam
posted at 20:34:12
Elisabeth Bik @MicrobiomDigest
From a paper published in @nature yesterday by @HarvardMed scientists.
I just reported it to the EiC, with shaking hands and pounding heart because scary to see that this passed #peerreview and editorial screening in such a high impact journal. pic.twitter.com/uYiQj7BS95
タグ： peerreview
posted at 21:41:51
d次元単位球の定義関数（原点からの距離が1以下の点で1、それより遠い点で0をとる関数）は極めて普通な関数に見える。ところが、この関数をフーリエ変換してフーリエ逆変換すると、5次元以上の場合、任意の有理点で元の関数に戻らず、発散するという恐ろしい事態が生じるというwww.jstage.jst.go.jp/article/sugaku... pic.twitter.com/PQhYgYOdki
タグ：
posted at 22:54:05
画像はwww.nippyo.co.jp/blogsusemi/wp-...より。なお、3次元以上の場合には原点発散が生じることが知られており、これは「Pinsky現象」と呼ばれているらしい（前tweetのリンク先参照）。
しかし物理学者は、この程度の多変数関数は平気でフーリエ変換して逆変換してるよなぁぁ・・・
タグ：
posted at 22:56:24
ごまふあざらし(GomahuAzaras @MathSorcerer
- Wolfram Engine のアカウントをゲット
- Engine をダウンロード
- Wolfram Scriptの前にWolfram Engine の方でユーザーとパスワードを入力しておかなければいけなかった
タグ：
posted at 23:23:21
Little Madeline sees a train for the first time!
So pure! Wish I could remember the first time I saw a train. 😊 pic.twitter.com/mc4rkwJchS
タグ：
posted at 23:29:47
今だに捨ててはいないが、買って何もわからずすぐに放り投げたやつだ/サガシリーズの異端児『アンリミテッド：サガ』はいかに酷評され、いかにその評価を覆したのか？ 想像を絶するやり込みプレイヤーとともに歩んできた17年の歴史を振り返る news.denfaminicogamer.jp/kikakuthetower...
タグ：
posted at 23:42:18
ごまふあざらし(GomahuAzaras @MathSorcerer
あざらし．Wolframを触れる環境をゲットした． pic.twitter.com/0DdeDW8AtH
タグ：
posted at 23:47:30
