黒木玄 Gen Kuroki(@genkuroki)/2021年10月/Page 22

Do I know anyone interested in full-time or contract work using @JuliaLanguage? We're solving fascinating problems at @ToolpathLabs in computational geometry / optimization to automate programming for CNC milling machines. Small team, early days. DMs are open. #julialang

タグ： julialang

posted at 00:01:35

Avik Pal @avikpal1410

🚨New Blog Post on training Deep Equilibrium Models using #julialang + #sciml. Keep a lookout for some exciting upcoming work on faster training of DEQs. twitter.com/ChrisRackaucka... pic.twitter.com/PDvOGUeGU4

タグ： julialang sciml

posted at 01:13:05

Julia News @julialang_news

Composability in Julia: Implementing Deep Equilibrium Models via Neural ODEs www.juliabloggers.com/composability-... #juliabloggers

タグ： juliabloggers

posted at 03:19:59

JuliaHub @JuliaHub_Inc

Transfer Learning with Flux: A general guide to how transfer learning works in the Flux ecosystem. fluxml.ai/tutorials/2020...
#julialang #flux #MachineLearning

タグ： flux julialang MachineLearning

posted at 03:29:40

tamas nagy @tlngy

Very satisfying to close a nearly 4 year old issue against OMETIFF.jl. It's a long time coming! github.com/tlnagy/OMETIFF...

It adds all the fancy new features that I've implemented over at TiffImages.jl.

Coming soon to a #julialang install near you 🤓🔬 pic.twitter.com/pYnIrEhamy

タグ： julialang

posted at 04:23:40

kazuPC @kazuPC9

Win11最新のアプデと最新チップドライバでL3問題解決した
SSはメモリープロファイル無しのCPUは5950XでECOモード pic.twitter.com/yLwrol4wmG

タグ：

posted at 05:37:21

非公開

タグ：

posted at xx:xx:xx

もりちゃん @morichanemorich

飯田泰之さんも指摘してたけど実は結構重要な政策。元々ある政策なんだから復活させれば良いだけ。地方は車の依存度が高いので生活に密接してる話。そもそもガソリンの税金は二重取りと言う事もあって高すぎる。 twitter.com/tamakiyuichiro...

タグ：

posted at 06:57:25

富士見坂 @Te393098

小坪遊　Yu Kotsubo（めったに @SciKotz

文学国語と論理国語に関する新井紀子教授の発言
「ふつうに文科省に聞けばわかることを、なぜ取材もしないで騒いでいるのか理解に苦しむ
増単も減単も文科省の但し書きの範囲内でできます（ああ、もしかして、これがちゃんと読めるかどうかで、論理的度が分かれるのか？）」
twitter.com/Tei393098/stat...

タグ：

posted at 08:09:15

「現地を悩ませたアフリカマイマイだが、日本円にして数十億円を投じた大規模な駆除プログラムが功を奏し、フロリダ州の農業・消費者サービス局は10月上旬、州内での根絶を宣言」こ、これはすごい。探知犬も活躍したそうです。資料を改めて集めてみないと。 #外来種
 news.yahoo.co.jp/articles/88c68...

タグ：外来種

posted at 10:16:18

#統計「算術平均 vs. 幾何平均」という見方に寄せて説明すること自体がミスリーディングかも。

Σ p(x) log p(x) は log p(x) の分布 p(x) に関する期待値。

私の実力だと、それを Π p(x)^{p(x)} の対数と見ることにどういうメリットがあるのかが不明のよくない説明の仕方だと思えました。 twitter.com/daiti_m/status...

タグ：統計

posted at 10:23:47

#統計もっとよく分からなかったのは、

p(y|x) = 0.01, p(x) = 0.5 のときに、それらの積 p(x,y)=p(y|x)p(x) を全体の2乗根の2乗に書き直すことにどういう御利益があるか

について。

単に「(p(y|x) + p(x))/2 を考えても意味がない」と言うだけではダメなのかな？

宣伝に続く。 twitter.com/daiti_m/status...

タグ：統計

posted at 10:23:48

#統計

 genkuroki.github.io/documents/2016...
Kullback-Leibler情報量とSanovの定理

KL情報量≥0は、固定された分布q(x)と可変な分布p(x)について

-Σq(x) log p(x) = (log p(x)のq(x)に関する期待値)が最小になることとp=qは同値

を意味。上のノートには関連の易しい話が書いてある。統計力学との関係を含む。

タグ：統計

posted at 10:23:48

とある旅人（とあるヒモ） @toaruhimo

#統計さらにおまけ情報

相加相乗平均の不等式は高校数学の花形の1つだと思うのですが、

　KL情報量のSanovの定理と統計力学の関係

という視点から見直すと、実はガンマ分布が相加相乗平均の不等式の話の発展の話題になっていることが分かります。 twitter.com/genkuroki/stat...

タグ：統計

posted at 10:33:59

早くここにマスカットを加えてあげたい
#パピコ pic.twitter.com/bhEKuCt60V

タグ：パピコ

posted at 10:40:18

Mうら @tchaikovsky1026

結局のところ、
「なんのために平均するのか」
「その平均になんの意味があるのか」
の理屈があればどんな平均でも良い。
(逆に、それ以上の意味はない。) twitter.com/genkuroki/stat...

タグ：

posted at 10:40:42

#統計 -Σ p(x) log p(x) 型の式を得る方法の1つは、Σ k_i = n で k_i/n = p_i を固定するときの、

n!/(k_1!…k_r!) = exp(n S + o(n))

のSの部分を求めること。Stirlingの公式を使う。答えは

S = -Σ p_i log p_i.

Stirlingの公式 k! ≈ kᵏe⁻ᵏ√(2πk)の kᵏ の部分からこの形が出て来る。

タグ：統計

posted at 10:53:42

非公開

タグ：

posted at xx:xx:xx

虚無猫 @mahihi

これは正直よくわからない pic.twitter.com/1l77BxS0lk

タグ：

posted at 11:11:13

#統計続き。その場合に S = -Σ p_i log p_i は

n!/(k_1!…k_r!)のn乗根

にStirlingの公式を適用すると分母に現れる

p_1^{p_1}… p_r^{p_r}

という因子の対数として得られるのですが、これは「幾何平均」として出て来るのではなく、漸近挙動の主要因子として出て来る。

タグ：統計

posted at 11:22:02

#統計既出の genkuroki.github.io/documents/2016... の第10節では-Σ p_i log p_iの別解釈が紹介。確率p_iでi番目の文字が現れるとき、それをb種の文字を使った長さℓ_iの符号で可逆に符号化するならば、

Σ p_i ℓ_i ≥ -Σ p_i log_b p_i.

右辺はMcmillanの不等式とKL情報量≥0から得られる。

タグ：統計

posted at 11:33:04

#統計不等式の左辺の Σ p_i ℓ_i は符号長の期待値なので、上の不等式は符号長の期待値の下界として、Shannon情報量 -Σ p_i log_b p_i が取れることを意味しています。可逆圧縮の確率論的な限界を与えている。この場合も「幾何平均」という見方から出て来たようには私には見えない。

タグ：統計

posted at 11:37:37

虚無猫 @mahihi

@misogorikun ここで毛繕いしてなんか変な動きするの… pic.twitter.com/YbhP8sEihN

タグ：

posted at 11:57:48

このタイミングでiOS14→15のアップデートを適用したのは危険だったか？

タグ：

posted at 12:16:57

すぐ使いたい。

タグ：

posted at 12:17:14

アップデート無事におわた。

微妙に頭痛がしていて自分の側の具合がちょっといまいち。

タグ：

posted at 12:55:41

週刊将棋 @weekly_shogi

ごまふあざらし(GomahuAzaras @MathSorcerer

見本出来！

週刊将棋 10月号 pic.twitter.com/hOLg4yRzbK

タグ：

posted at 13:08:00

github.com/JuliaLang/juli...

find all 関数速くなるよって話

タグ：

posted at 13:31:15

Tom Kwong @tomkwong

ハジアメリカのお父さん in @haj_in_sf

join('🍇':'🍓', ' ') #😋

#julialang

タグ： julialang

posted at 14:04:59

どうしても数学を教えたい先生、ポルノ動画サイトのPornhubに数学授業の動画を200件以上アップロードする。ポルノの要素は一つもなく、他の動画に比べてかなり異色なのにこれがかなり受けているようで、普通に収益数千万円以上出ている模様。

この発送はなかった!

melmagazine.com/en-us/story/ma...

タグ：

posted at 15:01:21

NickiJingles @nickijingles

@tomkwong I can’t tell you how happy emojicode makes me! #julialang

タグ： julialang

posted at 15:02:35

穂坂繭 @oZv4NRpHzU7Z1FB

今you tubeつけたら泉美ちゃんの隣に先崎がいてびっくり😳 twitter.com/mura_koji/stat...

タグ：

posted at 15:08:50

Julia Bloggers @juliabloggers

New post: DataFrames.jl training: implementing cross validation - www.juliabloggers.com/dataframes-jl-... #julialang

タグ： julialang

posted at 15:32:26

IDEAFUL @ideafuls

腰をかがめることなく苗を植えることができる機器。これは一見地味だけど、物凄いイノベーションではないでしょうか？最新のテクノロジーはきらきらした未来ばかりを向きがちだけど、なかなか目が向かない場所にこそ、アイデアの力が必要だと感じます。www.linkedin.com/posts/pedro-ra... pic.twitter.com/aSPfYCHgfk

タグ：

posted at 15:44:51

テキスト冒頭bot @beginoftext

われわれは日常多くの統計 statistcs あるいは統計的資料 statistical dataと呼ばれるものに接している。たとえば、新聞、雑誌などには、人口、工業生産額、交通事故の件数等々…
―竹内啓(1963)『数理統計学』
www.amazon.co.jp/gp/product/449...

タグ：

posted at 16:04:25

虚無猫 @mahihi

めっちゃこっち見るな pic.twitter.com/5qIpndrk5F

タグ：

posted at 16:41:45

#Julia言語自前で定義のタイプの表示のされ方を自分で設定するには

Base. show(io::IO, x::MyType)
Base. show(io::IO, ::MIME"plain/text", x::MyType)

を定義するとよい。

この辺は多重ディスパッチの気軽さ。

「表示の仕方をどのクラスで定義するか」のように考える必要がない。 pic.twitter.com/qXMoU3kNEK

タグ： Julia言語

posted at 16:44:49

#Julia言語 Base. show(io::IO, x)はBaseで定義されている函数だが、そこに自前定義の型を扱うメソッドを自由に追加できる。

Juliaでは函数はメソッド(計算法)の集まり。メソッドは函数に含まれ、誰でも自分で定義した型を扱うメソッド(方法)を自由に追加できる。

タグ： Julia言語

posted at 16:49:56

小林泉美（囲碁棋士） @cho_kobayashi

＃超算数

〇をもらう必要はない。
堂々とバツになるべき。
バツになったことは喜ぶべきこと。

この問題で教師の想定した式（が何かよく分からんが）を書いて〇になった場合、教わったやり方を覚えただけで、理解していない可能性もある。 twitter.com/kn_jr615/statu...

タグ：超算数

posted at 16:51:40

豪華ゲスト登場✨
本日初の大きな拍手です👏
youtu.be/cFx7eAJOcu0
#謝依旻七段 #日本棋院チャンネル pic.twitter.com/jLlSaebH1p

タグ：日本棋院チャンネル謝依旻七段

posted at 16:52:01

#Julia言語を使ってみる御利益の1つに「クラスベースのOOPは無くてもよい」ということを具体的に納得できるということもあると思う。

多重ディスパッチでエコシステムが作られていると、他人が書いたコードに変更を要求することなく、自分のために拡張して利用し易い。

タグ： Julia言語

posted at 16:52:48

こなみひでお @konamih

もしも藤原氏の言うように欧米の「論理と合理」が誤った行動原理であるなら，どうして彼らが科学技術を維持して，日本が一人負けの状況になったのか説明できません。この人が言う非西欧的価値観は科学技術を発展させるのでしょうか。

タグ：

posted at 16:55:42

yotuna @yoohinatsu

タグ：ひし形三角形台形小学5年生小学生式教えてください数学算数面積面積の求め方

面積の求め方、式が違うらしいけど、どこが違うのかわかりません(T_T)
#算数　 #小学生　 #小学5年生　 #面積
 #面積の求め方　 #三角形　 #台形　 #ひし形　 #式　 #数学　 #教えてください pic.twitter.com/OCm967KMql

posted at 17:02:57

#統計確率論・統計学・統計力学などで対数が出て来易い1つの理由は、何らかの意味での「系のサイズ」をλと書くとき、

exp(λS+ o(λ)) as λ→∞ 型の漸近挙動

がよく出て来ることです。確率論での大偏差値原理はもろにそうだし、「エントロピー」や「情報量」の類はもろにこのSの部分として出て来る。

タグ：統計

posted at 17:19:47

#統計 exp(λS+ o(λ)) as λ→∞ 型の漸近挙動を持つ量の対数のλ分の1のλ→∞での極限がSなので、λが大きなときのその量の対数はλSで近似される。

このスタイルで対数が使われる重要な場面は非常に多い。

タグ：統計

posted at 17:19:48

#統計そういうことがあまりにも重要なので、大学入試問題になって、さらに高校の教科書でも採用された問題がある。

添付画像の問題は、実質的に、

(1+1/n)(1+2/n)…(1+n/n) = exp(nS + o(n))

を満たすSを求める問題になっている。Stirlingの公式を使えば易しい。

kubojie.net/PDF/titech1968... pic.twitter.com/U4XVaou1cA

タグ：統計

posted at 17:36:54

#統計これ、高校の教科書の練習問題なので、高校数学の範囲内で解けます。1/nをn乗根内部に入れて、全体の対数を取ってから極限を取ると、区分求積法で積分に化けます。

こんな所にもexp(nS+o(n))型の漸近挙動が出て来ている。

Stirlingの公式を使えばo(n)の部分もよく分かる。 pic.twitter.com/rHsPvstcBq

タグ：統計

posted at 17:44:27

#統計上で示したことは、「エントロピー」や「情報量」が出て来る仕組みの数学的なトイモデルがきちんと高校の教科書でも紹介されているという事実です。

我々の社会の力の一端がこういう所に現れているわけで、我々は誇ってよいことだと思います。

タグ：統計

posted at 17:46:49

この写真、めちゃくちゃイイ！ twitter.com/mahihi/status/...

タグ：

posted at 17:53:28

#統計ゆえに、Σ q_i = Σ p_i = 1, Σ k_i = n, k_i/n = p_i = (一定) の条件のもとで、

n!/(k_1!…k_r!) q_1^{k_1}…q_r^{k_r} = exp(-nD+o(n))

を満たすDが

D = Σ q_i log(q_i/p_i) (= KL情報量❗️)

になることの証明は、日本社会においては高校数学レベルです‼️

タグ：統計

posted at 18:02:42

アルトゥル @ArturGalata

日本にドーナツ型のラムネあるじゃん。ぴーぴー音がでるやつ。あれ、すごく面白いなぁって思ったからラトビアに帰るときに当時6歳の弟へお土産で買って行ったんだけど、うっかり音が鳴るっていう説明するの忘れてて、気がついたら普通に無音でバリバリ全部食われてた時の兄の気持ちを述べよ。

タグ：

posted at 18:10:17

#統計添付画像は

www.jstage.jst.go.jp/article/butsur...
エントロピーとモデルの尤度(<講座>物理学周辺の確率統計)
赤池弘次
1980

より。赤池さんはStirlingの公式で多項分布の確率の対数の漸近挙動の主要項を手際よく得ている。 twitter.com/genkuroki/stat... pic.twitter.com/IPaDLlwNje

タグ：統計

posted at 18:12:25

Kuu @Fumiya_Kume

せっかく Google Drive 使ってるなら、 Docs, Slide と相性の良い Google Drawing がオススメ。

画面遷移図とか、ビジネスロジックフロー図も書ける。

さらに、後で書いた図をアップデートした時に参照元から動的にアップデートできる。 twitter.com/yamataku_init/...

タグ：

posted at 18:21:19

Kevin M Moerman ( @KMMoerman

Learning more @JuliaLanguage so gave @francescverdugo et al.'s Gridap (a Julia finite element library) another spin for hyperelastic simulations. Below is an animation created with the fantastic visualization library @MakiePlots pic.twitter.com/rkEzjmZXp6

タグ：

posted at 18:40:03

Kevin M Moerman ( @KMMoerman

前野［いろもの物理学者］昌弘 @irobutsu

Look at how beautiful the constitutive and finite equations look with Gridap @JuliaLanguage pic.twitter.com/sKzrLf5kt6

タグ：

posted at 18:40:04

祥太(8.12 C102 1日目東ヌ4 @shota_

今日の出前授業で撮った、液体窒素で冷やされたゴムボールを机面に落下させたところのスロー撮影（iphone12 miniによる）。内部がほぼ真空になっているので内側へ崩れ落ちる感じで割れてる。 pic.twitter.com/0rNCKVz70x

タグ：

posted at 18:42:26

祥太(8.12 C102 1日目東ヌ4 @shota_

iPhoneで音楽を聴きながらTwitterやってて再生が止まる人、ここをOFFにするといいよ。 pic.twitter.com/Na3VpCuMEt

タグ：

posted at 18:47:38

この画面の出し方 pic.twitter.com/NAoYrdNG9A

タグ：

posted at 18:50:56

#統計統計学用語で検索すると、ひと月後の統計検定に向けてのラストスパートの様子が見える。

www.toukei-kentei.jp

タグ：統計

posted at 18:51:15

ARIA @aririria_art

玉木雄一郎（国民民主党代表） @tamakiyuichiro

色鉛筆でコカ・コーラ描きました✏️
沢山の方に見て欲しいです！！ pic.twitter.com/tivYoYyRsR

タグ：

posted at 19:14:06

今のガソリン価格の高騰に臨機応変に対応しなくてはなりません。特に車に依存せざるを得ない地方ほど影響が深刻です。昨日、追加公約として決定、発表しました。 twitter.com/iida_yasuyuki/...

タグ：

posted at 19:15:57

ARIA @aririria_art

こちらが別角度からの動画です！
ちゃんと描いてますっ！！☺️ pic.twitter.com/d9GpchRbxy

タグ：

posted at 19:35:26

yotuna @yoohinatsu

@do_dyb 昨日、12×8÷2で提出したらダメだったので、直してこれで出してダメだったそうなのですが、式の間違いってことですか？　8×12÷2だけでOKってことですか???　なんどもすみません（汗）

タグ：

posted at 20:13:55

#超算数
 twitter.com/kn_jr615/statu...

単純な採点ミスだったようです。早めにこの報告がなされて

「バツは当然」という人が吹き上がってを梯子を外される

なんてことがなくて、超算数擁護勢はホッとしましたね^^

タグ：超算数

posted at 21:15:55

#超算数

私は今回の採点を見て、「なんだこれは！？」と驚き呆れるでもなく、憤慨するでもなく

「ああまたか」と思っちゃいましたｗ

タグ：超算数

posted at 21:16:58

#超算数　この採点に一部教員が賛同しているんだよ。

twitter.com/ararekeeen/sta...

今回の

45人全員が、7人掛けの椅子に座れるには椅子が何客あればいいか？（数字はテキトー

これを45÷7＝6あまり3　答え7脚　

で✖

これが小学校算数教育界で妥当な採点なのか、採点ミスかなんて

わかる訳ないｗ

タグ：超算数

posted at 21:29:47

にじいろ @beingiscare

ハジアメリカのお父さん in @haj_in_sf

中2に性教育講演。この学校では初の取り組みだそうで。学年の先生が声をあげ、それに周りの先生が賛同して実現。学校で新しいことを始めるには、この両方が必要。今日はいろんな先生とお話したけど、いい先生、いい学校ということがよく伝わった。もちろん生徒も。ほっこり気分で帰宅😊

タグ：

posted at 21:47:01

そしてまた誤字脱字がｗ
発送→発想ですな。送っちゃだめだ、送っちゃ苦笑

タグ：

posted at 22:12:24

吉田弘幸 @y__hiroyuki

なんで教育を充実させて，科学技術を振興させて，豊かな国を創ろうと思わないのだろう。

タグ：

posted at 22:23:28

Gabriel D Weymouth @gabrielweymouth

New Data-Driven Geometric MultiGrid paper (and code) is now available! The method 𝐭𝐫𝐢𝐩𝐥𝐞𝐬 the speed of the expensive pressure solve in CFD simulations by optimizing the solver based on example data.
physics.paperswithcode.com/paper/data-dri...
The gif shows one pressure and residual test case pic.twitter.com/cHlLEBvFFI

タグ：

posted at 23:04:25

Gabriel D Weymouth @gabrielweymouth