黒木玄 Gen Kuroki(@genkuroki)/2020年08月02日

エラーが出るたび、自分の記事を見直している。 #Julia言語
 qiita.com/Lirimy/items/6...

タグ： Julia言語

posted at 00:21:18

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

@u3paka @golgo_sardine @temmusu_n 私はこのスレッドを見ている一般の人達への情報提供のつもりで書いています。証拠に当たる資料を示さなずに、有りもしない対立図式をでっちあげているという指摘に、証拠を示さないと反応したことも、このスレッドの一般読者にとって重要な情報になると思います。 #超算数

タグ：超算数

posted at 00:24:00

地下楽師@明日できることは今日やるな @tonkyo_Vc

オンデマンド授業教材の作り方を誰かがきちんと指導してくれるといいんだけど、今のところ、各教員の創意工夫なんだよね。できる人はそれでもいいとして、やはり最低限のところはきちんと指導したほうがいいと思うんよね。
パワポに音声でもなんでもいいからさ

タグ：

posted at 00:28:29

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

まあ、1回目の大学(経済学部)では遊び呆けて留年した弟氏が2回目の大学(医学部)ではちゃんと勉強してそれどころか「大学ではちゃんと勉強しないと」とか宣っていたりするし

タグ：

posted at 00:30:47

万が一後期もオンラインになるとしたら、ノウハウの共有は必要やね。僕のノウハウは完全に孤立してるから知ってもしょうがないかもだけど、もっと一般的なやつね

タグ：

posted at 00:31:37

MIZUNO Yoshiyuki　水野義 @y_mizuno

高校生のときに「勉強したい」と思っている人達がいることは知っていたが、「勉強したい」と思っている人達が一ヶ所に大量にいる状態に出会ったのは大学に入学したときです。

昔から大学は勉強する場所でした。

時代ごとに「色々あった」としても昔からずっとそうだった。

タグ：

posted at 00:43:46

@genkuroki コメント、ありがとうございます。授業の最後に（まだ1回あるので）、その辺りの話もしようと思います。ガウス分布を仮定して、ずっと理論が構築されていて、その前提で各種の分布も理解できますが、現実は、実はそうではないことも多いのであると。

タグ：

posted at 01:26:30

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

積分定数 @sekibunnteisuu

この手の話、教育学部の学生からも聞いたことがある。くだらない。 twitter.com/dogtherinrin/s...

タグ：

posted at 06:40:27

積分定数 @sekibunnteisuu

@u3paka 数学と数学教育が異なるなんて言うのは、言わずもがなの当然ことです。

タグ：

posted at 06:45:02

千葉逸人 @HayatoChiba

僕が在学中はｎ重登録（１コマに何科目でも何回生の科目でも履修登録可。授業は１つしか出れないが、そもそも１つも出ない）できたので２回生で卒単揃ってあとは好きな勉強できた。好きなだけ背伸びできるあの環境がなければ研究者にはなれなかったと思うが、今は無理らしくて残念。 twitter.com/tkmtyy/status/...

タグ：

posted at 07:27:09

ISHIDA BUNICHI @uizhackiinmuufb

しかも教員には｢時間外手当ばない｣というのは、案外周知されていない。 twitter.com/megane654321/s...

タグ：

posted at 08:32:04

千葉逸人 @HayatoChiba

履修登録用紙の１コマ分のところにちっちゃい文字でたくさん書いたらなぜか全部登録されました。今はweb登録なので書けないですね。試験日がかぶったら先生に直談判して別の日に代えてもらうか、40分で片方解いて10分で教室移動、残り時間でもう一科目解けばよい（強い）。

タグ：

posted at 08:49:48

実は南米ブラジルにはツェッペリン飛行船用の格納庫が現存しています。

これはLZ129ヒンデンブルクを収容出来るほど巨大な物なのですが、何故こんな代物がドイツから遠く離れたブラジルにあるのか。
それは1930年代にツェッペリン飛行船の「南米航路」が確立したからなんですな(続) pic.twitter.com/2XJ0loCP3s

タグ：

posted at 09:04:04

1929年にLZ127グラーフツェッペリンが世界一周を行う数年前からDELAG(ドイツ飛行船運輸)は将来を見据えて南米航路に開拓を計画していました。

これは将来確立するであろう北米航路計画と連動するもので、欧州〜北米〜南米を環状に結ぶ商用路線の確立を目指したものであると推察されていますが、 pic.twitter.com/fMJ2OTJoay

タグ：

posted at 09:04:06

これには莫大な資金が必要でした。
故に何処かしらの政府からの援助が必須だったのですが、当時のドイツやアメリカはこれに消極的であり北米航路は棚上げ状態となってしまいます

なのでDELAGは残された南米航路の開拓に力を注ぐようになります。この時最有力候補とされたのがアルゼンチンです pic.twitter.com/UVUTCD64hB

タグ：

posted at 09:04:07

現代人にとってアルゼンチンは南米の一国家に過ぎませんが、当時のアルゼンチンは南米の中でもかなりの先進国で発展が著しい国でした。

「母を訪ねて三千里」でも主人公が目指したのはこのアルゼンチンです。欧州からわざわざ出稼ぎに行くような裕福な国だったんですね pic.twitter.com/uZ4gt3Hh48

タグ：

posted at 09:04:09

故にDELAGがこのアルゼンチンと欧州を結ぶ南米航路を計画したのは必然とも言えます。
船で行けば1週間〜10日かかる旅程を半分に短縮する飛行船は大きな需要が見込めるからです。

が、この計画も1920年代後半に頓挫してしました。理由は目的地アルゼンチンではなく出発地にありました pic.twitter.com/s4IoWE2Kzc

タグ：

posted at 09:04:10

この南米航路の出発地はアルゼンチンと同じ言語圏のスペインとされていましたが、実はこの頃のスペインは政情が地を這うレベルで不安定となっていました。
テロや暗殺がそこかしこで起こりまくり、革命まで起こりつつある有様です。

後の「スペイン内戦」の土台が出来上がっていた時期なんですな pic.twitter.com/78hqJVWaQZ

タグ：

posted at 09:04:12

そんな中にあってはアルゼンチン側も消極的にならざるを得ません。DELAGとの交渉は難航しこれも頓挫してしまいます。

しかしDELAGの長として君臨し、自らも飛行船の指揮官として世界一周や大西洋横断も指揮した「フーゴー・エッケナー」氏は南米から手ぶらで帰るほど大人しい男ではありませんでした。 pic.twitter.com/IrXXunS7x9

タグ：

posted at 09:04:13

彼はアルゼンチンからそのままブラジルへと移動し、アルゼンチンに代わる南米航路の目的地としてブラジル政府に交渉を持ちかけたのです。

これにブラジル政府は飛び付きました。事前に殆ど連絡もしてなかったそうですが、わざわざブラジルの商務大臣がエッケナー氏と対談したと言われています pic.twitter.com/Q7f5EpsHjB

タグ：

posted at 09:04:14

実はブラジル政府からして見れば「南米で一人勝ちしているアルゼンチンが飛行船の定期便を就航させる」のはあまり嬉しいことでは無かったんですね。

その話がコチラに転がり込んで来たわけですから逃す訳にはいきません。
故にブラジル政府は本腰を入れて飛行船の定期便就航に力を注ぎました pic.twitter.com/nvES7n8sqP

タグ：

posted at 09:04:16

ただ問題があるとすれば、当初ブラジル政府が提供出来る場所が首都から離れた「プレナンブコ」という地方都市しか無かった事でしょう。

ここは気候が比較的安定していて格納庫を作る必要がなく、地方なので広い土地を確保出来ましたが、空を行く飛行船はやはり大都市間を結んでこそ利益が見込めます pic.twitter.com/L1wxHpQMhe

タグ：

posted at 09:04:17

なのでDELAGは首都リオデジャネイロに発着場を造るためにブラジル政府と交渉を行いました。

主に問題となったのはやはり建設に掛かる莫大な費用です。ブラジル政府も首都に広大な基地を作るとなると及び腰になってしまいます。
何せアメリカやドイツですらこの費用を出すのを渋っているのですから pic.twitter.com/MgnY9Whpu5

タグ：

posted at 09:04:18

え？DELAGは基地を建てないのかって？
飛行船一隻しか持たない企業にそんな金あるわけないだろ。成田空港はJALが建てたのか pic.twitter.com/N2UeB3zS2q

タグ：

posted at 09:04:20

そこでブラジル政府とDELAGはこの費用を互いに上手く受け持つ事とします。

まずブラジル政府が全資金を出して基地を建造し、DELAGはその基地を使用する度に「レンタル料」としてその建造費を分割で支払うという形で落ち着きました。まぁローンですね pic.twitter.com/ABhR4NqZXP

タグ：

posted at 09:04:21

これであればブラジル政府は幾らかのお金が戻ってきますし、DELAGも飛行船で稼ぎながらブラジル政府に格納庫建造費を返還する事が出来ますから、バランスが取れた契約と言えるでしょう。

この費用は年に20回、30年間使用する事で消化出来る計算でした。
因みに建造されたのは1936年です pic.twitter.com/CkRfCrMhYd

タグ：

posted at 09:04:23

南米航路は毎年気候が安定した春と秋にだけ開通させる予定でしたが、それでも赤道付近は湿度が高く、急な雨にも見舞われるので飛行船にとってかなり負担となる航路でした。

飛行船は防水として船体にアルミ塗料を吹き付けていますが、それでも雨漏りを起こす事があったようです。 pic.twitter.com/ipmD6y8cbm

タグ：

posted at 09:04:24

その為LZ127グラーフツェッペンの後継となる飛行船は防水塗料を更に改良し、また長時間の飛行にも耐えられるように船体の体積も2倍という著しく巨大な物とされ、また安全の為にヘリウムの利用も計画されます

それが有名なLZ129ヒンデンブルクですね pic.twitter.com/ZiJLcUtZD0

タグ：

posted at 09:04:25

しかしこのLZ129ヒンデンブルクの事故によってツェッペリン飛行船は飛行停止となり、南米航路も御破産となっててしまいます。

結果としてリオデジャネイロの格納庫は1937年に9回だけ使用されたのみで本来の用途を終える事となりました。
ブラジル政府はクソでかい負債を抱える羽目になったんですね pic.twitter.com/CvLozz1kpX

タグ：

posted at 09:04:26

ただ何の役にも立たなかったわけでもなく、WW2ではアメリカ軍がここを大西洋を哨戒する軟式飛行船の格納庫として利用したので、それなりには役に立っていると言えます。

しかし明らかにオーバーサイズですし、首都リオデジャネイロにある必要はないですね pic.twitter.com/eTRNQhWdeW

タグ：

posted at 09:04:28

南米航路自体はリオデジャネイロの格納庫が出来るより6年早い1930年には既に開通しており、ドイツ〜プレナンブコ間の飛行は商業的に成功していました。

またLZ129ヒンデンブルクの就航も決まっていたことから「ここで更なるカンフル剤を」とリオの格納庫が建造されたという経緯があります pic.twitter.com/pHUi7Rxkmn

タグ：

posted at 09:04:29

それが事故によって全てが失われたわけですから関係者の落胆ぶりは相当なものだったでしょう。

ツェッペリン飛行船の運行は実質DELAGの専売特許だったのですが、それ故にこの一つの事故が決定的な要素のなってしまいました pic.twitter.com/ihyAOrOoiF

タグ：

posted at 09:04:31

そんなブラジル政府にとっての黒歴史でもあるリオデジャネイロの格納庫ですが、観光地としてまだ役に立っているのでいつか見に行ってみたいですね pic.twitter.com/OpjH9bVF10

タグ：

posted at 09:04:32

そんなツェッペリン飛行船の歴史を詰め込みまくった同人誌がこちらです
twitter.com/hal9152/status... twitter.com/hal9152/status...

タグ：

posted at 09:05:18

@BluesNoNo #統計 Gelmann-Hennig (2017)は参照していないのですが、

ameblo.jp/yusaku-ohkubo/...

で紹介されているGelman and Shalizi "Philosophy and the practice of Bayesian statistics"の考え方は、私には普通の意見に見えます。

要するに「ベイズ主義」を語る人は勉強不足だとクリアに言い切れる。続く twitter.com/genkuroki/stat... pic.twitter.com/RPWlCiAzSu

タグ：統計

posted at 09:14:13

@BluesNoNo #統計

ゲルマンさんの考え方を理解するには、最低でも

①事前分布の使用によって平均予測誤差を小さくできる場合がある。

②1個抜き出し交差検証(LOOCV)やWAICによって確率的に予測誤差の小さなモデルを選択できる。(モデルに事前分布も含まれる)

などの数学的知識が必須だと思います。

タグ：統計

posted at 09:20:38

@BluesNoNo #統計 Gelmanさんの意味での事後分布p(θ|y)は一般には「現実において観測されたデータと同じ値がモデル内でも観測された場合に制限して得られるモデル内条件付き確率分布」です。

例えばStanなどでそのサンプルを作れる。

twitter.com/bluesnono/stat...

タグ：統計

posted at 09:27:22

@BluesNoNo #統計その型の条件付き確率分布は「データと確率モデルによる推測」では自然に出て来るもので、最尤法やMAP法の予測分布も自明な方法でその型の条件付き確率分布とみなせます。

最尤法、MAP法、ベイズ法などはどれも「データと確率モデルによる推測」の方法であり、比較可能です。

タグ：統計

posted at 09:31:34

芹沢文書 @DocSeri

算数教育に蔓延する、かけ算に順序ありと(その他にも色々と謎の独自ルールを)押し付けてくる一派を指して #超算数と呼ぶ(「超能力」とかと同様の。「あり得ない」を意味する「超」)のだが、あちらからはどうやら「かけ算に順序がないと主張して超算数を名乗っている奴らがいる」みたいに見えている

タグ：超算数

posted at 09:36:20

@BluesNoNo #統計その辺の基本文献は、私のTLではみんな読んでいるという雰囲気になっている渡辺澄夫『ベイズ統計の理論と方法』です。その本では、i.i.d.サンプルの(易しい)場合について、最尤法、MAP法、平均プラグイン法、ベイズ法を扱っています。「WAICの教科書」と言ってもよいと思います。

タグ：統計

posted at 09:36:45

@BluesNoNo #統計そのpp.80-82では、AICとBICと通常の仮説検定の3種のモデル選択を方法を比較しており、6.4節では事前分布の仮説検定が扱われています。

仮説検定、最尤法、MAP法、ベイズ法などは普通にどれも役に立つ道具であり、「頻度論」「ベイズ主義」のような「主義」で分類してはいけないと思います。

タグ：統計

posted at 09:42:44

@BluesNoNo #統計上で述べた型のモデル内条件付き確率分布についての解説は私のツイログ経由で読めます。

twilog.org/genkuroki/sear...

最近の解説は以下のスレッドにある。

twitter.com/genkuroki/stat...

タグ：統計

posted at 09:46:00

@y_mizuno 正規分布を主に扱っているのは入門的な教科書だけで、現代的な統計モデリングの教科書では全然そんなことはないです。

文系向けには『社会科学のためのベイズ統計モデリング』という本が最近出版されています(しかし数学が強くないとおそらく読めない)。正規分布以外の確率分布がガンガン使われる。

タグ：

posted at 09:51:31

@y_mizuno 統計学入門の教科書によくある正規分布モデルとt分布を使った信頼区間が信頼できなくなる場合の例をコンピュータ上に作った話が以下のリンク先にあります。

母集団に外れ値が数%含まれている場合には正規分布モデルの使用は極めて不適切になります。

twitter.com/genkuroki/stat...

タグ：

posted at 09:55:01

Ninja DAO | CryptoNi @CryptoNlnjaNFT

@y_mizuno 例えば、5%の例外を含む母集団からサイズn=30のサンプルを無作為抽出するとき、そのサンプル内に例外が1つも含まれない確率は

0.95³⁰ ≈21.5%

とかなり大きくなります。統計分析結果を現実で使用する場合にはこのようなことが起こっているリスクにも配慮する必要があるかもしれません。

タグ：

posted at 10:00:04

信じたくないんだ。勉強した方がいいと思うぞ。 twitter.com/MVMVXfleyyvU48...

タグ：

posted at 10:15:38

7h3m4dS0u1 @7h3m4dS0u1

github.com/JuliaLang/juli...
#JuliaLang #NewRelease

タグ： JuliaLang NewRelease

posted at 10:16:19

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@hgn_no_otaku @musicisthebest_ どの出版社のどの教科書？
共著者の一部がツイッター上にもいる可能性が高いと思う。

「逆に②が成立しているとき、s=2x-6, t=2yとおくと、x=(6+s)/2, y=(0+t)/2となるので、P=(x,y)はA=(6,0)とQ=(s,t)を結ぶ線分の中点になっており、～なので、①が成立している」

のように詳しく書いて欲しかった。 pic.twitter.com/tAkqWI56sV

タグ：

posted at 10:26:54

ハガネの連勤術師 @hgn_no_otaku

@hgn_no_otaku @musicisthebest_ #超算数 (←算数を超える話題にも使われるタグ)

これ、もろに以下の案件そのものですね。

togetter.com/li/1324061
【河合塾の入試解答速報（九大数学）間違っとるやんけ】
【【悲報】駿台、代ゼミ、北予備も同じ間違いで全滅】

twitter.com/genkuroki/stat...

タグ：超算数

posted at 10:32:23

@genkuroki @musicisthebest_ 少し古いですが、こんな感じです。 pic.twitter.com/OXNQ80S7Zm

タグ：

posted at 10:33:19

@hgn_no_otaku @musicisthebest_ #超算数数学は論理が大事なので、逆向きの証明を書くことが「無駄な重複」になると感じられても、丁寧に書き下すことは大事だと思います。

上級者になったらノータイムで埋められるギャップを略して書いてもよいと思いますが、初心者レベルでは丁寧に書いた方がよいです。

タグ：超算数

posted at 10:35:56

大隅典子＠東北大学（『小説みたいに楽しく @sendaitribune

@hgn_no_otaku @musicisthebest_ 知り合いの名がてんこ盛り😅

こういうの正直参っちゃうんですよね。
私が直接聞かなければいけない感じになってしまう。
正直気が重いし、面倒なのだ。

タグ：

posted at 10:40:26

東北大学の新型コロナウイルス対策標語は「ABC」。
ちなみに、こちらの岐阜大学神経内科の下畑先生のブログが毎回参考になります。多謝！
blog.goo.ne.jp/pkcdelta/e/aaf... www.instagram.com/p/CDXm4_MDCKE/...

タグ：

posted at 10:42:04

@hgn_no_otaku @musicisthebest_ 分岐。大学入試の採点をする側は高校の教科書にどう書いてあるかを知らないので、高校の教科書的にマルになるかどうかと大学入試でマルになるかは別の問題。

twitter.com/genkuroki/stat...

タグ：

posted at 10:43:33

しぶてぃ @takuizum

juliaのvscode環境で，どうやってinline evalするのかわからなかったが，ようやくわかったぞ。

タグ：

posted at 10:44:24

goropikari @goropikari_

github.com/JuliaLang/juli...

タグ：

posted at 11:13:37

#Julia言語 JuliaがPython3より200倍程度速くなる例。

この程度のことなら、Python側でNumbaを使えばJuliaと同じ程度に速くなるはず。Python側には他にも処方箋がある。

しかし、Juliaの側は1つの言語でかつ何でもやりたい放題なのに、Python側での高速化では面倒ごとも制限も増える。 twitter.com/nandymak/statu... pic.twitter.com/3JgZ1a9qrK

タグ： Julia言語

posted at 11:19:13

柏のトトロ @ossyaritoori

MATLAB以外でLMIやろうとしたらやっぱJulia一択なのかな？あんまりやると制御の部署に飛ばされそうだからアレだけど。

タグ：

posted at 11:20:36

goropikari @goropikari_

for loop が soft scope になるのはこのバージョンからだったのか
github.com/JuliaLang/juli...

タグ：

posted at 11:21:45

Julia 1.5だ！

タグ：

posted at 11:24:26

早く1.6出してクレメンス

タグ：

posted at 11:24:39

Mark Kittisopikul ht @markkitti

It really is impressive that coders new to #JuliaLang can achieve great performance on the CPU without having to use tricks. twitter.com/genkuroki/stat...

タグ： JuliaLang

posted at 11:25:54

#Julia言語「やりたい放題」のJuliaの側で作った巨大パッケージをPythonやRでも使えるようにした例としてDifferentialEquations.jlがあります。

このパッケージはJuliaが巨大パッケージの開発に向いていることも証明している。

github.com/SciML/diffeqpy
github.com/SciML/diffeqr

タグ： Julia言語

posted at 11:28:11

goropikari @goropikari_

depwarn デフォルトだと出なくなったのか

タグ：

posted at 11:29:01

#Julia言語最近のDufferentialEquations.jlについては

live.juliacon.org/talk/B3VAGU
Auto-Optimization and Parallelism in DifferentialEquations.jl
Chris Rackauckas
08/01/2020, 1:10 AM — 1:40 AM JST

を参照。

solve(problem, method)

のmethodを自動的に決めて

solve(problem)

とする話。

タグ： Julia言語

posted at 11:34:28

hassiweb @hassiweb

備忘：複素数の乱数生成のポイント

ガウス雑音など複素数の乱数を発生させるときに、

randn() + 1im * randn()

としがちだけど、

randn(ComplexF64)

で用意してくれる。
ベクトルや行列のサイズが大きい場合には、

tmp = Array{ComplexF64}(undef, 100)
randn!(tmp)

だと早い。

#Julia言語 pic.twitter.com/5SeySrHYV8

タグ： Julia言語

posted at 11:38:17

#Julia言語最近のJuliaで何ができるかについては

live.juliacon.org/agenda/2020-07...
JuliaCon 2020
Conference Agenda

からリンクをたどってタイトルと要約と動画を見れば分かります。

びっくりするほど、様々な試みがされている。

タグ： Julia言語

posted at 11:39:13

hassiweb @hassiweb

なお、予め絶対値の正規化を行ってくれていることに注意。
つまり、下記の二つが等価である。

1/sqrt(2) * (randn() + 1im*randn())

randn(ComplexF64) pic.twitter.com/RsccIoU3MW

タグ：

posted at 11:41:17

Atsushi Sakai @Atsushi_twi

Julia v1.5 🎉 twitter.com/goropikari_/st...

タグ：

posted at 11:41:51

非公開

タグ：

posted at xx:xx:xx

Dolphin7473 @Dolphin7473

Julia v1.5.0が出てた
次のLTSがv1.6.0になるのが発表されてたんですっけ？

タグ：

posted at 12:07:21

あんちもん2 @antimon2

JuliaTokai #07 いよいよ今週末です！ JuliaCon2020 の感想や「実際にやってみた」等、参加者発表者まだまだ募集中！ juliatokai.connpass.com/event/183451/ #JuliaTokai

タグ： JuliaTokai

posted at 12:14:17

あんちもん2 @antimon2

あとオンラインイベントなので地方関係なくどなたでも参加できます！

タグ：

posted at 12:15:34

#超算数村川さんのツイが言及する、「ベネッセの回答」は、掛順が割合指導を容易にするという観点に立っている。掛順指導をしないとわり算でつまずくという意見とは微妙に異なるが、後者は前者の訛伝ではないかと考えることができる。ベネッセを含む算数教育界一般の見解は、遥か昔の中島健三に依拠。 twitter.com/takehikom/stat...

タグ：超算数

posted at 12:20:28

#超算数まず、「ベネッセの回答」は、黒木玄さんの「ベネッセの回答へのコメント」www.twitlonger.com/show/kdeni2との併読がおすすめ。

割合教育における中島健三の影響は早くも、1958年指導要領www.nier.go.jp/guideline/s33e...や1960年『小学校算数指導書』(文部省)に現れる。

タグ：超算数

posted at 12:20:30

#超算数これらの文書で、中島は、順序付きかけ算・包含除・等分除を、それぞれ、比の第二用法・第一用法・第三用法と関連させた。比または割合の第[1-3]用法は、帰一法ともいう。帰一法による割合指導は戦前から存在するが、中島の新味はかけ算わり算そのものを帰一法の準備教育とみなすことにある。

タグ：超算数

posted at 12:20:32

#超算数かけ算わり算を拡張したら割合の第[1-3]用法になるという主張に、論理的な矛盾はない。しかしそれは学習者にとり「自然な拡張」なのだろうか。私の見るところ、より実情に即した考え方はこうだ。割合の第[1-3]用法は、習得が難しいので多くの既習事項をリソースとして動員することが必要だ。

タグ：超算数

posted at 12:20:35

#超算数中島健三の真意はともかく(不勉強で済みませんね)、既習事項を未習事項のリソースとすることが拡張と呼ばれている。というもの。

帰一法が学習者にとり自然ではないことを示す例をいくつか挙げる。
1. 山本喜治の慨嘆twitter.com/temmusu_n/stat...
老婆の算数のようにやれば割合は簡単と主張。

タグ：超算数

posted at 12:20:36

#超算数しかし、学テでは割合の成績が悪いので山本は慨嘆した。前回は実際の算数指導で老婆の算数が好まれないのではないかと主張したが、今回は加えて、老婆の算数のような自然な解法と、学テの問題作成委員が望ましいと考える解法、つまり帰一法による立式とに、ギャップがあることをも指摘しよう。

タグ：超算数

posted at 12:20:38

#超算数
2. 様々な指導者による「1.2個じゃありません、1.2倍と言いなさい」指導twitter.com/temmusu_n/stat...
倍概念の習得も割合学習に不可欠な事項と考えられている。倍が個で言い換えられない場合もあるが、同義に用いられる場合でも倍を強制する不可解な指導が行われている。

3. くもわはじきの横行

タグ：超算数

posted at 12:20:40

#超算数くもわやはじきは、擁護者でさえ割合や速さの理解に基づかないことを知っている。教科書や算数教育界の指導者らは、より理解重視の図解として二重直線図や関係図を推奨しているが、二重直線図はあまり有効ではないという報告もある。帰一法の図解は、暗記物になるか難解になるかの二択なのか？

タグ：超算数

posted at 12:20:41

#Julia言語

 live.juliacon.org/talk/QHRQVF
Advanced Metaprogramming Tools
Mike Innes
07/31/2020, 1:40 AM — 2:10 AM JST

で紹介されていたMjolnir.jlの使用例。

nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/4RCIkYY1Jc

タグ： Julia言語

posted at 12:40:06

#Julia言語 JuliaCon 2020

live.juliacon.org/agenda/2020-07...

はかなり強烈な印象を残しましたよね。

タグ： Julia言語

posted at 12:41:21

#Julia言語 DifferentialEquations.jl関連のブログ記事では

sciml.ai/news/2018/04/3...
2018-04-30
【すべての偉大なオープンソース数学ライブラリは、誰かのアカデミックキャリアの灰の上に構築されている】

が非常に印象的。

Juliaはこの「深刻な問題」の解決法の1つとしても期待される。

タグ： Julia言語

posted at 12:47:02

昔からオープンソースの世界で上手にやっている人達はプログラミングに強いだけではなく、「社会科学的」とでも言えそうな事柄についても深く考えていることが多い。

Juliaの周辺は数学が強い人が集まっているという印象があるのですが、「社会科学的」にも面白い人達が目立っているので要注目。

タグ：

posted at 12:50:03

#統計分岐へ↓

twitter.com/genkuroki/stat...

タグ：統計

posted at 12:52:30

Shuhei Kadowaki @kdwkshh

v1.5出たらしい。諸々目に見えて早くなってるので超嬉しい😆

#julialang

タグ： julialang

posted at 12:56:10

@y_mizuno #統計【正規分布になる場合を仮定して次に進む】というスタイルは非科学的なスタイルなので完全廃棄処分にしないとまずいです。

「正規分布モデルを使って分析を行う」

と

「正規分布モデルの使用が妥当であるかどうかはわからない」

の組合せにしないとまずい。続く

タグ：統計

posted at 12:56:37

@y_mizuno #統計なぜならば、統計学入門の教科書において、正規分布を仮定して導出された統計分析の方法は、実践的には「正規分布を仮定してよいかどうか不明の場合」に使用されるのが普通だからです。

その点を誤魔化すのは非科学的な考え方を学生に植え込む悪人扱いが妥当でしょう。社会的に非常にまずい。

タグ：統計

posted at 12:58:46

@y_mizuno #統計これは非常に単純な話で、単に、

正規分布を仮定して導出された統計分析の方法を正規分布を仮定してよいのかどうか不明の場合に適用して得られた結果は客観的に信頼できない

ということです。科学的に信頼してはいけないことをあたかも信頼できるかのように説明する奴は悪人。

タグ：統計

posted at 13:00:38

@y_mizuno #統計実際には、信頼できるできないは1か0かの問題ではなく、程度問題になります。

母集団分布が正規分布に十分近くてかつサンプルサイズが十分大きければ、中心極限定理によって、正規分布モデルとt分布を使った信頼区間や検定の誤差は小さくなる。

もちろん、誤差が小さくならない場合もある。

タグ：統計

posted at 13:02:23

@y_mizuno #統計仮説検定を行っても、信頼区間を求めても、それらの信頼性は使用したモデルの現実での使用の妥当性に強く依存しているので、単純に「客観的に正しい結果」扱いはできない、と教えないと非科学的な考え方を学生に吹き込むことになってしまうと思います。

タグ：統計

posted at 13:04:03

@y_mizuno #統計数学的才能が豊かだったり、科学的教養が相当にある人であっても、統計学入門の教科書の内容がすっきり理解できない、という例を私はよく見るような気がしています。最近の数年間考え続けて得られた結論は、

統計学入門の教科書の内容が非科学的なのですっきり理解できる方がおかしい

です。

タグ：統計

posted at 13:06:50

@y_mizuno #統計「どうして正規分布を仮定してよいのかわからない」という疑問を無視しなかった人達の方が科学的にまともだと思います。

タグ：統計

posted at 13:08:10

taqahira @BambooHorse_Z

@kankimura 気にくわない箇所を鉛筆で消そうとしているところが一層哀れと云うか滑稽と云うか...。

タグ：

posted at 13:08:24

非公開

タグ：

posted at xx:xx:xx

残り82件のツイートを見る

dormir30 @dormir300

朝日新聞映像報道部 @asahi_photo

@genkuroki 本当にこれはそう思います。医学系だと驚いたのは基本的に標準正規分布を仮定して有病率のカットオフ値を決めるというスタンスで驚きでした。また聞いてみると中心極限定理からなると言われてもうお腹いっぱいになりました…。これは何とかしないといけないと思ってます。

タグ：

posted at 13:12:47

断崖絶壁、宙に浮かぶ旧日本軍の陣地　発見はつい3年前
t.asahi.com/wh3k

#北海道 #大樹町の海岸で３年前、#太平洋戦争末期に造られた旧日本軍の「#トーチカ」が見つかりました。#戦後75年の間に海岸の浸食が進み、土中に築かれたものが崖から飛び出すように露出しています。（内） pic.twitter.com/8MiVvsvkOR

タグ：北海道大樹町太平洋戦争戦後75年

posted at 13:20:38

@y_mizuno 「頻度主義統計学」という言い方もひどく問題があるのでやめた方がよいと思います。

その言い方は「頻度主義vs.ベイズ主義」という主義対主義の非科学的な対立図式を描くためによく使われます。

統計学入門は非科学的で有害な考え方を学生に吹き込む罪を犯すパターンが多過ぎ。続く

タグ：

posted at 13:23:31

@y_mizuno あと「外れ値扱い」が妥当かどうかは「外れ値」の定義にもよるし、場合にもよると思います。

タグ：

posted at 13:24:41

@y_mizuno 例えば、背が非常に高い外国人が結構な割合で済んでいる地域の中学3年生の平均身長をサイズn=30の無作為抽出で推定する場合を考えましょう。

私はこの場合はサンプル中の特別に高い身長の値は外れ値扱いするべきではないと思います。

さらに、そもそも平均身長を推定する行為自体の価値も疑わしい。

タグ：

posted at 13:27:44

@y_mizuno 特別に身長が高い子がある割合で含まれていることが前もって分かっている場合は、最初から正規分布モデルの適用が不適切であることが前もってわかっている場合です。

もっと適切な方法でその地域の中3の身長の分布について分析するべきです。統計モデリングの教科書に書いてある方法の方が妥当。

タグ：

posted at 13:29:54

@y_mizuno 前世紀には、「ベイズ主義」という科学の世界では無用な「主義」を用いてベイズ統計を正当化しようとした人達がいたので、そういう人達の意味でのベイズ統計を科学の世界から排除した方がよいと考える人がいることはよく理解できるし、私もその考え方は正しいと思います。続く

タグ：

posted at 13:33:04

@y_mizuno しかし、遅くとも、赤池弘次さん以降には、そういう「主義vs.主義」の対決によって統計学を語る流儀は「科学的にはまじめに相手をする価値がない」という扱いになったと私は思っています。

少なくとも、赤池さんが書いたものを読むとそれに近いことが書いてある。続く

タグ：

posted at 13:34:50

@y_mizuno その「赤池さんが書いたもの」とは以下のリンク先で紹介した1980年の2つの論説文です。

赤池弘次さんによれば、フィッシャーさんは尤度の概念を十分に理解していなかったし、サヴェジさんはベイズ統計の有用性の理解のために「主観確率」が無用なことを理解していなかった。

twitter.com/genkuroki/stat...

タグ：

posted at 13:39:11

@y_mizuno 現代では、RidgeやLASSOの正則化の手法によって、平均予測誤差を小さくできることを「みんな」知っています。

現代の理系の教養的には、事前分布の適切な設定によって平均予測誤差を小さくできる場合があることは当然の常識なわけです。事前分布を「主観」「信念」と解釈する必要は皆無。

タグ：

posted at 13:42:11

@y_mizuno 事前分布の適切な設定によって、平均予測誤差を小さくできる場合があることを、直接的な計算で確認できる場合については、以下のリンク先の解説を見て下さい。正規分布を部分積分するだけで示せます。

nbviewer.jupyter.org/github/genkuro...
Ridge正則化とStein推定量
黒木玄

タグ：

posted at 13:44:15

@y_mizuno (James-)Stein推定の話は事前分布を使ったMAP法についての話であり、ベイズ法の場合についての一般論については渡辺澄夫『ベイズ統計の理論と方法』が詳しいです。(ただし、理論がよく完成しているi.i.d.サンプル(←統計学入門の設定と同じ)の場合)

タグ：

posted at 13:46:19

@y_mizuno 前世紀の黒歴史：

* 事前分布を「主観」「信念」の表現だとみなし、ベイズ統計の本質は「主観」「信念」の更新だと考えた。

* その考え方は非科学的なのでベイズ統計そのものを全否定する人達が出て来た。

現代の常識：

* 事前分布の適切な設定は平均予測誤差を小さくするために役に立つ。

タグ：

posted at 13:49:12

@y_mizuno 正規分布モデルとt分布を使った信頼区間や検定は、t分布を使うことが意味を持つ場合の話なので、サイズがn=30程度以下の小サンプルの場合の話です。

あと、中心極限定理はn→∞での定理なので、現実に出会う有限のnでは誤差がどの程度かを気にする必要があります。誤差を気にしないのは非科学的。

タグ：

posted at 13:53:30

@y_mizuno 母集団分布が左右対称な分布ならば、中心極限定理は小さなnであってもすみやかに効いて来ます。

左右対称でない場合はそうとは限りません。

正規分布モデルを用いた母平均の推定の手法は母集団分布の形がそう悪くないことが分かっている場合でないと信用できないものになります。

タグ：

posted at 13:56:28

@y_mizuno あえて「頻度論」という用語を使って説明すると、

頻度論的な信頼区間や仮説検定においても、そのときに使用される数学的モデルの現実での妥当性が常に問題になる。数学的モデルの現実での妥当性が不明のときには、その統計分析は客観的に信頼できるものではなくなる。

とはっきり教えるべき。

タグ：

posted at 13:58:36

@y_mizuno 母集団分布が、1つ山の正規分布でないことが確実で、2つ山になっていそうなことが前もってわかっている場合には、2つ山の混合正規分布モデルなどを使って推定する方が適切でしょう。

というような話です。

教科書をみなくても、普通に常識的に考えて行けばより妥当に見える方法が自然に出て来る。

タグ：

posted at 14:04:17

@y_mizuno あえて「頻度論」という用語を使ったのは、「頻度論による統計分析はベイズ統計と違って客観的である」という俗説を否定するため。

数学的モデルの現実での妥当性が確認されていない場合は多い。その場合には「主観的に選ばれた数学的モデルを前提にした仮の結論しか得られていない」とするべき。

タグ：

posted at 14:09:46

@y_mizuno 西浦さんたちが公開したリポジトリを見ると、最尤法＋信頼区間の「頻度論的」な計算も含まれています。それを「誰もが認めざるを得ない客観的結果」と解釈するのは極めて有害です。マジで危ない。西浦さん達が過去の膨大な経験から妥当だと思われるモデルを設定して得た結果だと解釈する必要がある。

タグ：

posted at 14:12:31

@y_mizuno 西浦さんたちが公開したリポジトリには、ベイズ統計による分析結果も含まれています。

現代的な統計学の実践的な使い方では「頻度主義vs.ベイズ主義」というようなくだらないことは全部無視されており、同じ研究グループが両方使っているということもわかります。

タグ：

posted at 14:15:41

@y_mizuno 西浦さん達が公開したリポジトリは

github.com/contactmodel/C...

にあり、データの公開のために西浦さんが厚労省と闘った話が

costep.open-ed.hokudai.ac.jp/like_hokudai/c...

にあります。

リアルタイムの活きた統計の話。

タグ：

posted at 14:17:35

@y_mizuno データと分析に使ったソースファイルの公開はこういう解説と拡張が公開されることを促しました。松浦さんのような人にこうやって活躍してもらうと我々の社会は非常に助かる。

statmodeling.hatenablog.com/entry/covid19-...
2020-05-17
西浦先生らによる実効再生産数の統計モデルを解説＆拡張する試み(by 松浦さん)

タグ：

posted at 14:23:14

Kiichi @Ki_chi

Julia v1.5からJULIA_NUM_THREADS=Nを設定しなくてもマルチスレッドできるようになったらしい。 $ julia --threads N でOK. docs.julialang.org/en/v1.5/NEWS/

タグ：

posted at 14:39:57

@temmusu_n #超算数このスレッドの一般読者のために情報を追加

二重直線図およびそれに類似の図が教育的に役に立っていないのではないか、ということについては

8254.teacup.com/kakezannojunjo...

を参照。

タグ：超算数

posted at 14:42:35

@temmusu_n #超算数数直線図への評価を

shizuoka.repo.nii.ac.jp/index.php?acti...

から添付画像に引用。

【算数教科書で扱われている説明にも関わらず，2本の数直線図をかかない生徒が大多数であることから，指導者が有効なツールであると感じていても，子どもは必ずしもわかりやすい図とは感じていない実態が明らかになった】 pic.twitter.com/V5wHt8i3IW

タグ：超算数

posted at 14:49:08

@temmusu_n #超算数算数の教科書が、子供が苦手な言葉や図を採用しまくっている傾向は極めて印象的。

常識的には、現実の子供で試してみて、子供の感覚に合わせて、算数の教科書を作る方が普通だと考えるだろうが、現実には、算数教育界の非常識な考え方を子供に押し付ける手段に算数の教科書はなっている。

タグ：超算数

posted at 14:54:19

@y_mizuno データの量の問題ではなく、赤池弘次さんの仕事や考え方を理解するだけの数学的理解力が決定的に重要なファクターだと私は思います。

データの量が増えた現代において、RidgeやLASSOについて知っていても、ベイズ統計の「ベイズ主義」「主観確率」による解釈が普通だと思っている人達が沢山います。

タグ：

posted at 15:09:03

@y_mizuno 物理学科では、統計力学の講義で多項分布のSanovの定理(相対エントロピー=-KL情報量)の話をStirlingの公式を使って瞬時に導出するというようなことをしますが、そういう議論に楽々ついて行けるだけの数学的実力がないと、ベイズ統計の理解は相当に苦しい。

タグ：

posted at 15:09:39

@y_mizuno 理解することは、沢山の「やり方」を覚えることではない。

沢山の「やり方」を覚えるという発想だと、結果的におかしな考え方を信じたまま訂正できなくなる。

統計学入門の教科書は、沢山の「やり方」の解説になっていて、理解を軽視する傾向が強く、著者自身が理解していないことが書かれている。

タグ：

posted at 15:14:22

#超算数

「これは教育だから」的な言説の悪質な所は、ほぼ常に「お前らは数学的正しさしか考慮しておらず、教育について考えていない」というような嘘デタラメの拡散とセットになっていること。

自分が気に入らない主張に対してデマ拡散によって対処しようとする奴らがいる。人間的に問題がある。 twitter.com/ojesxvhup7raye...

タグ：超算数

posted at 15:59:01

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

#超算数

かけ算順序指導の典型例の1つは「2×8ならタコ2本足」「5×2だと5本耳のウサギになっちゃう」の類です。これは国語的にはデタラメそのもの。文脈に合わせて整合的に解釈するのが国語的な常識。

かけ算順序指導は、算数の実生活での使用に関して非常識なだけではなく、国語的にも有害。

タグ：超算数

posted at 15:59:01

大学にコンサル代を払うだけの金があれば需要はある。問題は大学にはそのお金がないことなんだよー twitter.com/sa01630124/sta...

タグ：

posted at 16:00:19

#超算数

よく見る低レベルな反応の典型例の記録

「時給10万円で10時間」と「時給10円で10万時間」の違いと、かけ算の式の形式的な順序を結びつけて疑わないおバカさんのみが、「かけ算の順序の大事さはこのツイートでわかる」と言える。

かけ算の式は場面を表す記号列ではない。 twitter.com/oi_o2/status/1... pic.twitter.com/XtS1h11pe8

タグ：超算数

posted at 16:03:59

HLH @polymerase_96

Julia (プログラミング言語)のコードの例が知りたくて検索した結果がこれだよ、ご丁寧にアーティスト違うのが引っかかるし pic.twitter.com/h225HtHx3H

タグ：

posted at 16:12:08

#超算数かけ算順序の大事さを分かっている人には、

あなたの収入=10万×10

という式を見せて、「収入の単位は円なので、最初の数の単位は円になる。時給10万円の意味に違いない。10は10時間の意味だろう」と勝手に解釈させて、10万時間、時給10円で働かせればいいんじゃないか？(笑)

タグ：超算数

posted at 16:24:46

#超算数大事なのはかけ算の順序じゃないということをできるだけ早く理解しないと大変なことになるかも(笑)

タグ：超算数

posted at 16:26:13

大濱﨑卓真 @oohamazaki

西浦先生の記事を読んだけれど、クラスタ対策班発足当時から「頭いい人系作業の外注部隊前線基地」みたいな感じになってて、国会対策資料の補助まで依頼してたのは霞ヶ関の過ちですよね。本邦一流の学者と学生集めて中央合同庁舎５号館でひたすらデータ入力させてたなんて笑いを越して泣けてくる話。

タグ：

posted at 16:45:35

大濱﨑卓真 @oohamazaki

僕がクラスター対策班にお伺いしたとき（２月末）は、各自治体に派遣してクラスタ追跡、未知クラスタの発見といった本来業務だった。将来モデルの予測も良いと思う。で、そこから何故データ収集や国会対策までやらせるのか。深夜迄教授学生達を５号館に囲い...だから強制労働省って言われるんですよ。

タグ：

posted at 16:45:35

大濱﨑卓真 @oohamazaki

大げさではなくて、そろそろ長期戦を見据えて、これまでの政府や厚生労働省の対応（政策意思決定プロセス、研究陣への外注のあり方、広報周知のあり方、医療現場の状況把握等）についてをきちんと振り返り評価するべき。地方自治体もそう。国に至っては割とマジで「事故調査委員会」で良いと思う。

タグ：

posted at 16:45:35

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

#Julia言語私は、Googleの設定を

地域：アメリカ合衆国

にしてあるのですが、

Julia ソースコード

を検索したら、Julia言語関連の結果で表示が埋め尽くされました。

twitter.com/polymerase_96/... pic.twitter.com/rBw5hwfGaj

タグ： Julia言語

posted at 16:48:26

Julia の可視化周り調べときたいな

タグ：

posted at 16:57:15

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

かなまろ @kanamaro_jl

Julia v1.5.0の波を観測した。

タグ：

posted at 17:27:07

非公開

タグ：

posted at xx:xx:xx

Shisato @4310sy

今日からプログラミング言語Juliaで遊び始めました。
まずはIntelliJ IDEAで環境構築をしたので、その手順をブログにメモ。
Juliaの開発環境構築手順と基本プログラミングのメモ - EurekaMoments
www.eureka-moments-blog.com/entry/2020/08/...

タグ：

posted at 18:14:45

#超算数【二重直線図はあまり有効ではないという報告】はリンクしておくべきだった。黒木さんありがとうございますtwitter.com/genkuroki/stat...。村川さんからは帰一法と割合三用法を同一視するのは適切ではないとの指摘をいただいたtwitter.com/takehikom/stat...。こういう指摘はありがたい。訂正します。

タグ：超算数

posted at 18:41:04

#超算数帰一法は特定のタイプの問題を解く一つの方法で、倍比例や三数法と対照されるbooks.google.co.jp/books?id=U9RTv...。この中では最も割合三用法に近く、歴史的にも三用法の祖先にあたると思っているが、三用法そのものではないので。

タグ：超算数

posted at 18:41:05

#超算数その他のご指摘については、村川さん独自の文献渉猟に敬意を払いつつも、「掛順を疎かにすると割り算でつまづく」という論題には適用外であると言わざるを得ない。乗数と被乗数の概念を使って掛け算を導入することに私は反対しないからだ。折に触れて2概念に戻るのもよいだろう。

タグ：超算数

posted at 18:41:05

#超算数但し、×1.2とは1.2個のことではない、1.2倍である、のような行き方は支持しない。

タグ：超算数

posted at 18:41:06

#超算数海外の算数教育研究者の意見は、そもそもGreerにしてもOhlssonにしても、かけ算や足し算の順序を子供に区別させようとしているのかよく分からないところがあります。なるほど、彼らは<子供の考え>としては式は状況に対応すると主張するが、<子供の考え>がいつ脱却されるべきかとはいわない。

タグ：超算数

posted at 19:17:36

Rinaty @rina_k_photo

Ken Kuroki #ナゾとき進化論 @enuroi

こないだ濃霧の中でセルフポートレート撮ったんだけど、
ダッシュして置きピン用に使ってたライトスタンドを退けてポージングするまでの流れがバッチリ撮れていてめちゃくちゃ笑った pic.twitter.com/VACtFun6qo

タグ：

posted at 19:23:36

qiita.com/Ken-Kuroki/ite... 以前ツイートした内容ですが少し加筆してQiitaの記事にしました。Feather V2についてはJuliaでの動向を見ながらまたいずれ書こうかなと思います。

タグ：

posted at 19:23:58

万博@盲学校マジック @bampaku

Ken Kuroki #ナゾとき進化論 @enuroi

@phasetrbot 割り算を逆数の積と理解させるの、行けると思うんですよね。さっと論文出てこなかったのですが、小学校高学年での分数の除法について、等式の両辺に同じ操作をする式変形の学習で除法を逆数の積と理解させる実践例です。
www.jstage.jst.go.jp/article/mesj/5...

タグ：

posted at 19:27:27

「データサイエンス100本ノック（構造化データ加工編）」をJuliaで解いたのでQiitaに記事を書きました。
qiita.com/Ken-Kuroki/ite...

タグ：

posted at 19:35:46

Ken KurokiさんがJuliaをマスターしていってる…

タグ：

posted at 19:43:35

Yuki Nagai @cometscome_phys

下の子(6)に、ひっさんってのはあんざんではてきないすごい計算ができる必殺技なんだぜ！みたいなテンションでひっさんを教えたら、大興奮で8桁同士の筆算やりはじめた

タグ：

posted at 19:43:43

distance("Gen Kuroki", "Ken Kuroki") = 1

タグ：

posted at 19:44:31

てらモス @termoshtt

Featherフォーマットを使ってPython・R・Julia間で簡単にデータをやり取りする qiita.com/Ken-Kuroki/ite... #Qiita

タグ： Qiita

posted at 19:46:56

#Julia言語名前的に他人とは思えない！😊 twitter.com/enuroi/status/...

タグ： Julia言語

posted at 19:47:09

みんな時代はJuliaって気がついてくれたんだな(ﾎﾛﾘ

タグ：

posted at 19:47:12

TaKu @takusansu

#超算数
 twitter.com/i/web/status/1...
「かけ算の式を書く順番」を定めて指導しても「割合の考え方への拡張が自然にされる」事が無いのは、割合の正答率が上がる報告を見た事がないので明らかだと思われます。
希望的観測による妄想か、順序指導を肯定する為のでっち上げとしか思えません。

タグ：超算数

posted at 19:49:42

Yuki Nagai @cometscome_phys

2桁の筆算しては暗算でも計算して「あってる？！」みたいに驚いていたので、「なぜこの必殺技のひっさんができるかは、夜ご飯食べた後に教えてあげるよふふふ」という感じで言ったらあっという間に夜ご飯食べた

タグ：

posted at 19:50:45

tomo @tonagai

これがどのくらい早く収束するかは、カシオの高精度計算サイトkeisan.casio.jpに作ったこれで試せます。
円周率の計算（ラマヌジャンとチュドノフスキー）
keisan.casio.jp/exec/user/1232... twitter.com/fermatslibrary...

タグ：

posted at 19:53:26

非公開

タグ：

posted at xx:xx:xx

万博@盲学校マジック @bampaku

掛け算の順序ではないのですが、小田・渡邉の下記論文のFig.19とか見ると、抽象的な代数計算は小学生に教えても良いし、子供の抽象的思考を侮るな、Piaget is Over! という気持ちになるのですが、もちろんできない児童に無理強いするのは良くない。
www.jstage.jst.go.jp/article/mesj/5...

タグ：

posted at 19:54:23

Yuki Nagai @cometscome_phys

なお、ポケモンカードのダメカンで10ダメカンを100ダメカンにまとめて100 ダメカンの方に移動させているだけだよという話をダメカン使いながらした

タグ：

posted at 19:54:43

#Julia言語これいい！

Juliaでデータサイエンス100本ノック（構造化データ加工編） qiita.com/Ken-Kuroki/ite... #Qiita

タグ： Julia言語 Qiita

posted at 19:55:48

Rinaty @rina_k_photo

Ken Kuroki #ナゾとき進化論 @enuroi

@nuko_design アップでどうぞ！😂 pic.twitter.com/eoc3EDhn5u

タグ：

posted at 19:57:42

おがわけんたろう @KentaroOgawa

これ本当にそう。反応してもらってありがとうございます！ twitter.com/genkuroki/stat...

タグ：

posted at 20:06:48

最近ようやくJulia言語の方が先に来るようになったよね。

タグ：

posted at 20:16:58

Yossy @Yossy_K

「掛け算は数字の順序が大事」って言ってる人は「『1個10円のチョコが5個』とあるのに、『5×10』という式を見ると、コイツは『5円のチョコが10円』と誤読している！」と思い込んでしまう、オツムの弱い人だと思っていれば良いということがこのツイートでよくわかる twitter.com/oi_O2/status/1...

タグ：

posted at 20:19:10

【独占】押谷仁教授が語る、PCR検査の有用性とリスクとの向き合い方 www.newsweekjapan.jp/stories/world/...

タグ：

posted at 20:22:54

#数楽ガンマ函数について習うと、その半整数での値で奇数を次々にかけて得られる

1•3•…•(2n-1)

に出会うが、これは、分子分母に2•4•…•(2n)をかけると

(2n)!/(2ⁿ n!)

に等しいことが分かる。この変形は結構使われる。

タグ：数楽

posted at 21:01:16

#数楽応用例：

cos(px)=Σ (-1)ⁿ p²ⁿ x²ⁿ/(2n)!
∫_ℝ exp(-x²)x²ⁿ dx=Γ(n+1/2) (x=√t とおけ)
Γ(s+1)=sΓ(s)
Γ(1/2)=√π
exp(a)=Σaⁿ/n!

を用いて

∫_ℝ exp(-x²) cos(px) dx = √π exp(-p²/4)

を示せ。これはexp(-x²)のFourier変換で非常に重要。

タグ：数楽

posted at 21:01:19

信州戦争資料センター(まだ施設は無い…) @himakane1

#数楽

∫_ℝ exp(-(x-a)²) dx=√π

を用いて

∫_ℝ exp(-x²) exp(bx) dx = √π exp(b²/4)

を示せる。これに b=ip を代入できれば(実はできる)、

∫_ℝ exp(-x²) exp(ipx) dx = √π exp(-p²/4)

なので、両辺の実部を取ると、

∫_ℝ exp(-x²) cos(px) dx = √π exp(-p²/4).

この辺は色々易しい。

タグ：数楽

posted at 21:12:50

非公開

タグ：

posted at xx:xx:xx

1次資料しか信じないというのを見たんですが、こんな個人収集家の所にもこのぐらいのものは来るのだよ。先人が資料を丁寧に収集分析したモノを頭から否定するのは、それこそ兵隊さんたちに申し訳ないと思わぬのか。長野県出身兵士の日記、1937(昭和12)年10月9日の記述。首を落として斬れ味に感動と。 pic.twitter.com/4laU9h9pkM

タグ：

posted at 21:34:19

信州戦争資料センター(まだ施設は無い…) @himakane1

#Julia言語 Juliaについて検索を繰り返しているのだが、ここ最近、急激にユーザーが増えているような感触がある。

タグ： Julia言語

posted at 21:39:12

この方は帰国後、ノートを丁寧に清書。ご遺族には何も話しませんでしたが、まとめて整理して残してあったと。歴史の、戦争の実態をしっかり伝えたかったのではないか。それは、兵士共通の思いでは。だからこそ、その思いを受け止めた先人の研究をないがしろにするような姿勢は許せないのです。

タグ：

posted at 21:44:24

nekojita @nek0jita