Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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年04月21日(火)

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

20年4月21日

もう一度書きますが、橋下徹のこの発言など、最悪のポピュリズムですよ。このような発言をする人間をまるで識者であるかのように扱うのは社会にとって害悪です。無視するべき発言です twitter.com/hashimoto_lo/s...

タグ:

posted at 23:57:32

勝 @kti_soarin

20年4月21日

これ弟の課題なんだけど、義務教育の敗北と言われる人たちの原因は8割ぐらい教師にあると思う。

こんな"勉強頑張りました感"が出るだけの勉強法とか超算数で話題の掛け算の順序を強制したりするような教師って、ほぼ確実に勉強苦手だった人だから、勉強苦手な人を再生産してるって自覚を持ってほしい pic.twitter.com/7dEAOxzw4d

タグ:

posted at 23:41:05

コミさん@K Squad LLC. @komi_edtr_1230

20年4月21日

undefってのはNULLのInitializerみたいなもんなのか
配列のコンストラクタみたいなのが一番目の引数に入ってきて、あとは可変長で次元数を確定するノリなのかな

タグ:

posted at 23:00:44

コミさん@K Squad LLC. @komi_edtr_1230

20年4月21日

@誰かJuliaに詳しい人

data = Array{Ptr{UInt32}}(undef, 1)

これの動作を教えてください(ポインタのポインタを宣言する文脈で出てきた)(undefってなんですか)

タグ:

posted at 22:56:45

スラ弁(弁護士大西洋一) @o2441

20年4月21日

渡さなくていいよ。理由?渡さない理由を説明する必要はないけど、聞かれたら「大西がそう言ってたから」と言いなよ。

#Peing #質問箱 peing.net/ja/qs/832614099

タグ: Peing 質問箱

posted at 22:22:58

斉藤 淳 『アメリカの大学生が学んでいる @junsaito0529

20年4月21日

こういう改革仕草は辞めなさい。緊縮圧力強めるだけだから→ 10万円給付 所属議員らから集め寄付へ 維新 松井代表 | NHKニュース www3.nhk.or.jp/news/html/2020...

タグ:

posted at 21:23:52

Algebra Etc. @AlgebraFact

20年4月21日

Conway discovered that the right triangle with sides (1,2,√5) can be subdivided into five similar triangles.

mathoverflow.net/questions/3571... pic.twitter.com/VSJrfMUcHz

タグ:

posted at 21:21:55

Viral B. Shah @Viral_B_Shah

20年4月21日

Wow, this made my day! ParallelKmeans.jl in #julialang is orders of magnitude faster than Python's scikit-learn and R implentations, and even Clustering.jl. And it all started as a heated discussion on #julialang discourse about optimizing code!

pydatablog.github.io/ParallelKMeans... pic.twitter.com/1ZXlZ6pcwZ

タグ: julialang

posted at 21:07:31

由水 桂 @yosimizu

20年4月21日

完全にビッグウェーブに乗ってしまいました。

人は新型コロナにかかるとどうなるのか。|Kei Yoshimizu @yosimizu #note note.com/yosimizu/n/naf...

タグ: note

posted at 20:39:06

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

20年4月21日

news.tv-asahi.co.jp/news_politics/...
【安倍総理は~当初は周辺に「一律20万円の給付ができたらインパクトがある」と漏らしていたといいます。しかし、財務省を中心に一律給付への懸念は根強く、対象を絞ったうえで、世帯主に30万円を給付することで決着しました。】

Z問題は深刻。

タグ:

posted at 19:52:44

ふぁっふぉい @sugikota

20年4月21日

SARS-CoV-2は報告により20-50%が無症状といわれていましたが、ニューヨークの妊婦をユニバーサルに(その医療機関では全員に)qPCRでスクリーニングしたところ88%が無症状だったと。これはもうだめかもわからんね。

(先週のNEJMだけど乗り遅れた)

www.nejm.org/doi/full/10.10...

タグ:

posted at 19:48:50

すむーずぷりんちゃん @mat_der_D

20年4月21日

Q. アベノマスクは

タグ:

posted at 19:41:56

原田 実 @gishigaku

20年4月21日

ただでさえ広島はえらいの夫婦セットで国政に送りだして肩身が狭いのに今度は県知事が、県民であることが恥ずかしくなるレベルの公私混同をやらかしやがった(本人、良いことをしてるつもりなのが一層辛い)
www.chugoku-np.co.jp/local/news/art...

タグ:

posted at 19:32:53

OpenSourcES @opensourcesblog

20年4月21日

I think I can start with a new blog posts earlier than expected. Will be about the table constraint and solving a new puzzle. Additionally will give an explanation on how to add new constraints.
Earlier posts:
opensourc.es/blog/constrain...
#julialang #constraintprogramming

タグ: constraintprogramming julialang

posted at 19:27:15

たけのこスカーフ @takesuka

20年4月21日

普段がっぽりもらってる人が、10万ぽっちの給付をもらわないだけのノブレス・オブリージュ面はいいかげんにして〜〜!!!

タグ:

posted at 19:24:46

Yuki Nagai @cometscome_phys

20年4月21日

こういうときJuliaは簡単にかけて便利

タグ:

posted at 19:06:56

Yuki Nagai @cometscome_phys

20年4月21日

渦問題の解法を閃いた。明日コーディングしてみよう

タグ:

posted at 19:06:09

飯島明子 @a_iijimaa1

20年4月21日

水物はPCと別の、できれば少し低い場所に置くと安心です。これは私の父の遺訓「大事な書類と水物を同じ平面に置くな」のPC版。父は多分、若い頃に何か(余程の事を)やらかしたのだと思いますw pic.twitter.com/irPJuRJwkp

タグ:

posted at 19:05:38

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

20年4月21日

いやいや、これはダメだろ…ダメだと思わない発想自体が理解できない

タグ:

posted at 18:48:56

白央篤司 @hakuo416

20年4月21日

あの……こんなこと許されるものなの?  広島県の湯崎知事、10万円給付の「県職員分を『活用する』との考えを表明した。基金に積み立て、感染拡大を防ぐ対策の財源に充てる案を想定」って、どうしたらそんな発想ができるものか。恐ろしいよ。headlines.yahoo.co.jp/hl?a=20200421-...

タグ:

posted at 18:32:32

EARLの医学ツイート @EARL_med_tw

20年4月21日

東北、おさえこめてきてますね。北東北は1週間感染者ゼロ。東北の中心地の仙台市も新規感染者数が減ってます。 twitter.com/miyagicorona/s...

タグ:

posted at 18:26:25

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#統計 問題解答補足

#Julia言語 のDistributions.jlにおけるガンマ分布モデルの最尤法の実装は添付画像の通り。

twitter.com/genkuroki/stat... pic.twitter.com/pytzzCgOWj

タグ: Julia言語 統計

posted at 17:43:42

TaKu @takusansu

20年4月21日

続き)
生徒に対し、等分除か等分除か【明確にすること】を要求しているようです。
(掛け算の順序を前提にした説明も気になります)
#超算数 @sekibunnteisuu

タグ: 超算数

posted at 17:36:12

TaKu @takusansu

20年4月21日

#超算数 小学校学習指導要領解説 算数編
【また,除法は,乗法の逆算ともみられる。そこで,乗法と関連させて,被乗数,乗数のいずれを求める場合に当たっているかを明確にすることも大切である。等分除は,□×3=12の□を求める場合であり,等分除は3×□=12の□を求める場合である。】
(続く

タグ: 超算数

posted at 17:36:12

Matt Henderson @matthen2

20年4月21日

an explanation of refraction. When a wave changes its speed and wavelength at a boundary, it must change its direction so that the amplitudes match up at the boundary pic.twitter.com/rVvFPJVXLR

タグ:

posted at 16:24:48

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 既知の仕事で(特にすでに脚光をすでに浴びている研究で)数学における○○が使われているから○○について勉強しようとするのは悪いことではないのですが、それだと他人に後からついて行くことになるので、応用先によらない普遍的な数学的構造をしっかり理解してしまった方が良いと思います。

タグ: 数楽

posted at 16:16:48

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#統計 ゼータ函数の極の位置から知りたい量の漸近挙動を得るテクニック(数論での定跡)はベイズ統計における渡辺澄夫さんの理論で使われています。そういう意味でもゼータ函数の周辺の教養を持つ人が増えた方が良い可能性があります。

関連の解説↓

nbviewer.jupyter.org/github/genkuro...
分配函数のゼータ函数

タグ: 統計

posted at 16:12:42

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#統計 補足:F(α)のNewton法は α_n に y = F(α) の α=α_n での接線の零点 α_{n+1} = α_n - F(α_n)/F'(α_n) を対応させる手続きの繰り返し。

こんな感じで、ガンマ函数、Hurwitzのゼータ函数、Lerchの定理、digammaおよびtrigamma函数、ガンマ分布モデルの最尤法の実装が結び付く訳です。

タグ: 統計

posted at 16:07:23

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#統計

問題解答: c = log a - log m > 0 とおく。方程式

f(α) = log α - ψ(α) = c, α > 0

を解くために

F(α) = α(f(α) - c)

にNewton法を適用して、F(α)=0 の解を求めている。

要するにNewton法。

www.wolframalpha.com/input/?i=plot%...

www.wolframalpha.com/input/?i=serie... pic.twitter.com/sUdFxjUfMG

タグ: 統計

posted at 16:00:50

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#統計

#Julia言語 のDistributions.jlでのガンマ分布モデルの最尤法の実装は添付画像の通り。以上の記号とコードの対応関係:

digamma = ψ
trigamma = ψ'
mx = a
logmx = log a
mlogx = log m

問題:これは何をやっているか?

github.com/JuliaStats/Dis... pic.twitter.com/ZCefe16V0X

タグ: Julia言語 統計

posted at 14:53:03

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#統計 コンピュータでの特殊函数のライブラリにはdigamma函数 ψ(α) = (log Γ(α))' が通常含まれています。だから、適当な任意の方法で

f(α) = log α - ψ(α)

の逆函数を計算すりゃコードを書くのは易しい作業です。

f(α)はα>0で狭義単調減少で値域は正の実数全体。

www.wolframalpha.com/input/?i=plot%... pic.twitter.com/ZyenNsshvC

タグ: 統計

posted at 14:46:53

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#統計

a = (X_1+…+X_n)/n
m = (X_1…X_n)^{1/n} (相乗平均)
ψ(α) = (log Γ(α))'

とおくと、ガンマ分布モデルの最尤法の解α,θは

log α - ψ(α) = log a - log m, αθ = a

を解けば得られます。コンピュータで計算するには、函数

f(α) = log α - ψ(α) > 0 (α>0)

の逆函数を実装すればよい。続く

タグ: 統計

posted at 14:36:58

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#統計 サンプルX_1,…,X_n>0に関するガンマ分布Γ(α,θ)の最尤推定では対数尤度函数の-1/n倍

L(α,θ)
= (1/n)Σ_{k=1}^n(X_k/θ - (α-1)log X_k) + α log θ + log Γ(α)

の偏微分=0となるα, θを求めることになるのですが、その計算中に対数ガンマ函数の導函数が自然に出て来ます。続く twitter.com/genkuroki/stat...

タグ: 統計

posted at 14:30:29

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 算数から大学に向けて、どこかの段階で以上で述べたような数学の勉強に関する感覚を次世代に伝える必要があると思うのですが、現時点では大学入学後しばらくしないと伝わる機会がない感じで遅すぎる。

定期試験やら大学入試と無関係の「本物」の存在を認識する人が増えて欲しいです。

タグ: 数楽

posted at 13:30:43

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 価値にある数学的定理の証明において応用することができた数学的対象は多くに場合に心理的な怖さがなくなります。

自分のコントロール下で応用できれば怖くなくなる。

怖くなくなれば、その数学的概念を自分の好きなように応用可能になります。

タグ: 数楽

posted at 13:25:33

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 対数ガンマ函数 log Γ(x) の導函数達の取り扱いが難しくないことを知っていれば(証明で使えていればそういう感覚になる!)、統計学におけるガンマ分布の応用で自然に出て来てしまうガンマ函数の導函数が怖くなくなります。

数学の応用ではどの数学的対象が怖くないかを知っていることが重要。

タグ: 数楽

posted at 13:22:53

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 私の解説中ではdigamma ψ(x)やtrigamma ψ'(x)という用語や記号を出さずに、単にガンマ函数の無限積表示のみを使って説明しています。

用語と記号を出していなくても、こういう議論を知っていれば、対数ガンマ log Γ(x) の導函数が結構易しいことに気付きます。

genkuroki.github.io/documents/Calc... pic.twitter.com/tMNzEVURaX

タグ: 数楽

posted at 13:17:40

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 対数ガンマ函数 log Γ(x) とHurwitzのゼータ函数を繋げるLerchの定理の証明を学ぶと、digamma函数

ψ(x) = (log Γ(x))'

とtrigamma函数

ψ'(x) = (log Γ(x))''

を使う経験をできる点は、応用畑の人達にとってもメリットに成り得ると思います。続く

genkuroki.github.io/documents/Calc... pic.twitter.com/TiP370Ws9j

タグ: 数楽

posted at 13:17:37

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 以上のような経緯で、学生時代に購入してどこが面白いのか分からずに放置してあったアンドレ・ヴェイユさんの本の面白さが納得できました。

A. ヴェイユ著『アイゼンシュタインとクロネッカーによる楕円関数論』
www.amazon.co.jp/dp/462106374X

ありゃ?これも古本でしか買えないのか。😭

タグ: 数楽

posted at 13:05:40

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 まとめ:ガンマ函数について「普通」の解説を書こうとすると、Lerchの定理より、Hurwitzのゼータ函数も扱うことになり、函数等式のような「普通」の話題を「普通」に解説するには、さらにLerchの超越函数まではRiemannのゼータ函数を一般化しておかなければいけなくなるわけです。

タグ: 数楽

posted at 12:51:13

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 ちなみに、Lerchの超越函数はコンピュータでの数式処理系でも実装されている場合があって、PythonのSymPyを #Julia言語 経由で使ってある定積分を計算させたらLerchの超越函数を使った表示を返して来たことがあります。

こういうこともあるので、Lerchの超越函数を扱うのも悪くなさそうです。

タグ: Julia言語 数楽

posted at 12:45:45

積分定数 @sekibunnteisuu

20年4月21日

#超算数
この事例は、既出かな?相変わらず、クソ採点を擁護する意見が出てくる。

タグ: 超算数

posted at 12:43:04

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 Hurwitzのゼータ函数と多重対数函数の両方の一般化になっているLerchの超越函数

Φ(z,s,a) = 1/a^s + z/(a+1)^s + z^2/(a+2)^2 + …

を導入すれば、函数等式をこれだけで閉じた形で書けます。

このくらいまで一般化しておかなければ楽しくないと私は思いました。

genkuroki.github.io/documents/Calc... pic.twitter.com/T7WfdYeutR

タグ: 数楽

posted at 12:41:52

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 Riemannのゼータ函数の函数等式はRiemannのゼータ函数だけで閉じた形で書けるのですが、Hurwitzのゼータ函数の場合にはそうなってなくて、多重対数函数が必要になってしまい、Hurwitzのゼータ函数だけで閉じない。

実はこれは一般化の仕方が少しだけ足りないからです。続く

タグ: 数楽

posted at 12:34:48

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 Hurwitzのゼータ函数で s を 1-s に置き換えたときの函数等式には多重対数函数が出て来ます。

Hurwitzのゼータ函数を扱うと、避けようと思っていても勝手に出て来るので、多重対数函数も避けることができなくなります。続く

タグ: 数楽

posted at 12:32:19

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 Lerchの定理より、Hurwitz(フルヴィッツ)のゼータ函数はsに関する偏微分係数として本質的に対数ガンマ函数 log Γ(x) を含んでいるので、ガンマ函数についても解説を書こうとすると、Hurwitzのゼータ函数を避けることはできません。続く

タグ: 数楽

posted at 12:30:09

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 続き~、Hurwitzのゼータ函数

ζ(s, x) = 1/x^s + 1/(x+1)^s + 1/(x+2)^s + …

と多重対数函数(polylogarithm)

L_s(z) = z/1^s + z^2/2^s + z^3/3^s + …

があります。例えば

L_1(z) = z + z^2/2 + z^3/3 + … = -log(1-z)

でこれは本質的に対数函数でその一般化が多重対数函数です。続き

タグ: 数楽

posted at 12:27:40

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 一般化のし過ぎを避けるという方針であっても、数学的な自然さから是非ともやっておきたい一般化はありました。

Riemannのゼータ函数

ζ(s) = 1/1^s + 1/2^s + 1/3^s + …

は大学1年の微積分に出て来る基本的な例です。

これの容易な一般化として~続く

タグ: 数楽

posted at 12:23:55

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 それ以前の問題として、正当化したくなる面白い計算例をほとんど知らないくせに、極限の交換ができるかどうかについては異様にこだわる感覚になってしまうことは、数学の勉強の仕方として極めて不健全だと思います。

そういう不健全な感覚の原因は中途半端な数学の勉強にあると思います。

タグ: 数楽

posted at 12:20:40

紀文【公式】 @kibun_kitchen

20年4月21日

知っていました?

『笹かまぼこ』にマヨネーズと醤油という凶悪なうま味を塗り、トースターで焼いたあとに七味を軽く振るだけで、おいしさが跳ね上がることを・・・。 pic.twitter.com/Vil8TX0f0M

タグ:

posted at 12:20:00

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 あと、極限の交換についてどこまで詳しく説明するかも悩んだのですが、ある程度は説明するが、基本的に「極限の交換は証明抜きで自由に行う」という方針にしました。

数学科出身であれば自力で証明できるでしょう。論理的スキルが十分あればセンスの良い計算の正当化は比較的容易です。続く

タグ: 数楽

posted at 12:17:42

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽 一般化し過ぎると読み難くなるし、「シンプルな場合だけを教えてもらったら、一般化の方は易しい」と感じる方が数学を学ぶときには好ましいので、大幅に一般化された場合について書きたくなっても徹底的に我慢して書く方針にしました。

タグ: 数楽

posted at 12:14:04

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽

github.com/genkuroki/Calc...

を書くときには、一般論よりも具体的な計算例の方を重視したいと思っていました。

何でも書くわけには行かないので、Γ函数やゼータ函数達について詳しく書くことにしました。

(別の方向として、超幾何函数達や直交多項式などについて詳しく書く人もいた方がよい)

タグ: 数楽

posted at 12:11:33

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#数楽

ζ(s,x) = (1/x^s + 1/(x+1)^s + 1/(x+2)^s + … の解析接続)

Γ(x) = (∫_0^∞ e^{-t} t^{x-1} dt の解析接続)

に関するLerch(レルヒ)の定理

log Γ(x) = ζ_s(0, x) + log√(2π)



github.com/genkuroki/Calc...

においてある微積分の解説を書くときに是非とも入れたいと思っていたネタです。 twitter.com/genkuroki/stat...

タグ: 数楽

posted at 12:08:37

黒木玄 Gen Kuroki @genkuroki

20年4月21日

#Julia言語 についてググるときには、Googleの設定で

地域:アメリカ合衆国

にするのが定跡です。その結果は添付画像を見れば分かる。

Juliaのググラビリティの問題はワードの問題ではなく、Googleによる地域日本の取り扱いの問題。 twitter.com/_ikebo/status/... pic.twitter.com/vI2Uxswmg1

タグ: Julia言語

posted at 11:03:11

Chie K. @chietherabbit

20年4月21日

Twitter民のみんな、蛙先生が英文法教室やってくれるってYO!参加したいひとは挙手〜☝︎ 〆切は今日の午後5時らしいYO twitter.com/optical_frog/s...

タグ:

posted at 10:59:31

黒木玄 Gen Kuroki @genkuroki

20年4月21日

Re: RTs

Civilizationはやると楽しいと思うゲームの筆頭なのですが、手を出さない方が良いと思うゲームの筆頭でもある。

棒大な時間をゲームに注ぎ込むことになりがち(笑)。

実際にやってみれば分かる。

タグ:

posted at 10:48:55

タクラミックス @takuramix

20年4月21日

接触頻度8割減しようと思っても、普段から外で人に会うような機会が殆ど無い(週に二人会うようなら多い方)私のような人間には、出来る事が殆ど無い(^_^;)。

タグ:

posted at 10:48:03

非公開

タグ:

posted at xx:xx:xx

Massimo @Rainmaker1973

20年4月21日

To honor John Conway, I was playing around with Game of Life and I just wanted to share a moment of mathematical beauty. This is a spacefiller pattern: when you introduce just a lttle perturbation in it, look at the magnificent fractal nature it generates buff.ly/2RSzSca pic.twitter.com/qpW0D8LOdt

タグ:

posted at 02:51:19

高梨陣平 @jingbay

20年4月21日

Amazonが買収したWhole Foodsは社員をヒートマップで表示してどの店が組合活動をしているか追跡しているだと twitter.com/HNTweets/statu...

タグ:

posted at 02:32:34

ceptree @ceptree

20年4月21日

Julia完全理解してるのに線形代数わかってないやつがおるらしい

タグ:

posted at 01:14:31

黒木玄 Gen Kuroki @genkuroki

20年4月21日

どこまでも純粋に「数学的な本質はなんだろうか?」と考えながら、たくさんの試行錯誤をして、自分にための「数学の教科書」を書くことは、昔から行なわれている伝統的な数学の勉強の仕方の一つだと思います。

教科書の記述について行ったり、忠実に従ったりするのは、相対的にダメな勉強の仕方。

タグ:

posted at 00:00:42

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました