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

Python から #Julia言語
入門した人これ読むといいかも
interface.cqpub.co.jp/magazine/202006/

タグ： Julia言語

posted at 23:43:01

#Julia言語

pkg> でのコマンドのヘルプモード
があることに最近気づいたのは内緒 pic.twitter.com/Pk2kY3d1yU

タグ： Julia言語

posted at 23:35:45

IJulia 上で PlotlyJS が動作しない問題ですが，
おそらく使用しているバージョンが古い可能性があります．0.14 系では動かないですが 0.18.7 では動作しています．

#Julia言語
なるほどー． pic.twitter.com/4uW36rG773

タグ： Julia言語

posted at 23:08:33

Tungsteno @74WTungsteno

Crucial milestones in Mathematics: the construction of the Regular Heptadecagon
bit.ly/2DL0pQE
#math #science #iteachmath #mtbos #visualization #elearning #geometry pic.twitter.com/6RZVcctKfk

タグ： elearning geometry iteachmath math mtbos science visualization

posted at 23:01:27

質問者2 @shinchanchi

応能負担と応益負担で言えば、消費税は応益負担。
応能負担であれば、所得税の累進課税や保険料の累進性強化などのはずです。
基礎から学習を^_^
@konososaisen @kishida230 @takaichi_sanae

「応分に能力のある人に負担してもらうことを考えると、消費税がいい」
www.yomiuri.co.jp/politics/20210...

タグ：

posted at 22:41:20

Massimo @Rainmaker1973

In geology, a mazuku (Swahili: evil wind) is a pocket of carbon dioxide-rich air that can be lethal to any human or animal life inside buff.ly/2MdbRdU. This clip from PBS Nova "Volcano Under the City" shows how the smoke from a flare can expose one buff.ly/2yfTRHv pic.twitter.com/i7MXcTxzUK

タグ：

posted at 22:30:00

```julia
using OpenCV; cap = OpenCV.VideoCapture(Int32(1))
```

mac の場合
もしかして Int32(0) じゃなくて Int32(1) にしなきゃいけない？よくわかってない．
#Julia言語

タグ： Julia言語

posted at 22:16:19

デミオ @dededemio

TimeZones.jlパッケージは以下でインストール
] add TimeZones

例えば指定したタイムゾーンの現在時刻を知るには
using TimeZones
now(tz"America/New_York")
とか

タイムゾーン文字列を知るには
all_timezones()
ただ，`TimeZones.Class(:LEGACY)`は使えないらしい．
#Julialang

タグ： Julialang

posted at 21:31:20

積分定数 @sekibunnteisuu

@studyplacetw 失礼します。

2人がけの席が3つ
3人の席が2つ

両者が異なるのは当然でしょう。

それと、2×3と3×2　がどう関係しているのでしょうか？

タグ：

posted at 20:57:27

小谷太郎 @tarokotani

朝日中高生新聞の連載、次回はいよいよみんな大好き「かけ算の順序」。只今印刷中。

「可換環に順序なんかねーよ！💢」と書きたいところだけど、編集さんに止められたので、「教師はかけ算の順序を理解できない生徒にも御配慮を」くらいにとどめました。

タグ：

posted at 19:20:43

Oguchi T／小口高 @ogugeo

米国ユタ州北東部の山間に位置するオグデン谷で、ドローンを用いて撮影された紅葉した木を含む風景の動画。様々な種類の木が含まれるため、濃い緑、黄緑、赤、ピンク、淡い紫といった多様な色彩が混在している。日本ではあまり見られない感じの秋の芸術的な風景。 via @ABC pic.twitter.com/J8wRWXPtZe

タグ：

posted at 19:13:46

@sekibunnteisuu @tkawai18_tkawai @SSako86 念のために、「校長時代」のことを語っているシーンと「指導云々」の発言の記録を残しておきましょう。

めっちゃ怖い話になってしまった。 pic.twitter.com/eopvqoyrEC

タグ：

posted at 18:47:20

#Julia言語

JLL is 何？

あ，こんなところに資料が〜（棒読み）！

terasakisatoshi.github.io/MathSeminar.jl... twitter.com/MathSorcerer/s...

タグ： Julia言語

posted at 18:42:04

積分定数 @sekibunnteisuu

@arealhotpotato @GreatDemon1701 情報ありがとうございます。そうするとやっぱり外注しているところもあると言うことですね。

タグ：

posted at 18:33:03

Grand Chariot @arealhotpotato

@sekibunnteisuu @GreatDemon1701 大阪府の一次の筆答は外注です。
以前、近畿圏で教員採用の問題を統一する動きがあったときに、大阪府は1問数万円で買っているので、ということで難色を示したことがありました。

タグ：

posted at 18:13:45

あおじるPPPP @kale_aojiru

ホントかどうか知らんが、こんなのが校長やってた（やれてた）んだとしたら小学校教員や授業の質なんてそらお察しだわ

タグ：

posted at 18:11:49

#統計中心極限定理の例として、区間上の一様分布の例を主に挙げるのはかなりミスリーディング。

一様分布は中心極限定理の意味で正規分布に非常に近い分布であり、そういう特殊な場合を典型例だと思うのは危ない。

指数分布や一部の例外的な外れ値も生成することにある混合正規分布の方が教育的、

タグ：統計

posted at 17:59:29

#統計プロットの右半分をより適切なx軸のスケールで作り直した。

github.com/genkuroki/publ... pic.twitter.com/EDrXyNeDXS

タグ：統計

posted at 17:54:19

#統計こういうのは思い付いたら、サクッとプロットしてみるのがよいです。

指数分布は中心極限定理が効きにくい分布の典型例。平均の区間推定に使われる統計量の分布には中心極限定理が効いて来るが、分散の区間推定に使われる統計量ではそうなっていない。

github.com/genkuroki/publ... pic.twitter.com/HfzBWfetBY

タグ：統計

posted at 17:31:49

#統計正規分布の標本分布の場合に、t分布に従う統計量(平均の区間推定に使われる)とχ²分布に従う統計量(分散の区間推定に使われる)の分布を、正規分布以外の標本分布についてプロット。
github.com/genkuroki/publ... twitter.com/tchaikovsky102... pic.twitter.com/lysH2GicBr

タグ：統計

posted at 17:29:03

mtmt @mtmtlife

始まる。

タグ：

posted at 17:00:02

#統計約40年前の赤池弘次さんの考え方は以下の1980年の論説を読むと分かります。

ismrepo.ism.ac.jp/index.php?acti...
統計的推論のパラダイムの変遷について

jstage.jst.go.jp/article/butsur...
エントロピーとモデルの尤度(<講座>物理学周辺の確率統計)

まさかこんな文献を高校数学のために紹介することになるとは！ twitter.com/genkuroki/stat...

タグ：統計

posted at 16:12:15

#統計渡辺澄夫さんの講義のスライド(味があって独特の面白さがある)は

watanabe-www.math.dis.titech.ac.jp/users/swatanab...

で大量に読めます。基本的で重要なことを解説している部分が多いです。

タグ：統計

posted at 16:09:06

iiiii_ピヨり中_より良い日本へ＼( @iiiii30

#Julia言語おお！ Windows 10 環境でも動くのか！

ポイント: github.com/archit120/Open... を入れる。

pkg> add https ://github.com/archit120/OpenCV.jl

httpsの後の空白を除く。 twitter.com/mathsorcerer/s... pic.twitter.com/9bHjjY9xdz

タグ： Julia言語

posted at 16:05:49

リツイートさせていただきます

！！ twitter.com/genkuroki/stat...

タグ：

posted at 15:59:41

#統計現代的には、渡辺澄夫著『ベイズ統計の理論と方法』の内容は40年以上前の赤池弘次さんのベイズ統計における活躍の直系とみなされます。

私のTLでは「みんな読んでいる」という雰囲気。

高校の学習指導要領解説に騙されたくない人達はこの本に目を通しておく価値があります。

タグ：統計

posted at 15:43:41

#統計添付画像を見れば分かること

* 伝統的な主観主義ベイジアン達による「頻度主義 vs. 主観主義」的な論争が不毛であることを周囲に印象付けることに成功した。

* 伝統的な主観主義ベイジアン達の考え方とは無関係に、ベイズ統計の技術が非常に有用であることを示した。

www.ism.ac.jp/~ogata/Soukend... pic.twitter.com/AnmIfLO3iJ

タグ：統計

posted at 15:40:13

#統計

現行の高校の学習指導要領解説数学編理数編におけるベイズ統計の解説が添付画像のようになっているという事実は、大学内で生じていた病気が高校にも感染することになりそうなことを示唆しています。

誰かが警鐘を鳴らすべきことだと思いました。 pic.twitter.com/MlAXvUEa5N

タグ：統計

posted at 15:31:12

#統計大学の講義においても、主観確率一辺倒の俗な解説が猛威をふるっている疑いがある。

40年以上前の赤池弘次さん達とは違う勉強不足な大学の先生が時代遅れのベイズ統計の正当化について講義しまくっている疑いがある。

特に心理統計の分野では実際にそうなっていたことは確実だと思われる。

タグ：統計

posted at 15:27:40

#統計添付画像に引用した高校の学習指導要領解説(≠学習指導要領そのもの)におけるベイズ統計の解説は、巷にはびこる俗な解説そのものであり、これを書いた人は40年前の時点で既に知識が時代遅れになっていたと言ってよい。

要するに統計学を勉強不足な人がこれを書いている。

これを書いたのは誰？ pic.twitter.com/E5t8oOGBAr

タグ：統計

posted at 15:18:54

#統計統計学をかじったことがある日本人であれば、赤池さんが伝統的な主観ベイジアン達の考え方を厳しく批判していてかつ、ベイズ法が統計学における強力な方法であることを示す実践的な研究もしていたことを知っていないとおかしい。

巷にはびこる主観確率一辺倒の俗な解説はその意味でもひどい。

タグ：統計

posted at 15:16:13

#統計遅くとも40年程度前からよく知られている「正則化」のためのベイズ法の使い方では、主観確率の概念は必要ありません。その場合には、観測データと何らかの明確な規準に基いて、事前分布(先験分布)を調節して正則化を適切な強さにすることになります。

タグ：統計

posted at 15:11:22

#統計遅くとも赤池さんの時代にはすでに、現代の機械学習での応用と同じように、ベイズ統計の方法を正則化の技術として使うと便利なことが知られていました。

添付画像での引用部分を見てください。

www.ism.ac.jp/~ogata/Soukend... pic.twitter.com/CHXVDdM1qo

タグ：統計

posted at 15:06:27

#統計「主観確率云々」と無関係にベイズ統計の方法が非常に有用であることは、遅くとも、赤池弘次さんの時代には知られていました。

赤池弘次さんは日本人統計学者の中で世界的に最も有名な人です。知らない人はググってみて下さい。 twitter.com/genkuroki/stat...

タグ：統計

posted at 15:03:03

#統計機械学習の技術の普及によってベイズ統計の方法が脚光を浴びるようになった理由は、俗で時代遅れな解説によく見られる「主観確率」の概念を使っているからではありません。

このことを知っておけば添付画像のような説明の仕方に騙されずにすみます。 pic.twitter.com/CnZV1T5NAu

タグ：統計

posted at 15:00:47

#統計巷にはびこる時代遅れの俗な解説を否定して、より正確な説明が書いてあるべき文献(学習指導要領解説)に、巷にはびこる時代遅れの俗な解説を後押しするような記述がある。

これは相当にひどい話なので批判的に取り上げる価値があると思いました。 pic.twitter.com/pywcPQljKC

タグ：統計

posted at 14:58:14

#統計単なる個人的な著作物と違って、学習指導要領解説は政府機関である文科省が出版している文献なので、日本中の数学の先生が粗探しをすることによって圧力をかけて、品質をまともにする方向に持って行くことには十分な価値がある。

その議論の過程を見せること自体、教育的であると思われる。

タグ：統計

posted at 14:56:09

#統計高校の数学に先生が、学習指導要領解説(≠学習指導要領そのもの)という品質が保証されていない単なるいち著作物に基いて数学を教えると、次世代を害することになるだろう。

高校の数学の先生が、学習指導要領解説の粗探しをして、ダメな部分のリストを作ることは社会貢献になるだろう。

タグ：統計

posted at 14:53:42

#統計補足コメント

添付画像は現行の高校の学習指導要領解説数学編理数編より。
www.mext.go.jp/content/140707...

誰がこれを書いたのか知りたい。

21世紀現代に、ベイズ統計に主観確率による説明が必須であるかのような、時代遅れで有害な説明が書いてある。

巷に流行中の俗な解説がそのまま載っている。 twitter.com/f_sei/status/1... pic.twitter.com/boPaGUHV3i

タグ：統計

posted at 14:49:58

gist it!
gist.github.com/terasakisatosh...

タグ：

posted at 14:32:03

cvtColor の存在忘れてた
これが正しそう pic.twitter.com/I8hT3gw87m

タグ：

posted at 14:29:16

清　史弘 @f_sei

力のある人は、おかしいとか全員に強制して教えるようなことではないということにすぐに気がつくと思う。
(これは高校数学の感想です)

タグ：

posted at 13:46:56

清　史弘 @f_sei

学習指導要領「解説」に、法的拘束力がないことはいろいろな形でわかるけど、読んでみると納得できると思う。これに拘束力があると大変なことになると思えると思う。
おかしなこと書いてあるのもそうだけど、それは個人の趣味じゃないの？と思えるものもある。

タグ：

posted at 13:44:00

Takashi SASAKI 佐々木隆志 @TakashiSasaki

そういえば OpenCV_jll という JLL がリリースされててそれを使うOpenCV.jl が出てるよ

github.com/archit120/Open...

タグ：

posted at 13:17:00

@sekibunnteisuu 「同感です」が全然同感になってない件。。。

タグ：

posted at 12:33:38

mtmt @mtmtlife

記事を書きました。
優勝はチーム藤井「最年少＋１」か？チーム木村「エンジェル」か？本日ABEMAトーナメント決勝戦！(松本博文)
#Yahooニュース
 news.yahoo.co.jp/byline/matsumo...

タグ： Yahooニュース

posted at 12:33:25

積分定数 @sekibunnteisuu

ピント外れなんだよな・・・

yamazaksさんの出した例は、教師の想定と異なるけど自分なりの正しい方法で正解した、というものであって、

子どもらしいとかなんとかいうのとは、一切関係がない。 twitter.com/awayuki2024/st... pic.twitter.com/KfxZSR6KuO

タグ：

posted at 12:32:21

#Julia言語できるだけFloat64とかInt64のような具体的な型名を書かない方針になっていることにも注目。

Float64とかInt64のような具体的な型名を書かない代わりに、Problemタイプの定義で型パラメータG, Y0, V0, TSを使っている。

v1.7以上でのコード
github.com/genkuroki/publ... pic.twitter.com/F4ZxBxyowE

タグ： Julia言語

posted at 11:55:01

ともにゃん p(θ|x)∝p(x|θ)p @kefism

#Julia言語っぽい書き方については

v1.6以下
github.com/genkuroki/publ...

v1.7以上
github.com/genkuroki/publ...

を参照。

扱っている題材は一様重力下での質点の投げ上げなので中学校レベル。地球と月の場合を計算している。 pic.twitter.com/WKuZvhW75M

タグ： Julia言語

posted at 11:50:34

@genkuroki そうなんですね．ありがとうございます．

タグ：

posted at 11:38:59

@kefism #Julia言語 #Jupyter

Jupyter + Plotly の組み合わせを楽に動かすには、Jupyter notebook よりも、JupyterLab の方が楽です。

スクショを見て下さい↓ pic.twitter.com/05WJARH5P2

タグ： Julia言語 Jupyter

posted at 11:33:36

以上のスクショは iPad のブラウザからパソコン上で走っている JupyterLab サーバーに接続して Julia を使っている様子にもなっています。

寝転んだ状態で使えるのは結構便利です。😊

タグ：

posted at 10:54:49

#Julia言語 Jupyter notebook または JupyterLab を使っている人は、今使っているipynbファイルと同じディレクトリにそのipynbファイル専用のProject.tomlファイルを作りたいならば、

]activate .

した後に

]instantiate

または

]add ～

すればよいです。 pic.twitter.com/i7r95eiClb

タグ： Julia言語

posted at 10:52:21

#Julia言語 IJulia.jl でJupyterを使っている場合には、ipynbファイルをProject.tomlと同じディレクトリにおけば、自動的にそれを使ってくれます。

確認はセルに

]st

と入力して実行。

これは非常に便利です。 twitter.com/genkuroki/stat... pic.twitter.com/YE8bar1eUH

タグ： Julia言語

posted at 10:37:52

#Julia言語 discourseでもたびたび指摘されているように、「自分がやりたいことに必要なパッケージを適当なディレクトリの Project.toml に登録して利用する」という有力な選択肢が十分に解説されていないという問題があります。

ドキュメントを書いてプルリクを送って下さいという話になっている。

タグ： Julia言語

posted at 10:29:50

#Julia言語

任意のディレクトリに作成した Project.toml の利用の仕方は

pkg> ?

や

julia --help

して、project や environment のようなキーワードに注目して、よく考えれば色々分かる。公式ドキュメントも読む。

そして、どうしても分からない場合は誰かに聞く。

タグ： Julia言語

posted at 10:26:35

#Julia言語解決策：任意の作業用ディレクトリで以下を実行して、そこに作成したProject.tomlを使えばよい。

julia> ]
pkg> activate .
Activating new project at `/work/proj`

pkg> add ～
～
Updating `/work/proj/Project.toml`
～
Updating `/work/proj/Manifest.toml`

タグ： Julia言語

posted at 10:22:02

#Julia言語「あるパッケージを新たにaddしたら、すでにインストールされていたパッケージの一部がバージョンダウンされた」という状況によく出会う。

これには解決策がある。

タグ： Julia言語

posted at 10:15:56

#Julia言語 discourseでも「よくある質問」になっているのは、パッケージ間の依存性の解決のためにパッケージマネージャーが古いバージョンのパッケージをインストールしてしまったせいで生じるトラブル関係の質問。

沢山のパッケージをまとめてaddしているとそうなり易い。

タグ： Julia言語

posted at 10:14:33

#Julia言語

* Juliaのバージョンは？

* インストールしてあるパッケージの全リスト

pkg> st

または

pkg> st -m

* 省略されていない全エラーメッセージ

* エラーを再現するために使われるコードとデータ

以上をスクショではなく、コピー&ペーストできる形式で公開しなければいけない。

タグ： Julia言語

posted at 10:06:58

#Julia言語

ある製品でトラブルにあったと公言するときに、何よりも優先するべきことは、そのトラブルの詳細および同じトラブルを再現するために必要だと思われる情報を全部丸ごと公開すること。

エラーメッセージは一切省略せずに、スクショではなく、コピー&ペーストできる形式で公開するべき。 twitter.com/tos_shiii/stat...

タグ： Julia言語

posted at 10:03:22

#Julia言語

f(x; a = 2, b = 5) = a*x + b

のとき、変数 a, b が

a, b = -3, 10

のように定義されているとき、

f(2, a = a, b = b)

や

f(2; a = a, b = b)

の代わりに

f(2; a, b)

と書けます。named tuple を (; a, b) で作れることはこれに似ている。セミコロンに注意。 twitter.com/genkuroki/stat... pic.twitter.com/A3JYlVuITQ

タグ： Julia言語

posted at 09:39:03

Tatsuhiko Fujimoto @Tatsu_Fujimoto

親父から「うちは金がないから、高校は国公立一択。ダメなら働け。大学は自宅から通える国立現役合格一択。ダメなら働け。博士課程進学は学振とるのが条件。ダメなら働け」と言われてきた自分にとっては、家庭の経済的理由で学問の道を閉ざされる若者の無念さは察するに余りある。

タグ：

posted at 06:02:07

非公開

タグ：

posted at xx:xx:xx

julia_gpu_playground 我ながらよくできている．

タグ：

posted at 01:29:07

Julia日本語記事まとめ @julia_kizi

最終兵器: ~/.julia を消す
(その他パッケージも全部消えるので完全にリセットされるので自己責任で) twitter.com/tos_shiii/stat...

タグ：

posted at 01:28:26

新しい記事がZennにアップされました！#Julia言語　 #Julia日本語記事
 zenn.dev/picric_acid/ar...👈

タグ： Julia日本語記事 Julia言語

posted at 01:20:32

Michiel ☁️ @Michielstock