黒木玄 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年01月13日(水)
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
若い頃にLaTeXを何となく使い始めて今でも何となく使えている、といったベテランにこそ読んでほしいやつです(なお、紹介されてる話を「使う」のが常識なのではなくて、プロはいろんな都合で取捨選択してやってるから、執筆者側から常識として強制するのは非常識だよ) qiita.com/wtsnjp/items/7...
タグ:
posted at 06:01:11
宇宙空間で物体が回転するときに不思議な動きをしますが、#SystemModeler 12.2を使えばこのようなシミュレーションも簡単に行うことができます。#テニスラケットの定理 (ビデオでは卓球ラケット)等の概念を理解するのにお役立てください。wolfr.am/RQh6WWQA pic.twitter.com/uLy14V1De6
posted at 06:02:00
#統計 まさにそれ。
そして、統計学はお墨付きを得るために使える類の道具ではないということを押さえておくことが大事なのだと思います。
分析一発で確定した答えはどうせ得られない。
しかし、どんなに苦しい状況であっても、勝ち目を少し増やせるかもしれない! twitter.com/cowabiko/statu...
タグ: 統計
posted at 06:35:12
#数楽 そうなんです!ベータ函数や超幾何函数達は非常に面白い!高校で微積分を習っていればめっちゃ楽しめる。
B(p,q)=∫_0^1 x^{p-1}(1-x)^{q-1}dx
がよく使われるが、
B(p,q)=∫_0^∞ t^{p-1}/(1+t)^{p+q} dy
およびさらにt=u^{1/p}やt=u^2とおいた場合も応用上重要な点は盲点になり易い。 twitter.com/amayaki_sdoric... pic.twitter.com/fAgixrqqKp
タグ: 数楽
posted at 06:49:44
Have you ever MOWED A LAWN?
Do you make quarter turns or half turns? Like, do you do a spiral or a serpentine? Or do you switch back and forth?
I have discovered that the # of ways to mow a square of size N matches this sequence: oeis.org/A088218
The Undecided Lawnmower pic.twitter.com/TxxSEGLvlc
タグ:
posted at 07:19:38
原題は"Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares"だそうな
後半、最小二乗法の話らしい。高次元ベクトル空間おける最適化手法の教科書かな。なんでもJuliaによる演習がwebにあるそーな。 twitter.com/ImAI_Eruel/sta...
タグ:
posted at 07:23:29
「本当はあるけど(情報量が増えすぎるので)ここでは言及しない」ものを「存在しない」と嘘をわざわざ教える必要は無いですね。
#掛算 の順序は「本来存在しない」ものを、「ある」ということにして嘘を押しつけていて悪質。 twitter.com/84yame1000/sta...
タグ: 掛算
posted at 07:30:10
#数楽
B(p,q)=∫_0^∞ t^{p-1}/(1+t)^{p+q} dy
型のベータ函数の表示で t を t²/ν で置き換えて、p=1/2, q=ν/2 とおけば、本質的に自由度 ν のt分布が得られます。
t分布は非常に基本的な確率分布なのですが、ベータ分布の特別な場合(p=1/2)の変種と思えます。F分布はp=1/2の特殊化をやめた場合。 pic.twitter.com/Gs1E1m4mg2
タグ: 数楽
posted at 08:16:24
#数楽
B(p,q)=∫_0^∞ t^{p-1}/(1+t)^{p+q} dy
型のベータ函数の表示を知っていれば
Γ(p)Γ(q)=Γ(p+q)B(p,q)
を y = tx (yを直線の傾きtに変数変換)の形の積分変数変換で示せます。その計算の過程も面白いので知っておいて損がないです。
大学新入生向けの計算練習の題材としてもよい。 pic.twitter.com/CVyahjle4E
タグ: 数楽
posted at 08:20:07
#数楽 ベータ函数を定積分から不定積分に一般化したものには「不完全ベータ函数」という名前が付けられてしまっているのですが、その部分積分を使って得られる公式の導出は高校3年~大学1年での計算練習として価値あるものになります。
ベータ分布と二項分布と負の二項分布の関係が得られます。 pic.twitter.com/GSegTO1FBQ
タグ: 数楽
posted at 08:23:27
#数楽 記号が θ,p,q→p,a,bと変わっていることに注意。
二項分布における確率=ベータ分布における確率
負の二項分布における確率=ベータ分布における確率
の形式に公式が得られています。
これは統計学的には
通常のP値 = ベイズ統計での事後分布での確率
を意味する公式になっています。 pic.twitter.com/sLxff1eXmv
タグ: 数楽
posted at 08:30:59
#数楽 不完全ベータ函数も超幾何一族の一員です。
現時点ではコンピュータでの不完全ベータ函数の計算は2000行以上もあるコードで行われているようです↓
github.com/JuliaStats/Rma...
この辺を誰か整理して書き直して最適化すればよいのではないかと思います。
タグ: 数楽
posted at 08:45:41
#数楽 対数ガンマ函数 log Γ(s) とその導函数達を扱うことは、そこからHurwitzのゼータ函数ζ(s,x)のs=0での偏微分係数が本質的に対数ガンマ函数になっているという結果
ζ_s(0, x) = log Γ(x) - log√(2π)
が得られるので、数論的にも重要です。
nbviewer.jupyter.org/github/genkuro... pic.twitter.com/1nz3tkbf7z
タグ: 数楽
posted at 09:17:38
#数楽 Stirlingの公式
log n! = n log n - n + (1/2)log n + log√(2π) + O(1/n)
の究極形の1つは
log Γ(x+1) = ζ_s(0, x+1) + log√(2π)
にHurwitzゼータζ(s,x+1)の積分表示を適用すれば即得らる。
Hurwitzのゼータ函数の積分表示はStirlingの公式を含んでいる!
nbviewer.jupyter.org/github/genkuro... pic.twitter.com/WWtB9VMYmn
タグ: 数楽
posted at 09:25:34
#数楽 上で紹介した微積分のノートは
github.com/genkuroki/Calc...
に置いてあるファイルの一部分です。
教える側は知っているけど、講義では触れることが難しい価値ある題材をまとめたつもり。 #Julia言語 のコード付き。
単に理論的に扱うだけではなく、コンピュータでの計算の仕方もわかる。
posted at 09:33:18
#数楽 Hurwitzのゼータ函数と対数ガンマ函数の関係に興味を持った人は
nbviewer.jupyter.org/github/genkuro...
#Julia言語
が楽しめると思います。
「s=0での偏微分係数から対数ガンマが得られ、対数ガンマ2つで対数sinが得られること」を、s=0からs=1-r (rは正の整数)に一般化するとMilnorの多重sinが得られる。
posted at 09:42:54
#Julia言語 計算速度が気になる人は、公式ドキュメントの
docs.julialang.org/en/v1/manual/p...
Performance Tips
に忠実なコードを書くのが最も楽な道だと思います。
前もってすべてをコンパイルするという縛りに過剰適応してしまったスタイルを訂正するためにも上のTipsは役に立ちます。
タグ: Julia言語
posted at 11:07:37
非公開
タグ:
posted at xx:xx:xx
#Julia言語
docs.julialang.org/en/v1/manual/p...
でも in-place というキーワードで軽く説明されていますが、配列などを使う場合には無駄なメモリ割当をループ内ですると速度的な劣化が激しくなる。
それを防ぐ方法はあるのですが、経験がないと対処できない場合が結構あると思います。質問すると良いです。
タグ: Julia言語
posted at 11:51:04
英語の勉強上の課題は、英語でやりなさいよ。日本語における主語(それがないという人々は間違っているが)の位置は、英語における主語のそれより格段に難しい。個人的な経験では、英語で5文型とかちゃんと理解していないから、間接疑問文が分からない気がしますよ。
タグ:
posted at 12:07:40
The other ways of deriving the same sequence are interesting.
"Number of ordered partitions of n into n parts. e.g., a(3) = 10: 003, 030, 300, 012, 021, 102, 120, 210, 201, 111"
I wonder if those could map 1-to-1 with a "lawnmower pattern" somehow? (Where is the equivalence?)
タグ:
posted at 12:15:30
掛算も足し算も、順番を入れ替えても変わりません。
#掛算 #超算数 twitter.com/osuke0208/stat...
posted at 12:38:59
Gen.jlを勉強して研究にそのまま利用しようとしているんだけれども、Turing.jlに比べるとなんか難しい?気がする。 #julialang
タグ: julialang
posted at 13:16:21
#Julia言語
sum(f, X) 型の函数は沢山ある。
mean(f, X)
maximum(f, X)
minimum(f, X)
...
count(f, X)
all(f, X)
any(f, X)
... twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 13:25:17
Juliaでこれどうしたらいいん?
dataframeのある列を取り出したいんだけど,その列の名前(文字列)が変数で与えられている. pic.twitter.com/LUyhtQCdjD
タグ:
posted at 15:26:45
@physics303 df[target_col]でいけそうな気がしますが確認してません。すみません。 dataframes.juliadata.org/v0.14.1/man/ge...
タグ:
posted at 15:29:44
@physics303 なるほど、1番目はrowなんですね。Julia動かして試そうと思っていましたが、DataframeをPkg.addしろと言われてムムムとなってました、、、笑
タグ:
posted at 15:37:30
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
twitter.com/TomiyaAkio/sta...
LatticeQCD.jl の開発中のデモモード
```
using Plots
using LatticeQCD
demo()
```
(開発中なので公開版と微妙に異なります)
github.com/akio-tomiya/La... pic.twitter.com/rFvDubOr96
タグ:
posted at 16:13:20
#Julia言語
a = Real[1, 2, 3.0, 4.0]
↓
4-element Vector{Real}:
1
2
3.0
4.0
a = Vector{typeof(a[begin])}(a)
↓
4-element Vector{Int64}:
1
2
3
4 pic.twitter.com/jrwOeLmEqt
タグ: Julia言語
posted at 17:22:56
#Julia言語 Julia側からstructの中身の型がどう見えているかは、fieldtypes(typeof(foo)) のようにすれば分かります。AnyやRealのような抽象型があると速度的劣化が生じる場合が出て来る。
Chain.jl 結構便利。
|> という記号法にこだわるのをやめた方がスッキリする場合がある。 pic.twitter.com/KcMteoFTTC
タグ: Julia言語
posted at 17:48:13
憶測でデマ流しといて、それを指摘されると「うるさい」とか「無礼」とか…(失笑)
小学校のことはテキトーなデマ流していいと思ってる人多すぎ。
#掛算 #超算数 twitter.com/travel_jarna_b...
posted at 18:05:48
【これ、学習指導要領か指導書で決まっているんじゃないかな?】
法的位置付けも内容も全く違うものを同列に扱って、書いてあるかどうかも定かでないのにテキトーなことを放言したことには変わりない。
そういう人でも「教育系の講演」できるんですね、凄ーい。 pic.twitter.com/l8lzxXCmoT
タグ:
posted at 18:33:08
@TomiyaAkio #Julia言語 そのベンチマークテストの結果については以下のリンク先のスレッドを見て下さい。
元々のコードが余りにも遅過ぎるので「意味のある結果ではない」と評価するのが妥当だというのが私の結論です。
わざわざ遅いコードを書いてテストしても実践的には意味が無いです。 twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 18:39:27
@hsugisak @osuke0208 @genkuroki >掛け算なら入れ替えると意味は変わる
変わりません。式が表しているのは数であって場面・状況ではありません。
足し算にも掛け算にも順序はありません。学校で間違ったことが教えられているのです。
タグ:
posted at 18:51:25
非公開
タグ:
posted at xx:xx:xx
#超算数 Launay, Mickaël. _Le calcul qui divise : 6÷2(1+2) - Micmaths_. 2020-11-17. www.youtube.com/watch?v=tYf3Cp...
は併置積の曖昧さについての動画。ロネーさん、フロリアン・カジョリの著作に言及していた。これ、もっと早くに見ておくべきでした。(このツイは次の著作を知った経緯を記録するもの)
タグ: 超算数
posted at 21:37:58
#超算数
Cajori, Florian. _A History of Mathematical Notations: Two Volumes Bound as One_. New York: Dover Publications. 1993 [1928, 9].
第1巻274ページで、24÷4×2の構文解析が二義的であることを認め、曖昧さを回避するために括弧の使用を推奨。 pic.twitter.com/laXNG0TfSF
タグ: 超算数
posted at 21:38:00
校則って合理的な存在意義を明確にして守るからこそ教育的な意味があるのであって、生徒側も先生側も「とりあえず守ってたら面倒ごとにならなくて楽」みたいになると、将来柔軟な発想が求められる時に上手な身のこなし方が身についていなかったりするんじゃないかなって思う。
#学校ゆるくていいじゃん
タグ: 学校ゆるくていいじゃん
posted at 23:41:43
制服も「私服考えなくて済むから楽」って高校の頃は思ってた。大学生になって、最初は適当に周りと同じような服を着てたんだけど、途中から自分らしい服を着るようになって、毎日が楽しくなった。高校はもっと自分らしさを表現できる場所であってもいいんじゃないかな。
#学校ゆるくていいじゃん
タグ: 学校ゆるくていいじゃん
posted at 23:53:23