黒木玄 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年04月18日(土)
正定値行列の定義が須山さんのベイズ（緑）では対称行列に限っていないがまずいのではないか。
例えば二次形式の正値性は行列の対称部分しか見ていないので、対称行列以外では行列のフルの情報から来る固有値の正負について言えるとは思えず正定値行列の定義の同値性が怪しい
タグ：
posted at 00:01:49
わりとよく数学の本のオススメを質問されるけど、大事なのはどの本を読むかではなくて本をどうやって読むかだと思います。大事なことは本には書いてないというと言い過ぎですけど、本を離れてどれだけ考えられるかが大事だと思います。
タグ：
posted at 00:22:38
もちろん僕が個人的に読んで面白いと思った本はあるけど、本が面白いというよりかはそこに書いてある数学が面白いということで、それはどの本を読んでも結局同じなんじゃないかなと思いますが、たまに特定の本にしか書いていないような内容があるのでそれは重要かもしれません。
タグ：
posted at 00:23:53
僕は数学の本は好きでかなりたくさん買ってるけどほとんど読んでないし、真面目に読んだ本なんてせいぜい10冊程度です。それ以外はぱっと見面白そうか、信用できる人が書いてるか勧めてるかくらいです。
タグ：
posted at 00:25:30
ごまふあざらし(GomahuAzaras @MathSorcerer
Jupyter Notebook の起動，Plots.jlの描画オーバーヘッドを大幅に短縮した様子．
デフォルト（左図）だと初期の立ち上げ 1+1 の実行で秒単位かかるが PackageCompiler.jl によってsysimgを焼いたものですると右図のようになる． pic.twitter.com/BvpdZIB8cY
タグ：
posted at 05:00:20
ごまふあざらし(GomahuAzaras @MathSorcerer
同様に Atom の REPL で plot(sin) などをする場合の様子
デフォルトが左で右がPackageCompiler.jlでsysimgを作成したもの. julia client のオプションで -J/path/to/newsysimg.dylib を設定することを忘れずに． pic.twitter.com/7j7A1uQiCb
タグ：
posted at 05:07:58
ごまふあざらし(GomahuAzaras @MathSorcerer
全てこのテクニックに従っています．
julia --trace-compile=traced.jl
で Julia を起動したあと定型の操作を行って定形の操作をすることでJITコンパイルされる関数群を記録します．
PackageCompiler.create_sysimage(...,precompile_statements_file="traced.jl") でOK
github.com/JuliaLang/Pack...
タグ：
posted at 05:14:22
ごまふあざらし(GomahuAzaras @MathSorcerer
... と書いたところは [:Plots,:IJulia] または [:Plots,:Atom,:Juno] にしておいて sysimage_path は各々異なるものにしておく. (display 関数が Jupyter, Juno で振る舞いが異なるため)
タグ：
posted at 05:14:23
ごまふあざらし(GomahuAzaras @MathSorcerer
IJulia を使う場合は -J オプションを反映させるようにカーネルを導入する必要がある．
```
julia> using IJulia
julia> IJulia.installkernel("Julia pkg", "-J/path/to/ijulia.dylib")
```
一度やっておけば jupyter notebook で起動し `Julia pkg` という名前のカーネルでノートブックを動かす．
タグ：
posted at 05:14:23
ごまふあざらし(GomahuAzaras @MathSorcerer
PackageCompilerで焼いたシステムイメージでIJuliaを使うとかえって遅くなる現象を回避した様子
#Julia言語
#julialang twitter.com/MathSorcerer/s...
posted at 05:15:37
L-systemによる分岐構造をR上で生成できるflametree github.com/djnavarro/flam...。
ggplot2ベースで描画できるのものすごい。そしてそれを三次元で表示するrayshader！
（これ @KuboBook さんが好きなやつだw。私も好き🌲）影の表現にも驚き。 twitter.com/tylermorganwal...
タグ：
posted at 06:06:20
#超算数 インドネシアとチリにチョー算数が輸出されて被害が拡大する可能性が高い。
海外への輸出の実績は国内での「権威」の強化にも繋がり、国内での被害を拡大するだろう。
算数・数学教科書を協同開発 筑波大、インドネシアやチリ政府と www.sankei.com/region/news/20... @Sankei_newsより
タグ： 超算数
posted at 06:10:22
数学セミナー誌の読者は「8割おじさん」「#西浦寝ろ」などで有名な西浦博さんを数年前から知っているはず(笑)。あの連載の人です。数セミの編集部は色々すごいと思う。
twitter.com/genkuroki/stat...
タグ：
posted at 06:29:54
関連
なんらかの契機があって、色々楽しんで勉強する人が増えたり、完璧に理解できてなくても面白い話があることに気付く人が増えることは非常に大事。
好奇心を持って楽しんで勉強すること自体が社会貢献になる。
twitter.com/genkuroki/stat...
タグ：
posted at 06:32:59
I think there may be some issues with the confidence intervals reported in Stanford's new antibody study; the confidence intervals (CIs) reported seem far too narrow given the data observed. 1/5 www.medrxiv.org/content/10.110...
タグ：
posted at 06:37:17
今回の一律給付の流れを見ると麻生、二階、岸田だけは次期総理にしてはいけない事が良く分かった(石破は論外)
安倍4選が無いとすればやはり菅さんしか居ないだろう。
タグ：
posted at 08:58:40
映像データです↓
drive.google.com/file/d/1MF7Eml...
そして、kajiiでは活動支援のクラウドファンディングも行っております。
楽しいものを作り続けるために、応援よろしくお願いします！！
readyfor.jp/projects/kajii
タグ：
posted at 09:19:50
【教育に活用】カナダの高校、新型コロナで中止となった修学旅行を『アサクリ』で行う
news.livedoor.com/lite/article_d...
『Assassin’s Creed』シリーズはリアリティを重視しており、専門家と協力してゲームの舞台の歴史や政治、文化などを可能な限り忠実な再現を行っている。 pic.twitter.com/uUg7CEX14F
タグ：
posted at 09:33:00
水害からの早期避難に関する防災マンガをつくりました．リンク先にはA4サイズの2ページ版もありますので，適宜ご活用ください．「どうする？水害から命を守る方法」edomb.wp.xdomain.jp/program/manga pic.twitter.com/pVi4nUrEY8
タグ：
posted at 11:29:05
#超算数 「保育園児童を対象とした算数の語彙調査研究」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
以下の文献を見た雑感です。
保育園児童を対象とした算数の語彙調査研究
志水 廣,鈴木 由里子 2020年03月01日
aue.repo.nii.ac.jp/?action=pages_...
タグ： 超算数
posted at 11:55:56
セルフファクトチェックも兼ねて、昨日モル吉さん（@Morukichi_）に教えていただいたロンドン大学衛生熱帯医学大学院による「真の感染者数」「検査の捕捉率」の推定をざっくりメモ書きしました。
note.com/kyslog/n/n7a88...
タグ：
posted at 12:33:16
本アカウントで、新型コロナウイルスを感染者総数ではなくグループ分けして見ている意義について
どのグループが増加しているのかで対策が異なってきます。 pic.twitter.com/DIvj8cG8eu
タグ：
posted at 12:33:30
#超算数 「「到達目標」の設定の妥当性」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
以下の文献を見た雑感です。
小学校入門期の授業における教師と子どもの相互作用の実態 : 国語科と算数科授業で重視される目標の違いに着目して
ir.lib.hiroshima-u.ac.jp/ja/00048910
タグ： 超算数
posted at 13:14:24
なおマンガ中では実家に避難という選択肢を描いていますが，こちらは新型コロナウイルス流行前に作成したもので，いまは絶対やったらダメです．どうかお気をつけください．
タグ：
posted at 14:29:13
#統計 その通りです。
須山敦志『ベイズ推論による機械学習』p.229, A.1.5節における「実正方行列」は「実対称行列」に書き換える必要があります。
この手の自明な(反例をすぐに作れる)誤りはよくある。
読者はさらりと反例を作って自分で訂正すれば良い。 twitter.com/ytr14373540/st...
タグ： 統計
posted at 15:05:02
コミさん@K Squad LLC. @komi_edtr_1230
現在44/250
あまりにもハードすぎてひと休憩するたびにコミットしてて、毎回300行くらいずつコミットしてる
github.com/komi1230/kai/c...
タグ：
posted at 15:36:21
@JEDI_Teacher 「学年×10分」と書いているので、
twitter.com/Kageyama_hideo...
割と普通のことなんでしょうね。
児童には「4人に3個ずつで4×3にすると、12人になる」だの「兎3羽の耳の数を3×2とすると、3本耳の兎2羽の意味になる」と言いながら、「学年×10分」が流布しているわけで、実に不思議です。
タグ：
posted at 16:26:54
昨日のオンライン数学デーで話題になったConway-CoxeterのFrieze patternについては黒木玄 @genkuroki 氏の下記ツイートとこの文書で詳しく解説されています。
www.math.tohoku.ac.jp/~kuroki/LaTeX/...
タグ：
posted at 16:41:10
サージ・ラングが #エール大学 教授時代に完成させたベストセラー教科書の第3版GTM211 bit.ly/3ctlv5X も無料ダウンロード公開中です。 #ABC予想 についてさかれたセクションもあります。
#SpringerNature500eBooks #代数学
ℹ️ bit.ly/3dXoRzN pic.twitter.com/8mQO7sxJwG
タグ： ABC予想 SpringerNature500eBooks エール大学 代数学
posted at 17:04:40
@tyamada1093 #数楽 紹介ありがとうございます。
添付画像のような図のLaTeXでの描き方について知りたい人がいると思ったのでTeXファイルも公開してあります。
Dynkin図形と箙(えびら, quiver)が出て来る易しい話。
genkuroki.github.io/documents/#201...
↓
* PDF
genkuroki.github.io/documents/2012...
* TeX
genkuroki.github.io/documents/2012... pic.twitter.com/glne80FeDB
タグ： 数楽
posted at 17:14:46
@JEDI_Teacher @sekibunnteisuu （横から失礼）
もしかしたらもう結論が出ているのかも知れませんが、「今まであまり気にしたことがない」という事なら、「10分×学年」でも「学年×10分」でもどっちでも良いと思って生きてきたという事ですね。#掛算
タグ： 掛算
posted at 17:18:16
今回優良な成績を上げている台湾、ベトナム、シンガポールあたりは「接触者の接触者も隔離する」という方法で陽性確認者の100倍ほどの人数を隔離しています。
note.com/kyslog/n/nd3f9...
中国や韓国もそうですか、行動歴開示や自由権制限はかなりきつめです。
@aki1954
タグ：
posted at 18:34:23
コーヒーマシンをIoT化。減りが早い本当の理由に一同驚愕！涙が止まらない...｜imaimai @hokekiyoo #note
#ほけきよさんnote
note.com/imaimai/n/n216...
タグ： note ほけきよさんnote
posted at 18:34:29
非公開
タグ：
posted at xx:xx:xx
#数楽 少し偏った微積分の勉強をして楽しみたい人は
github.com/genkuroki/Calc...
にある #Julia言語 のJupyter notebooksとそのPDF化がお勧め。
「一般論よりも、具体的な計算例とグラフのプロットの方が重要である」という方針で書いたつもり。
添付画像は調和級数と対数函数と対数函数＋γの比較。 pic.twitter.com/bedLHIYG5x
posted at 18:55:38
#数楽 グラフを見れば、xが大きなときに、log x と log(x+1) はほぼぴったり一致していることや、1/1+1/2+…+1/n と log n + γ がほぼぴったり一致していることが分かります。ここでγ=0.5772…はオイラー定数。
こういうことは高校生の時点で知っておいても良いことだと思います。 pic.twitter.com/kskOLGfdFt
タグ： 数楽
posted at 18:58:51
#数楽 ガンマ函数とベータ函数の正規化された被積分函数が正規分布の確率密度函数にほとんど一致している場合のグラフ。
中心極限定理の特殊な場合ともみなされます。
genkuroki.github.io/documents/Calc... pic.twitter.com/MjM7H75BR0
タグ： 数楽
posted at 20:11:43
#数楽
* Rogers' dilogarithmの五項関係式
* 量子dilogarithmのpentagon関係式
genkuroki.github.io/documents/Calc... pic.twitter.com/epJ1jxwvpY
タグ： 数楽
posted at 20:32:12
#数楽 続き。古典dilogarithmの五項関係式や量子dilogarithmの五角形恒等式の類は21世紀の現代では基本教養の1つ？(笑)
別の話題。添付画像は x→1 で
F(x) = x - x² + x⁴ - x⁸ + x¹⁶ - … (|x|<1)
が微妙な感じで収束しないという結構面白い話。
genkuroki.github.io/documents/Calc... pic.twitter.com/g2MdGkUHOf
タグ： 数楽
posted at 20:39:34
#数楽 Riemannのゼータ函数やHurwitzのゼータ函数とpolylogarithmsの函数等式の一般化であるLipschitzの和公式=Lerchの函数等式。
Hurwitzのゼータ函数とpolylogarithmsの両方の一般化になっているLerchの超越函数はこの意味で結構自然な数学的対象。
genkuroki.github.io/documents/Calc... pic.twitter.com/YL8I2GahOJ
タグ： 数楽
posted at 20:46:29
#数楽
* ゼータ正規化積
* Lerchの定理 (log Γ(x) = ζ_s(0, x) + log√(2π))
* Binetの公式 (log Γ(x+1) = x log x - x + (1/2)log x + log√(2π) + φ(x) のφ(x)の公式, Stirlingの公式の拡張)
genkuroki.github.io/documents/Calc... pic.twitter.com/jKJlfPt2aV
タグ： 数楽
posted at 20:57:04
#数楽 Borwein積分
以下積分は-∞から∞まで。sinc x = sin(x)/xとおく。
∫sinc(x)dx = π (Dirichlet積分)
∫sinc(x)sinc(x/3)dx = π
∫sinc(x)sinc(x/3)sinc(x/5)dx = π
…
∫sinc(x)sinc(x/3)…sinc(x/13)dx = π
だが、その次はπとは異なるπに極めて近い値になる。
genkuroki.github.io/documents/Calc... pic.twitter.com/snPt0dNmZt
タグ： 数楽
posted at 21:05:58
専門家有志の会の記事に自分の解釈を付け加えて紹介して欲しくないんだよね。
せっかく専門家の皆様が一生懸命情報を発信してるのに。
特に原発事故絡みで名前を売った物書きの人たち。
タグ：
posted at 21:15:31
教員側が、zoomなどのオンラインを介して教室と同じような「集団のつながり」を作ろうとすると、そこでは「つながりたくない子ども」の自由が著しく侵されてしまう。zoomのブレイクアウトルームとか、その場から逃げ出せない感じ。「ビデオを停止する自由がある」ことを子どもに伝えるべきなのかな。
タグ：
posted at 21:25:08
@MathSorcerer @genkuroki すごい！これって多分Junoの各種runtime機能も初回オーバーヘッドなくなるんですか？？SnoopCompileのようにAOT時にコンパイルするメソッド×引数型を与える必要があるんですかね。
タグ：
posted at 21:39:21
ごまふあざらし(GomahuAzaras @MathSorcerer
@kdwkshh @genkuroki run external process でDockerコンテナとJunoを接続する時のオーバヘッドが改善されました．Issueにある通り
--trace-compile=traced.jl オプションをつけてJuliaを起動したあといろいろ触って
PackageCompiler.create_sysimage([:Atom,:Juno],precompile_statements_file="tracedjl",以下略)とする
タグ：
posted at 21:46:42
ごまふあざらし(GomahuAzaras @MathSorcerer
@kdwkshh @genkuroki 実は SnoopCompile 触るところまでできてなかったので比較できないですが(´；ω；｀)．
何にせよJunoの起動・Plots描画のオーバーヘッドが改善されました．手順は
github.com/terasakisatosh... を見てくださいまし．
タグ：
posted at 21:48:57
@kenn @yamotty3 ご覧になられたかもしれませんが、こちらのスレッドもとても興味深かったです。twitter.com/genkuroki/stat...
タグ：
posted at 21:50:45
@MathSorcerer @genkuroki なるほど、--trace-compileなんてものがあるんですね。おそらくprecompile statementsを作成しているところで
`Pkg.test("Atom")`とかするとcompletionなどの機能のオーバーヘッドもなくなる気がします。正直僕もSnoopCompile(既にJunoが使ってるやつ)との違いがはっきりとわかってはいないのですが...
タグ：
posted at 22:00:10
ごまふあざらし(GomahuAzaras @MathSorcerer
@kdwkshh @genkuroki --trace-compile は PackageCompiler.jl のマニュアルを読んで存在を知りました．`Pkg.test("Atom")`は効果ありそうですね．実際，マニュアルにもそういう方法あるよーって書いてあるので．
タグ：
posted at 22:03:51
@MathSorcerer @genkuroki いやすいません、`Pkg.test`は別プロセスでテストを実行するのでこれだと無理ですね。。。
`include(realpath(joinpath(pathof(Atom), "..", "..", "test", "runtests.jl")))`とかだといけるのかもしれません(テスト用のdepsが必要ですが)
タグ：
posted at 22:04:00
「少数派の中の多数派が、多数派の中の少数派に、人数的に負けていることがある」という当たり前の話が、「ベイズの定理」とやらから出て来る「高尚な話」であるかのように見せてしまう説明の仕方は有害だよね。
タグ：
posted at 22:15:49
@takusansu #超算数
＞「合併のたし算と増加のたし算を区別してとらえる」という「到達目標」に向けたやりとりが展開されていた。しかしこの目標設定は果たして妥当であるのか。
広島大学と言えばこれ
実に趣深いｗ
ir.lib.hiroshima-u.ac.jp/files/public/3...
タグ： 超算数
posted at 22:43:20
【本棚登録】『Juliaプログラミングクックブック ―言語仕様からデータ分析、機械学習、数値計算まで』Bogumił Kamiński booklog.jp/item/1/4873118... #booklog
タグ： booklog
posted at 22:50:04
コロナ禍で売上激減の為に休業している同業者が店舗家賃の減額を入居しているビルを管理する不動産屋に相談したら大家から無理だと回答があったと伝えられたらしい。ダメ元で大家に直接電話で平身低頭してお願いしたら二つ返事で減額を承諾してくれたそうだ。不動産屋を信用せず大家に直談判が効果的。
タグ：
posted at 22:56:00
ごまふあざらし(GomahuAzaras @MathSorcerer
@kdwkshh @genkuroki 大丈夫っぽいできゅ.
using Plots
plot(sin) |> display
の例でdisplayのオーバヘッドも減っています．
gist.github.com/terasakisatosh...
タグ：
posted at 23:10:53
