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

@MelMitchell1 @ComplexExplorer @sfiscience arxiv paper comparing ABM frameworks. Julia's Agents.jl is fast like C++, simpler than mesa and netlogo and more featureful. And you have all the stats/eda and ml tools of #julialang arxiv.org/abs/2101.10072

タグ： julialang

posted at 00:24:31

The Julia Language @JuliaLanguage

Congrats to @rogerluorl18 and the rest of the Yao.jl contributor community!

#JuliaLang #OpenSource twitter.com/qosfoundation/...

タグ： JuliaLang OpenSource

posted at 00:34:17

Stefan Karpinski @StefanKarpinski

Huge congratulations to @rogerluorl18 on this award for his groundbreaking work on #QuantumComputing in #JuliaLang in the github.com/QuantumBFS/Yao... package! (throw it a star on it while you're there😺) twitter.com/qosfoundation/...

タグ： JuliaLang QuantumComputing

posted at 00:43:44

桑満おさむ @kuwamitsuosamu

驚いたぞ〜、なんと峰先生が、あの夕刊フジに来臨‼️わかりやすく、スッキリする内容です。 pic.twitter.com/keUH4xirsd

タグ：

posted at 00:54:04

桑満おさむ @kuwamitsuosamu

みなさん景気よく、全文載せちゃます。著作権等の問題は私が責任を負いますので、全文読んじゃってください。

タグ：

posted at 00:55:54

桑満おさむ @kuwamitsuosamu

リツイート、引用リツイートしても太っ腹の産経系の夕刊フジは許してくれると思います。一次ソースが私であることが不明だと、著作権侵害になる可能性がある点にはご注意ください（そこまでは責任取れない）。

タグ：

posted at 01:17:01

Viral B. Shah @Viral_B_Shah

Congratulations @rogerluorl18 on the #WittekQuantumPrize. So great to see that folks writing #julialang software are receiving recognition! twitter.com/qosfoundation/...

タグ： julialang WittekQuantumPrize

posted at 05:08:14

#Julia言語パラメトリックタイプの使用例

①フィボナッチ数列

②A.calc(A.Fib{10}()) は単なる return 55 にコンパイルされる。

③FixedLengthVector{N}の長さをNに定義

④同じ長さのFixedLengthVectorどうしのたし算しか定義されていない。

gist.github.com/genkuroki/c1c2... twitter.com/cometscome_phy... pic.twitter.com/wF7EdI0Siy

タグ： Julia言語

posted at 06:26:59

「言葉の意味は文脈に依存せずに固定されているべきである」と考えている教師が国語を教えていたら、「そういう非常識な考え方で教えるのをやめろ！」と言われると思う。

算数においても同じです。

算数の時間になった途端に国語的に非常識な考え方をするのはやめるべきです。

タグ：

posted at 06:32:14

子供に非常識なスタイルを押し付け続けているという理由でチョー算数は非難されています。

非常識→「かけ算の式は単価×数量の順序で書かなければいけない」

非常識→「図形の性質を扱う文脈であっても、正方形は長方形の特別な場合にならない」

非常識→「倍数を扱うときには常に0を除く」

タグ：

posted at 06:36:36

図形の(数学的)性質を扱う文脈では、正方形は長方形の特別な場合とみなされる。正方形は全然長くないが、長方形の特別な場合とみなす約束になっている。「長い」を意味するかんじ「長」が「長方形」に含まれていてもそうする習慣。

と常識的な事実を教えればよい。急がずにじっくり教えれば大丈夫。 pic.twitter.com/HvpE9uQ5EC

タグ：

posted at 06:41:35

欲を言えば、「長い」を意味する「長」という漢字を用語的に含む「長方形」が特別な場合として「正方形」を含むことにした方がどうして便利なのか、についても理解してもらいたい。

これは小学校6年間だけでは理解が難しいことだと思うので、中学・高校以降まで見据えた教え方をする必要がある。

タグ：

posted at 06:51:03

倍数を考えるときには、0を例外扱いせずに、0をすべての数の倍数とみなした方がどうして便利なのか？

大学の教員養成課程では、教師志望の人達がこの問いに答えることができるようになるような教育をする必要があると思う。

タグ：

posted at 06:51:03

#数楽行列の最も基本的な使い方は「何かを表現するために使うこと」なので、実際に自分にとって必要なものを行列で表現する経験抜きに行列について理解するのは無理。

そして、感動があると理解が一挙に進む！

回転も行列で表現できる、マルコフ連鎖も表現できる、二次式も行列で表現できる、… twitter.com/nemain496/stat...

タグ：数楽

posted at 07:01:39

#数楽ある程度以上数学をかじったことがある人であれば、「表現」(representation)という広く使われる用語が数学の文脈では独特の意味を持っていることにも気付くはず。

タグ：数楽

posted at 07:12:21

#統計真の問題はその先にあって、

「95%信頼区間について、95%の確率で真の値がその区間に含まれるという説明は誤りである」

に続けて、

「ベイズ統計における95%信用区間(確信区間)ならば、95%の確率で真の値がその区間に含まれると説明してよい」

とするデタラメが標準的になっている！😱 twitter.com/kotokotoy66/st...

タグ：統計

posted at 07:24:33

#統計私の経験では、大体において、

「95%信頼区間について、95%の確率で真の値がその区間に含まれるという説明は誤りである」

と指摘している人達はおかしな考え方をしています。

「確率」ではなく「割合」と言わなければいけないかのような教科書にもある説明はひどくミスリーディングです。

タグ：統計

posted at 07:24:34

#統計 95%信頼区間とベイズ版95%信用区間の両方で真に注意を払うべきことは、それらがデータだけではなく、推定用のモデルにも強く依存していることです。

モデルが妥当でなければ、95%は信頼も信用もしてはいけない数値になります。

それらの区間がモデルにも依存しているという認識が非常に重要。

タグ：統計

posted at 07:24:34

#統計 95%信頼区間の95%は「モデル内での標本分布で測ったその区間にモデル内での真の値(フィクション)が含まれる確率(の近似値)」。

ベイズ版の95%信用区間の95%は「モデル内での事後分布で測ったその区間に値が含まれる確率(の近似値)」。

定義まで戻ればモデル依存性が明瞭で誤解もなくなる。

タグ：統計

posted at 07:31:14

#統計 95%信頼区間やベイズ版95%信用区間の95%の正しい意味は数学的に考えないと絶対に理解できません。統計学では定義まで戻ること自体が結構難しいです。

よく見る有害な解説にある「頻度主義」「ベイズ主義」といった「主義」に関する解説をどんなに学んでも理解は進みません。

タグ：統計

posted at 07:35:02

#統計「95%信頼区間について、95%の確率で真の値がその区間に含まれるという説明は誤りである」という指摘自体は正しいのですが、そのように指摘している人達自身もよく分かっていないことが多い(教科書の多くがミスリーディングな説明をしている)ということに初学者は警戒するべきだと思います。

タグ：統計

posted at 07:42:40

#統計一般人向けの説明に「信頼区間」「予測区間」「信用区間」などなどが出て来た場合に、一般人側が注意するべきことは、それらの権威を受け入れたり、権威への反発で全否定することではなく、それらの区間がデータとモデルを使って計算されたものであることに注意を払うことだと思います。

タグ：統計

posted at 07:49:19

#統計

* データは十分か？
* データ取得法に瑕疵はないか？

* モデルは妥当か？
* 可能な限り正確な予想を出すためのモデルなのか、それとも仮に〇〇だったらどうなるかを予想するためのモデルなのか？

などなど、データとモデルに注意を払えるようになると情報解釈の精度が一挙に上がります。

タグ：統計

posted at 07:53:25

#統計

「95%信頼区間について、95%の確率で真の値がその区間に含まれるという説明は誤りである」

に続けて、

「仮にデータを何度も取り直して95%信頼区間を繰り返し計算したなら、真の値を含む区間達の割合は95%になる」

と説明していたら、ひどくミスリーディングです。続く twitter.com/genkuroki/stat...

タグ：統計

posted at 08:29:17

#統計「信頼区間警察」をしている人達はそういうミスリーディングな説明を平気でする傾向が強いです。おそらく、統計学入門の教科書にあるミスリーディングな説明を鵜呑みしている。

信頼区間を計算するために用いたモデルが妥当でないと「割合は95%」には全然なりません。

タグ：統計

posted at 08:32:09

#統計あと、「頻度主義の95%信頼区間は解釈が難しいが、ベイズ主義の95%信用区間であればその区間の中に真の値が含まれる確率は95%になるので分かり易い」とするトンデモを語る「ベイズ統計」(←カギ括弧付き注意)の宣伝家達が結構いるのですが、そういう連中の主張を受け入れちゃダメです。

タグ：統計

posted at 08:39:34

#統計ベイズ版の信用区間の定義はシンプルでコンピュータでの近似計算も実装し易いのですが、その現実における意味合いの解釈が難しいです。(予測分布を使った予測区間の方が解釈し易い。)

本当は難しいことをトンデモを使って簡単に見せるのは非常にまずい。

タグ：統計

posted at 08:45:18

#統計 95%信頼区間には統計的検定を経由する次の解釈もあります。

95%信用区間=有意水準5%の検定で棄却されないモデルのパラメータの範囲

パラメータ付きモデルの検定法が与えられるごとにデータから信頼区間が決まります。

この見方でも信頼区間のモデル依存性が明瞭になります。

タグ：統計

posted at 08:51:11

#統計「検定で棄却されない」を「その場合がある可能性に十分配慮する必要がある」と解釈可能な状況ならば、信頼区間について「仮にモデルが妥当ならば、パラメータがその範囲に入っている可能性に十分配慮しなければいけない」のように解釈可能。

これ、実用的にそう難しい話じゃないと思います。

タグ：統計

posted at 08:54:47

#統計

信頼係数1-αの信頼区間

を

有意水準αの検定で棄却されないモデルのパラメータの範囲

と解釈するスタイルの説明は

久保川達也『現代数理統計学の基礎』

の8.2.1節のpp.169-170にあります。

ただし、この教科書でのベイズ統計の扱い方を好きじゃないです。

タグ：統計

posted at 09:06:33

#統計ベイズ版の信用区間についても、実用的には、信頼区間と同様に、

「仮にモデルが妥当ならば、パラメータがその範囲に入っている可能性に十分配慮しなければいけない」

のように解釈して大丈夫な場合が多いと思います。 twitter.com/genkuroki/stat...

タグ：統計

posted at 09:18:01

#統計通常の信頼区間とベイズ版の信用区間(確信区間)の定義は全然違うのですが、シンプルなモデルでサンプルサイズが十分大きな場合には、それらの区間はほぼ一致することが多いです。

十分な一致が数学的に保証される場合には、実践的にそれらを区別する必要はないです。

タグ：統計

posted at 09:21:58

Ari Katz @akatzzzzz

@SimonDeDeo you might be interested in that

タグ：

posted at 09:22:45

#統計一致しない場合についてはケースバイケースで考える。

何か決まり切った「やり方」を知っていればコンピュータが正しい結果を教えてくれるというような考え方をする人には個人的に統計学を使って欲しくないです。

タグ：統計

posted at 09:42:13

棚瀬(TANASE Yasushi) @tanaseY

うーむ、詰む気しないぞ「詰めチャレ」で難易度2325の問題が解けませんでした..。あなたは解けますか？ #詰めチャレ #将棋クエスト pic.twitter.com/HtDq01EAht

タグ：将棋クエスト詰めチャレ

posted at 10:46:24

KTYD @KTYDRCB

昨日はMATHCADのライセンス更新にめちゃくちゃ手間取った一日だった。
インストールしていくつかaddするだけで動くJuliaすばらしいです！

Python? インストールするだけじゃ動かないでしょ？

タグ：

posted at 12:20:30

怠惰る力 @geomeemoeg

C++やらJuliaをまじめにやったらpythonのへぼさがわかるのかしら

タグ：

posted at 12:52:36

teval 関数便利やな〜
#Julia言語

MetaUtils.jlをみながら

タグ： Julia言語

posted at 13:43:25

非公開

タグ：

posted at xx:xx:xx

.= のお話

#Julia言語の Performance Tips より引用 pic.twitter.com/y9phdOfaVe

タグ： Julia言語

posted at 14:36:49

docs.julialang.org/en/v1/manual/f...

こっちも合わせて
#Julia言語

.= dot syntax

タグ： Julia言語

posted at 14:36:50

Massimo @Rainmaker1973

Is it possible to capture the entire plane of our galaxy in a single image? Yes, but not in one exposure: Maroun Habib did in two with some planning. Top and bottom part of this image were taken six months apart and there you have it, the complete plane buff.ly/2tDLYMy pic.twitter.com/JreAzEYIKs

タグ：

posted at 20:01:15

Otepipi @Otepipipi

はてなブログに投稿しました #はてなブログ, #Julia言語, #modelica, #openmodelica
modelicaとJuliaで水タンクをモデリングする - システムとモデリング
otepipi.hatenablog.com/entry/2021/02/...

タグ： Julia言語 modelica openmodelica はてなブログ

posted at 20:41:53

#Julia言語

VSCodeのリモートコンテナ機能で Docker のコンテナ内で作業して using Plots; plot(sin) みたいなのもできることがわかったので MyWorkflow.jl の README.md に説明書かなきゃ（使命感）

タグ： Julia言語

posted at 20:50:23