黒木玄 Gen Kuroki(@genkuroki)/2021年01月15日

まるこ@霞が関女子 @1mdHrIstFa0cGy3

@yellowshippo 汎用目的ならやっぱPythonですかね？

個人的にはJuliaがいいと思うんですけどもね．

タグ：

posted at 01:42:28

非公開

タグ：

posted at xx:xx:xx

個人的には、公務員のパソコンやソフトを先になんとかしてほしい。性能が悪すぎて一日3時間くらいはロスしてる気がする。起動に5分以上かかるし、メールの表示にも数秒、右クリックやショートカットの反応は20-30秒待ったりする。すぐフリーズ。交換不可。毎日イライラしながらの作業ホント辛すぎる😭

タグ：

posted at 02:40:16

ceptree @ceptree

[ゆる簿]TeXで左を右のようにするやり方 pic.twitter.com/w8Z2wRHBSK

タグ：

posted at 04:15:59

ceptree @ceptree

なんでや(LaTeXiT) pic.twitter.com/0pT0bAUo9L

タグ：

posted at 04:45:30

ceptree @ceptree

なるほど(?) pic.twitter.com/zF10q1mIml

タグ：

posted at 05:01:41

共通テストを受験する生徒を教える高校の先生方にお願いです。受験生、特に女子受験生に高校の制服での受験を勧めないでください。今年は特に受験場が寒いことが予想されますので、服装は防寒の調整ができることが最優先です。新型コロナウイルス対策で頻繁に換気が行われます。

タグ：

posted at 05:53:00

（つづき）対策として、
1. 高校からの指示を鵜呑みにせず、必ず公式情報で確認してください。
2. 万一、高校からの指示に従って大学入試センターの指示に反する行動を取ってしまった場合、高校からの指示である旨を試験場の担当者に述べてください。（つづく）

タグ：

posted at 06:06:58

（つづき）高校からの指示である旨を述べたからといって救済措置を取ってもらえるとは限りませんが、可能性は高まります。

タグ：

posted at 06:06:58

受験生にこれを読んでいる余裕はないでしょうから、周辺の方、受験生に伝えることにご協力をお願いします。

タグ：

posted at 06:06:58

共通テストを受験するみなさま。誰になんと言われようと、服装は防寒の調整を最優先で選んでください。暖かい服装で、脱ぎ着しやすい上着を選んでください。頻繁な換気のため会場の気温は乱高下する可能性が高いです。

タグ：

posted at 06:16:33

（元TWが投稿されなかったので、ここにぶら下げます。）センター試験では、過去に、高校からの誤った指示に従って受験生が不利益を被ることがたびたびありました。共通テストでも危険は変わりません。twitter.com/kamo_hiroyasu/...

タグ：

posted at 06:26:07

#Julia言語

using Plots
pyplot(fmt=:svg) # もしくは pyplot()

で解決したようですが(私が作った例→添付画像2、pyplot()が無難な選択肢になることが多い、常にそういうわけではない点に注意)、gr()でも添付画像1の様にはできます。

ソースコード
gist.github.com/genkuroki/a335... twitter.com/physics303/sta... pic.twitter.com/Qm5man4ctr

タグ： Julia言語

posted at 06:52:53

#Julia言語 3D scatterの例

ソースコード↓
gist.github.com/genkuroki/a335...

githubのアカウントを取得して、github gistのみを使用するだけでもかなり便利だと思います。

Jupyter notebookファイルに対応している点も便利です。
コードだけではなく、プロット結果も公開できる。 pic.twitter.com/yYd1U3pzVt

タグ： Julia言語

posted at 07:43:35

#数楽「○○が△△までしか定義されておらず、△△外にどのように定義を拡張するべきか？」という問題は義務教育の段階で本当は詳しく扱っているはずで(現実にはチョー算数問題がひどくて悲惨なことになっている)、義務教育段階で必要な考え方は数学研究の最先端まで通用するほど普遍的です。

タグ：数楽

posted at 07:48:49

#数楽「○○が△△までしか定義されておらず、△△外にどのように定義を拡張するべきか？」の型の問題の正解は1つだけとは限らないのですが、多くの場合に「○○の自然な性質が保たれるような拡張」が良い解になっていて、注目する「自然な性質」を色々変えても拡張結果が同じものになってしまう。

タグ：数楽

posted at 07:52:15

#数楽階乗については、ガンマ函数のような魅力的すぎるものを知る前に、

2! = 3!/3
1! = 2!/2
0! = 1!/1 = 1

のように考えて、「0!=1は自然」という感触をつかんでおいて

(-1)! = 0!/0 = 1/0 = ∞
(-2)! = (-1)!/(-1) = ∞/(-1)
(-3)! = (-2)!/(-2) = ∞/2

と先に進んでおくのはとても良いこと。

タグ：数楽

posted at 07:56:44

#数楽そして、Re s > 0 で Γ(s+1) = s Γ(s) を知り、

Γ(s) = Γ(s+1)/s
Γ(s-1) = Γ(s)/(s-1)
Γ(s-2) = Γ(s-1)/(s-2)
…

によって、Re s ≤ 0 に向けて Γ(s) をいくらでも拡張できることに気付くことになればよい。

さらに沢山あるかもしれない自然な拡張は解析接続の一致の定理によって(以下略)

タグ：数楽

posted at 08:02:51

#数楽

eˣ = 1 + x + x²/2! + x³/3! + x⁴/4! + x⁵/5! + …

だと知った人が、xにitを「代入」して

eⁱᵗ = 1 + it - t²/2! - it³/3! + t⁴/4! + it⁵/5! + …
= (1 - t²/2! + t⁴/4! + …) + i(t - t³/3! + t⁵/5! + …)
= cos t + i sin t

と「計算」するのも非常に良いことです。

タグ：数楽

posted at 08:09:02

#統計

統計学についてはど素人なのですが、コメントさせてください。

①欠損値は無関係。

②Welchのt検定の自由度は近似がうまく行くようにデータから決められているので、データごとに変わる。

③以下のリンク先を参照↓

math.stackexchange.com/questions/1746...

④これ、理解している人は少ないと思う。 twitter.com/emma_hakuna/st... pic.twitter.com/3BFVl5GB2b

タグ：統計

posted at 08:25:35

#統計関連
twitter.com/genkuroki/stat...

タグ：統計

posted at 08:25:36

#統計関連

Welchのt検定がまるで悪しきチョー算数の「きはじ」のごとく説明されているせいで、【自由度は～四捨五入して整数にして～用いることになる】という珍説まで現れている。

統計学入門使い方を「きはじ」のように説明するのはとてもまずいです。

katosei.jsbba.or.jp/view_html.php?... twitter.com/genkuroki/stat... pic.twitter.com/scjJgRuaOb

タグ：統計

posted at 08:31:58

#統計統計学用語は権威的に響くように整理されていて、権威的判断が科学の最大の敵だと思っている人達にとっては非常に不快な感じがするものになっていると思うのですが、逆に言えば、統計学用語を使った報告をする人はその権威的響きに敏感になり、他人に悪影響を与えないように気を付けるべきです。

タグ：統計

posted at 08:35:01

htachii @htachii

@genkuroki オイラーの公式を利用して、倍角、３倍角・・・公式出すのも良いことですよね。

タグ：

posted at 08:35:52

#統計やり方だけを暗記したり、やり方を自動化してくれる統計ソフトを利用することによって、統計学の数学的仕組みを何も理解せずに、権威的に響く統計学用語を使った報告をするという行為は、倫理的に問題のある行為であり、高等教育においては「絶対にやめろ」と教えるべきことだと思います。

タグ：統計

posted at 08:37:33

#統計現実には高等教育機関で教えている側が、「理解せずに権威的に使う」という倫理的に問題のある行為をしている場合が少なくないのではないか？

だから私はこの手の問題を高等教育におけるチョー算数問題とみなしています。

タグ：統計

posted at 08:39:48

#数楽

eⁱˣ⁺ⁱʸ = eⁱˣ eⁱʸ を認めて(最初は認めて使って良い！)、n倍角の公式を出すのは非常に良いことです！

n倍角の公式とその「因数分解」まで行けば、極限で三角函数の無限積表示まで到達できます。

genkuroki.github.io/documents/Calc...

ギャップのない厳密な議論はその後にやれば十分。 twitter.com/htachii/status... pic.twitter.com/CiOV1KNypn

タグ：数楽

posted at 08:48:33

#数楽ギャップのない厳密な証明を書き下すことにはコストがかかるので、そうする価値のある命題についてそうするリソースを割くべきなのですが、ときどき妙なこだわりを持ってしまって、「常にギャップのない議論をしないと不安になる」という症状を見かけます。それはかなり損です。

タグ：数楽

posted at 08:51:46

#数楽あとギャップの有無には程度問題があって、「完璧にギャップがない議論とそれ以外」という感覚になるのはまずくて、「理解を深めるために役に立つ様々な議論がある」のようなお気楽な感覚がないとつらいと思う。

タグ：数楽

posted at 08:54:31

#数楽例えば

eˣ = Σ_{k=0}^∞ xᵏ/k!

を認めて、収束性などは気にせずに(形式べき級数の計算で)、

eˣ⁺ʸ = eˣ eʸ

を意味する

(*) Σ (x+y)ᵐ/m! = (Σ xʲ/j!)(Σ yᵏ/k!)

を示そうとするのはよいことです。

(*)は二項定理の母函数表示になっている！

タグ：数楽

posted at 09:02:55

#数楽収束性の問題が気になって、その手の形式的計算をできなくなってしまうと、

　eˣ⁺ʸ = eˣ eʸ と二項定理は本質的に同じ

というようなことに気付かずに終わってしまう危険性があります。

常に

　理解を深めるために有益な計算はないだろうか？

と考えると良いと思います。

タグ：数楽

posted at 09:10:36

論理的なギャップを潰しまくることも、そうすること自体が目的化するのは不健全で、「理解を深めるために論理的ギャップを潰しまくることが役に立つ場合もある」のように考えた方が良いと思う。

タグ：

posted at 09:14:28

blueqat @blueqat_os

やっぱりもうJuliaでいいよ。

タグ：

posted at 09:58:26

#数楽補足

Σ_m (x+y)ᵐ/m! = (Σ_j xʲ/j!)(Σ_k yᵏ/k!)

の右辺を、k = m - j とおいてj,kに関する和をm,jに関する和に書き直して、

Σ_m (1/m!)(x+y)ᵐ = Σ_m (1/m!)Σ_j (m!/(j!(m-j)!)) xʲ yᵐ⁻ʲ

と変形すると、eˣ⁺ʸ = eˣ eʸ が二項定理の母函数表示になっていることがわかる。

タグ：数楽

posted at 10:08:06

ライブドアニュース @livedoornews

『立憲民主党の杉尾秀哉参院議員』
『2日も3日もたって、ようやくPCR検査』
『強い口調で問いただした』
『その態度なんですか？』
『担当官を叱責』

死者を利用すんのも、厚労省の担当者を『叱責』すんのも、何の発展にも繋がらない。

これが立憲民主党スタイル

www.nikkansports.com/m/general/nikk...

タグ：

posted at 10:14:28

【190カ国】アニメ『岸辺露伴は動かない』Netflixで2月18日に全世界独占配信
news.livedoor.com/lite/article_d...

『ジョジョの奇妙な冒険』岸辺露伴を主人公とした作品。OVAとして話題になった『懺悔室』『六壁坂』『富豪村』『ザ・ラン』の4エピソードを配信する。 pic.twitter.com/ohmYb1yu8q

タグ：

posted at 10:17:11

そのうち立憲民主党は杉尾秀哉参院議員に限らず、新型コロナウイルスで救命できなかった医療者へ『その態度なんですか？』と叱責するよ。

確実に

twitter.com/mi2_yes/status...

タグ：

posted at 10:17:58

#数楽 #Julia言語 #Jupyter

プログラムのコードだけではなく、計算結果とそのプロットを見せたい場合は実に多い。さらに数式入りの解説！

このニーズに応えていてかつ「標準的なものになっている」と言えるのがJupyterです。

Jupyterを嫌う人は過剰適応の類で想像力がなくなっているのだと思う。

タグ： Julia言語 Jupyter 数楽

posted at 10:18:16

非公開

タグ：

posted at xx:xx:xx

さすがに医療者を罵倒する事はないだろう、と一般の人達は思うかもしれないけど、周産期医療に携わる者は皆知っている『福島県立医科大学大野病院の産科医逮捕事件』では、メディアが医療者を『罪人』にしようとしたんですよ。

杉尾秀哉参院議員はメディアの人間ですからね

twitter.com/io302/status/5...

タグ：

posted at 10:23:31

@Emma_hakuna どういたしまして。

この話は相当にやこしい話題なのに、そこを疑問に思わずにスルーする人が多い中で、堂々と疑問を表明していてすごいと私は思いました。疑問を感じるべきことに疑問を表明するのは難しい。

すごいと思ったのでついつい反応してしまいました。

タグ：

posted at 10:28:26

yudai.jl @physics303

juliaさん，btime使うとき，関数に渡す引数はグローバル変数じゃないといけないの？

タグ：

posted at 10:31:39

内村直之 @Historyoflife

須山敦志 Suyama Atsushi @sammy_suyama

うわぁ…… twitter.com/1mdhristfa0cgy...

タグ：

posted at 10:32:39

Kevin Murphy先生の新しい機械学習の教科書のドラフトがPDFでダウンロードできます。1000ページ近い大作ですが、これでintroductionですか
Probabilistic Machine Learning: An Introduction
probml.github.io/pml-book/book1... pic.twitter.com/CkItVB2jm0

タグ：

posted at 11:22:39

Yupei Qi @Gnimuc

@physics303 `run() = ( X = rand(1000000); @btime sum($X) )` できるよ。

タグ：

posted at 11:23:12

@nek0jita @higuma_saikyou 「過剰診断と思われる症例は少なかった」という報告はがん検診の専門家の検討に耐えられるレベルのものではありません。そうした報告が許されるのは、査読のない学会発表か、せいぜいがん検診の専門家の査読が入らないそれほどレベルの高くない医学誌ぐらいでしょう。

タグ：

posted at 11:43:38

@nek0jita @higuma_saikyou NEJM、Lancet、BMJといった国際的なトップジャーナルでは甲状腺がんの過剰診断が問題になっています。「過剰診断が起こりにくいような介入基準」が事実なら世界中の患者さんへの福音になります。なぜ、トップジャーナルで発表されないのでしょうか。

タグ：

posted at 11:43:49

@nek0jita @higuma_saikyou 「過剰診断と思われる症例は少なかった」という報告がトップジャーナルで発表されない理由は、その報告が「手術後の病理検査で過剰診断かどうかを判断できる」という誤解に基づいているからです。被膜外浸潤やリンパ節転移があるからといって過剰診断ではないとは言えません。甲状腺がんはとくに。

タグ：

posted at 11:44:03

森口佑介『子どもから大人が生まれるとき』 @moriguchiy

@nek0jita @higuma_saikyou ちなみに臨床医ですら、がん検診の疫学を理解していないことはよくあります[ twitter.com/NATROM/status/... ]。「現代科学の成果の多くは人間の直感に反している」好例です。

タグ：

posted at 11:44:16

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

孟憲巍さん著の『教える赤ちゃん・察する赤ちゃん』ご恵送いただきました。赤ちゃんが様々な知識や概念を持っていることはこれまで示されていますが、赤ちゃんが他者に教える点など、大変興味深いです。
www.amazon.co.jp/%E6%95%99%E3%8...

タグ：

posted at 12:16:05

日本人は戦前Juliaを使ってたけど戦後GHQに強制されてMATLABを使ってる。

タグ：

posted at 12:17:31

Dr.じょん＠元官僚×医師×医療時事解説 @JohnTTppm

『痛恨の極みです』

立憲民主党のアカウントまで使って、杉尾秀哉議員のパワハラ動画を拡散してる事ですね。

厚労省の『ハラスメントの類型と種類 (www.no-harassment.mhlw.go.jp/foundation/paw...)』の『精神的な攻撃』と『過大な要求』に当てはまる事分かってますよね？

twitter.com/cdp_kokkai/sta... pic.twitter.com/B0SVE7VcZP

タグ：

posted at 12:24:28

【東大公衆衛生教授がコロナ罰則化に反対する理由】

●日本は、ハンセン病など「全体のために1人を見捨てる」理念の政策を行った、反省すべき過去がある

●コロナ罰則化は、その歴史を改めて繰り返しうる

●また、罰則化すれば、感染隠しが起こり、むしろ拡大の要因になりうる twitter.com/nonbeepanda/st...

タグ：

posted at 12:25:13

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

福山哲郎が尾身先生を恫喝した時と変わんないのよ(twitter.com/io302/status/1...)。

立憲民主党は仲間がミスした場合にも『その態度なんですか？』って同僚の前で言ってんだろね。そういう党ってことだね。

タグ：

posted at 12:27:50

要するに「貯金する必要を感じないほど配れ」が正解だと思うのですね。 twitter.com/MMM140806/stat...

タグ：

posted at 13:14:50

共通テストの受験生のみなさまへ。過去のセンター試験では高校からの誤った指示で受験生が不利益を被ったことが何度もありました。特に今回は、共通テストへの切り替えとコロナ対策が重なって、高校が誤解する危険も高まっています。以下、リプライで対策を書きますので参考にしてください。（つづく）

タグ：

posted at 13:35:49

（つづき）
1. 高校からの指示を鵜呑みにせず、必ず公式情報で確認してください。不明なことがあったら、試験場かセンターに問い合わせてください。
2. 万一、高校からの指示に従ってセンターの指示に反する行動をとってしまったら、その旨を試験場の担当者に述べてください。（つづく）

タグ：

posted at 13:35:49

（つづき）高校の指示である旨を述べても救済されるとは限りませんが、可能性は高まります。

タグ：

posted at 13:35:49

ɥozɐʞıɥ @hikazoh

SHARP シャープ株式会社 @SHARP_JP

読み返している。とってもこの本はよい
佐藤建太の 1から始める Juliaプログラミング amzn.to/2XEKVrN

タグ：

posted at 14:02:08

【続報】大学入試センターの方からあらためてご連絡があり、シャープのマスクは差し支えなく使用できるとのことでした。だいじょうぶです。がんばってください。 twitter.com/SHARP_JP/statu...

タグ：

posted at 14:06:05

#統計

⓪確率変数Xの分布は期待値E[f(X)]達(fを動かす)から決まる。

①特性函数についてなら添付画像1の通り。単なるFourier解析。

②中心極限定理には、モーメント母函数や特性函数を使わずに、Taylorの定理のみを使う初等的な証明があります(概略は添付画像2)。この証明法はもっと普及するべき。 twitter.com/lively_metro/s... pic.twitter.com/XD8q7K9ekP

タグ：統計

posted at 14:19:39

#統計学部レベルの統計学入門の教科書の多くが、なぜか、(Fourier解析の知識を要求する)モーメント母函数や特性函数を経由する中心極限定理の証明またはその概略をコピー&ペーストのごとく載せているのは不思議なことです。

教科書の著者達が集団でコピペしまくっている疑いがあります。

タグ：統計

posted at 14:19:40

Tak itoshi @takitoshi

「Juliaで精度保証付き数値計算」更新しました。

ベクトルの内積・行列ベクトル積・行列積の区間演算
taklab-blog.blogspot.com/2021/01/rigoro...

数値線形代数の話。ポイントはBLASを使うか否か。丸め方向の制御ができない（本当？）というJuliaの弱点を回避するため、浮動小数点演算の事前誤差評価を使います。

タグ：

posted at 14:20:56

Tak itoshi @takitoshi

途中でTullio.jlというパッケージを使って区間行列積の並列計算をしてますが、未来感があって好きです。BLASを使わずに一つ一つ区間演算するほうが精密な計算ができます。しかし、まだ遅い。。

タグ：

posted at 14:27:48

#数楽 Taylorの定理の証明も数十年以上コピペが蔓延している疑いが強い。

Cⁿ級を仮定すれば、n階の導函数f^{(n)}(x)をaからxまで積分することをn回繰り返すだけでTaylorの定理が得られる。

g(x) = g(a) + ∫_a^x g'(t)dt をn回使う。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 14:47:23

#統計訂正: X_1,…,X_n, Y_1,…,Y_nの独立性も仮定していることを書くのを忘れていた。ひどいので訂正版を出しておきます。

本質的にTaylorの定理しか使わない中心極限定理の証明の概略。

1/√nのオーダーの量の3乗をn個足した結果は1/√nのオーダーでn→∞で0になります。たったそれだけのこと！ twitter.com/genkuroki/stat... pic.twitter.com/Qqt9UF0eQN

タグ：統計

posted at 15:16:24

非公開

タグ：

posted at xx:xx:xx

モト@PPMMPP @29silicon

センター試験で会場責任者を経験した者ですが、何を着ようが大学入試関係者は知ったこっちゃありませんし、そんな暇もありません。高校が制服を推奨しようが、それをチェックして減点するなんてことは絶対にありませんので、安心して暖かい服装で受験場に来て下さい。今年の会場は換気で寒いですよ！ twitter.com/kamo_hiroyasu/...

タグ：

posted at 16:15:23

Ishida the Brain Dam @tbs_i

感染症予防のダークサイドについて。いわゆるリベラルさんがそういうダークサイドを推進しようとすらしていること。
＞「罰則は、効果がないどころか公衆衛生を破壊する」　東大の公衆衛生教授が感染症法の改正に反対する理由 www.buzzfeed.com/jp/naokoiwanag... @nonbeepandaより

タグ：

posted at 16:18:42

#Julia言語

using Plots
pyplot(fmt=:svg) # または pyplot()

でプロットすればレジェンドの位置が自動的に移動するようになります。 twitter.com/saburoyamaimo/...

タグ： Julia言語

posted at 17:35:42

#Julia言語 Jupyter上で私は以下の3つを使い分けています。

① using PyPlot

matplotlibの使用例をそのまま利用可能。

② using Plots

gr()バックエンド。
作画が速い。

③ using Plots; pyplot(fmt=:svg)

gr()バックエンドより安定している。
heatmapはheatmap(～; ～, fmt=:png)で作画。

タグ： Julia言語

posted at 17:51:09

はや@5y @tao_reco

２歳の言い間違いが、あまりに理屈の通った間違い方ばかりで感心している。 pic.twitter.com/poUDh8Ei2K

タグ：

posted at 18:47:36

イエス・キリスト @yeskiri

アシダカグモの説明がカッコ良すぎる pic.twitter.com/FjXcrKMeTK

タグ：

posted at 21:08:32

はや@5y @tao_reco

函館ワンニャンパトロール @wannyan_patrol

集合知Twitterのおかげで、これが音位転換という現象で、発音しにくい音がより発音しやすい形になったり、言い慣れた単語にひっぱられたりして起こる説がある、と分かりました。またひとつ賢くなった。

タグ：

posted at 21:15:25

函館ワンニャンパトロール @wannyan_patrol

コンビニの前で雪でビショビショになりながらじっと動かす、しばらくして道行く人に『ごはんを下さい』と鳴いて近付いていたそうです😭 pic.twitter.com/DddqncNEnJ

タグ：

posted at 21:27:08

野良ちゃんです！
現在、保護しており温かい場所にいます
ものすごく穏やかな性格でびっくりするほど人懐っこい子です😭
ステキな里親さんにつなげられるようにみなさんRTよろしくお願いします🙇💦

タグ：

posted at 21:57:48

秋池　浩 @hiroshiakiike

@andresinini あとこの本のおかげで、お名前の出ている人、出てない人多くの人が支えてる、助け合っていることもわかりました。

タグ：

posted at 22:49:27

yudai.jl @physics303

www.cas.cmc.osaka-u.ac.jp/~paoon/misc/ju...

タグ：

posted at 23:38:57

産婦人科医とみー @obgyntommy