黒木玄 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 を見て下さい。
2018年02月20日(火)
非公開
タグ：
posted at xx:xx:xx
須山敦志 Suyama Atsushi @sammy_suyama
最新ランキング｜理工 『ベイズ推論による機械学...|駒場書籍部｜東京大学消費生活協同組合 www.utcoop.or.jp/cb/news/news_d...
タグ：
posted at 23:49:26
評者によると、ピンカーの戦略はこんなかんじ→歪んだ啓蒙主義の理解を採用し、啓蒙主義者全員の見解として認定します。次にその時代に起きた好みの事象を、グラフを使ってたくさん列挙します。それらすべてを啓蒙主義のおかげだと断定します。反論されたら、フーコーのファンクラブ乙と反論します。
タグ：
posted at 23:43:06
高校教育への要望の件で依然として反論を頂くが、近い将来AIが人間の仕事の半分を置き換えるというのにその裏で使われてる微積や線形代数も知らずに教養があるとは言えないでしょ。皆が自動車を使う時代の教養は「自動車が動く仕組み」であって「馬車の歴史」ではないんだよ。それと同じ事。
タグ：
posted at 23:42:10
@Matsurikagames （もしかしたら、とっくにご承知かも知れませんが）そもそも 「N × Mと書いて減点」というのは、小学校での教え方を研究している人々が勝手に決めた話で、中学以降には（したがって、大人にも）通用しない話です。 #掛算
タグ： 掛算
posted at 23:40:33
#Julia言語
nbviewer.jupyter.org/gist/genkuroki...
残差が指数分布に従うときの最小二乗法の振る舞い
このnotebookでは最尤法の実装で
github.com/robertfeldt/Bl...
BlackBoxOptim.jl
を使ってみました。対数尤度函数の-1倍を1万回くらい評価しているんだけど、その情報を最後に捨てるのでもったい感じ。
タグ： Julia言語
posted at 23:39:33
非公開
タグ：
posted at xx:xx:xx
@Matsurikagames 【元になる考えは掛け算ではないのですか？】それはごもっともですが、「順序どうでも良い論者」の中にも「その点だけは、その学校の説明は正しい」などと言う人がいまして、色々あります。 #掛算
タグ： 掛算
posted at 23:36:46
ピンカーの近著への歴史家からの書評。啓蒙主義の理解が間違っている。事象間の因果関係を安易に認めすぎ。歴史を目標に向かって進む何かと勘違いしている等など。 Peter Harrison, "The Enlightenment of Steven Pinker" www.abc.net.au/religion/artic...
タグ：
posted at 23:35:08
#統計 相加平均に上限を、相乗平均(対数の相加平均)に下限を設けると自然にガンマ分布が現れることの動画が以下のリンク先にある。動画作成のソースファイルも全公開済み。
twitter.com/genkuroki/stat...
タグ： 統計
posted at 23:30:26
[6]のリード文もっと広く読まれて欲しい．
リード文だけでもsynodosに転載したい
匿名でよいからこの出題に込めた思いを語って欲しい twitter.com/TFukami/status...
タグ：
posted at 23:04:19
@Matsurikagames ただし、#掛算 の順序に違反している事例が横行しているというのは、本当です。
e-school.e-tokushima.or.jp/awa/es/donari/...
www.pref.chiba.lg.jp/kyouiku/shidou... pic.twitter.com/HOHo6IPo7l
タグ： 掛算
posted at 22:57:44
@Matsurikagames いきなりで失礼します。
小学校では「4x100mリレーは掛算ではない」などと言うようです。
es.higo.ed.jp/otago/jos53aap...
の一番下に書いてあります。また逆に #掛算 の順序どうでも良いという論者が「その説明*だけ*正しい」と言う例もあったりします。
タグ： 掛算
posted at 22:52:03
Masayo Takahashi @masayomasayo
この日本の医療を叩く人たちは医療をぶち壊しているのだと言うことを自覚してほしい。ひと頃のメディアは本当にひどかった。
昔、記者の人が講演で「私たちも間違うこともあるかもしれませんがお許しください」と言ったので噛み付いたことあります。医療崩壊の原因を作りながら許せなかった。 twitter.com/shima_usa96/st...
タグ：
posted at 22:34:06
非公開
タグ：
posted at xx:xx:xx
Project Jupyter @ProjectJupyter
🎉 JupyterLab is Ready for Users 🎉
blog.jupyter.org/jupyterlab-is-...
タグ：
posted at 22:18:49
Fog! Isolines! Weird stuff happening!
#generative #everyday #creativecoding #daily #code #loop #shader #416 pic.twitter.com/zY9h6KFbjp
タグ： code creativecoding daily everyday generative loop shader
posted at 22:07:16
はてなブログに投稿しました #はてなブログ
球面調和関数で正20面体をつくる(3) - l=28までの表 - Shironetsu Blog
shironetsu.hatenadiary.com/entry/2018/02/...
タグ： はてなブログ
posted at 22:05:20
（´-`）.｡oO( 小島氏の統計学や確率論の理解は根本的に間違っているので気にしないでスルーするべきです．彼のいつもやり口は「若い頃の僕のセンチメンタルな体験で，その＊＊には違和感あるから，それは間違っている（どこが間違いかは明示できないけれど）」ですから… )
タグ：
posted at 21:54:36
K島先生のベイズの本は哲学がキモみたいなこと言ってて？？だったし、統計学入門の方も題材は分かりやすいものの、オレオレ信頼区間でアカンと思った。買って読んでもいいけど信じたらダメ。
タグ：
posted at 21:48:37
（´-`）.｡oO( 「いくらTEDっぽく話しても内容が無ければ意味ないし，ゴミだということを国の担当は知るべき．スーパーサイエンスハイスクールの『スーパー』っていても無内容プレゼンの安売りかよ．世界の誰も買わねえよ！」とケチョンケチョンなのですが…． )
タグ：
posted at 21:37:25
芝野虎丸対AQ (白石勇一の囲碁日記) dlvr.it/QH514b #日本棋院 #囲碁 pic.twitter.com/yX5JX30IHQ
posted at 21:28:03
自民党員になるのはマクロ経済政策や安全保障に関する議論を見る限り、国賊となる疑義があるため難しいです。
和田党なら検討いたします twitter.com/wadamasamune/s...
タグ：
posted at 21:23:55
HIKAKIN、ジャンプとクロカンやってたってことは当然のようにコンバインドの大会にも出てた人なので、興味を持ったみんなはこの後キングオブスキーことノルディック複合ラージヒル決勝後半のクロカンよろしくな、悲願の金を狙う日本のエース渡部暁斗選手が前半のジャンプをトップで折り返してるからな
タグ：
posted at 20:45:39
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
エンコーダ・デコーダを扱うTranscodingStreams.jlファミリーにLZ4が加わった! github.com/invenia/CodecL...
Inveniaというカナダの会社が作ってくれたようだ。
タグ：
posted at 19:22:13
@tsubasakitten まあ、今は僕そんなにPython使えないですけどね。numpyとかscipyあたりのライブラリ群は確かに良いとは思います。RubyにもSciRubyがあった気が。僕は逆にFortrun, PythonからLispに行って、マクロすげーってなってるので、メタプログラミングという文脈で語られるうるRubyとRubyistに憧れます。
タグ：
posted at 18:56:28
非公開
タグ：
posted at xx:xx:xx
学内全面禁煙にすると，出入り口がすべて喫煙所になるので，それを避けるためのもあるのでしょうか． twitter.com/hohei3108/stat...
タグ：
posted at 18:48:43
twitter.com/genkuroki/stat...
訂正：
誤「正規分布もガンマ分布の確率密度函数はこの形をしています」
正「正規分布もガンマ分布も確率密度函数はこの形をしています」
キーボード上でNとMのキーはとなりにある。
タグ：
posted at 18:47:26
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
AQvs今研の三番勝負は、1勝2敗で敗れました。ご視聴いただきありがとうございました。
使用したバージョンは公開しているものになります。今後またさらに強くしていきたいと思います！
タグ：
posted at 18:37:44
若手棋士対AI三番勝負、3局目に許七段が勝って棋士側2勝1敗で勝ち越しました！
許七段の白番です。白模様に入ったAIの石を全部取ってしまいました。
許七段は石を取るのが得意な棋士です。さすがのパワーです。これだけ取れば気持ちいいでしょうね。
このAIは死活に弱点がありそうです。 pic.twitter.com/cqQj5RqVxD
タグ：
posted at 18:32:27
（´-`）.｡oO( スーパーサイエンスハイスクールの工業高校生の娘が，日曜日にその発表会に行ってきて激怒しているのですが…．「あいつら自分たち自身をエリートだと言うくせに，科学研究とは到底いえない意識高い系のゴミのような発表しかしない．国のプロジェクトとして完全終わってる」とか… )
タグ：
posted at 18:09:56
2勝1敗でしたね！このツイート見てたからドキドキでしたがさすが^^
人間も進化しているようです！ twitter.com/ohashihirofumi...
タグ：
posted at 17:59:03
twitter.com/genkuroki/stat...
#統計 仮に X_i がi番目の人の賃金とすると、その加法平均 (1/n)Σ_{i=1}^n X_i は平均賃金になります。対数加法平均 (1/n)Σ_{i=1}^n log X_i には、仮に log X =「賃金 X から来る効用のようなもの」とすれば、「賃金の平均効用」という意味付けが可能です。続く
タグ： 統計
posted at 17:47:44
@yoshitakeh IHESのFanny Kasselさんはお嬢さんになります
www.ihes.fr/~/kassel/
Fannyさんは小林俊行さんと共同研究があり、何度も来日されてますが、私は彼女が学生の頃に会ったきりです。2015年にCNRSのMédaille de Bronzeを受賞された若手のホープ。
タグ：
posted at 17:46:56
@yoshitakeh Christianから聞いた話。東欧のある雑誌に、彼の本の一部そのままという論文が掲載されてしまった。編集者に問い合わせて論文は取り下げになったが、著者は良い読者で誤植は全部丁寧に直していたそうだ。数学でも氷雪はある。本自体は今も紙媒体で年700冊くらい売れてるロングセラーだそうです。
タグ：
posted at 17:41:44
#統計 ガンマ分布モデルの最尤法によるフィッテングは、母集団の加法平均と相乗平均の推定と同じです。ガンマ分布には高校数学の花形の一つである加法平均と相乗平均が関係しているわけです。(実際には相乗平均ではなく対数を取った後の加法平均を使う)
twitter.com/genkuroki/stat...
タグ： 統計
posted at 17:24:48
#統計 ちなみに、私が見た高校数学IIIの教科書には、剰余項付きテイラーの定理の『解析概論』と同じ証明が載っていました。
twitter.com/genkuroki/stat...
大学入試でテイラーの定理を使う高校生もいるかもしれませんね。もちろん、そういう勉強は社会的に大歓迎するべきことだと思います。
タグ： 統計
posted at 16:55:35
#統計 あと、中心極限定理の証明の解説状況についてもちょっと不満があって、積率母函数や特性函数を使う証明だけではなく、実質的にTaylorの定理しか使わない初等的な証明法があります。その証明法の解説(ちょっと雑かも)が
genkuroki.github.io/documents/Intr...
にあります。
タグ： 統計
posted at 16:49:15
#統計 有限集合上の確率分布の場合に制限したSanovの定理(中心極限定理より易しい)については次のリンク先に私による解説があります。
genkuroki.github.io/documents/2016...
タグ： 統計
posted at 16:45:11
「喫煙後45分間」も大学構内に立入禁止 北陸先端大が全面禁煙に踏み切った理由 - エキサイトニュース www.excite.co.jp/News/smadan/E1... @suma_danさんから
タグ：
posted at 16:36:32
#統計 以上で紹介したプロット結果を作るために使った #Julia言語 のコードは
nbviewer.jupyter.org/gist/genkuroki...
残差が指数分布に従うときの最小二乗法の振る舞い
で公開されています。複製、改変、配布、販売、すべて自由に可です。
opensource.org/licenses/MIT
posted at 15:44:54
ソチ五輪後と思えない動画とコメント欄。ヒカキンの後輩として出たそのジャンパー、ソチのメダリスト(清水礼留飛選手)な？ このときの高梨沙羅選手もう世界の高梨な？？ 原田さんと岡部さんも…ヒカキン視聴層とジャンプ視聴層、微塵も交わってない。開拓の余地がある(前向き)
youtu.be/PL4eobnJI7A
タグ：
posted at 15:36:05
非公開
タグ：
posted at xx:xx:xx
#統計 問題が無さそうな最適化の数値計算のアルゴリズムで、残差がExp(1)-1(平均を0に平行移動)の場合を残差を指数分布でフィッティングする推定を千回実行してみた結果は添付画像の通り。これはうまく行っていそうです。
一般に対数凸性がない場合の最尤法の適切な実行は結構難しいです。 pic.twitter.com/ifgDWWwEur
タグ： 統計
posted at 15:22:01
#統計 次に残差がExp(1)-1(平均を0に平行移動)の場合を残差を指数分布でフィッティングする推定を千回実行してみた結果は添付画像の通り。
切片aと残差の標準偏差σの推定がうまく行ってません。傾きbはうまく推定できている。これはモデルの問題ではなく、最適化の数値計算のアルゴリズムの問題。続く pic.twitter.com/P2y4xDXfkt
タグ： 統計
posted at 15:19:56
#統計 残差が指数分布に従うサンプルに最小二乗法を適用した場合にもそれなりに推定はうまく行きます。
添付画像は
nbviewer.jupyter.org/gist/genkuroki...
より。
サンプルの残差は指数分布Exp(1)。最小二乗法で適用した結果のヒストグラム。赤の点線が真の値です。サンプルサイズ大での収束の様子がわかる。 pic.twitter.com/jYBZVbJ7Db
タグ： 統計
posted at 15:08:28
兄のSEIKINは全日本にまで出てた。どこからどう見ても元スキージャンプ選手。全然知らなかった。もっと利用しよう！？ 全日本に出るような選手なんて日本で100人もいない、というかそもそもラージヒルとか飛べる人間がその時代時代で日本に100人もいない選ばれし者たちの競技ですよ
タグ：
posted at 14:54:20
#統計 以下のリンク先の件は、みんな大好きな最小二乗法に関する話題だったので結構反響がありました。
そこでさらに数値シミュレーションを充実させて、最小二乗法＝残差を正規分布でフィッティングする回帰モデルの性質がさらによく見えるようにしてみました。続く
twitter.com/genkuroki/stat...
タグ： 統計
posted at 14:43:58
HIKAKINが高梨沙羅選手と練習してたこともあるスキージャンプ経験者で、クロカンでインターハイ出たこともあるとか今はじめて知った。SAJが終身名誉応援大使とか頼むべき案件では…
タグ：
posted at 14:40:11
非公開
タグ：
posted at xx:xx:xx
今や、スーパーコンピュータも、ほとんどがx64 (x86)アーキテクチャだもんな。次点がPOWERらしい。
Wikipediaの『スーパーコンピュータ』の記事より引用。
ja.wikipedia.org/wiki/%E3%82%B9... pic.twitter.com/N8yD5nEZI2
タグ：
posted at 14:13:57
非公開
タグ：
posted at xx:xx:xx
シンギュラリティが来ないと言い切るのはかなり思い切っています。あと、「ホワイトカラーの」50％がAI代替だというのにも注目。ブルーカラーではないのです。 twitter.com/shosengnd/stat...
タグ：
posted at 12:41:00
学生さんならまだまし。バザーで3割引きを１個ずつ0.3かけて定価から引いて合計してるので全部足して0.7掛ければと言ったら「それよく分からない」と言われたし、グループで購入したものの購入金額に応じたポイントをつけるのに、ポイントを出資額の割合で分ければと言ったら混乱されたり。 twitter.com/kyodaisuu/stat...
タグ：
posted at 12:35:13
「問５ なぜ多くの人は「江戸しぐさ」を好意的に受け止めたのですか。同じマナーであったとしても、ただ「遅刻はよくない」と言われるよりも、「江戸時代に実際行われていたこと」として話をされた方が受け入れやすい理由を考えて説明しなさい。」（森村学園中等部 平成２８年度社会科入学試験問題 ）
タグ：
posted at 12:34:56
#Julia言語 以上で紹介した数値積分パッケージ github.com/stevengj/HCuba... は同作者によるCで書かれたほぼ同じアルゴリズムの数値積分パッケージよりも私が試した場合には高速でした。そして、上で紹介したコメント部分を読めばわかるように、Banach空間が実装されていれば何でも積分できます。
タグ： Julia言語
posted at 12:07:01
ごまふあざらし(GomahuAzaras @MathSorcerer
そう言うことか。やっと理解した。 twitter.com/genkuroki/stat...
タグ：
posted at 12:06:19
#Julia言語
添付画像1枚目：数値積分のパッケージのコメント部分。LaTeX的記述による整形されていない数式が含まれていることに注目。
github.com/stevengj/HCuba...
添付画像2枚目：Jupyter上でその数値積分パッケージを使っている様子。ソースコード中の数式が成形されて表示されている。 pic.twitter.com/E11dtnQciU
タグ： Julia言語
posted at 12:00:49
複雑なアルゴリズムを数式や図式や沢山の図を用いた解説抜きに理解することは難しい。実際に動かすために書かれたコードと抽象化されたアルゴリズムを比較しやすいようになっていないと(現時点では大抵の場合そうなっていないので)つらい。これじゃあ、数学的資源のコード化はすすまないと思う。
タグ：
posted at 11:42:42
多くのプログラミング環境は数学的に複雑な仕事に向いていないと思う。
* コメント中で成形された複雑な数式や図式を面倒な手続き抜きに使用できる。
* プログラムのコードも数式に近いフォーマットで書ける。
のようになっていないと、数学的資源をコード化することが面倒。
タグ：
posted at 11:36:28
私はここ数ヶ月間 #Julia言語 で書かれたソースコードを頻繁に閲覧しているのですが、Julia言語の文化圏では
α, σ², x₁ のような変数名
が普通です。ユニコードを使っている。添付画像は
github.com/stevengj/HCuba...
より。多くの変数名が1文字で、Δやらfx⁰やらI′ が使われている。 pic.twitter.com/1xK7EYU5rD
タグ： Julia言語
posted at 11:31:15
非公開
タグ：
posted at xx:xx:xx
プログラム中のコメントには整形された数式をLaTeX方式で埋め込めてかつ可能ならばスクリーンショットのような画像も埋め込めて欲しい。
変数や函数名を1文字で済ますことは絶対に許さないという発想は合理的ではないと思う。
タグ：
posted at 11:16:45
これは良問である。入試問題という形式に沿って簡潔に「江戸しぐさ」の「問題」を明らかにしている。しかも8ページ目には、リテラシーとして必要な視点についても言及している。「江戸しぐさ」に関わる教育関係者向けだ。森村学園中等部平成28年度入試問題「社会」www.morimura.ac.jp/pdf/examinee/p...
タグ：
posted at 10:21:34
非公開
タグ：
posted at xx:xx:xx
@taketo1024 情報量の圧縮が目的で、集中・没頭して式変形している最中はそれでよいと思うんですが、他者からすると暗号解読になるので・・^^;
人に見せる為の、自然言語ライクに読める数式記述フォーマットがあると良いのかなと思います
タグ：
posted at 09:59:37
組み紐テンソル圏はテンソル圏の中心として得られ、テンソル圏は associator から得られ、associator は KZ 方程式の解から得られる。KZ 方程式は共形場理論に現れる。
タグ：
posted at 09:42:02
自分も数学徒からプログラマに転身して書いた PHP のプログラムで関数に f とか g とか当てて自滅したので、基本的にはそれぞれの記法を素直に受け入れるのが良い。
タグ：
posted at 09:35:59
プログラマが「数学は変数を一文字に当てて可読性低い」と文句を言うのをたまに見かけるけど、大文字小文字のみならず太字、筆記体、ドイツ文字など一文字の中でバリエーションを増やす方向で努力している事実を知ったらどんな反応をするのか興味ある。
タグ：
posted at 09:33:11
人月単価150万のところに出したらめちゃくちゃ優秀で仕事早くて半月で終わったんですよ。でも人月を単価が高いと内部から文句が出て70万のとこに変えさせられた。結果、半年かかるようになった。
タグ：
posted at 07:52:34
何度か宣伝しているが、4年生のゼミで読むなら初歩から書いてあるしちょうどいい本で、学部の頃に読み通せばかなり力にはなるはず：
Michèle Loday-Richaud,
Divergent Series, Summability and Resurgence II
Springer Lecture Notes in Math 2154
link.springer.com/book/10.1007%2...
タグ：
posted at 06:09:08
@JonDanielsson I agree that the econometrics/timeseries support is lacking right now. Julia is close to 1.0 now so would be awesome if someone like yourself created a new #JuliaLang GARCH package! Wishful thinking..
タグ： JuliaLang
posted at 05:20:25
線型常微分方程式の指数定理について、現代的な勉強をしたい人は例えば次の論文を見てください。
Loday-Richaud, M; Pourcin, G
On index theorems for linear ordinary differential operators
www.numdam.org/item/AIF_1997_...
タグ：
posted at 05:14:44
内容はGevreyクラスの超関数で詳細はもう忘れた。小松さんが示した常微分方程式の解の指数定理(1971)を、この集中講義の少し前にGevreyの場合に拡張して、不確定ODEの研究に新しい方向を見出したのがRamisで、彼の部屋からツイッターを書き込むようになるとは30年前は予想できなかった。
タグ：
posted at 04:56:07
小松彦三郎さんのLaplace hyperfunctionってあったな（最近でも本多・梅田など）
hdl.handle.net/2261/1911
小松さんとの出会いは1984年2月の集中講義が最初のはず。金曜日に終わった後、竹井さん(春の学会で解析学賞講演される)と私で、小松さんの前で黒板に問題解いて二人揃ってその場で単位もらった
タグ：
posted at 04:56:05
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
今日はIan本邦訳版を読破したコンサル出身の人が「Deep Learningがいかに凄いか」「GANがいかに革命的か」と熱弁するのを聞いた後で、NIPS本発表に筆頭で出したことある凄腕機械学習エンジニアから「ロジスティック回帰をそれすら使ってない現場に導入するご利益」を説かれたので、大きな学びがあった
タグ：
posted at 01:55:04
#みらいけん数学デー や #日曜数学会 で人気の謎のゲーム「ゴドマチ」。説明資料を公開しました。ルールは簡単で、方眼紙とペンがあれば遊べます。ぜひ一度遊んでみて下さい！ #ゴドマチ
j344.exblog.jp/238344979/
posted at 01:02:22
そういえば、現状の数Bでは確か分散はnで割ってたよね。あれどうにかならんのだろうか。実験データの処理の時「数学ではどう習ったか知らんが分散出すときはn-1で割ってくれ、理由は難しいから大学で勉強してくれ」と指導してるわけだけど。
タグ：
posted at 00:44:08
@myfavoritescene @genkuroki 実際のところデータサイエンスとは特に関係なくおもしろそうなので買いました。ふざけてすみません。勉強させていただきます。
タグ：
posted at 00:11:09
koji hasegawa @myfavoritescene
@neet2go @genkuroki データサイエンスに直接どうか分からないですがお買い上げありがとうございます_o_
タグ：
posted at 00:05:12
