黒木玄 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 を見て下さい。
2021年10月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
🚨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
posted at 01:13:05
Composability in Julia: Implementing Deep Equilibrium Models via Neural ODEs www.juliabloggers.com/composability-... #juliabloggers
タグ: juliabloggers
posted at 03:19:59
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
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
Win11最新のアプデと最新チップドライバでL3問題解決した
SSはメモリープロファイル無しのCPUは5950XでECOモード pic.twitter.com/yLwrol4wmG
タグ:
posted at 05:37:21
非公開
タグ:
posted at xx:xx:xx
飯田泰之さんも指摘してたけど実は結構重要な政策。元々ある政策なんだから復活させれば良いだけ。地方は車の依存度が高いので生活に密接してる話。そもそもガソリンの税金は二重取りと言う事もあって高すぎる。 twitter.com/tamakiyuichiro...
タグ:
posted at 06:57:25
文学国語と論理国語に関する新井紀子教授の発言
「ふつうに文科省に聞けばわかることを、なぜ取材もしないで騒いでいるのか理解に苦しむ
増単も減単も文科省の但し書きの範囲内でできます(ああ、もしかして、これがちゃんと読めるかどうかで、論理的度が分かれるのか?)」
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
#統計 さらにおまけ情報
相加相乗平均の不等式は高校数学の花形の1つだと思うのですが、
KL情報量のSanovの定理と統計力学の関係
という視点から見直すと、実はガンマ分布が相加相乗平均の不等式の話の発展の話題になっていることが分かります。 twitter.com/genkuroki/stat...
タグ: 統計
posted at 10:33:59
結局のところ、
「なんのために平均するのか」
「その平均になんの意味があるのか」
の理屈があればどんな平均でも良い。
(逆に、それ以上の意味はない。) twitter.com/genkuroki/stat...
タグ:
posted at 10:40:42
非公開
タグ:
posted at xx:xx:xx
#統計 既出の 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
ごまふあざらし(GomahuAzaras @MathSorcerer
github.com/JuliaLang/juli...
find all 関数速くなるよって話
タグ:
posted at 13:31:15
どうしても数学を教えたい先生、ポルノ動画サイトのPornhubに数学授業の動画を200件以上アップロードする。ポルノの要素は一つもなく、他の動画に比べてかなり異色なのにこれがかなり受けているようで、普通に収益数千万円以上出ている模様。
この発送はなかった!
melmagazine.com/en-us/story/ma...
タグ:
posted at 15:01:21
@tomkwong I can’t tell you how happy emojicode makes me! #julialang
タグ: julialang
posted at 15:02:35
New post: DataFrames.jl training: implementing cross validation - www.juliabloggers.com/dataframes-jl-... #julialang
タグ: julialang
posted at 15:32:26
腰をかがめることなく苗を植えることができる機器。これは一見地味だけど、物凄いイノベーションではないでしょうか?最新のテクノロジーはきらきらした未来ばかりを向きがちだけど、なかなか目が向かない場所にこそ、アイデアの力が必要だと感じます。www.linkedin.com/posts/pedro-ra... pic.twitter.com/aSPfYCHgfk
タグ:
posted at 15:44:51
われわれは日常多くの統計 statistcs あるいは統計的資料 statistical dataと呼ばれるものに接している。たとえば、新聞、雑誌などには、人口、工業生産額、交通事故の件数等々…
―竹内啓(1963)『数理統計学』
www.amazon.co.jp/gp/product/449...
タグ:
posted at 16:04:25
#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
#超算数
〇をもらう必要はない。
堂々とバツになるべき。
バツになったことは喜ぶべきこと。
この問題で教師の想定した式(が何かよく分からんが)を書いて〇になった場合、教わったやり方を覚えただけで、理解していない可能性もある。 twitter.com/kn_jr615/statu...
タグ: 超算数
posted at 16:51:40
豪華ゲスト登場✨
本日初の大きな拍手です👏
youtu.be/cFx7eAJOcu0
#謝依旻七段 #日本棋院チャンネル pic.twitter.com/jLlSaebH1p
posted at 16:52:01
もしも藤原氏の言うように欧米の「論理と合理」が誤った行動原理であるなら,どうして彼らが科学技術を維持して,日本が一人負けの状況になったのか説明できません。この人が言う非西欧的価値観は科学技術を発展させるのでしょうか。
タグ:
posted at 16:55:42
#統計 そういうことがあまりにも重要なので、大学入試問題になって、さらに高校の教科書でも採用された問題がある。
添付画像の問題は、実質的に、
(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
日本にドーナツ型のラムネあるじゃん。ぴーぴー音がでるやつ。あれ、すごく面白いなぁって思ったからラトビアに帰るときに当時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
せっかく Google Drive 使ってるなら、 Docs, Slide と相性の良い Google Drawing がオススメ。
画面遷移図とか、ビジネスロジックフロー図も書ける。
さらに、後で書いた図をアップデートした時に参照元から動的にアップデートできる。 twitter.com/yamataku_init/...
タグ:
posted at 18:21:19
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
Look at how beautiful the constitutive and finite equations look with Gridap @JuliaLanguage pic.twitter.com/sKzrLf5kt6
タグ:
posted at 18:40:04
今日の出前授業で撮った、液体窒素で冷やされたゴムボールを机面に落下させたところのスロー撮影(iphone12 miniによる)。内部がほぼ真空になっているので内側へ崩れ落ちる感じで割れてる。 pic.twitter.com/0rNCKVz70x
タグ:
posted at 18:42:26
玉木雄一郎(国民民主党代表) @tamakiyuichiro
今のガソリン価格の高騰に臨機応変に対応しなくてはなりません。特に車に依存せざるを得ない地方ほど影響が深刻です。昨日、追加公約として決定、発表しました。 twitter.com/iida_yasuyuki/...
タグ:
posted at 19:15:57
#超算数
twitter.com/kn_jr615/statu...
単純な採点ミスだったようです。早めにこの報告がなされて
「バツは当然」という人が吹き上がってを梯子を外される
なんてことがなくて、超算数擁護勢はホッとしましたね^^
タグ: 超算数
posted at 21:15:55
#超算数 この採点に一部教員が賛同しているんだよ。
twitter.com/ararekeeen/sta...
今回の
45人全員が、7人掛けの椅子に座れるには椅子が何客あればいいか?(数字はテキトー
これを45÷7=6あまり3 答え7脚
で✖
これが小学校算数教育界で妥当な採点なのか、採点ミスかなんて
わかる訳ないw
タグ: 超算数
posted at 21:29:47
中2に性教育講演。この学校では初の取り組みだそうで。学年の先生が声をあげ、それに周りの先生が賛同して実現。学校で新しいことを始めるには、この両方が必要。今日はいろんな先生とお話したけど、いい先生、いい学校ということがよく伝わった。もちろん生徒も。ほっこり気分で帰宅😊
タグ:
posted at 21:47:01
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
The approach makes heavy use of @JuliaLanguage: Simulations are in WaterLily github.com/weymouth/Water..., optimization using Optim.jl github.com/JuliaNLSolvers... and Automatic Differentiation.
Tying this altogether made it easy to train and test the method across a variety of cases: pic.twitter.com/yBeLQIsbbP
タグ:
posted at 23:04:26