黒木玄 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 を見て下さい。
2020年06月30日(火)
この「お話」-「まず主観としてのバイアスがpriorとして積極的に表現できてデータで更新するのがベイズ統計のよいところ」という修辞をunlearnするのは自分的には結構大変(妨げ)だったので、入門者にははじめから遠ざけたほうがよいのではと非専門ながら思っているのですが。
twitter.com/genkuroki/stat...
タグ:
posted at 00:22:05
最近学んだこと:単位開円板の正則関数であって、単位閉円板でC∞級、しかし単位円周上のいかなる点についてもその点を超えて解析接続されないものが存在する。 en.wikipedia.org/wiki/Non-analy... を参考にして Σe^(-2^(n/2))z^(2^n) という例を作った。同趣旨の例がRemmertの本(GTM 172)にも載っていた。
タグ:
posted at 00:24:03
@sekibunnteisuu @golgo_sardine @yoshikawanori #超算数 #掛算 くもん出版(公文)の問題集に
5×6 の答えを求めるときに正しいのは 5+5+5+5+5+5 のみが正解にしているものがあるらしいです。
日本で算数教育に関わっている人はチョー算数をどこかで勉強したことがある人である場合が多くて、こういうことに成りがちなのだと思います。 twitter.com/sunchanuiguru/... pic.twitter.com/dRKCneug7a
posted at 00:28:58
#統計 何であろうが、統計学ではデータが運悪く偏っているせいで統計分析の結果が現実離れしたものになるリスクを扱う必要があります。これが統計学でデータを確率変数扱いする理由。
ベイズでもデータをあらわに確率変数扱いしておかないとまずい。そうしないと、ミスリーディングになる。 twitter.com/mmsaito1987/st...
タグ: 統計
posted at 00:58:03
ごまふあざらし(GomahuAzaras @MathSorcerer
統計のレクチャー,二項分布の時にベータ関数も紹介して欲しいし,ポアソン分布扱う時ガンマ関数も紹介して欲しい(適当)
タグ:
posted at 01:02:32
#COVID19 message for #programmers : pic.twitter.com/tmGeMU0xq1
タグ: COVID19 programmers
posted at 01:20:27
king-biscuit氏は以前からフォローしていたのだけど、今日、中の人がどなたなのかが分かって驚いています。と同時に、腑に落ちるところもありました。
同じ思いの人がたくさんいる模様
タグ:
posted at 01:32:21
The meaning of functions in Julia www.juliabloggers.com/the-meaning-of... #juliabloggers
タグ: juliabloggers
posted at 01:47:32
Solving Sicherman dice puzzle using DataFrames.jl www.juliabloggers.com/solving-sicher... #juliabloggers
タグ: juliabloggers
posted at 01:47:32
Make your Julia package in 10 minutes www.juliabloggers.com/make-your-juli... #juliabloggers
タグ: juliabloggers
posted at 01:47:32
#Julia言語 でのデータフレームの取り扱いをパズルを例に解説。
Juliaのコードに対応するPythonとRのコードも載っているので、PythonまたはRのユーザーも楽しめるかも。
Solving Sicherman dice puzzle using DataFrames.jl | Blog by Bogumił Kamiński bkamins.github.io/julialang/2020...
タグ: Julia言語
posted at 01:56:45
須山敦志 Suyama Atsushi @sammy_suyama
↓基本的に「事前分布」や「ベイズの定理」といったわりとどうでもいい概念を単独で題材にして色々と哲学を語るのは怪しいものが多い傾向にありますね。
タグ:
posted at 03:22:07
須山敦志 Suyama Atsushi @sammy_suyama
「ベイズの定理により事前分布が事後分布に更新される!」みたいな言い方も、実装時にミスが起こりやすい考え方のひとつですね。逐次学習みたいな概念は、同時分布で定義されたモデル上の条件付き分布の違いに過ぎないと考えた方がすっきり理解できます。
タグ:
posted at 03:29:21
A really in-depth #JuliaLang for Pythonistas Colab notebook by @aureliengeron. The notebook will install the Julia environment and @GoogleColab provides free GPUs!
colab.research.google.com/github/ageron/... pic.twitter.com/rilOxhvGV8
タグ: JuliaLang
posted at 05:12:02
"Computational topology and Boolean operations with Juliasparse arrays"
Prsented by Alberto Paoluzzi
Livestream: www.youtube.com/watch?v=N7YHAc...
Abstract: pretalx.com/juliacon2019/t...
#JuliaLang #JuliaCon
posted at 05:14:00
RK法とパデ近似の話が載ってる. 後半には遅延微分方程式にRK法を適用したときの安定性の話も載ってる(読んでないけど).
小藤俊幸. (1997). Runge-Kutta 法の安定性解析と連分数展開
www.kurims.kyoto-u.ac.jp/~kyodo/kokyuro...
タグ:
posted at 05:42:02
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julialang 1.5.0-rc1 for armv7-a pic.twitter.com/qcryw0Pg7E
タグ: Julialang
posted at 07:03:23
ごまふあざらし(GomahuAzaras @MathSorcerer
I need help honesty
github.com/Julia-Embedded...
タグ:
posted at 07:03:23
This is 100% #JuliaLang code. It trains a dense neural network using the #Keras Python library. If you replace the first 3 lines with "import tensorflow as tf; from tensorflow import keras", you can run the exact same code in Python. Talk about excellent interoperability! 🤝 pic.twitter.com/Umf7zL6uAU
posted at 08:49:41
アンちゃんを見習って Docker で python, Julia, R を Jupyter Lab 上で動かすコンテナ作りをやってみました〜😊
こちらの Qiita の記事を参考にしてみました✨
qiita.com/Esfahan/items/... twitter.com/Bayesian_ANN/s...
タグ:
posted at 09:41:43
@ProfMatsuoka We'd love to see better Julia support on Fugaku. We've done lots of work to get Julia to work better in HPC environments. Julia's aarch64 support is also quite good these days. If there's Julia projects on Fugaku, would love to know about it and help out where we can.
タグ:
posted at 10:57:15
非公開
タグ:
posted at xx:xx:xx
Satoshi Matsuoka @ProfMatsuoka
One thing possible is to have research collaboration with Riken R-CCS, esp. our programming and compiler teams, thereby signing an MOU that will allow you to access our Fujitsu&HPE A64FX testbeds. Pls contact me directly if you are interested. twitter.com/kenofischer/st...
タグ:
posted at 11:09:58
九州大学のスパコンITOだとGeneric Linux Binaries for x86 (64bit)をダウンロードして解凍するだけでJulia言語が使えました
julialang.org/downloads/
タグ:
posted at 12:02:47
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
#統計 「時制の違い」の意味がよく分からないのだが、ベイズ統計の手法はデータ中の欠損値の推定・推測にもそのまま使えます。データ中の欠損値に対応するモデル中の変数をモデルのパラメータ扱いして、そのままベイズ統計の方法を使うだけ。
twitter.com/genkuroki/stat...
タグ: 統計
posted at 12:55:38
#統計 例えば #Julia言語 の確率プログラミング言語Turing.jlではデータを表す配列中にmissingがあれば自動的にmissingの部分にもベイズ統計の方法を適用してくれます。
nbviewer.jupyter.org/gist/genkuroki...
turing.ml/dev/docs/for-d... pic.twitter.com/tN1XSznzZq
posted at 13:07:59
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
Julia最強では?
あずが躁状態のときに「言語でも作って一発カマすか~」って思ってたけど、やろうとしてたこと(2, 3個)全部やられてる。
あずの想定の範囲外のことも全部やってる。 pic.twitter.com/1uY8VKorqa
タグ:
posted at 14:30:01
JuliaでInt64[]って書くとintの配列ができて、Dict()で辞書だけど、Dict[]って書くとdictの配列ができるのかな?(Juliaの実行環境におかれてない)
タグ:
posted at 14:59:25
海洋プラゴミを減らしたいなら、ポリ袋を全面廃止するよりも、流失する漁具を1%減らした方が、効果があります。 twitter.com/katukawa/statu...
タグ:
posted at 16:34:43
道徳としてレジ袋を削減したい人は自由にすれば良いと思います。環境問題として取り組むつもりなら、数量的なデータに目を通す必要があり、その場合は、レジ袋より実効性のある他の方策を探ることになるでしょうね。
タグ:
posted at 17:22:11
センセーショナルな画像や、わかりやすいストーリーを使って、実際のデータを見ずに、環境問題やその対策が語られることに対して、危惧を覚えます。的外れな対策をして、何かをやった気分になっても、本質的な問題は何一つ解決しないからです。
タグ:
posted at 17:37:06
たまに「731部隊」で検索して遊んでいるのですが、未だにこんなツイートがあるんですねえ。<731は、第一部(研究部)、第二部(実験部)、第三部(防疫給水部)、第四部(細菌製造部)などから成り、「防疫給水」に携わっていたのは第三部だけでした> yu77799.g1.xrea.com/731/nomonhan.h... twitter.com/gamu0514/statu...
タグ:
posted at 18:42:27
動画公開しました!
自己紹介動画part2です。大学入学後の話です。
↓大学入学後すぐ休学 絶望から救ってくれた教授の話
youtu.be/qSb4jW8NQZ0 pic.twitter.com/KGGxKYO1wm
タグ:
posted at 19:00:00
紙袋屋さんのウェブサイト。興味深い考察です。
↓
紙袋とエコ問題についてできる話
2019年、廃プラ運動の一環としてレジ袋から紙袋に切り替える動きがあります。 しかし、「紙だからエコ」というのは本当でしょうか?そんなに単純な話でしょうか?
ino-ue.jp/eco
タグ:
posted at 19:29:07
ごまふあざらし(GomahuAzaras @MathSorcerer
これは #Julia言語 の文法学べる Colab notebook です.
このノートブックを読むだけでもすごくためになりそうです. twitter.com/Viral_B_Shah/s...
タグ: Julia言語
posted at 19:45:48
#統計 この点についても、渡辺澄夫『ベイズ統計の理論と方法』のp.9に分配函数そのものではなく、
分配函数の対数の-1倍の真の標本分布に関する期待値
=自由エネルギーの標本分布に関する期待値
が本質的にモデル内で標本分布と真の標本分布の違いを表すKL情報量になっていることが書いてある。 pic.twitter.com/3FuGZmn1bN
タグ: 統計
posted at 20:01:50
ごまふあざらし(GomahuAzaras @MathSorcerer
前からTier1だったけれど Julia の aarch64 対応度の本気気になるなー.ラズパイ3, ビルドちょっと大変だし.
タグ:
posted at 20:04:41
江頭 和宏(えがしら かずひろ)@『元素 @egashiraelement
体積の単位リットルの語源である、かの偉大なる科学者クロード・リットルは非常に器用で、正確に同じ容積のガラス容器を製作できた。彼の弟子にはその1/10のサイズのものを作るのが精一杯であった。これを「弟子・リットル」と呼ぶようになったのは有名な話である。
民明書房『単位のヒ・ミ・ツ』より
タグ:
posted at 20:28:35
#Julia言語 この話、すごすぎ。
Keno Fisherさんはものすごい人なので、手を出してもらえるなら、どんどんやってもらうべき。
Juliaを快適に使えるなら、コードを書きやすいので、助かる研究者が増えると思います。 twitter.com/profmatsuoka/s...
タグ: Julia言語
posted at 20:28:53
#超算数 「小数の乗法の学習水準に関する研究 の雑感」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
以下の文献を見た雑感です。
小数の乗法の学習水準に関する研究
岸本 忠之 1999年06月10日
筑波大学大学院教育学研究科
科学教育研究/23巻(1999)2号
www.jstage.jst.go.jp/article/jssej/...
タグ: 超算数
posted at 20:41:49
未だによく分かりません。
ノーベル賞受賞以外に山中先生を選んだ理由はありますか?
"ピッチャー交代。大谷に代わって本田圭佑"
これと同じに見えます。 twitter.com/nishy03/status...
タグ:
posted at 20:53:26
こんなことやってる場合ではないのですが、買ってしまった『1から始めるJuliaプログラミング』コロナ社。
「タイトルには『1から始める』とありますが、これはJulia言語の配列の添え字が1から始まるから」とAmazonのレビューに書かれていました。オシャレ!
www.coronasha.co.jp/np/isbn/978433... pic.twitter.com/ypI6RPaJX5
タグ:
posted at 21:02:28
非公開
タグ:
posted at xx:xx:xx
最後の "the penny dropped" がわからなくて調べた。The penny dropped! twitter.com/fintapazza/sta...
タグ:
posted at 21:12:49
非公開
タグ:
posted at xx:xx:xx
熱力学の言葉についての謎。
「完全な熱力学関数」は田崎さんが初めて使った可能性がある。ただ、僕も田崎本が出るずっと以前から講義で「S(U,V,N)は熱力学的に完全」と教えていたので、「完全」という言葉はどこかに使われていたのではないか。さっき見たらキャレンにはなさそうだった
タグ:
posted at 21:20:15
関連して、U,V,Nの組(一成分流体なら)を「Sの自然な変数」と表現するのはどこに書いてあったのか。僕はこの「自然な変数」という表現をずっと前から使っているのだけど、もはや出典がわからない。キャレン?
タグ:
posted at 21:22:44
www.google.com/search?q=%22%E...
"完全な熱力学函数" OR "完全な熱力学関数" をググる。 twitter.com/kikumaco/statu...
タグ:
posted at 21:27:49
#統計 不完全ガンマ函数は統計では必須の基本特殊函数。
そのパラメータaに関する導函数は ₂F₂ 型の超幾何函数で書ける。
そこまでは教えなくてもいいと思うが、Gaussの超幾何函数 ₂F₁ およびその合流だけですまない場合も統計学にはすぐに出て来ることは知っておいて損はないかも。 twitter.com/genkuroki/stat...
タグ: 統計
posted at 21:36:35
何が起きているのか分からないのだけど、Zoomで講義をした後に、頭痛が起きている。
一つの可能性は、下手すると教室より声を張り上げていること。利き手不在、スピーカー声なしでフィードバックがかかっていない感じ。もう一つの可能性は、二酸化炭素増大。
わりと困ってる。
タグ:
posted at 21:39:12
#統計 不完全ガンマ函数の偏導函数の難しい方が ₂F₂ 型の超幾何函数で書けることの証明。
大学1年生レベルの単なる地道な計算。
こういう計算ができないとコンピュータで微分の計算を実装できなくなる場合が出て来るかもしれない。
twitter.com/genkuroki/stat... pic.twitter.com/3P6xTCWgG9
タグ: 統計
posted at 21:41:28
OKUMURA, Akira(奥村 曉) @AkiraOkumura
げ、データに全角の数字が混じってんじゃん、これ、と思ったのだけど、Python は int('812') とかをちゃんと 812 に変換してくれていた。
タグ:
posted at 21:48:43
海なし県のスタバでストローを廃止するより、海岸沿いにゴミ箱を増やす方が、ストローの海洋流出を防ぐのによっぽど効果的です。 twitter.com/denkihitujisan...
タグ:
posted at 22:37:59
「完全な熱力学関数」は明日の講義のテーマだが、TL で少し話題になっている。U(T,V) は不完全な関数だが、U(S,V) は完全な関数という表現が使えるのが圧倒的に便利だ。(明日の講義のレポート!)[注:単成分流体では、完全な熱力学関数 → 状態方程式と熱容量 が「完全さ」の定義] 以下、説明。
タグ:
posted at 22:52:45
まず、そういう言葉使い(特に、不完全な関数)は20世紀の本にはないように思うけどなぁ。僕は田崎さんから「完全な熱力学関数」という言葉を始めて聞いて、非常に明快なのでそれまでの言い方を変えた。)で、それまでの言い方を思い出してみると・・
タグ:
posted at 22:52:46
まず、キャレンはS=S(U,V) というのを基本関係式とよんでいて、S(U,V)を基本関数とよぶ別の本もあった(はず)。このとき、Sに対する(U,V)のことを「自然な変数」とよんでいた(はず)。S でなくてFに対しては同じように、F=F(T,V)が基本関係式で、F(T,V)が基本関数で、Fに対する(T,V)が自然な変数。
タグ:
posted at 22:52:46
「完全」という言葉で思い出すのは、熱力学状態を一意に指定できる変数の組のことを「完全な変数の組」とよぶことだろうか。いくつかの本で使っていた(はず)。単成分流体の場合、(U,V)とか(T,V) とかだけでこれらは関数(SとかF)に準拠していない。つまり、U だけだと足らない、という意味。
タグ:
posted at 22:52:46
気になったので、検索してみた。キャレンの言葉として “The knowledge of all the equations of state of a system is equivalent to knowledge of the fundamental equation and, consequently, is thermodynamically complete.” が引用されていました。「熱力学的に完全」という言葉は既出でした。
タグ:
posted at 23:21:37
#Julia言語 JuliaからPythonを使う実演を1つ作ってみた。
nbviewer.jupyter.org/gist/genkuroki...
添付画像
1. Juliaだけで不完全ガンマ函数を計算
2. Pythonのmpmath.hyp2f2で不完全ガンマ函数の偏導函数を計算(笑)
3. Pythonのsympyやmatplotlib.pyplotをJuliaで使っている。 pic.twitter.com/sM70aQCQYq
タグ: Julia言語
posted at 23:22:56
#Julia言語 連携の事例として、
sciml.ai/2018/04/30/Jup...
A "Jupyter" of DiffEq: Introducing Python and R Bindings for DifferentialEquations.jl
2018-04-30
は非常に面白い読み物。
【すべての偉大なオープンソース数学ライブラリは、誰かのアカデミックキャリアの灰の上に構築されている】😱 pic.twitter.com/XgnRejZzO2
タグ: Julia言語
posted at 23:34:19
非公開
タグ:
posted at xx:xx:xx
@pudding_smooth Juliaも知らないとできない高速化tipsがいろいろあってやや辛いです😂「1から学ぶJulia」4章の「Juliaの高速化」がわかりやすいです
タグ:
posted at 23:52:50
#Julia言語 Pythonを全然知らない人は解説がないとどの部分がJuliaからのPythonの利用になっているか判別できないと思う。それくらい楽にJuliaからPythonを利用できたりします。
あと、統計がらみの計算で「答え合わせ」をしたいときには、JuliaからRを気軽に呼び出しています。
糊言語万歳! twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 23:59:22