黒木玄 Gen Kuroki(@genkuroki)/2020年11月12日

ごまふあざらし(GomahuAzaras @MathSorcerer

安倍内閣では非正規だけでなく正規雇用も爆発的に伸びている。歴代内閣でも例を見ないというのが事実。野党の政治家は平気で嘘をつく。

タグ：

posted at 23:58:22

C++ グラフ描画 Matplot++ をラップする自作パッケージ

github.com/terasakisatosh...

で C++ 依存の部分を Artifacts system を使ってビルドずみの共有ライブラリをダウンロードできるようにしました．（なので手元でビルド不要です）

(Windowsだとビルドできなかったので LinuxとMacオンリーでキュ)

タグ：

posted at 23:43:13

鰹節猫吉 @sunchanuiguru

あまりにも狂いすぎているので、普通に人間が見ると「このような馬鹿が実在するはずがない」とおもってしまったりする可能性もあります。
#超算数 twitter.com/123takashi/sta...

タグ：超算数

posted at 23:38:47

@themiwi

@klmr @walkingrandomly @Apple @NAGTalk 😔 And of course Apple didn't contribute a GCC backend.

タグ：

posted at 22:59:02

mastodon.social/@klm @klmr

@themiwi @walkingrandomly @Apple @NAGTalk Apparently flang doesn’t work at all yet, full stop.

タグ：

posted at 22:52:00

@themiwi

中村良幸 (Nakamura Yosh @nakayoshix

@walkingrandomly @klmr @Apple @NAGTalk Would flang work, given that Apple sponsors Clang I'd assume they have a working codegen already.

タグ：

posted at 22:44:54

@tanakahisateru 実際にはそちらが主流だと思います。私も最近はGCP上のCloud Shell Editor (Eclipse Theiaという名のVS Code) を使ってPythonやJuliaを動かして遊んでみましたけど、スマホアプリを開発するのでなければ、ローカルで必要なのは見やすい画面とフォント、質の良いキーボードとタッチパッドだけですから。

タグ：

posted at 22:43:56

#超算数

TOSSの「掛け算の意味」 pic.twitter.com/DKuxgeTQ94

タグ：超算数

posted at 22:39:28

そうです！その部分を引用したかった！ twitter.com/fctempura/stat...

タグ：

posted at 22:33:12

#統計このとき、x=μ:=E[X]におけるf(x)の接線をa(x-μ)+f(μ)と書くと、fは下に凸なので

f(X)≧a(X-μ)+f(μ).

これの両辺にE[ ]を作用させると、

E[f(X)] ≧ a(E[X]-μ)+f(μ) = f(μ) = f(E[X]). q.e.d.

注意: 期待値汎函数E[ ]に関する3つの性質だけから証明された。

タグ：統計

posted at 22:29:59

#統計 ●Jensenの不等式の証明

E[ ]は線形性と単調性(f≦g⇒E[f(X)]≦E[g(X)])とE[1]=1を満たしているとする。簡単のためfは下に凸でかつ、C²級函数であるとする。(接線が引けて、接線がf(x)以下の函数になることを保証する条件としてC²級を仮定したが、実際にはそのような条件は無用)

続く

タグ：統計

posted at 22:29:58

#統計 ●Jensenの不等式⇒Gibbsの情報不等式

期待値汎函数E[ ]と下に凸な函数fについて E[f(X)] ≧ f(E[X]) (Jensenの不等式). これを

f(x)=x log x

と

E[g(X)] = Σ p_i g(q_i/p_i)

に適用すると、

Σ q_i log(q_i/p_i) ≧ f(Σ q_i) = f(1) = 0.

等号成立の条件は読者に任せた(笑)。

タグ：統計

posted at 22:29:57

#統計続き。これを q_i = k_i/n の場合に適用すると、-Σ k_i log p_i = n(-Σ(k_i/n)log p_i) が最小になる p_i は k_i/n になることがわかる。

タグ：統計

posted at 22:29:56

#統計 ●Gibbsの情報不等式を使う方法

p_i, q_i は非負に実数でΣp_i=Σq_i=1のとき、KL情報量は非負になる(Gibbsの情報不等式):

Σ q_i log (q_i/p_i) ≧ 0.

すなわち

-Σ q_i log p_i ≧ -Σ q_i log q_i.

等号成立と p_i=q_i (∀i)は同値。続く

タグ：統計

posted at 22:29:55

岐阜のマーケティングテクノロジスト @kaneda_smec

#統計 ●Lagrangeの未定乗数法

-log x は下の狭義凸な函数のなので Σ p_i = 1 という条件のもとでの停留点を見つければよい。Σ k_i = n に注意。

F = -Σ k_i log p_i + λ(Σ p_i - 1) とおく。

0 = ∂F/∂λ = Σ p_i - 1
0 = ∂F/∂p_i = -k_i/p_i + λ

は λ = n, p_i = k_i/n と同値。 twitter.com/genkuroki/stat...

タグ：統計

posted at 22:29:54

岐阜のマーケティングテクノロジスト @kaneda_smec

プログラミング初心者の方にお勧めの言語を聞かれたら、JuliaとElixirを勧めようかな。

タグ：

posted at 22:26:32

サブアカでJuliaやElixirの本についてツイートすると、リツイートやいいねがたくさんつきます。他の言語では見られない現象です。 twitter.com/new_book_openb...

タグ：

posted at 22:19:27

カマタ @FCTempura

「本稿はアメリカの事情を説明したものに過ぎず、直接的に日本への政策的示唆があるわけではない。しかし、教育ローン制度と学校選択制に関する議論は、日本の教育政策を考える上でも参考になるはずだ。」 twitter.com/genkuroki/stat...

タグ：

posted at 22:18:39

非公開

タグ：

posted at xx:xx:xx

#超算数
元教員だというけど、「掛け算の順序は大事だから大事」としか言っていない。 twitter.com/ShuhuMr/status...

タグ：超算数

posted at 21:43:23

@golgo_sardine @ShuhuMr 掛け算の順序に拘ることで理解できるようになる、というようなことをおっしゃっていますが、あなた自身はどの程度、算数・数学を理解しているのでしょうか？

タグ：

posted at 21:40:47

@golgo_sardine @ShuhuMr www.youtube.com/watch?v=nMuiYC...

「掛け算は足し算の延長」と言っていますが、算数教育の重鎮はそのように定義していませんよ。

タグ：

posted at 21:39:35

@golgo_sardine @ShuhuMr ABCDEから異なる2文字を並べる方法は何通りか？

5×4　4×5　どちらが正しいのでしょうか？

タグ：

posted at 21:38:48

@golgo_sardine @ShuhuMr この問題で、12個と答えられたら、読解力は十分あると思いますがいかがでしょうか？

これを、3×4と式を立てた子は、問題文の意味を理解していないのでしょうか？ pic.twitter.com/TEoIFjes7F

タグ：

posted at 21:36:41

@golgo_sardine @ShuhuMr この動画を作った方ですか？
www.youtube.com/watch?v=nMuiYC...

あなた自身は小学校時代に掛け算の順序を教わったのでしょうか？小学校卒業後もその順序で式を立てたのでしょうか？

タグ：

posted at 21:34:16

@golgo_sardine @ShuhuMr 失礼します。

＞ただ学校ではそのように指導されており、どっちでもいい、というより、そのルールに則って問題文を読みといた方が子どもにとって価値がある。

なにがどう「価値がある」なのか分からないのですが、どのように価値があるのでしょうか？

タグ：

posted at 21:27:52

@123takashi 指導書にも、子供に区別させるように、とかいてあるから、まぎれもない事実。

私も最初は信じられなかった。

中でもすごいのがこれ。
ir.lib.hiroshima-u.ac.jp/files/public/3...

タグ：

posted at 21:20:17

deconbatch @deconbatch

noise() の入れ子でムラを出す。🪆
#processing #creativecoding pic.twitter.com/LDcEJO9V9r

タグ： creativecoding processing

posted at 21:10:00

Massimo @Rainmaker1973

Synanceia is a genus of fish of the family Synanceiidae, the stonefishes, whose members are venomous, dangerous, and even fatal to humans buff.ly/2O5stCi pic.twitter.com/Q71guSXjTS

タグ：

posted at 21:00:10

乳鉢 @nyubachi

ほほう。#Julia言語も対応しているようだ。 dev.classmethod.jp/articles/mrmo-...

タグ： Julia言語

posted at 20:52:24

™️ @hydrocoastjp

意地でもWindowsを使いたくないのでUbuntuとLibreOffice でオンライン学会発表した

タグ：

posted at 20:46:08

闇のapj @apj

削除された「防衛大で国内最大級の大規模クラスター発生」の記事。感染者が「数十人規模にまで急増」の事実は存在せず www.buzzfeed.com/jp/yutochiba/n... @ForzaYutoより

タグ：

posted at 20:35:50

Massimo @Rainmaker1973

Two men + two Tesla coils + special suits = Electricity Fight [source and full video: bit.ly/2ssDdE1] pic.twitter.com/oXVqaOgP9K

タグ：

posted at 20:30:18

Dolphin7473 @Dolphin7473

（これを期に，ラボにコードやドキュメントのバージョン管理をするのが当然という意識を作りたいというのもある）

タグ：

posted at 20:17:54

Dolphin7473 @Dolphin7473

卒論/修論のテンプレートをGitHubリポジトリにした．テンプレートをクラウドに置いとくだけだと
- 修正が入ったとき変更点が分かりづらい
- 変更点を手作業で反映するためミスが出やすい
- 問題が起きたとき差分が取りづらく解決がしんどい
で地獄だったのでこれでうまく回るようになるといいなあ

タグ：

posted at 20:15:37

非公開

タグ：

posted at xx:xx:xx

宋美玄 @mihyonsong

素晴らしい取り組み。医師なのか薬剤師なのかではなく、ユーザーに必要なのは上から目線で指導したり管理したりせずサポートする医療従事者だと思う。パターナルな態度を無くして行かなくてはいけない。 #NewsPicks www.buzzfeed.com/jp/naokoiwanag...

タグ： NewsPicks

posted at 19:52:05

非公開

タグ：

posted at xx:xx:xx

#超算数　
 foresta.education/lp/a/OW2NVq
＞せっかく合併と増加の区別がつくことになったので、その点をしっかりと確認しながら行っていきました。
場面をみて、合併(ドーン)なのか増加(ドスン)なのかを話合いながら

こんな有害無益なことやっているんだよ。学校の算数教育を信用しちゃダメ。

タグ：超算数

posted at 19:47:46

森山和道／ライター、書評屋 @kmoriyama

#超算数　増加「ふえるといくつ」、合併「あわせていくつ」を区別させるという駄目な教え方の典型。 twitter.com/forestanet/sta...

タグ：超算数

posted at 19:46:11

The latest 森山和道周辺のあれこれ新聞! paper.li/kmoriyama/1337... Thanks to @kurubushi_rm #julialang #yahooニュース

タグ： julialang yahooニュース

posted at 19:39:16

Attun @nezuku

「容量無制限」はAmazonでもGoogleでもMicrosoftでもいつか限界を迎え、そんなおいしい話は永くは続かないよと。 / “終了した容量無制限オンラインストレージサービスまとめ – プログラミング生放送” htn.to/3AV347J77B

タグ：

posted at 19:28:08

Akinori Ito @akinori_ito

受験生は受験に課さない科目の勉強は最小限にしようとするからなあ。受験にパスするためには正しい戦略なのだが、入ってから困る。入学後の悲劇を防ぐには必要な知識を全部受験で問うようにしなければならない

タグ：

posted at 19:26:03

yu_ku＠M @yu_ku_yu_ku

ゆるふわ怪電波☆埼玉 @yuruhuwa_kdenpa

掛け算の順序問題を見るたびに、こうやってあたかも掛け算に順序があるかのように教わってきた子どもたちを受け入れて叩き直す、中学校の数学の先生はこの件をどう考えてるのかなと思う。

タグ：

posted at 19:14:22

日常での心肺蘇生法を考えたことがない人はこれを読んでみて pic.twitter.com/xoH4yNE86u

タグ：

posted at 19:11:27

@stellakids ［問題］　ウサギさんは１羽あたりお耳が２つあります。ウサギ３羽ではお耳はいくつですか？この文章を絵にしてみましょう。

これで、こんな絵を「正解」にするように教えることがあなたの宿命なのでしょうか？
twitter.com/sekibunnteisuu...

タグ：

posted at 19:07:11

@stellakids 数教協は駄目な教え方ですよ。

銀林浩曰く「増加の足し算では、4+3≠3+4」

くだらないと思いませんか？
twitter.com/genkuroki/stat...

タグ：

posted at 19:04:36

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

正しいもんなぁ。赤で直すものではない。丁寧に書けてて花丸とかが「普通の指導者」の対応やろうに。ただの間抜けなロボット（それも20世紀の？）やないのか？ twitter.com/uochumeinan/st...

タグ：

posted at 18:46:55

TaKu @takusansu

ミッチー【華金数楽講座講師】 @michyholymath

twitter.com/sekibunnteisuu...
文科省に問い合わせると、現場の裁量(バツにしても良い)と答えるのかな？

タグ：

posted at 18:46:20

松田未来　「夜光雲のサリッサ」第10巻7 @macchiMC72

教育環境がむしろ悪化の一途になってしまう。。。 #超算数 twitter.com/sekibunnteisuu...

タグ：超算数

posted at 18:44:22

軽減税率は新聞のカンフル剤にすらならなかっただけでなく、恨みまで買ってしまった。あの瞬間が新聞というメディアが終わった分岐点として後世まで語られていく。 twitter.com/kikumaco/statu...

タグ：

posted at 18:31:41

Pythonのline_profiler的なのJuliaにないかなあ

タグ：

posted at 18:31:19

ytb @ytb_at_twt

…あの、お願いですから、数学を嫌いな人にウィトゲンシュタインの「数学の基礎」を勧めるのはやめてください。自分のよく知らないことに関する懐疑論ぐらい危険なものはなくて、自分の数学嫌いの免罪符にしかならないのでは。 twitter.com/rikkyo_lib/sta...

タグ：

posted at 18:23:52

ESETくん、JuliaのPkg.addをブロックしてくるの何

タグ：

posted at 18:22:16

そういえば、順序批判批判には、

「教師は教えるプロなんだ。その彼らが順序指導をしているんだから、順序指導は優れているんだ。素人がガタガタ言うな」

「教師だって人間だ。五教科教えないとならないんだ。苦手科目も教えないとならない。完璧を要求するのは酷」

の両方があるね。

タグ：

posted at 18:10:27

Tomoya TENDO @end_tt

4月にカッティングプロッターを買ってから約半年の間に30作品くらい作っていたみたいです。
⚡️ "カッティングプロッターで作ったものたち"
twitter.com/i/moments/1326...

タグ：

posted at 18:10:01

おれのJuliaがこんなに遅いはずがねえ！

タグ：

posted at 18:06:25

Juliaもあんまりでかい構造体（メンバ変数が60個くらい）だと計算遅くなるとかあるのかな

タグ：

posted at 18:03:59

@Ra_koyama この人自身が算数・数学を理解していないのでしょうね。
twitter.com/siawasensei/st... pic.twitter.com/oSPBw7p38b

タグ：

posted at 17:55:05

@Ra_koyama こんな教師の教わる子供がかわいそうです。
twitter.com/siawasensei/st...

タグ：

posted at 17:53:10

「自分は算数・数学が苦手なので、指導書に従っているだけ。是非については分かりません。」というならまだわかるよ。

この馬鹿教師は、「自分の教え方が優れている、掛け算の順序に文句言っている奴らは子供のことを考えていない」と思っているわけで、極めて悪質

twitter.com/siawasensei/st... pic.twitter.com/cnZGvs1klQ

タグ：

posted at 17:50:56

らじうむ小山_PPPMP @Ra_koyama

@sekibunnteisuu 引用ツイの「しき」とやら、理解不能でした。
よかったよ、小学生じゃなくて…

タグ：

posted at 17:47:12

馬鹿教師の実例
twitter.com/siawasensei/st... pic.twitter.com/GwS2fyzmbL

タグ：

posted at 17:45:06

twitter.com/juiceM_gHalf/s...
塾はまだ選択の余地があるけど、公立学校でこの手の馬鹿教師が佃煮にするほどいるのは、何とかならないものか・・・

タグ：

posted at 17:40:28

たややん⚖ @tayayan_ts

・floodgate2019~2020でR3800以上同士の対局のみ。
・36手目の局面まで、全ての指し手について評価値が±100以内となっている対局のみを抽出。
・24手目の時点で、手順が重複するものは排除

という形で作成した互角局面集です。ご活用いただければ幸いです。 twitter.com/yaneuraou/stat...

タグ：

posted at 17:38:45

zakki @k_matsuzaki

どこからともなくnanがやってくる。0除算かと思ったけど違った。

タグ：

posted at 17:34:10

michio inoue l MATLA @michio_MWJ

今日某所で実施した講演タイトル

”0 から始める MATLAB”

いやいやいや・・と思ってくれた方いらっしゃったかなー。

タグ：

posted at 17:21:43

#統計各分野の専門家は、社会的に重大な決断に関係している統計分析の結果が、データに基いたモデル選択によって行われている場合には、特別に運悪くデータが偏っていた可能性にも考慮して、リスクを下げる方策を提案する社会的責任があると思う。

各分野固有の専門知識は非常に重要。

タグ：統計

posted at 16:30:27

#統計続き↓ twitter.com/genkuroki/stat...

タグ：統計

posted at 16:20:55

#統計 KL情報量について学んで、KL情報量で未知の真の予測誤差を書けることを知り、さらにAICや交差検証について知った人が、AICや交差検証と未知の真の予測誤差が「ほぼ同じ」と誤解することは絶対に避けなければいけない。

漸近的にきれいに逆相関しているものを「ほぼ同じ」と思っちゃダメ。

タグ：統計

posted at 16:20:06

Masa Yamamoto予測誤差が大き @mshero_y

#統計統計学はお墨付きを得るための道具ではないです。

原理的にはギャンブルそのものだと思っておいた方がよいと思う。

ギャンブルを他人に勧める人はその人リスクについても正直に語らなければいけない。

タグ：統計

posted at 16:20:05

サンプルの偏りからはなかなか逃れられないかも。 twitter.com/genkuroki/stat...

タグ：

posted at 16:17:52

#統計これは別に情報量基準だけの問題ではなく、帰無仮説と対立仮説を比較する仮説検定でも同様の問題があります。

AICによるモデル選択とχ²検定はWilks' theoremを通して繋がっているので、これは当然。(モデル選択と仮説検定は無関係な別ものという考え方は誤り。すべてが地続きで繋がっている。)

タグ：統計

posted at 16:13:40

#統計

要するに運悪くサンプルが偏っているせいで予測誤差がものすごく大きくなるとそのモデルが選択され易くなる😱

これは情報量規準によるモデル選択を現実社会における政策に繋げる場合には真のリスクになる可能性があります。

しかし、この指摘をしている人を私以外に見たことがない。

タグ：統計

posted at 16:08:40

#統計 AICのような情報量規準が真の予測誤差と逆相関している場合には、サンプルが運悪く偏っていたせいで真の予測誤差がものすごく大きくなると、その予測誤差がものすごく大きくなった側が情報量規準でモデル選択されることになります。

タグ：統計

posted at 16:08:39

Masa Yamamoto予測誤差が大き @mshero_y

#Julia言語 #Jupyter #VSCode

サンプル動画がJulia kernelのJupyter notebookの実行だった。

Introducing the Jupyter Extension for VS Code
devblogs.microsoft.com/python/introdu... pic.twitter.com/lO6YjnlYLs

タグ： Julia言語 Jupyter VSCode

posted at 16:00:49

これ、そして次のもの、先生が非常に重要な事を再度記述されている。一致性を持たない（自分の解釈では一致に関して保証がない）場合でも、大小関係が意味をなす事。
だから計算できるわけ。
脳は真の分布を知らないけれど計算する。情報量基準があるかどうかはわからないけれど、ヒントになるのだ twitter.com/genkuroki/stat...

タグ：

posted at 15:57:33

#統計一致性を持たない推定量なのにAICなどの情報量規準が役に立つ理由は、その値そのものよりも、その値の大小関係が重要だからです。

しかし、一致性を持たない推定量の本性はイメージし難い。Wilks' theoremや真の予測誤差との逆相関などの諸々の事柄について知って、初めてイメージが湧く感じ。

タグ：統計

posted at 15:42:22

#統計 AICなどの情報量規準は未知の真の予測分布の期待汎化誤差の推定量だとみませるのですが、いわゆる「一致性」(サンプルサイズn→∞で未知の真の値に収束するという条件)を満たさない。

AICなどの情報量規準は一致性を満たさない推定量で役に立つものの例になっている。

しかし～続く

タグ：統計

posted at 15:39:18

Jan Vitek @j_v_66

To be presented at @splashcon done by Olivier Flückiger, Guido Chair, Ming-Ho Yee, Jan Jecmen, Jakob Hain. Real cool.

タグ：

posted at 15:37:32

Jan Vitek @j_v_66

Ř is a new JIT for the #rstat language. It features a cool optimisation technique contextual dispatch or CD. CD is inspired both by the work on SELF from the 80's and the #JuliaLang. It allows dispatching on any predicate chosen as relevant by the JIT. janvitek.org/pubs/oopsla20-...

タグ： JuliaLang rstat

posted at 15:36:34

あ〜る菊池誠(反緊縮)公式 @kikumaco

#統計たぶん、私以外に言っていないことだが、渡辺澄夫著『ベイズ統計の理論と方法』の非常に良いところは、未知の真の予測誤差とAICなどの情報量規準の漸近的な逆相関(相関係数-1‼️)についてきちんと定理の形で書いてあること。

私はその解説に大いに学ぶ所があった。

タグ：統計

posted at 15:36:09

K値的には今の状況はどう解釈されるのかな

タグ：

posted at 15:35:04

#統計ある条件のもとで、真の予測誤差の大小を推測するために使われるAICと真の予測誤差がきれいに逆相関するという数学的事実(ゆえにひっくり返せない事実)を初めて知った人は、「あれ？それで大丈夫なの？」と思わずにいられないと思う。

その辺について既出の以下のスレッドでも触れている。 twitter.com/genkuroki/stat...

タグ：統計

posted at 15:33:12

#統計 AIC関連スレッドの紹介

KL情報量で測った未知の真の予測誤差の(一致性のない)推定量としてAICは非常に有名だが、漸近的に相関係数-1で真の予測誤差とAIC(正確にはその差)が逆相関することはあまり知られていないと思う。

真の予測誤差とAICでは平均からの揺らぎの向きが正反対。 twitter.com/genkuroki/stat...

タグ：統計

posted at 15:29:02

#統計『統計学を哲学する』についてはこのツイートが連なる長大なスレッドが参考になると思います。 twitter.com/urat/status/13...

タグ：統計

posted at 14:37:47

マナマの生マナマコ @chor0sK

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

覚悟決めてpandasをやめてDataFrames.jlを使うことにしたところ、アレコレと苦労していたのが嘘みたいにラクになった。ありがとうjulia

タグ：

posted at 14:06:29

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

VS CodeのJupyter Notebookで

タグ：

posted at 13:50:48

おぉ！VS CodeでJuliaが動く！？
devblogs.microsoft.com/python/introdu...

タグ：

posted at 13:50:21

Shuhei Kadowaki @kdwkshh

Thanks for your great work, @code's team ! I'm very happy to see things happening in this direction along with Jupyter's philosophy.
Now we're looking forward to documentations so that we can enable even more fancier vscode functionalities within Julia notebooks ! twitter.com/davorabbit/sta...

タグ：

posted at 13:46:08

#統計 Kullback-Leibler情報量入門としても、赤池弘次さんの1980年の論説は最良のものだと思う。

www.jstage.jst.go.jp/article/butsur...
エントロピーとモデルの尤度
日本物理学会誌35巻(1980)7号

これに限らず、日本物理学会誌に載っている解説は勉強になるものが多い。学生時代には図書館でよく読んでいた。 pic.twitter.com/xEOuTF1Srk

タグ：統計

posted at 13:35:13

Yuki Nagai @cometscome_phys

juliahubってなんなんだろ。vscodeとかからクラウドでJuliaを実行できるらしい？

タグ：

posted at 13:25:34

#統計一般に「ダイバージェンス」という非常に一般的な場合の特別な場合として「Kullback-Leiblerダイバージェンス」と呼んでしまっている人達の多くは、KL情報量が特に基本的である理由になっているSanovの定理を知らないのではないか？

赤池弘次さんの論説もあまり読まれていない印象あり。

タグ：統計

posted at 13:18:39

ごまふあざらし(GomahuAzaras @MathSorcerer

#統計 KL情報量の日本語版ウィキペディアはSanovの定理に言及しておらず、非常によろしくない。

統計学での使い方は赤池弘次さんの1980年の論説

www.jstage.jst.go.jp/article/butsur...
エントロピーとモデルの尤度

を見れば分かります。そのp.610の右側で解説されていることが実質的にSanovの定理です。 twitter.com/import_godiva/... pic.twitter.com/R348hTEr2h

タグ：統計

posted at 13:13:32

ごまふあざらし(GomahuAzaras @MathSorcerer

PythonはJuliaのらいぶらりなので実質Julia（白目） twitter.com/kado_judo0312/...

タグ：

posted at 13:02:53

IRTools.jl と WebAssembly.jl から wasm ファイルをつくって wasm に格納されている関数の結果をブラウザで表示するデモを置きました。

github.com/terasakisatosh...

#JuliaLang
#Julia言語

タグ： JuliaLang Julia言語

posted at 12:51:23

#統計渡辺澄夫『ベイズ統計の理論と方法』を読むだけの力のある人達が、Wilks' theoremのような古典的な統計学の結果を知らないままであるとしたら、社会的に大きな損失が生まれる可能性があると思います。

それだけ優れた能力があるなら、以下のリンク先の計算例を見ればすぐに理解できるはず。 twitter.com/genkuroki/stat...

タグ：統計

posted at 12:23:06

ytb @ytb_at_twt

よくネット上で論理学の名を振り回して特定の政治的社会的文化的立場とかを擁護している人がいますが、自然言語においては、論理学よりも常識の方がよき導き手なんですよ。

タグ：

posted at 12:22:15

#統計 Wilks' theoremについては以下のリンク先のスレッドを参照。 twitter.com/genkuroki/stat...

タグ：統計

posted at 12:18:29

#統計パラメータ空間が包含関係の意味で小さくなっているだけの部分モデルに最良パラメータw₀が含まれる場合は、数理統計学における最重要な基本定理であるWilks' theoremの設定そのものであり、その場合にp.119の定理15を一般化しておくことは大事なことだと思われます。

タグ：統計

posted at 12:16:37

残り46件のツイートを見る

#統計さらに欲を言えば、p.119の定理15におけるL(w₀), L_n(w₀)をパラメータ数0のモデルの汎化誤差とWAICだと解釈し、その定理15をパラメータ空間が包含関係になっていて、小さな方のパラメータ空間にw₀が含まれる場合の汎化誤差の差とWAICの差の場合に一般化した場合も扱っておくべきです。

タグ：統計

posted at 12:16:37

#統計 AICの場合のパラメータ数に関する罰則項の2d=(モデルのパラメータ数の2倍)の一般化になっている4λ=(モデルの実対数閾値の4倍)が重要な役目を果たしていることがよくわかる。

AICやWAICによるモデル選択について鮮明なイメージを得るためにp.119の定理15のβ=1の場合の数値的確認は役に立ちます。

タグ：統計

posted at 12:09:51

あみあみ @amiami114114

赤線引いたり囲ったりしている部分以外も数学的にどうなの？という感じ。

そして子供の理解よりひたすら教師の権威を守ることに重点が置かれている授業。恐ろしすぎる。 twitter.com/OokuboTact/sta...

タグ：

posted at 12:09:28

#統計真の予測誤差とAICやWAICの逆相関(しかも漸近的に相関係数-1‼️)を意味する数学的定理があるにも関わらず、AICやWAICを使えばそれなりに高確率で予測誤差が小さいモデルの側を選択できる理由は、p.119の定理15のβ=1の場合の2n倍の右辺の4λが正の値になっているからです。

タグ：統計

posted at 12:06:45

#統計正則モデルの場合には、モデルのパラメータ数をdと書くと、λ=d/2なので、4λ=2dとなり、上の式の右辺の4λはちょうどAICを定義するときのパラメータ数による罰則項に一致することになります。

WAICではなく、AICも4λ=2dの場合の同様の結果(p.80の下から10行目)を満たしています。

タグ：統計

posted at 12:02:55

#統計 2nをかけた後のスケールは、統計学の世界でのχ²検定のスケールであり、伝統的にAICのスケールとしても使用されています。p.119の定理15のβ=1の場合の式の2n倍は

(2nG_n - 2nL(w₀)) - (2nW_n - 2nL_n(w₀)) = 4λ + o_P(1).

これによって双有理不変量の実対数閾値λの値も知ることができます！

タグ：統計

posted at 11:57:21

#統計私の経験では特にお勧めなのは、真の予測誤差とWAICが漸近的に相関係数-1で逆相関していることを意味するp.119の定理15のβ=1の場合数値的な確認を目標にすることです。

そのβ=1の式の両辺に2nをかけたものを数値的に確認するとよいです。続く

タグ：統計

posted at 11:57:21

#統計あと、途中の計算や証明を飛ばして読んでも、コンピュータを使える人なら自分でWAIC(W_n)やLOOCV(C_n)を自分で実装して計算できるように書いてあります。

具体的な計算例を1つも知らずに証明を読んでも無意味だと思うので、証明を読み始める前にコンピュータで計算できるようになっておくべき。

タグ：統計

posted at 11:57:20

#統計細かい計算や証明のフォローは上の②の後の③でよいと思う。

渡辺さんの本は数学的に難しい話をしている部分が多いのですが、それ以外によく宣伝されているダメな考え方への対策になっている解説も多数含まれており、そこから入ることができます。最初はそこを読むとよいと思う→①

タグ：統計

posted at 11:57:19

Riko Muranaka/村中璃子 @rikomrnk

#統計渡辺澄夫『ベイズ統計の理論と方法』の読み方①は

①頻度主義とベイズ主義を分けるダメな考え方の心の中からの排除

その次は

②自分でWAICやLOOCVをコンピュータ上で計算して、各種の定理を数値的に確認するという読み方

がお勧め。具体的にはp.119の定理15のβ=1の場合を確認するべき。続く

タグ：統計

posted at 11:57:18

換気は大事ですが話が少々的はずれに思う。同居家族に高リスクの人がいる場合はともかく、換気が必要なのは会社が学校、店舗などパブリックな場所です。1人暮らしや全員が一緒に食事したり寝たりしている家庭内でやたらと換気する必要性はありません。混んでいない屋外でのマスクと一緒で無意味。 twitter.com/nhk_news/statu...

タグ：

posted at 11:50:45

Hiroshi Shinaoka @HShinaoka

@ryos_physrockme 日、英、Juliaをまずは極めてみると良いと思います。

タグ：

posted at 10:54:14

峰　宗太郎 @minesoh

まぁばぶも同じような感じ👶よくあるんだけど、道ばたで飛んでる蛍を追いかけてたらなんかすごい遠くまできちゃったみたいな感じの…
#マシュマロを投げ合おう
 marshmallow-qa.com/messages/c6312... pic.twitter.com/07q4sFWUOM

タグ：マシュマロを投げ合おう

posted at 10:42:25

Julia News @julialang_news

I Gave a Talk on “Executing Categories” www.juliabloggers.com/i-gave-a-talk-... #juliabloggers

タグ： juliabloggers

posted at 10:41:00

日本評論社 @nippyo

『数学セミナー』12月号、本日発売です！
◉ここに注目！
第３波の到来と懸念される #新型コロナウイルスの拡大。コロナ禍での日常をどのように切り抜けていくか、数学科界隈の人々、主に数学者や学生に耳を傾けエッセイとしてまとめた、本誌９月号に続く総力特集！
#COVID19
www.nippyo.co.jp/shop/magazine/... pic.twitter.com/TpqYYYPXf5

タグ： COVID19 新型コロナウイルス

posted at 10:35:14

らぃおす @ryos_physrockme

どこかしらのタイミングで各方面の言語を（再も含めて）一気にそれなりに勉強したい（独・仏・中・露・C系・スクリプト系・Python・Julia）

ふと思ったことをパッと書き出せるくらいにはしておかないとだめな気がする

タグ：

posted at 10:32:35

#超算数

同じ本から
式への異常なこだわりがわかる。 pic.twitter.com/0ezgAy5l7j

タグ：超算数

posted at 10:28:22

PC Watch @pc_watch

Googleフォト、「高画質」写真/動画の“無料で容量無制限”を終了へ。2021年6月以降のアップロードが対象 pc.watch.impress.co.jp/docs/news/1288... pic.twitter.com/dO6nkEnzO7

タグ：

posted at 10:28:18

Shinichiro Hasegawa @shase428

統計学入門「主義」を心配するみなさまに / [pdf] watanabe-www.math.dis.titech.ac.jp/users/swatanab...

タグ：

posted at 10:21:36

#超算数

驚くべきTOSSの算数教育 pic.twitter.com/KYCmIAD7nK

タグ：超算数

posted at 10:20:34

#超算数

掛け順（固定強制）にだけ注目すると、筑波付属小とスウキョウキョウとTOSSは共通する。
でもチョー算数体質が圧倒的に強いのがTOSS。
チョー算数体質というのは、「教師の押し付け」絶対主義。
生徒の自由裁量をできるだけさせないようにする。

タグ：超算数

posted at 10:13:34

Eric Forgy @EricForgy

This is a great shoutout for #JuliaLang

devblogs.microsoft.com/python/introdu...

Going mainstream 👍

タグ： JuliaLang

posted at 09:44:17

ITmedia NEWS @itmedia_news

2000RT Googleフォトの容量無制限無料バックアップ、2021年5月末で終了 www.itmedia.co.jp/news/articles/...

タグ：

posted at 09:16:08

むううみん @muuumin20

昨晩、新しい記事を書いてます。#Julia言語

 muuuminsan.hatenablog.com/entry/2020/11/... twitter.com/muuumin20/stat...

タグ： Julia言語

posted at 08:15:02

dc1394 @dc1394

Intel製CPUに「消費電力の監視データ」から暗号化キーを解読される脆弱性が判明 - GIGAZINE
gigazine.net/news/20201111-...

タグ：

posted at 07:59:50

Rong Lu @davorabbit

🎉🥳We just released the new open sourced Jupyter extension to bring the power of @ProjectJupyter into @code! It comes with @pythonvscode for Python notebooks, but can also be installed standalone to work with other language kernels.
Check it out 👉
devblogs.microsoft.com/python/introdu...

タグ：

posted at 07:37:08

ITmedia NEWS @itmedia_news

Googleフォトの容量無制限無料バックアップ、2021年5月末で終了
www.itmedia.co.jp/news/articles/...

タグ：

posted at 07:05:03

すまほん!! @sm_hn

悲報……Googleフォト、「無料で無制限」を終了。 smhn.info/202011-google-...

タグ：

posted at 06:01:55

質問者2 @shinchanchi

安倍晋三氏「完全雇用に近い状況をつくった。事実上政策ターゲットに到達したと考えていい」岩田規久男先生のお姿も^_^ 名目GDP600兆円と賃金上昇の継続が更にあれば良かったが増税で邪魔した… / “安倍前首相が反論、物価上昇率2%「事実上到達した」：朝日新聞デジタル” htn.to/4nm8oga3P2

タグ：

posted at 05:41:20

Philip Zucker @SandMouth

[New Post] I Gave a Talk on "Executing Categories" #julialang #categorytheory www.philipzucker.com/i-gave-a-talk-...

タグ： categorytheory julialang

posted at 04:10:03

むううみん @muuumin20

新しい記事を書きました。Juliaがなぜ速いのかについて検討しています。
はてなブログに投稿しました #はてなブログ #Julia言語
Juliaの速さの核心に迫る〜インタプリタ、コンパイラ、JITコンパイラ〜 - SE教育パパむううみんのブログ
muuuminsan.hatenablog.com/entry/2020/11/...

タグ： Julia言語はてなブログ

posted at 02:40:35

シャプレー値は凸ゲームの空間の上で加法性と（置換についての不変性の意味での）対称性とあとDummyという弱い条件を課すと出てくるが、凸ゲームの空間はコンパクト凸集合の空間に比べたら遥かに小さいから納得が行くというもの。

タグ：

posted at 02:31:31

そこで、ハウスドルフ距離についての連続性と（集合和についての）加法性を課し、それに（等長変換についての不変性の意味での）対称性を加えると、Steiner点になる。

タグ：

posted at 02:26:58

つまり、（とりわけ凸）集合の何らかの意味での「中心」が欲しいわけだが、重心はハウスドルフ距離について連続ではないので、線形不等式の解集合なんかを考えているときには都合が悪い。

タグ：

posted at 02:24:44

ちなみについでだがSteiner点の一般のコンパクト凸集合Xについての定義は、任意の方向vについて内積vxをX上で最大化する点（集合）を取ってやって、vを単位球面上を動かして球面上の一様分布で最大化解の平均を取るというもの。一様分布はnon-atomicなので最大化点に多重性は問題にならない。

タグ：

posted at 02:18:20

ところで、多面体の端点の加重和を、それぞれの端点の外角を重みにして取ってやったものをSteiner点というんですが、凸ゲームのシャプレー値はコアのSteiner点なのだ。（ムダ知識）

タグ：

posted at 02:14:04

そこ突っ込みどころじゃない、と分かっていつつも、「絶滅してたと思われてた」に反応してしまう人 twitter.com/narita_yusuke/...

タグ：

posted at 02:05:19

牙龍一:脱財政再建！ @kiba_r

tricken（Tw以外の居場所は固定参 @tricken

この頃は、こんな事を言ってましたね

「通貨価値が高くなって破綻した国はありません。その逆は沢山」
「世界最大の対外債権国(日本)が財政破綻することはありえません」

実際は
通貨高はデフレ円高不況となるし
財政破綻に対外債権国とか関係ない

この頃は理解してなかったんですよ

タグ：

posted at 01:34:11

「2020年でJavaScript学ぶならきっとブラウザ向けJSガン無視していきなり初手node.jsがいいんじゃないかというメモ」をまとめました。 min.togetter.com/Hqz7ufB

タグ：

posted at 01:28:38

牙龍一:脱財政再建！ @kiba_r

その10年も前からインフレ目標までは財政支出と金融緩和すれば良いとリフレ派が言ってたのだけどね。

その頃の三橋氏黒歴史時代も知っておくと良いですよ。

／／…崩壊する世界、繁栄する日本三橋貴明
gamp.ameblo.jp/takaakimitsuha... twitter.com/mansaku_ikedo/...

タグ：

posted at 01:26:14

#統計教えている側はあまりにも素晴らしい結果を教えることになっているという事実に興奮を抑えられないのだが、それだと仕事にならないので心を平静に保ちながら講義をすることになる。

面白い話をするような時間的余裕は大抵ない。

タグ：統計

posted at 01:17:30

#統計そういう易しいが「実戦的な」計算をやらないと、

* Lagrangeの未定乗数法

や

* Jensenの不等式 (Gibbsの情報不等式を特殊な場合に含む)

などの

これこそ神！

と言えるような素晴らしい結果を大学1年のときにすでに習っていることに気付かずに終わる可能性が高い。

タグ：統計

posted at 01:17:30

#統計多くの場合に対数尤度函数の-1倍

-log L(p_1,…,p_r) = -Σ_{i=1}^r k_i log p_i + (定数略)

の方が扱いやすい。これを Σ_{i=1}^r p_i = 1 という条件のもとで最小化するには、Lagrangeの未定乗数法を使ったり、Gibbsの情報不等式を使えば簡単である。お好きな方法でどうぞ、という感じ。

タグ：統計

posted at 01:17:29