黒木玄 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年06月15日(月)
Re: RTs #数楽
円に内接する多角形について、周長や面積が最大になることと正多角形であることの同値性は0≦x≦πでのsin xの凸性とJensenの不等式を使えばほぼ瞬殺で証明できます。
不等式の世界は広くて深くて複雑なのですが、Jensenの不等式を学ぶ優先順位は高いです。
genkuroki.github.io/documents/High... pic.twitter.com/yC4Wc47erN
タグ： 数楽
posted at 00:04:54
#数楽 Jensenの不等式は確率変数(=その函数の期待値を考えることができる変数、測度論は知らなくても大抵の場合困らない)とその凸函数について成立する不等式です。
genkuroki.github.io/documents/High... pic.twitter.com/PC81n8nPxQ
タグ： 数楽
posted at 00:19:22
R0から想定されるほどは感染が急拡大しないものの、閾値に達するのが早いから何もしなくても良いかというとそうではなく、このモデルからは、より一層水際対策と早期介入の重要性が高まる。もう一つはスーパースプレッディングイベントを生み出さないファクターXによって結果が二分され得るということ
タグ：
posted at 00:22:52
非公開
タグ：
posted at xx:xx:xx
@moscow28571726 @MinatoNakazawa スライドの図解を見てスーパースプレッディング対策が大事くらいにしか考えてませんでしたが、このプレプリントを見て理解が捗りました。クラスター対策班の防疫理論としては、大都市では破綻するのではとも思うのですが
タグ：
posted at 01:03:02
この記事を見て改めて思ったけど、JuliaはどちらかというとMATLABユーザー向けなんだなと。深層学習を学んだ時にPythonでの行列の定義がクッソ複雑で、やってられっかと思ったのと逆のことだろう。Juliaの記法は型が厳密なくらいでMATLABに近いので、特に違和感がなかった。
queue.hatenablog.jp/entry/2019/08/...
タグ：
posted at 01:15:30
#Julia言語 Juliaを
julialang.org/downloads/
からダウンロードしてインストールし、添付画像のコード(モンテカルロ法によるπの計算)を実行し、さらに同じことをCの側でもやってみて、実行時間を比較してみると楽しめると思います。
どちらが速いでしょうか？(笑)
twitter.com/urk_mofmof/sta... pic.twitter.com/pwxdAzR4NY
タグ： Julia言語
posted at 01:20:54
At first glance, it looks like a fiery monster out of "The Incredibles". But it's a still incredibly rare, 65-foot-tall (20 meters) lava-dome fountain captured on October 11, 1969, in Hawaii when Mauna Ulu volcano erupted buff.ly/2q7bfdP pic.twitter.com/wWmN8GUhTW
タグ：
posted at 01:30:06
まずはコレを読まなきゃいかんかった。
Julia Style Guide:
docs.julialang.org/en/v1/manual/s...
#Julia言語
タグ： Julia言語
posted at 03:05:29
Hideki Kawahara: WAS @hidekikawahara
MacBookPro 13" 2018で試したら、Juliaが約500倍高速だった。速度が必要な仕事は、Juliaに任せた方が良さそう。MATLABは10^9だと10分かかりそうだったので、日和った。 twitter.com/genkuroki/stat... pic.twitter.com/CNMLwv5eK3
タグ：
posted at 03:40:22
〈 Berger | Dillon 〉 @InertialObservr
Pythagorean Theorem (Dudeney's method) pic.twitter.com/rw64pMaIil
タグ：
posted at 06:31:45
@ni_tako 失礼します。山本良和氏に関して、このような論評がありますが、どう思われますか？
twitter.com/genkuroki/stat...
タグ：
posted at 06:49:09
ときどきあるよね。twitterでなんか言ったら「それtwitterでなく○○で言ってよ」みたいなの。
いや、○○でも言った後でtwitterでも言っているんですってば、みたいな。
タグ：
posted at 08:29:40
新型コロナは消えやすい、みたいなのは検査不足の制約もあっていまいち納得し難かったんだけど、ゲノム解析や複数の接触者追跡報告でも個々の再生産数は似た傾向を示すことが分かった
3密などハイリスク環境を避けた上で、地域への流入数と接触試行数が少なければ絶滅しやすいかも。運要素も多分にある
タグ：
posted at 08:52:14
Ninja DAO | CryptoNi @CryptoNlnjaNFT
まず小学校卒業辺りから語学学校にいれ、正規の入学試験等を経て一年生から中等学校に入学するのです。 twitter.com/Exphysicist/st...
タグ：
posted at 09:26:48
Ninja DAO | CryptoNi @CryptoNlnjaNFT
なので、語学留学から中等学校、旧制高校や予科を経て、四年制大学を朝鮮人が卒業するためには、10年以上の日本留学が必要でした。植民地支配当初の話。因みにこれは韓国併合前とほぼ同じ状態でしたので、「併合のメリット」は高等教育を受ける上ではほぼなかった事になります。
タグ：
posted at 10:15:03
Ninja DAO | CryptoNi @CryptoNlnjaNFT
誰もそんな事は言ってません。研究のデザイン上、「私は見なかった」と言う証言をいくつ集めても何の反論もできない、と言う話です。あったことを立証するのはケース1つだけでできるので、簡単ですが、なかった事を立証するのは、ほぼ不可能ですからね。 twitter.com/kmh_f/status/1...
タグ：
posted at 10:28:05
ごまふあざらし(GomahuAzaras @MathSorcerer
可視化コードもどこかに置いてないかな？
線形代数の基礎 第9回 - 行列のランク qiita.com/nognog/items/4... #Qiita
タグ： Qiita
posted at 10:47:13
#Julia言語 Juliaを
julialang.org/downloads/
からダウンロードしてインストールし、添付画像のコード(πのモンテカルロ法による計算)を実行して、さらにCなどの他の言語で同じことをやってみると良いと思います。どちらが速いか？(笑)
ちなみにJuliaからPythonとCは非常に楽に使えます。 twitter.com/g0dsavethe9uee... pic.twitter.com/N1cno5JkQt
タグ： Julia言語
posted at 10:50:29
続き)
「ウサギ3羽の耳の総数」を3×2=6と書いた児童に対して「読解力がない」などと言い、「それだと3本耳のウサギが2羽いることになるよ」と文章中に存在しない架空の生物をでっち上げ、児童の思考をねじ曲げるのは非人道的だと思う。読解力がないのはどっちなのか。
(続く
www.asahi.com/edu/student/te...
タグ：
posted at 11:08:42
高いけど、そんなHPVワクチンの公費負担でのキャッチアップ接種を求める署名が17000こえたよーー💉
男子が無料で打てる未来にも！一歩ずつ近づけよ✍️
#HPVワクチンを接種しました
chng.it/Yn5F2t2vWd
タグ： HPVワクチンを接種しました
posted at 11:25:44
非公開
タグ：
posted at xx:xx:xx
@sekibunnteisuu @ni_tako #超算数 直接コメントしておきます。
「偶数と2の倍数が同じと思っている子ども」の側が正しいことが分かっていない人(山本良和氏のような人)は、余りにもデタラメ過ぎて、小学生に算数を教える資格が無いと思います。
常識的には、0はあらゆる数の倍数です。 pic.twitter.com/a8tosZJcnB
タグ： 超算数
posted at 11:34:35
「少数派だからと無視していれば気づいたときには取返しがつかなくなりうる。エイズ否認主義の教訓を忘れてはいけない。新型コロナウイルス否認主義は、ウイルスの流行を広め、近い将来には有効な薬やワクチンへの反対論をもたらすであろう」
natrom.hatenablog.com/entry/2020/06/...
タグ：
posted at 11:53:33
#Julia言語
Juliaの特徴を知るためには
docs.julialang.org/en/v1/manual/p...
Performance Tips
を読んでおくのもいいと思う。英語が嫌な人は
myenigma.hatenablog.com/entry/2017/08/...
を参照。
twitter.com/hassiweb/statu...
タグ： Julia言語
posted at 11:54:42
一時間もいらないよ👶素敵、素敵、でおわっちゃう
#マシュマロを投げ合おう
marshmallow-qa.com/messages/4b52f... pic.twitter.com/WztYVUBrl6
タグ： マシュマロを投げ合おう
posted at 12:00:36
不安から解放されたかったり、様々な活動の自粛にうんざりしていたり、自粛により経済的に困窮している人達には、「新型コロナウイルス否定論」はとても魅力的で飛びつきたくなるでしょう。
※メディアは視聴率やPVが稼げるからと「新型コロナウイルス否定論」を決して好意的に取り上げてはいけない。 twitter.com/kumikokatase/s...
タグ：
posted at 12:03:16
@sekibunnteisuu @ni_tako #超算数 子供のコントロール技術が優れている人が、デタラメな考え方をその技術を使って子供達に教え込む行為について、小学校の先生達は徹底的な批判を行うべきだと思います。
全く逆に崇め奉るようだと害される子供が増えるばかり。
もしかして大人をたらしこむ技術も優れているのか？
タグ： 超算数
posted at 12:12:03
Juliaのリスト内包表記は早いんだけっけ？という疑問が湧いたので確認しました。Qiita等でもベンチマークをとっている方がいましたが、forループと同等の速度で回りました。ただし、リスト内包だとメモリの割り当てが発生するので、大きな配列を扱うなら、forループが良さそうです。
#Julia言語 pic.twitter.com/y9FbRSaT1E
タグ： Julia言語
posted at 13:20:41
超算数によって、高校生に図・表・グラフを描いてみようという発想が備わっていないのだと疑っている
不等式なんかどれだけ因数あっても表で一撃なのは当たり前なのに、毎回驚かれる
タグ：
posted at 14:02:37
#Julia言語 JuliaではArrayになるcomprehensionとGeneratorになるcomprehensionがあって(添付画像3、括弧の違い)、後者を使えば配列の無駄なアロケートを防げます。
-sum(log(y[i, t[i]]) for i in 1:size(y, 1))/size(y, 1)
と一行で書ける。
nbviewer.jupyter.org/gist/genkuroki...
twitter.com/kanamaro_san/s... pic.twitter.com/elGLPuDci8
タグ： Julia言語
posted at 14:14:17
twitter.com/yamazaksv2/sta...
しかし昨日は驚い。この画像のような公式のまとめに驚き呆れたら、
「教科書を読んでいないのか？」「問題集研究しないのか？」とdisられてしまったｗ
そんなことしねーよ。してもいいけど、しないことを非難されるいわれはない。
物理教える上で、そんなのは必須ではない
タグ：
posted at 14:55:54
不通に物理を理解していれば、問題集は解けるわけで、特に問題集研究などする必要はないだろう。
受験対策として入試の過去問扱ったりはするし、生徒が「この問題が分からない」と持ってきたら、そりゃ教えるけど、
問題集研究なんて発想すらなかった。
タグ：
posted at 14:58:03
Hideki Kawahara: WAS @hidekikawahara
2016年のWindowsマシンは、2018 MacBook Proよりも高速だった。JuliaとMATLABの計算時間は、こちらでも約200倍の違い。MATLABで高速化する方法はあるけれど、ここでは（ほぼ）同一の実装で比較。 twitter.com/hidekikawahara... pic.twitter.com/Xl2Oadh1Rr
タグ：
posted at 15:19:24
山本太郎は自分の情報源はおしどりだと明言していて(雨宮処凛が作った太郎本のインタビューによる)、それじゃあ放射能デマになるわけですよ。太郎とおしどりは協力関係にある
タグ：
posted at 15:28:43
#超算数 個人的には
twitter外に書いたことをtwitterにも書いて欲しい
と思うことが多い。算数教科書の教師用指導書(一般人購入不可‼️)に
【8×x～は，「8円のノートx冊」という意味になる】
【6×7では～答えは子どもの人数になってしまう】
などと順序指導について書いた本人は是非とも‼️(笑) twitter.com/irobutsu/statu... pic.twitter.com/Hfw2y046rQ
タグ： 超算数
posted at 15:32:13
#Julia言語
awesomeopensource.com/project/fonsp/...
Pluto.jlの解説
異なるセルの同一変数の値が自動的に同期する。プロットのコードに入っている変数も同期されるので、インタラクティブにプロットを変えることもできる。スライダーやボタンなどの設置も容易。
github.com/fonsp/PlutoUI.jl pic.twitter.com/FatIoXxRAJ
タグ： Julia言語
posted at 15:56:16
Dr. Chris Rackauckas @ChrisRackauckas
Some thoughts on the growing landscape of differentiable programming and #sciml in #julialang
www.stochasticlifestyle.com/glue-ad-for-fu...
posted at 16:46:40
ごまふあざらし(GomahuAzaras @MathSorcerer
ブートストラップ法の入門に入門するためにメモで書いたJupyter notebook (Julia実装）
gist.github.com/terasakisatosh...
続く
タグ：
posted at 18:24:38
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia版を書いた後 Python で書いたもの. Julia の dot syntax で書いたところを Python に翻訳するところで多少詰まりました。indicator 関数を何も考えずにやるとすごくパフォーマンスが落ちます. ノートは一応改善した版で書いている.
gist.github.com/terasakisatosh...
タグ：
posted at 18:24:39
ごまふあざらし(GomahuAzaras @MathSorcerer
一応リファレンス貼っておくと
計算統計学の方法(朝倉書店) の 9pの部分.
読み始めたばっかなので許して・・・
タグ：
posted at 18:24:39
厚生労働省さん、「HPVワクチンは、積極的におすすめすることを一時的にやめています」の文言をやめてください。
これでは、未来の若い女性たちや保護者の方が接種すべきなのか迷ってしまいます。
子宮頸癌患者で亡くなる多くの人、妊孕性を失う人、悲しむ家族、これらには他人事ですか。
タグ：
posted at 18:29:30
以前に「この魚を踏むと死にます」と説明したら「たいがいの魚は踏むと死んでしまうのでは」と反論されたので、「違う、死ぬのは魚ではなく君だ」と補足しなければならなかったオニダルマオコゼ
タグ：
posted at 18:48:46
非公開
タグ：
posted at xx:xx:xx
何度見ても分からない。これは超算数の中でも屈指のヤバさでは？掛け算の問題は完全に解けているが、教師が個人的に押し付けた謎ルールを理解できずに（俺も理解できないが）混乱をきたしているように感じる。教育上、明らかな悪でしかない。薄ら寒いものを感じる。 twitter.com/5KHtXr6aCvfnSj...
タグ：
posted at 20:23:38
ごまふあざらし(GomahuAzaras @MathSorcerer
このスレッドで思ったの
#Julia言語 の dot syntax ありがとう，君は偉大だってこと.
タグ： Julia言語
posted at 20:37:05
Introducing a new @JuliaLanguage package for Spider Monkey Optimization Algo for Numerical Optimization.
github.com/akaysh/SpiderM...
My Aegist Spider Monkey algorithm improv will be added soon. #juliaLang #optimization #swarmintelligence
タグ： juliaLang optimization swarmintelligence
posted at 20:38:32
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
New post: Make your Julia package in 10 minutes - www.juliabloggers.com/make-your-juli... #julialang
タグ： julialang
posted at 21:26:20
OokuboTact 大久保中二病中年 @OokuboTact
@takusansu @temmusu_n ＃超算数 #算数の歴史
大正４年（１９１５年）の割り算の２種類の意味について
川上滝男『国定算術教科書の活用』
dl.ndl.go.jp/info:ndljp/pid... pic.twitter.com/ExbnwNSpMR
posted at 21:57:46
ごまふあざらし(GomahuAzaras @MathSorcerer
私普段は Interact.jl ＋ Plots.jl /ipywidgets + Matplotlibの例をよく作ってますが
スライダーでグリグリすると描画が追いつかない点で不満がありました. Pluto.jlを使うとヌルヌルだったので感動しました. Cellの操作が（まだイマイチだけれど）快適になれば化けそうです。 twitter.com/genkuroki/stat...
タグ：
posted at 22:26:33
@OokuboTact @takusansu 式の意味という難解な概念は、名数の式(順序つきとか色々な変な制約込みで)の挙動のことだと考えると一気に簡素化するというよい例ですね。#超算数
タグ： 超算数
posted at 22:43:34
この写真が取りたいがためだけにオーストリアのど田舎のFucking(フッキング)村まで車で行った
#あなたの狂った体験を聞かせて pic.twitter.com/HFN9gwOuFD
タグ： あなたの狂った体験を聞かせて
posted at 23:00:22
#Julia言語 ECDFの函数を6通りに書いて比較。勝利者は次の2つ：
count(a ≤ x for a in A)/length(A)
sum(a ≤ x for a in A)/length(A)
ecdf(A, x) = count(a ≤ x for a in A)/length(A)
を配列Aと配列xに使用するには
ecdf.(Ref(A), x)
のように書く。Refを使う。
twitter.com/MathSorcerer/s... pic.twitter.com/5mR3bJpOuJ
タグ： Julia言語
posted at 23:01:20
非公開
タグ：
posted at xx:xx:xx
@OokuboTact @takusansu #超算数 あ、これ私も持ってますね…こっちのページにも和田義信の方針について決定的なことが書いてありましたtwitter.com/ookubotact/sta...。原著の出版年が1954年なので、漸次検定教科書なんかでも採用され、現在に至るってところでしょうかね。
タグ： 超算数
posted at 23:11:18
@temmusu_n @OokuboTact #超算数 現在の話
学習指導要領
＞加法及び減法の意味について理解し，それらが用いられる場合について知ること。
『解説』
＞加法，減法が用いられる場合とそれらの意味
＞加法や減法の用いられる場面を次第に一般化して，加法や減法の意味を具体的に捉えることができるようにすることを重視する。
タグ： 超算数
posted at 23:12:23
@chiccaScolia www.city.sendai.jp/sekatsuese/kur...
仙台市も、森と都市部が隣接していますが、
市のHPでも、危害を加える恐れのない物はそっとしておきましょうと。
タグ：
posted at 23:12:54
#超算数 今でいう◻︎を使った式の仲間である可能性があります。つまり△は未知数を表す小学校用の記号だったと思うのです。 twitter.com/ookubotact/sta...
タグ： 超算数
posted at 23:23:33
娘のテスト。面積の計算で逆に掛け算したらバツでした。なんで？
娘は計算しやすい式を書いただけなのに、、。理由書いて欲しい
#オンライン授業
#テスト
#小学生 pic.twitter.com/HRE8nsGbyd
posted at 23:27:32
#超算数 和田義信氏が馬鹿すぎる！
和田氏は「15人に12円ずつあげるときにお金がいくらいるか」の「15×12」と書いても、例のトランプ配りの考え方で「15円×12」と解釈できるから「一応筋が通る」としている。この時点で馬鹿扱い可能。
シンプルに「15×12円」(12円の15倍)と解釈すればよいだけの話。 twitter.com/ookubotact/sta... pic.twitter.com/ZIBoR8cRod
タグ： 超算数
posted at 23:40:54
@akkii_206 多くの小学校で、単価×数量 だけが正しく逆は駄目と教えています。（これについても、数学や物理が大好きな人々がオカシイと言っていますが）
しかし、長方形の面積は逆でもいいと教科書に書いてあるのでして、公式順にこだわるのは、馬鹿度が高いですね。 #掛算
タグ： 掛算
posted at 23:47:18
#超算数 和田氏は【立式の建前からいって，式は無名数で書くものであるということは，方程式などを見れば明らかである】とさらに馬鹿をさらけ出している。
科学や技術の分野では各変数が次元(単位)を持っていることが普通。例えば、3時間×v=12kmという速度vに関する方程式の解はv=4km/時間である。 twitter.com/ookubotact/sta... pic.twitter.com/yCZbrm1TjN
タグ： 超算数
posted at 23:47:22
OokuboTact 大久保中二病中年 @OokuboTact
@genkuroki 類似です。
大正１４年（1925年）
twitter.com/OokuboTact/sta...
タグ：
posted at 23:53:25
#超算数 知らない人のために解説。
伝統的に算数教育の世界でふぁ「12円×15」という「立式」は許されても同じ意味で「15×12円」いう「立式」は許されないとする頭が悪くなりそうな教義が本当にあるんです。
100年以上の伝統がある。
100年以上、子供達を害して来たのだ！
twitter.com/genkuroki/stat...
タグ： 超算数
posted at 23:56:47
@temmusu_n たった100年で今とは全然違いますもんね。言うて主張は普通に伝わります。
これ以上遡ってよく分からなくなってくるのはちょっと怖いですね…
タグ：
posted at 23:57:21
