黒木玄 Gen Kuroki(@genkuroki)/2019年08月/Page 20

ごまふあざらし(GomahuAzaras @MathSorcerer

An incredible mitosis in mesenchymal stem cells!
There is a great blogpost for this video with great detailed explanations: nanolive.ch/mitosis-in-mes... pic.twitter.com/WMqnSoouTX

タグ：

posted at 00:33:45

Official Doc twitter.com/Amaryllis_1204...

タグ：

posted at 00:35:10

非公開

タグ：

posted at xx:xx:xx

闇のapj @apj

@konamih ついでに言うと、社長本人が書いて刑法の無知をさらけ出した私宛の2000年のクレームはなぜか無かったことになってて、弁護士名義でご懇請申し上げますで結ばれてた翌年のやつがクレームの最初だということになってるっぽい。

タグ：

posted at 01:40:55

Jun TAKAI @J_Tphoto

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

皆さん、山本太郎の謝罪にすごく重きを置いてらっしゃいますが「一部の人々を時々において切り捨てたり敵認定することで賛同や支持を集める手法」の政治家であること。謝罪してもそこが変わらなければ意味がない。

タグ：

posted at 08:17:44

非公開

タグ：

posted at xx:xx:xx

Julia 1.2がタグ付けされてるざんす！
github.com/JuliaLang/juli...

タグ：

posted at 10:13:35

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

天むす名古屋 Temmus @temmusu_n

#Julia言語

公式ドキュメント

と

リポジトリ

での検索。issuesやソースコードを閲覧すると色々わかる。

各種パッケージの公式ドキュメントとissuesとソースコードも参照。

ソースコードの一部分を直接見ることは入門段階から有効。コードを真似できるし。

twitter.com/amaryllis_1204...

タグ： Julia言語

posted at 12:28:45

なんども自慢しますが、育鵬社の中学公民教科書にサムシング・グレートという反進化論・創造説が掲載されていることに気づいたのは、私を含むネットの素人です(サムグレを問題視する向きは以前から存在)。育鵬批判の本や記事を出していた人々は、ご苦労さんだけど役立たなかった。劣化の証拠かも。

タグ：

posted at 12:31:34

松永和紀 @waki1711

この手のトランス脂肪酸記事で飽和脂肪酸の問題に触れていないものはもう、「読む価値なし」で内容をすぱっと忘れる、というのが吉、なのでは？ headlines.yahoo.co.jp/article?a=2019...

タグ：

posted at 13:32:11

@genkuroki @y_bonten メタメタさんは、自分の単なる思いつきを普遍的な事実としてしまう傾向があるので読むときは要注意。

一神教に違和感がある日本人は、順序数的であるペアノ公理に違和感を持つ　

という突っ込みどころ満載のブログ
ameblo.jp/metameta7/entr...

「数量感」なる概念もあやしい。

タグ：

posted at 14:28:43

Akinori Ito @akinori_ito

研究のためシンフォギアの曲を数曲聞いているが構造分析が難しすぎる

タグ：

posted at 14:30:42

@genkuroki @y_bonten 私は神も仏も霊魂も信じていない筋金入りの無神論者だが、ペアノ公理に違和感はなかった。

　ペアノ公理が順序数的か基数的かなんて考えたこともなかった。

タグ：

posted at 14:31:18

疲労の塊 @_y5y_

絶唱の研究かな？（違う

タグ：

posted at 14:32:40

Akinori Ito @akinori_ito

@_y5y_ 東北大では兵器開発の研究は禁止されています

タグ：

posted at 14:33:58

疲労の塊 @_y5y_

@akinori_ito 会社で変な笑いが出てしまったｗｗ

タグ：

posted at 14:35:13

Hiroyasu Kamo @kamo_hiroyasu

OokuboTact　大久保中二病中年 @OokuboTact

「いわゆる暗記数学な子に『考えろ』だけ言っても無意味。彼らは『考える』とはどういうことかを誤解している。暗記したパターンの中からマッチするものをみつけることが『考える』だと思っている。自己認識としては『考えて』いる」と現役の教員を説得する案件が発生しました。

タグ：

posted at 14:35:47

@sekibunnteisuu ＞　ペアノ公理が順序数的か基数的かなんて考えたこともなかった。

大澤真幸という社会学者の宗教論にペアノが順序数でみたいな話があって・・・。
カントールのパラドックスが云々
わけわからんです。

タグ：

posted at 14:37:32

@genkuroki @y_bonten 【その後，遠山啓や森毅が，ペアノの公理系は過大評価されている，たとえば位取り法を無視していると言っているのを知ったとき，少し安心した。】

これ読むと、遠山啓や森毅がそんなおかなこというかな？まあ彼らはおかしなことをちょいちょい言うから、ありえるかな？と思うけど

タグ：

posted at 14:38:24

@genkuroki @y_bonten 原文読むと、全然そうじゃなくて、ペアノ公理を算数教育に持ち込むことに異議を唱えているというもの。

twitter.com/metameta007/st...

ペアノ公理を算数教育に取り入れようとする人がいるのかどうか知らないけど。

タグ：

posted at 14:40:56

OokuboTact　大久保中二病中年 @OokuboTact

@OokuboTact ＞ペアノが順序数でみたいな話

自然数は順序数でありかつ基数だから、間違いではない^^

ジャガイモに味噌を付けて食べると、以下略

タグ：

posted at 14:47:25

@sekibunnteisuu ちなみにこれです
１８頁から

jare.jp/admin/wp-conte...

タグ：

posted at 14:52:23

タクラミックス @takuramix

このツイートに次々とついているリプを見ても、少しずつ変わってきたなと思う。以前は間違いを指摘するリプなどよりも、煽りに乗って更に煽り立てるようなリプが大量についたものだった。流行が去ったという面もあるが、粘り強く間違いを指摘するリプを投げ続けた方々の成果である事も確かだ。 twitter.com/amazing_xp/sta...

タグ：

posted at 15:01:12

GTO! @GTO_zwei

@genkuroki アドバイスありがとうございます。
Juliaに限らず色々なことに応用できる考えだと思いました。勉強になりました。

タグ：

posted at 15:14:46

早すぎるなつやすみ @dandonban

ごまふあざらし(GomahuAzaras @MathSorcerer

@ant_onion @mapacom @asm99rx78 遅レスですが）私OVAパトレーバーの苫小牧港の立ち食いソバシーン（動画）www.nicovideo.jp/watch/sm27499684やケルベロス-地獄の番犬で、逃亡中の都々目紅一（千葉繁）がひたすら茹で海老の皮を剥きながら食べるシーンが好きです。

タグ：

posted at 15:23:17

お、Julia1.2が正式リリースされた

タグ：

posted at 16:45:09

@kankichi57301 @kankichi57301

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

@sekibunnteisuu @genkuroki @y_bonten #掛算　の交換法則はそんなに自明でない（から証明しないと使ってはいけない）という主張の根拠に引っ張り出されるのは散見します。

タグ：掛算

posted at 17:08:58

Julia 1.2のバイナリも来た。
discourse.julialang.org/t/julia-v1-2-0...

タグ：

posted at 17:16:38

#統計サンプルサイズが大きくなるにつれて「解像度が高くなる」ことの理解については、以下のリンク先の例が役に立つ。しかも仮説検定の考え方も役に立つ。

以下のリンク先では5%の例外を含む(仮想的な)母集団から抽出したサイズ30のサンプルを扱っている。続く

twitter.com/genkuroki/stat...

タグ：統計

posted at 17:22:50

#統計サンプルサイズn=30では、母集団における「5%の例外」という詳細な構造を完全に見逃してしまう確率は21%強で結構高い。例外の割合がが5%のとき

サンプルサイズ　　30　　60　　90
完全に見逃す確率　21%　4.6%　0.99%

解像度はこんな感じで上がって行く。

タグ：統計

posted at 17:22:51

#統計仮説検定でのp値の定義は「仮説の数学的モデル化である確率モデル内部でデータ以上の偏りが生じる確率」だった。

サイズ30のサンプルに例外が全然含まれていないように見えるときの「5%程度の例外が本当は存在していたという仮定のもとでそうなった確率」は「p値」の例だとみなせる。続く

タグ：統計

posted at 17:22:52

#統計仮説は「5%の例外の存在」であり、「偏り」はサンプル中の「例外」が少ない方が大きいことにしたとき、例外が1つも含まれていなかったサンプル以上の「偏り」が生じる確率を計算していることになっているので、まさに定義通りに「p値」を計算していることになっているわけです。

タグ：統計

posted at 17:22:52

#統計「〇〇検定」の処方箋に機械的に従うことができるというようなことは、教養とは呼べないと思う。

必要があれば、仮説を数学的に定式化して、現実から得たデータ以上の「偏り」が生じるモデル内確率を計算してみるというようなことを気軽にできる

ということなら教養と呼んでよいと思う。

タグ：統計

posted at 17:29:12

松浦晋也 @ShinyaMatsuura

実にふざけた話だよな。 twitter.com/asahi_kantei/s...

タグ：

posted at 17:33:51

ぱあぷう @moteru369

🌟手を伸ばしても届かない赤ちゃんにハスキーがとった行動が素敵✨ pic.twitter.com/FNots5d9Hm

タグ：

posted at 18:00:29

ʇɥƃıluooɯ ǝıʇɐs @tsatie

この「必要があれば」ってところがアレで...
例えば今度高等学校で教えることになる検定？らしきものは何か「必要」なのやろか。正直前回入った箱髭図も「そいつに騙されるな」話は幾らでもあったが有効性が認識されたことがほぼない... twitter.com/genkuroki/stat...

タグ：

posted at 18:12:12

#統計サイズ30のサンプル内に「例外」が見当たらないとき、「母集団に例外が9.5%含まれる」という仮説のもとでそうなる確率は5%なので、「母集団に例外が1割以上含まれている」という仮説は有意水準5%で棄却される。同様に「母集団に例外が15%以上含まれている」という仮説は有意水準1%で棄却される。

タグ：統計

posted at 18:12:42

#統計サイズ30のサンプルに例外が含まれていないとき、母集団に含まれる例外の割合の95%信頼区間は「0%以上9.5%以下」になり、99%信頼区間は「0%以上14.2%以下」になる。

サンプルサイズ30ではこの程度の割合の例外を運悪く捉えることに失敗していることを覚悟する必要がある。

タグ：統計

posted at 18:16:36

Nextjournal @usenextjournal

Great to see so many Julia Summer of Code students publishing runnable notebooks! Explore, remix & run 40 of them in our #JSoC collection nextjournal.com/jsoc #JuliaLang pic.twitter.com/pr6iFvUCEs

タグ： JSoC JuliaLang

posted at 19:08:26

川村哲二 @llKawamurall

ブログを更新しました。：「赤さび防止効果に関する日本技術士会千葉県支部の見解書」 stuvwxyz.cocolog-nifty.com/blog/2019/08/p...

タグ：

posted at 19:15:35

非公開

タグ：

posted at xx:xx:xx

Hiroyasu Kamo @kamo_hiroyasu

これに対していわゆる暗記数学を擁護する反応が多数観測されました。「ほらね。こんな風に考える人が本当にたくさんいるでしょ」と説得の材料に使えて助かります。ご協力を感謝します。

タグ：

posted at 19:45:09

#数楽補足：多項分布における確率

n!/(k_1!…k_n!) p_1^{k_1}…p_r^{k_r} (Σ k_i=n, k_i/n=q_i)

を「確率分布p_iに従う乱数列が偶然確率分布q_iに従っているように見える確率」と読み直せば、「モデルp_iによる分布q_iのシミュレーションの精度」と関係付けられる。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 19:51:13

#数楽モデルp_iと分布q_iが異なっていれば、モデルの確率分布p_iの乱数列の長さが長くなればなるほど、それが偶然分布q_iに従っているように見える確率は指数函数的に猛烈な速さで減少して行きます。その速さは -(1/n)log を施せば分かり、KL情報量が自然に得られるわけです。

タグ：数楽

posted at 19:54:41

#統計 KL情報量については、それをKLダイバージェンスと呼び、大幅な一般化をして解説してある場合が結構多いのですが、KL情報量については特別に、何度も紹介しているSanovの定理があって、確率的に必然的に出て来る証拠があります。一般のダイバージェンスについてそういう基礎付けが見当たらない。

タグ：統計

posted at 19:58:17

#数楽 -(1/n)log を施してn→∞での様子を見る大偏差原理は、本質的にラプラスの方法(ラプラス近似)の弱形を扱っていることになります。

数学畑の人であれば、max-plus代数が出て来る仕組みが、ラプラス近似の弱いバージョンになっていることを納得できると思います。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 20:02:34

#数楽 KL情報量KL(q,p)に、モデルの分布pの乱数列による分布qのシミュレーションの誤差という解釈があることはすでに説明しました。

これとは別に、KL(q,p)には「分布pに従う乱数列として分布qが出て来難い度合い」という解釈もあります。KL(q,p)が小さいほど、pからqが出て来易い。続く

タグ：数楽

posted at 20:10:52

#統計ベイズ統計での事後分布を近似する別の分布を作る方法に通称「変分ベイズ」というのがありますが、あれは「ある制限された扱いやすい分布の中で事後分布pから最も出て来やすいqを近似的に作る方法」です。事後分布pに対して特別な形のqでKL(q,p)を最小にするものを近似的に作る話。

タグ：統計

posted at 20:15:49

#数楽 KL情報量に関するSanovの定理を知らずに、その手のことを勉強すると、必然性が不明の天下り的にあたえられたKLダイバージェンスを最小にする分布を求めることのイメージがつかめずに終わることになると思います。

タグ：数楽

posted at 20:18:01

Andreas Noack @ANoackJensen

Parallel Bayesian #NLME estimation in @pumas_ai. To be released at #ACoP10. pic.twitter.com/bY8uyv88q3

タグ： ACoP10 NLME

posted at 20:20:54

#統計 Sanovの定理を理解していればKL(q,p)はqとpについて非対称なのは当然だとわかる。KL(q,p)は「qのpからの出て来にくさ」なので、分布qの台(確率がゼロでない場所)が分布pより広ければ、qがpから偶然出て来る可能性は皆無になるのでKL(q,p)=∞になります。続く

タグ：統計

posted at 20:23:39

#統計 qをある決められた範囲で動かして有限のKL(q,p)を最小化できた場合(例えばqが事後分布pの変分推論で得た近似になっている場合)には、qの台はpの台に含まれて、おそらくより狭くなります。

変分推論で得た事後分布の近似は真の事後分布より台の広がり方が狭い可能性が高い。

タグ：統計

posted at 20:27:14

#統計こういう類のことをイメージ豊かに理解するためにもSanovの定理は役に立つわけです。個人的に

* Sanovの定理

は

* 大数の法則
* 中心極限定理

に匹敵するほど統計学では基本的な確率論の結果だと思います(三種の神器！)。

パラメータではなく、確率分布そのものを直観的に扱うときに必須。

タグ：統計

posted at 20:30:44

星が　きらきら　キラキラ　テレビでやっていた。　#超国語　擬音語がカタカナ、擬態語はひらがな　というルールがあるというのだが、そのルールの根拠は言っていない。

私は、ブーブー文句を言いたくなった。

このような比喩的な擬音語は、ぶーぶー、とすべきなのか？

タグ：超国語

posted at 20:41:10

#超国語　こういうのを聞きかじって「擬音語だとカタカナで、・・」と説明する人がいたら「根拠は？」と聞いてみたい。

タグ：超国語

posted at 20:42:25

寺沢拓敬 @tera_sawa

» R package "rworldmap"を使用して世界地図に色をつける - 統計学と疫学と時々、助教生活 jojoshin.hatenablog.com/entry/2017/10/...

タグ：

posted at 20:47:51

#数楽私もそういうことはど素人でよく知らないのですが。

群論における既約表現の素朴な古典極限は共役類です(例：有限群の表現論)。Lie群では共役類の幾何を考えることができて、それがLie群の表現論と関係しています。

より一般には表現論とオービットの幾何の関係。

twitter.com/_kohta/status/...

タグ：数楽

posted at 21:02:05

#超国語 pic.twitter.com/fx2lw1FNR0

タグ：超国語

posted at 21:05:45

#統計【頻度主義とベイズ主義っていうのがあってベイズ主義では母平均を確定した値ではなくて確率変数と考える】はトンデモ。

詳しくはこのツイートの上の方のスレッドを参照。

ベイズであろうがあるまいが、宮城県仙台市の小学6年生全体の体重の平均値は確定した値です。

twitter.com/tamehiro_boc/s...

タグ：統計

posted at 21:13:04

#統計現実の母集団からの無作為抽出で得たサンプルは乱数の出目によって確率的に変化するので、確率変数とみなせる。

サンプルから計算した信頼区間の両端の値も確率変数。

ゆえに確定している定数が信頼区間に含まれる確率を考えることができる。(その確率を「割合」と言い直す必要は皆無)

タグ：統計

posted at 21:17:56

#統計以下その意味で確率という用語を使う。

信頼区間を計算するために使った数学的モデル内の仮想的な母集団のサンプルについて、「95%信頼区間に仮想的母集団のパラメータ値が含まれる確率は95%である」という主張は正しい。

しかし、現実の母集団では一般に正しくない。

タグ：統計

posted at 21:20:36

関連

twitter.com/genkuroki/stat...

タグ：

posted at 21:22:53

@kankichi57301 @kankichi57301

え～年した大人は　#掛算　の順番に頓着しない（というか意識にも上らない）という証左... twitter.com/nabekichi32/st...

タグ：掛算

posted at 21:23:49

山本卓 @sgryjp

お。 #Julia言語の1.2正式リリース来たね。
—
julia/NEWS.md at v1.2.0 · JuliaLang/julia github.com/JuliaLang/juli...

タグ： Julia言語

posted at 21:25:30

南Q太 @murasakibashi

新しいお仕事始めました pic.twitter.com/jZ1NV1YNqg

タグ：

posted at 21:26:03

寺沢拓敬 @tera_sawa

初めてRで地図つくった。記念。時間を無駄にした気はしないでもない・・・。 pic.twitter.com/Jd45NIrM0R

タグ：

posted at 21:38:13

寺沢拓敬 @tera_sawa

Dr. Chris Rackauckas @ChrisRackauckas

colour = c(rainbow(6), "grey") pic.twitter.com/C25rxJgWpA

タグ：

posted at 21:44:17

We have a lot of interesting new forms of parallelism coming into Pumas that I just can't wait to share :). #julialang + Bayesian #NLME. Some of it will be mentioned at the New England #ISoP Meeting on August 26th: discuss.go-isop.org/t/isop-ne-ipsp... twitter.com/ANoackJensen/s...

タグ： ISoP julialang NLME

posted at 21:52:56

舞田敏彦 @tmaita77

違うもんだな。 pic.twitter.com/WEmDT1Jd4p

タグ：

posted at 22:07:10

#Julia言語 v1.2.0を入れて、これからはこちらを使うようにした。パッケージのプレコンパイルちう。

julialang.org/downloads/

タグ： Julia言語

posted at 22:16:38

Hiroo Yamagata @hiyori13

@EmbSweTokyo 子供を、インチキな政治目的に利用する恥ずべき虐待であり、排出をふやすだけでパフォーマンスとしてすら破綻しています。何がそんなにご自慢でしょうか？

タグ：

posted at 22:17:29

deconbatch @deconbatch

ちょっと油断するとこんなことになる。😔
#processing #generative #creativecoding pic.twitter.com/zbdZPrfBer

タグ： creativecoding generative processing

posted at 22:18:39

KikunoMasayuki @mk_kushiro

最後の一文が強烈。 headlines.yahoo.co.jp/article?a=2019...

タグ：

posted at 22:20:56

第5弾

www.newsweekjapan.jp/noguchi/2019/0...

タグ：

posted at 22:35:31

津田和俊／急激に進行した網膜剥離と闘って @kaztsuda

第6弾

www.newsweekjapan.jp/noguchi/2019/0...

タグ：

posted at 22:36:09

水道法改正のパブコメの締め切りが今日らしく、色々情報が流れてくるのだが、
search.e-gov.go.jp/servlet/Public...
民営化やコンセッション方式の導入は旧法でも可能だし、コンセッション方式は「水道事業の民営化や、事業の運営権の売却を行うものではない」と明記されてるのだがなぁ。みんな全然読んでないね。

タグ：

posted at 22:41:49

松永和紀 @waki1711

鶏肉を調理前に洗っちゃダメ！！！　　この注意、日本では指摘されることが少ないけれど、とても大事。菌が水と共に飛び散って、シンクやそばに置いている料理などを汚染し、食中毒の原因となります。日本でも、かなり多くの人たちが洗っている、と思う。 twitter.com/NBCNews/status...

タグ：

posted at 22:46:05

Hiroo Yamagata @hiyori13

@EmbSweTokyo だいたい、有名になったのは学校サボったからという情けなさ、そしていまはその高校もやめちゃったから高校生じゃないのでは？

タグ：

posted at 22:52:47

#超算数 #統計うぎゃああああ‼️

高等学校学習指導要領解説数学編理数編 (平成30年)
www.mext.go.jp/component/a_me...

に添付画像のように

頻度主義(客観確率)vs.ベイズ統計(主観確率)

という悪しき「主義による統計学」観に基いた典型的なベイズ統計の解説が書いてありました。

twitter.com/genkuroki/stat... pic.twitter.com/Zqs6JduswK

タグ：統計超算数

posted at 23:45:32

Kohta Ishikawa @_kohta

@genkuroki ありがとうございます。これは何か関係がありそうな気がします。教えて頂いたキーワードで調べてみます。

タグ：

posted at 23:46:51

#超算数 #統計注意！

学習指導要領そのものと学習指導要領解説を厳密に区別せよ！

文科省によれば学習指導要領解説は単なるいち著作物に過ぎず法的拘束力はありません。これに従って高校生に「とんでもベイズ統計」を教えた場合には教えた人の責任になる。

twitter.com/genkuroki/stat...

タグ：統計超算数

posted at 23:50:08

非公開

タグ：

posted at xx:xx:xx

#統計 #超算数この件で何が怖いかというと、ベイズ統計については、世界的に

「頻度主義vs.ベイズ主義」
「客観確率vs.主観確率」

のような不合理な考え方に基く解説の方が多数派であること。

大学の先生達が大挙してトンデモ化している。

これからはそのトンデモが高校に広まる可能性が高い。

タグ：統計超算数

posted at 23:54:08

akm001_Advanced @akm001