黒木玄 Gen Kuroki(@genkuroki)/2020年04月18日

在宅保育テレワークとぼく pic.twitter.com/5eKiicswyx

タグ：

posted at 23:55:21

n次元の餃子とn-1次元の餃子の皮のコードを書く能力が足りなかったため、とりあえずn=1で実装をしている

タグ：

posted at 23:46:59

Juliaで餃子部分と餃子の羽部分の複合型を作って、それを格納する複合型を作れば、みため普通なのにいつのまにか羽部分をMPI通信してるコードが書ける

タグ：

posted at 23:42:49

1次元の餃子と0次元の餃子の羽を使った差分化された方程式の並列化のコーディングがわかってきた

タグ：

posted at 23:39:58

MacBookAirでJulia動かしてると４Core欲しくなる・・・．

タグ：

posted at 23:21:58

@kdwkshh @genkuroki 大丈夫っぽいできゅ.

using Plots
plot(sin) |> display
の例でdisplayのオーバヘッドも減っています．

gist.github.com/terasakisatosh...

タグ：

posted at 23:10:53

黒かどや @kadoya1

こばりゅうの本棚 @ryukius_books

コロナ禍で売上激減の為に休業している同業者が店舗家賃の減額を入居しているビルを管理する不動産屋に相談したら大家から無理だと回答があったと伝えられたらしい。ダメ元で大家に直接電話で平身低頭してお願いしたら二つ返事で減額を承諾してくれたそうだ。不動産屋を信用せず大家に直談判が効果的。

タグ：

posted at 22:56:00

【本棚登録】『Juliaプログラミングクックブック ―言語仕様からデータ分析、機械学習、数値計算まで』Bogumił Kamiński booklog.jp/item/1/4873118... #booklog

タグ： booklog

posted at 22:50:04

@takusansu #超算数　　
＞「合併のたし算と増加のたし算を区別してとらえる」という「到達目標」に向けたやりとりが展開されていた。しかしこの目標設定は果たして妥当であるのか。

広島大学と言えばこれ

実に趣深いｗ
ir.lib.hiroshima-u.ac.jp/files/public/3...

タグ：超算数

posted at 22:43:20

mizuki_kanna07409 @kanna07409

だから、放射線でまともなことを言う人が、感染症でもまともなことを言うとは限らないんだよ。

タグ：

posted at 22:31:54

「なんかキモい」と思いながら見ていたら、最後の方でかわいいのが出て来る動画。 twitter.com/lanius/status/...

タグ：

posted at 22:20:13

「少数派の中の多数派が、多数派の中の少数派に、人数的に負けていることがある」という当たり前の話が、「ベイズの定理」とやらから出て来る「高尚な話」であるかのように見せてしまう説明の仕方は有害だよね。

タグ：

posted at 22:15:49

Shuhei Kadowaki @kdwkshh

@MathSorcerer @genkuroki いやすいません、`Pkg.test`は別プロセスでテストを実行するのでこれだと無理ですね。。。
`include(realpath(joinpath(pathof(Atom), "..", "..", "test", "runtests.jl")))`とかだといけるのかもしれません(テスト用のdepsが必要ですが)

タグ：

posted at 22:04:00

@kdwkshh @genkuroki --trace-compile は PackageCompiler.jl のマニュアルを読んで存在を知りました．`Pkg.test("Atom")`は効果ありそうですね．実際，マニュアルにもそういう方法あるよーって書いてあるので．

タグ：

posted at 22:03:51

Shuhei Kadowaki @kdwkshh

@MathSorcerer @genkuroki なるほど、--trace-compileなんてものがあるんですね。おそらくprecompile statementsを作成しているところで
`Pkg.test("Atom")`とかするとcompletionなどの機能のオーバーヘッドもなくなる気がします。正直僕もSnoopCompile(既にJunoが使ってるやつ)との違いがはっきりとわかってはいないのですが...

タグ：

posted at 22:00:10

ヘチマレモン @hetima_lemon

遂に1から始めちゃいます。#1Ju pic.twitter.com/opC9h8mlPq

タグ： 1Ju

posted at 21:53:17

Shu Uesugi @chibicode

@kenn @yamotty3 ご覧になられたかもしれませんが、こちらのスレッドもとても興味深かったです。twitter.com/genkuroki/stat...

タグ：

posted at 21:50:45

@kdwkshh @genkuroki 実は SnoopCompile 触るところまでできてなかったので比較できないですが(´；ω；｀)．
何にせよJunoの起動・Plots描画のオーバーヘッドが改善されました．手順は
github.com/terasakisatosh... を見てくださいまし．

タグ：

posted at 21:48:57

@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

Shuhei Kadowaki @kdwkshh

@MathSorcerer @genkuroki すごい！これって多分Junoの各種runtime機能も初回オーバーヘッドなくなるんですか？？SnoopCompileのようにAOT時にコンパイルするメソッド×引数型を与える必要があるんですかね。

タグ：

posted at 21:39:21

あすこま @askoma

教員側が、zoomなどのオンラインを介して教室と同じような「集団のつながり」を作ろうとすると、そこでは「つながりたくない子ども」の自由が著しく侵されてしまう。zoomのブレイクアウトルームとか、その場から逃げ出せない感じ。「ビデオを停止する自由がある」ことを子どもに伝えるべきなのかな。

タグ：

posted at 21:25:08

#Julialang

github.com/jdeldre/Schwar...

タグ： Julialang

posted at 21:21:07

mizuki_kanna07409 @kanna07409

専門家有志の会の記事に自分の解釈を付け加えて紹介して欲しくないんだよね。
せっかく専門家の皆様が一生懸命情報を発信してるのに。
特に原発事故絡みで名前を売った物書きの人たち。

タグ：

posted at 21:15:31

#数楽 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

#数楽

* ゼータ正規化積
* 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

#数楽 Riemannのゼータ函数やHurwitzのゼータ函数とpolylogarithmsの函数等式の一般化であるLipschitzの和公式=Lerchの函数等式。

Hurwitzのゼータ函数とpolylogarithmsの両方の一般化になっているLerchの超越函数はこの意味で結構自然な数学的対象。

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

タグ：数楽

posted at 20:46:29

#数楽続き。古典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

#数楽

* Rogers' dilogarithmの五項関係式
* 量子dilogarithmのpentagon関係式

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

タグ：数楽

posted at 20:32:12

#数楽ガンマ函数とベータ函数の正規化された被積分函数が正規分布の確率密度函数にほとんど一致している場合のグラフ。

中心極限定理の特殊な場合ともみなされます。

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

タグ：数楽

posted at 20:11:43

#数楽

lim_{n→∞}(log n - (1/1+1/2+…+1/(n+1))) = -γ = -0.5772…

の一般化であるdigamma函数

ψ(x) = Γ'(x)/Γ(x)
= lim_{n→∞}(log n - (1/x+1/(x+1)+…+1/(x+n)))

はガンマ分布の統計学に自然に出て来るので、統計学のコンピュータでの取り扱いでは必須の特殊函数の1つになっています。

タグ：数楽

posted at 20:08:06

#数楽数学では「数学の世界でどのようなきれいな法則が成立しているか」を発見することが大変で、何が成立しているかが分かれば証明は論理的なスキルの問題になります。論理的推論能力を高めれば自力で証明できることがどんどん増えて行く。

タグ：数楽

posted at 19:01:29

#数楽グラフを見れば、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

新帯秀樹 Hideki Shintai @hs_heddy

#数楽少し偏った微積分の勉強をして楽しみたい人は

github.com/genkuroki/Calc...

にある #Julia言語のJupyter notebooksとそのPDF化がお勧め。

「一般論よりも、具体的な計算例とグラフのプロットの方が重要である」という方針で書いたつもり。

添付画像は調和級数と対数函数と対数函数＋γの比較。 pic.twitter.com/bedLHIYG5x

タグ： Julia言語数楽

posted at 18:55:38

非公開

タグ：

posted at xx:xx:xx

コーヒーマシンをIoT化。減りが早い本当の理由に一同驚愕！涙が止まらない...｜imaimai @hokekiyoo #note
#ほけきよさんnote

note.com/imaimai/n/n216...

タグ： note ほけきよさんnote

posted at 18:34:29

ショーンKY @kyslog

今回優良な成績を上げている台湾、ベトナム、シンガポールあたりは「接触者の接触者も隔離する」という方法で陽性確認者の100倍ほどの人数を隔離しています。
note.com/kyslog/n/nd3f9...

中国や韓国もそうですか、行動歴開示や自由権制限はかなりきつめです。
@aki1954

タグ：

posted at 18:34:23

山田美津子 @yamadamitsuko

#今日のいいことは pic.twitter.com/X88tKA5GiR

タグ：今日のいいことは

posted at 17:33:33

ゴルゴ・サーディーン @golgo_sardine

@JEDI_Teacher @sekibunnteisuu （横から失礼）
もしかしたらもう結論が出ているのかも知れませんが、「今まであまり気にしたことがない」という事なら、「10分×学年」でも「学年×10分」でもどっちでも良いと思って生きてきたという事ですね。#掛算

タグ：掛算

posted at 17:18:16

@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

Springer Japan @SpringerJapan

サージ・ラングが #エール大学教授時代に完成させたベストセラー教科書の第3版GTM211 bit.ly/3ctlv5X も無料ダウンロード公開中です。 #ABC予想についてさかれたセクションもあります。

#SpringerNature500eBooks #代数学
ℹ️ bit.ly/3dXoRzN pic.twitter.com/8mQO7sxJwG

タグ： ABC予想 SpringerNature500eBooks エール大学代数学

posted at 17:04:40

lanius @lanius

ティッシュ箱に脚を生やした。お茶こぼしたときとかに駆けつけてほしい pic.twitter.com/5miaH78UKr

タグ：

posted at 16:50:11

Tomohiro Yamada @tyamada1093

昨日のオンライン数学デーで話題になったConway-CoxeterのFrieze patternについては黒木玄 @genkuroki 氏の下記ツイートとこの文書で詳しく解説されています。
www.math.tohoku.ac.jp/~kuroki/LaTeX/...

タグ：

posted at 16:41:10

#Julia言語 twitter.com/mathsorcerer/s...

タグ： Julia言語

posted at 16:29:36

@JEDI_Teacher 「学年×10分」と書いているので、
twitter.com/Kageyama_hideo...

割と普通のことなんでしょうね。

児童には「4人に3個ずつで4×3にすると、12人になる」だの「兎3羽の耳の数を3×2とすると、3本耳の兎2羽の意味になる」と言いながら、「学年×10分」が流布しているわけで、実に不思議です。

タグ：

posted at 16:26:54

@JEDI_Teacher このような強固な掛け算順序論者である陰山英男も、
twitter.com/sekibunnteisuu...

タグ：

posted at 16:24:26

コミさん@K Squad LLC. @komi_edtr_1230

@JEDI_Teacher 違和感があるなら、なぜこのように書いてしまったのでしょうか？
twitter.com/JEDI_Teacher/s...

タグ：

posted at 16:12:18

現在44/250
あまりにもハードすぎてひと休憩するたびにコミットしてて、毎回300行くらいずつコミットしてる
github.com/komi1230/kai/c...

タグ：

posted at 15:36:21

#数楽自明な誤りはよく発生します。

数学的な事柄について考えることはしんどいので、すべての場面で神経を集中し続けるのは無理。テキトーに気を抜かないとつらい。それが原因で自明な誤りがよく発生する。

数学の本の記述に忠実に従おうとするとはまる場合がある。

タグ：数楽

posted at 15:22:35

#統計反例の作り方の例

a,b,cは実数であるとする。行列

A =
[ a b ]
[ 0 c ]

の固有値はa,cである。a>0, c>0と仮定する。実数xに関する

v =
[ x ]
[ 1 ]

について

v^T A v = ax² + bx+ c = a(x+b/(2a))² - (b²-4ac)/(4a).

これは b²-4ac>0 ならば x=-b/(2a) のとき負になる。

タグ：統計

posted at 15:05:04

#統計その通りです。

須山敦志『ベイズ推論による機械学習』p.229, A.1.5節における「実正方行列」は「実対称行列」に書き換える必要があります。

この手の自明な(反例をすぐに作れる)誤りはよくある。

読者はさらりと反例を作って自分で訂正すれば良い。 twitter.com/ytr14373540/st...

タグ：統計

posted at 15:05:02

荒木健太郎 @arakencloud

なおマンガ中では実家に避難という選択肢を描いていますが，こちらは新型コロナウイルス流行前に作成したもので，いまは絶対やったらダメです．どうかお気をつけください．

タグ：

posted at 14:29:13

@kankichi57301 @kankichi57301

@mtkharu3 公式を最初に作った者は「語呂がいい順でてけと～に　#掛算　の被演算子を並べたら後世の人らが金科玉条のごとく順番にこだわるようになってて、おちおち草葉の陰で眠ってられない。」って嘆いてる。　#超算数
まぁどのみちえらい「公式」観が蔓延してるものだ。

タグ：掛算超算数

posted at 13:41:05

TaKu @takusansu

#超算数「「到達目標」の設定の妥当性」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
以下の文献を見た雑感です。

小学校入門期の授業における教師と子どもの相互作用の実態 : 国語科と算数科授業で重視される目標の違いに着目して
ir.lib.hiroshima-u.ac.jp/ja/00048910

タグ：超算数

posted at 13:14:24

まるちらす @malbar_malbar

@Yuna09206438 @qnh4z89G0MlI88M これを思い出しました。 pic.twitter.com/U9DWCetPjs

タグ：

posted at 12:58:20

mokita @rurias

ついにウチの息子も掛け算順序問題の被害に！ pic.twitter.com/2uhQn0Pt0o

タグ：

posted at 12:58:03

Jem @Jem0211

宮城県新型コロナウイルス情報 @MiyagiCorona

「カリフラワーがカタツムリの中で育つなんて！」てコメントがあって笑いました。 twitter.com/masumurahirosh...

タグ：

posted at 12:38:10

宮城県新型コロナウイルス情報 @MiyagiCorona

宮城県内の新型コロナウイルスの各データの大雑把な目安について pic.twitter.com/1Y4LSsjRZG

タグ：

posted at 12:34:35

本アカウントで、新型コロナウイルスを感染者総数ではなくグループ分けして見ている意義について

どのグループが増加しているのかで対策が異なってきます。 pic.twitter.com/DIvj8cG8eu

タグ：

posted at 12:33:30

ショーンKY @kyslog

セルフファクトチェックも兼ねて、昨日モル吉さん（@Morukichi_）に教えていただいたロンドン大学衛生熱帯医学大学院による「真の感染者数」「検査の捕捉率」の推定をざっくりメモ書きしました。
note.com/kyslog/n/n7a88...

タグ：

posted at 12:33:16

大' @satodainu

iPhone 7復活した。8,000円ちょい。

タグ：

posted at 12:31:05

くろさび @chromless

なんだこれ…！ pic.twitter.com/UonIxgnK4j

タグ：

posted at 12:15:03

TaKu @takusansu

#超算数「保育園児童を対象とした算数の語彙調査研究」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
以下の文献を見た雑感です。

保育園児童を対象とした算数の語彙調査研究
志水廣,鈴木由里子　2020年03月01日
aue.repo.nii.ac.jp/?action=pages_...

タグ：超算数

posted at 11:55:56

荒木健太郎 @arakencloud

Watch People Die Ins @THEYDEADlNSlDE

水害からの早期避難に関する防災マンガをつくりました．リンク先にはA4サイズの2ページ版もありますので，適宜ご活用ください．「どうする？水害から命を守る方法」edomb.wp.xdomain.jp/program/manga pic.twitter.com/pVi4nUrEY8

タグ：

posted at 11:29:05

Watch People Die Ins @THEYDEADlNSlDE

credit: facebook.com/magdari.wessels

タグ：

posted at 11:01:28

pic.twitter.com/N9Ahhclugp

タグ：

posted at 11:00:32

大' @satodainu

このツイートは、バッテリ残量がみるみる減っていくiPhone 5sからお送りしております。

タグ：

posted at 10:07:41

大' @satodainu

仙台は午後から大荒れになりそうだな。iPhoneの修理は昼前に済ませておかないと。

タグ：

posted at 10:05:58

ライブドアニュース @livedoornews

差分化された微分方程式の餃子の羽をきれいにJuliaで実装する方法を考えている

タグ：

posted at 09:46:25

kajii創＠手作り楽器 @kajiisou

【教育に活用】カナダの高校、新型コロナで中止となった修学旅行を『アサクリ』で行う
news.livedoor.com/lite/article_d...

『Assassin’s Creed』シリーズはリアリティを重視しており、専門家と協力してゲームの舞台の歴史や政治、文化などを可能な限り忠実な再現を行っている。 pic.twitter.com/uUg7CEX14F

タグ：

posted at 09:33:00

EARLの医学ツイート @EARL_med_tw

映像データです↓
drive.google.com/file/d/1MF7Eml...

そして、kajiiでは活動支援のクラウドファンディングも行っております。
楽しいものを作り続けるために、応援よろしくお願いします！！
readyfor.jp/projects/kajii

タグ：

posted at 09:19:50

風邪の7割も占めてません。せいぜい流行期に3〜4割です twitter.com/drhiromi/statu...

タグ：

posted at 09:00:29

もりちゃん @morichanemorich

今回の一律給付の流れを見ると麻生、二階、岸田だけは次期総理にしてはいけない事が良く分かった(石破は論外)
安倍4選が無いとすればやはり菅さんしか居ないだろう。

タグ：

posted at 08:58:40

@JEDI_Teacher 失礼します。ジェダイ先生@小学校教員さんは、掛け算の順序はどっちでもいい、という立場の方でしょうか？

タグ：

posted at 08:05:56

John Cherian @jjcherian

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

@kuri_kurita

💤 pic.twitter.com/cuf2jObhwB

タグ：

posted at 06:33:20

関連

なんらかの契機があって、色々楽しんで勉強する人が増えたり、完璧に理解できてなくても面白い話があることに気付く人が増えることは非常に大事。

好奇心を持って楽しんで勉強すること自体が社会貢献になる。

twitter.com/genkuroki/stat...

タグ：

posted at 06:32:59

数学セミナー誌の読者は「8割おじさん」「#西浦寝ろ」などで有名な西浦博さんを数年前から知っているはず(笑)。あの連載の人です。数セミの編集部は色々すごいと思う。

twitter.com/genkuroki/stat...

タグ：

posted at 06:29:54

#超算数インドネシアとチリにチョー算数が輸出されて被害が拡大する可能性が高い。

海外への輸出の実績は国内での「権威」の強化にも繋がり、国内での被害を拡大するだろう。

算数・数学教科書を協同開発　筑波大、インドネシアやチリ政府と www.sankei.com/region/news/20... @Sankei_newsより

タグ：超算数

posted at 06:10:22

Uryu Shinya @u_ribo

L-systemによる分岐構造をR上で生成できるflametree github.com/djnavarro/flam...。
ggplot2ベースで描画できるのものすごい。そしてそれを三次元で表示するrayshader！
（これ @KuboBook さんが好きなやつだw。私も好き🌲）影の表現にも驚き。 twitter.com/tylermorganwal...

タグ：

posted at 06:06:20

PackageCompilerで焼いたシステムイメージでIJuliaを使うとかえって遅くなる現象を回避した様子

#Julia言語
 #julialang twitter.com/MathSorcerer/s...

タグ： julialang Julia言語

posted at 05:15:37

IJulia を使う場合は -J オプションを反映させるようにカーネルを導入する必要がある．

```
julia> using IJulia
julia> IJulia.installkernel("Julia pkg", "-J/path/to/ijulia.dylib")
```

一度やっておけば jupyter notebook で起動し `Julia pkg` という名前のカーネルでノートブックを動かす．

タグ：

posted at 05:14:23

... と書いたところは [:Plots,:IJulia] または [:Plots,:Atom,:Juno] にしておいて sysimage_path は各々異なるものにしておく. (display 関数が Jupyter, Juno で振る舞いが異なるため)

タグ：

posted at 05:14:23

全てこのテクニックに従っています．
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

同様に Atom の REPL で plot(sin) などをする場合の様子
デフォルトが左で右がPackageCompiler.jlでsysimgを作成したもの. julia client のオプションで -J/path/to/newsysimg.dylib を設定することを忘れずに． pic.twitter.com/7j7A1uQiCb

タグ：

posted at 05:07:58