黒木玄 Gen Kuroki(@genkuroki)/2022年05月/Page 10

What is best strategy when playing the Rock & Paper & Scissors game?

The best strategy is to choose one at random and play the game until infinity to win zero!

Here is the #JuliaLang solution! pic.twitter.com/un4yFekYTM

タグ： JuliaLang

posted at 23:40:22

みーとみ @miiitomi

@uranihonjin ミクロ・ゲームの論文はただ理論分析だけで完結するものがほとんどなので、コンピュテーションの言語はあまりデフォルト的なものがないですが、比較的matlabが多いかなって感じです。あと人によってpython、最近のオタクはjulia。Rやstataは統計的な実証をしてる場合以外はあまりないかと

タグ：

posted at 22:26:16

Mehmet Hakan Satman @mhsatman

#JuliaLang package JMcDM v0.3.9 is out with PSI (Preference Selection Index) method implemented.

@JuliaLanguage

github.com/jbytecode/JMcDM

タグ： JuliaLang

posted at 22:09:32

非公開

タグ：

posted at xx:xx:xx

ʇɥƃıluooɯ ǝıʇɐs @tsatie

#マナー講師と #超算数は邪さでは変わらないよな。

タグ：マナー講師超算数

posted at 18:39:40

つるじろう @tsurujiro_drago

右の子のほうが正解。
右の子のほうが色んなケースに柔軟に対応できる。
これも掛け算順序の弊害だろうか？

#超算数
 #掛け算順序
 #トンデモ算数 twitter.com/ghwarua55wa1/s...

タグ：トンデモ算数掛け算順序超算数

posted at 18:31:55

非公開

タグ：

posted at xx:xx:xx

林　譲治 @J_kaliy

アシモフの銀河帝国の興亡で、「技術者いなくなってメンテできないから、原子力やめたわ」という文明が登場して、子供の頃は「そんなことあるかい」と思っていたが、最近はアシモフが正しかったと思うことが増えた。 twitter.com/tcy79/status/1...

タグ：

posted at 17:13:04

@maccord1218 @uKi2wQXyG7rx3gL 学習指導要領にかけ算順序固定強制指導について載っているかのようなコメントは最も典型的なデマです。インターネット上で学習指導要領は公開されているので誰でも確認できる。

この話題では保護者にデマを吹き込む汚いやり方が横行しています。

反対している人達だけがまともなことは明らかです。

タグ：

posted at 16:38:56

探究 @sekai_tankyu

超算数信者、主張が雑だよなぁ。
取り敢えず君達は算数・数学を勉強しなさい。

タグ：

posted at 16:36:33

探究 @sekai_tankyu

包含・等分の区別ありきの「混乱」なわけだ。つまりは超算数による被害。 twitter.com/ghwarua55wa1/s...

タグ：

posted at 16:34:55

sinの実装の話題がちょっと出るだけで、スイッチが入ってしまう世界もある。

それとは対照的に、三角関数は専門的すぎるという理由で高校で教えるのはやめて金融について教えろというような話がされている国会という世界もある。しかも、利益誘導の疑いがあるっぽい。嫌だ嫌だ。 twitter.com/genkuroki/stat...

タグ：

posted at 16:29:40

Yossy @Yossy_K

これなんかも、「どっちでも良いと教えたから」なのかどうか、因果を検証するのはかなり面倒だと思うんだけど、どうやって検証したんだろうね twitter.com/ghwarua55wa1/s...

タグ：

posted at 16:26:12

ごまふあざらし(GomahuAzaras @MathSorcerer

#Julia言語初等函数や特殊函数の実用的な実装ではSIMDとの相性も重要。

github.com/JuliaSIMD/SLEE...

ではsinを再実装している。こちらを使った方がクソ速くなる事例があります。

タグ： Julia言語

posted at 16:25:28

ごまふあざらし(GomahuAzaras @MathSorcerer

GCしておかないとメモリが溜まり続けることに注意する．

タグ：

posted at 16:22:59

DLPack.jl の偉大なところは

PyTorch NCHW のレイアウトのデータを
Flux の WHCN に合わせてくれることですね．

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

タグ： Julia言語

posted at 16:22:59

ごまふあざらし(GomahuAzaras @MathSorcerer

@mkashi 関連スレッド

私、初等函数も特殊函数もかなり好きです。 twitter.com/genkuroki/stat...

タグ：

posted at 16:20:39

#JuliaLang

How to use torch .data. utils. DataLoader in Julia

↓↓↓

gist.github.com/terasakisatosh... pic.twitter.com/zPe2azR2ph

タグ： JuliaLang

posted at 16:16:06

#Julia言語以上のような理由で、誰か、初等函数や特殊函数の実装のコードの自動生成の仕方を記述するためのフレームワークのパッケージを作ったりしないかな、と思います。

「精度を保ったまま既存のライブラリの○○倍で計算できる」ってのを大規模に実現できるんじゃね？

タグ： Julia言語

posted at 16:13:23

@kankichi57301 @kankichi57301

@Yossy_K 幼年にして早くもambiguity tolerance欠落教育を与えるとは...
#超算数

タグ：超算数

posted at 16:12:34

#Julia言語を含めてあちこちで使われていると思われるsinをよく近似する13次の多項式の求め方については以下のリンク先を参照。 twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 16:08:53

Yossy @Yossy_K

これ、右の図も「どっちでも良い」だよね。
所謂、等分除で考えた図か、包含除で考えた図かみたいな twitter.com/ghwarua55wa1/s...

タグ：

posted at 16:07:01

まつたけ @matsutake_cat

バナナに入ろうとすると... pic.twitter.com/RMeAZYifjt

タグ：

posted at 16:06:26

Float64以外の精度での初等函数をどのように実装するか、最適化が不十分だと思われる既存の基本特殊函数のコードの最適化をどうするか、などの諸々の問題は、それらの実装のコードを自動的に生成して、自動的にテストして、自動的に最適化した方が良さそうなことを示唆していると思います。

タグ：

posted at 16:05:33

#Julia言語基本特殊函数の実装例で「うわっ！」と思ったのは不完全ベータ函数の伝統的によく使われている実装です。
↓
github.com/JuliaStats/Rma...

2000行くらいある。

これ「さらに最適化しろ」と言われたら泣きそう。

タグ： Julia言語

posted at 16:02:00

#Julia言語その辺の理由はMITでの講義の宿題の答え

nbviewer.org/github/steveng...

を見ればわかります。Juliaのような何でもありのユーザー側にとって楽な環境でないとやる気になれない最適化を行なっている。

上のはJulia v0.6用。v1.0で動くようにしたものは

nbviewer.org/gist/genkuroki...

にある。

タグ： Julia言語

posted at 15:59:16

#Julia言語しかも、速くなっている理由はJuliaのコンパイラが他のコンパイラよりも優れているからではなく、実装するアルゴリズムの最適化で速くなっている。原理的にはJulia以外でも可能な最適化。

どうして、既存のライブラリはそういう最適化をして来なかったのか？

タグ： Julia言語

posted at 15:55:18

#Julia言語界の人達の自慢の1つは

　基本特殊函数をJuliaで実装し直したら
　既存のFortranライブラリよりも○○倍速くなった

の類です。これ、最初は信じられなかったのですが、実際に試すと確かに速くなっている。続く

タグ： Julia言語

posted at 15:53:06

そういう「単純にTaylor展開を使わない」という最適化は初等函数についてはよくされているように見えますが、特殊函数については多分そうではないと思います。

そういう微調整は実は非常に大変。人間が半手動でやるには大変すぎる。

自動化された方が良い。

タグ：

posted at 15:50:23

#Julia言語その係数は、最初の係数の1を固定して、sin(x)/xの絶対誤差を|x|<π/4で最小化することによって作られているっぽいです。

私はその係数の計算の仕方が載っている文献が発見できなかったので、自分で色々やってみて、それとも比較して理解したつもりになっています。

タグ： Julia言語

posted at 15:47:52

#Julia言語 Juliaのsinは昔から伝統的に使われている多項式近似の係数を使っています。一瞬「どうせTaylor展開だろ」と思うのですが、実際にはそうでないことがすぐにわかり、非常に面白い話だと思い知る。

Float64でのsinの多項式近似の係数
↓
github.com/JuliaLang/juli...

Taylor展開とは違う。 twitter.com/genkuroki/stat... pic.twitter.com/HnUy3Uk9fn

タグ： Julia言語

posted at 15:44:18

@mkashi #Julia言語 sinのような函数は数え切れないくらい呼ばれる函数なので、最適化されていて欲しいです。だから単純なTaylor展開だとまずい。その辺が面倒だと私は思いました。

sinや初等函数に限らず、特殊函数のコードも自動生成されるようになれば素晴らしいと思いました。しかし、相当な作業が必要。

タグ： Julia言語

posted at 15:36:27

@mkashi #Julia言語各数値型ごとに適切で効率的なsinの多項式近似の係数を自動計算する方法があればよいのですが、Float64のビルトインsinで使っている伝統的な多項式近似の係数とほぼ同じものをRemez法で作るところまでやって力尽きました。ツイログを検索すればコードへのリンクも見つかると思います。

タグ： Julia言語

posted at 15:32:28

@mkashi #Julia言語ああ、なるほど。「数値型ごとに個別に数学関数を実装するのつらくないですか？」というような話は既にツイッターでしたことがあります。同じようなことが皆考える。

私が想定している方法は、数値型ごとに自動的にsinのメソッドのコードをマクロによって自動生成するという方法です。続く

タグ： Julia言語

posted at 15:28:25

GengaQ SurvivoR @kyow_QQ

余りにも余りにもとんでもなくいい動画

トポロジーって何が面白いの？美しすぎる数学の問題 youtu.be/qAgungg5jpM @YouTubeより

タグ：

posted at 15:03:29

#Julia言語

using Quadmath

とすれば、sin函数にFloat128精度のメソッドが追加されています。

添付画像①はusing Quadmathより前で、②はその後の様子。

こういうことは既に実現済み。

Julia本体をいじらずに、ユーザー側が自分でパッケージを作って幾らでも実現できます。 twitter.com/mkashi/status/... pic.twitter.com/xf1BPGlqYU

タグ： Julia言語

posted at 14:06:10

#統計尤度の概念を理解したければ以下が必要:

①正確な定義に戻って考える。
②漢字や単語の日常的意味は完全に無視する。
③主義思想哲学的事柄に誤誘導されないように注意する。
④歴史的偉人が言っていることに影響されないようにする。

タグ：統計

posted at 13:41:17

#統計尤度の定義は「モデルの中でデータと同じ数値が生成される確率または確率の密度」なので、定義より「尤度は確率である場合がある」は自明に正しい(確率密度になることが多い)。

❌尤度は確率ではない。

は自明に誤り。

⭕️パラメータの尤度函数は一般に確率密度函数ではない。

なら正しい。

タグ：統計

posted at 13:38:37

#統計もしかしたら、Fisher (1915)でmost probableとmost likelyを同じ意味で使っていたことが、現代において「尤度は確率ではない」とミスリーディングなことを言いたがる人を見ることがあるのは関係しているのだろうか？続く twitter.com/genkuroki/stat...

タグ：統計

posted at 13:35:27

#統計私がまだ確認できていないことは、likelihoodをevidenceと呼ぶという愚行を誰が始めたのかです。知っている人がいたら、証拠になる文献を教えて下さい。

most probable
↓
↓Fisher 1915
↓
most likely
↓
↓Fisher 1921
↓
likelihood
↓
↓??????
↓
evidence

誤誘導的伝言ゲーム！

タグ：統計

posted at 13:24:53

#統計統計学用語としてのlikelihoodを定義したFisherさんは、1915年の時点では

the most probable value

と

the most likely value

を同じ意味に使っていて、後で、後者の表現からlikelihoodを定義した。

新分野の開拓者の大変さと、開拓者は誤解しながら進む必要があることがよくわかります。 twitter.com/genkuroki/stat...

タグ：統計

posted at 13:16:26

#統計尤度はそういう類のものなので、オーバーフィッティングの概念が常識になった現代において、「尤度が高い方がもっともらしい」などと安易に言ってしまうと、そのデタラメさはすぐにばれてしまうことでしょう。

タグ：統計

posted at 12:49:30

#統計既知のデータにぴったりフィットするようなモデルとパラメータの組み合わせを作ることは、尤度の大きなモデルとパラメータの組み合わせを作ることと同じことです。

既知のデータにどんなにフィットしていても、尤度がどんなに高くても、現実とは全然合わないモデルかもしれない。

タグ：統計

posted at 12:47:45

#統計既知のデータにぴったりフィットするようなモデルとパラメータの組み合わせを作ると、これから得られるデータの予測にまったく使えない予測分布が得られてしまうことがある。

こういうことは、オーバーフィッティング(過剰適合)という名で常識的になりました。

タグ：統計

posted at 12:45:44

#統計モデルのデータへの適合度の指標の1つ(他にも沢山ある)に過ぎない尤度を証拠の強さの指標だとみなすというデタラメと、Bayes統計に関するおかしな考え方は密接に関係している。

ELBO=evidence lower boundのevidenceは対数周辺尤度という意味であり、この専門用語にも歴史の爪痕が残っている。

タグ：統計

posted at 12:41:24

#統計尤度概念の暗黒面は赤池さんによって払拭された。

払拭される前の混乱は多くの専門用語に残っている。

尤度 likelihood をFisher氏と同様にもっともらしさと解釈し、それをさらに証拠の強さの指標だとみなした人たちが20世紀にいるようだ。likelihoodはevidenceと呼ばれることがある。酷過ぎ。

タグ：統計

posted at 12:37:53

赤池弘次さんが、対数尤度の概念を相対エントロピーもしくはKullback-Leibler情報量の概念を使って整理し直すまで、多くの人達が尤度の概念をよく理解していなかったのではないか？ twitter.com/genkuroki/stat...

タグ：

posted at 12:33:49

「そういう紛らわしい専門用語を作って欲しくない！」と思う人は多いかもしれないが、新分野の開拓者は基本的なことを誤解したままで生産的な方向に進むことが多く、分野の開拓者が誤解したまま専門用語を決めてしまうことがある。

likelihoodという統計学用語はFisher氏の誤解が定着したものである。

タグ：

posted at 12:29:44

雨宮純 @caffelover

「マ○ドナルドの肉は人肉」というのを真面目に信じて拡散してる人が一定数いるんですよね。。。 twitter.com/q44bh4aD6wzu8P...

タグ：

posted at 12:26:37

一般に、数学がらみの専門用語をそこで使われている漢字や英単語の日常的な意味で解釈しようとすると失敗する。

尤度(ゆうど)の「尤」は「尤もらしさ」=「もっともらしさ」の「尤」でかつ、英語でも「もっともらしさ」を意味する単語likelihoodになるが、尤度は決してもっともらしさではない。

タグ：

posted at 12:26:36

#統計

❌尤度(ゆうど)→尤もらしさ

❌最尤法→最ももっともらしいパラメータの値を求めること

は誤り。教科書によくデタラメが書いてある。正しくは

⭕️尤度→モデルのデータへの適合度の指標の1つ

⭕️最尤法→モデルがデータに最もフィットするようなパラメータの値を求めること

です。

タグ：統計

posted at 12:26:35

つまり 6 × 9 = 54 は知って居ても、9 × 6 = の方はおぼえて居ない時代があるのである。我々にとって、こんなことはありうべき筈ではないが、子供にはそのありうべきでないことがあるものであることを教育者はよく心得て居なければならぬ。

#超算数

タグ：超算数

posted at 12:17:14

<上のテキスト部分>
14 × 17 は 238 です
　　17 × 14 はいくらですか
25 × 362 は 9050 です
　　362 × 25 はいくらですか
</上のテキスト部分>
#超算数 // 以下209頁
こんな練習をしても、順九九と逆九九とは、仲々並行的に学習されない。

タグ：超算数

posted at 12:17:14

順九九と逆九九との同一性がのみこめるのは、五年六年へ行ってからであって、それも成績の中位までの子供である。小さい子供は、
　　7 × 8 は56であり、8 × 7 はやはり56
であっても、二つは何となくちがって居るやうに思って居ることが多い。そこで上のやうな練習をするとよい。
#超算数

タグ：超算数

posted at 12:17:14

#超算数正確な文言が、NDL個人向けデジタル化資料送信サービスによって引用できるようになった！
波多野完治『算術の指導心理』東京、賢文館、1937年。
dl.ndl.go.jp/info:ndljp/pid...
208,9ページ

タグ：超算数

posted at 12:17:13

齊藤明紀 @a_saitoh

企業の偉い人は「大学生に勉強させろ」という前にまず自分の会社の人事に「勉強した学生を採用しろ」と命じるべき。「学生時代に頑張ったこと」で部活とかバイトリーダー体験を語るという就活ノウハウれでちゃんと就職できてる学生が多数いる状況で、度の口が「勉強しろ」というのか。

タグ：

posted at 09:56:35

Yuki Nagai @cometscome_phys

Juliaの特徴を100秒で紹介してる動画。ヴィジュアルがかっこいい twitter.com/stefankarpinsk...

タグ：

posted at 07:51:24

雨崎しのぶ @amasaki203

Generic Mapping ToolsのJulia本書く予定（今立てた）

タグ：

posted at 04:03:01

#Julia言語の多重ディスパッチはポケモンボール！ twitter.com/stefankarpinsk...

タグ： Julia言語

posted at 02:59:38

清　史弘 @f_sei

次々と面白いものが出て来る。
三角関数議員は、もしかして結果的には数学に貢献してくれているかも。 twitter.com/juken_2021/sta...

タグ：

posted at 02:35:48

非公開

タグ：

posted at xx:xx:xx

QmQ @gejiqmq

まさに、こういう意図です。で、今気が付いたのですが、「三角関数」といったとき、tanという異端児は排除しとかないと、上の議論は全然だめですね。
twitter.com/genkuroki/stat...

タグ：

posted at 02:14:41

JuliaPackages @JuliaPackages

New package #JuliaLang: ArrayInterfaceGPUArrays v0.1.0

ArrayInterfaceGPUArrays: Designs for new Base array interface primitives, used widely through scientific machine learning (SciML) and other organizations

Find out more: github.com/JuliaArrays/Ar...

タグ： JuliaLang

posted at 02:09:58