黒木玄 Gen Kuroki(@genkuroki)/2021年09月/Page 14

@genkuroki This works too.
Very convenient! pic.twitter.com/gqLQyAOB79

タグ：

posted at 00:13:45

Elias Carvalho @eliascarvdev

Feliz dia do Programador!
#DIADOPROGRAMADOR #JuliaLang pic.twitter.com/EHqcwq4knX

タグ： DIADOPROGRAMADOR JuliaLang

posted at 01:36:00

Elias Carvalho @eliascarvdev

Happy #ProgrammersDay2021!
#JuliaLang pic.twitter.com/yQBYGq2H3Z

タグ： JuliaLang ProgrammersDay2021

posted at 02:27:22

非公開

タグ：

posted at xx:xx:xx

Dr. Rachel Kurchin @rachel_kurchin

Hey #JuliaLang hivemind, anyone have specific step-by-step instructions to set up a package with GitHub workflows for Documenter, TagBot, CompatHelper? Even if I attempt to replicate configs from my repos where they’re working, I seem to have a very low success rate…

タグ： JuliaLang

posted at 04:00:14

Dr. Rachel Kurchin @rachel_kurchin

I would also accept (and maybe like even more) an explainer on @github SSH keys vs. secrets and what is actually happening under the hood there; currently I just blindly do things with very little mental model of what’s actually going on… 🙃

タグ：

posted at 04:00:14

Julia REPL stan now @miguelraz_

@rachel_kurchin Oh, this is a good idea for a blogpost - “Shaping up your package with the JuliaBots”

タグ：

posted at 04:15:30

Alex Ames @alexmames

@rachel_kurchin Take a look at this tutorial: syl1.gitbook.io/julia-language...

Or this one, which goes a bit more in-depth: youtu.be/QVmU29rCjaA

I've had good luck using the pre-built workflows from PkgTemplates.jl, but yes, package publishing can be fiddly, especially when handling non-Julia deps.

タグ：

posted at 04:42:00

Daniel Winkler @dwinkl

@rachel_kurchin Not that I am an expert but I once created a package to write up the process here github.com/danielw2904/Co... maybe it helps. 😊

タグ：

posted at 05:15:12

futapyon @futapyon

長谷川ういこ　Uiko Hasegawa @uikohasegawa

Linuxにrenameコマンドっていつからあったの？今日初めて知って、いままで僕はsedとかawkで何をしていたんだ愕然としている

タグ：

posted at 07:42:38

斉藤　淳　『アメリカの大学生が学んでいる @junsaito0529

米国の財政赤字動向がおもしろい。コロナ危機対策として過去例のない巨額の財政出動(約693兆円、前年比＋4.0％)を行った一方、政府の収入も増え(約395兆円、同＋17.7％)、なんと今年度(11ヶ月間)の財政赤字が昨年度比10%も減少しています。

nordot.app/81023913361229...

タグ：

posted at 08:27:07

日本もカネ刷って気前よく配ろう！
少子化対策とか、大学とか、大学院とか、研究機関とか、高速道路とか、新幹線とか、高い効果が発現する政策分野いっぱいあるから。 twitter.com/uikohasegawa/s...

タグ：

posted at 08:42:35

もりちゃん @morichanemorich

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

これが経済成長すれば財政は改善すると言う証左。アメリカは今年の序盤辺りからこれを証明している。

news.yahoo.co.jp/articles/41bd8...

タグ：

posted at 08:46:07

ちょくちょくJuliaのSlackチャネルでDMもらうんだけど、見る前に消えてしまう？ことが多くて残念な感じ。無料プランだからか？

タグ：

posted at 09:31:09

癒される動物 @cutest_animal1

岩合さんの頭の上に乗るネコがかわいい✨ pic.twitter.com/wN4P3p62tU

タグ：

posted at 10:12:52

#Julia言語『数値計算の常識』という有名な本があって第5章のタイトルが「逆行列よさようなら」です。

Juliaでは計画行列Xによるバックスラッシュ演算

β̂ = X \ y

の一発で最小二乗法も計算できます。

github.com/genkuroki/publ... twitter.com/usazo/status/1... pic.twitter.com/P410jOiv1E

タグ： Julia言語

posted at 10:24:45

#数楽 Xが縦長の行列で、β, y が縦ベクトルのときの、βの成分に関する連立一次方程式

Xβ = y

は一般に解を持たないのですが、Xβとyのユークリッド距離を最小にするようなβをβ̂と書いて、「解」とみなすのが最小二乗法の考え方です。その「解」を

β̂ = X \ y

と書くことは記号法的に自然です。

タグ：数楽

posted at 10:31:40

#Julia言語 Juliaがバックスラッシュ二項演算子で最小二乗法も可能にしていることの背景には以上のような数学が隠れています。

タグ： Julia言語

posted at 10:31:41

@masui

変数とか関数とか日本語にするとわかりやすくなった
github.com/masui/EpisoPas...

タグ：

posted at 10:34:47

サイエンス社 @saiensu_sha

【近刊】次回の数理科学2021年10月号（9月18日発売）が本日出来ました！特集テーマは「線形代数の考え方」です。10月号もよろしくお願い致します！！ pic.twitter.com/yOEk3w03Zv

タグ：

posted at 11:42:08

#数楽はい、それも正しいです。

しかし、「ムーアペンローズ一般化逆行列」の話は結構複雑で、「部分空間{Xβ|β∈ℝʳ}⊂ℝⁿの点Xβと点yのユークリッド距離が最小になるβ=β̂を求める」の方がより基本的な考え方だと思います。続く twitter.com/tchaikovsky102...

タグ：数楽

posted at 11:46:07

#数楽縦長のn×r行列Xがランクがrになる場合にはβ̂が一意的に決まる。

そうでない場合には、β̂が一意的ではなくなるので、数値計算では複数の仕様が考えられる。ノルムが最小のβ̂を選んだり、sparseで計算しているならβ̂は"sparsest"になるようにしたい。後者でβ̂はMP一般化逆行列解ではなくなる。

タグ：数楽

posted at 11:46:08

実際、#Julia言語のdiscourseでは、sparseの場合の最小二乗法(もしくは直交射影)に関係した質問が定期的に出て来ている感じ。

最近では↓

discourse.julialang.org/t/differences-...

sparse行列AについてA\bはpinv(Matrix(A))*bと一致しない。

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

タグ： Julia言語

posted at 11:46:11

#数楽「Moore-Penroseの一般化逆行列」は直観的もしくは視覚的には易しく感じられる「線形写像の像への直交射影」の「実装の詳細」にあたる複雑な話題だと思います。

「実装の詳細」以外にも、「線形写像の像への直交射影」について図を描いて直観的にも理解しておいた方が私は得だと思います。

タグ：数楽

posted at 11:46:12

分岐スレッドへ↓ twitter.com/genkuroki/stat...

タグ：

posted at 11:48:11

統計たん @stattan

「仮定が妥当」，「仮定を満足する」，「前提が正しい」，「この仮定のもと」，「理想的な状況では」，「以上の条件のもと」，etc...

タグ：

posted at 11:53:59

大山椒魚 @zyuer

Haskellで深層学習、Juliaで完璧に代替できそう
どっちも関数型言語やし、多次元配列も型で表せられるし

タグ：

posted at 12:01:33

#数楽最小二乗法が直交射影の特別な場合であることについては、解説が私のツイログにたくさんあります。

twilog.org/genkuroki/sear...

部分空間のW=Xℝʳの点で点yに最も近いものは、点yの部分空間Wへの直交射影になっています。この手のことは実質的に高校数学でも習っているはずのことだと思います。

タグ：数楽

posted at 12:07:45

#数楽 Xが縦長のn×r行列で、yが長さnの縦ベクトルのとき、長さrの縦ベクトルβに関する一次方程式

Xβ = y

は一般に解を持ちません。しかし、残差eを許して

Xβ + e = y

の形なら解を作れる。そのとき、残差eをユークリッドノルムを最小化するのが最小二乗法です。

タグ：数楽

posted at 12:11:15

#統計 1つ前のツイートのような説明をすると、なぜかより複雑で難しい「Moore-Penroseの一般化逆行列」もしくは「rank X=rの場合のその公式 (X'X)⁻¹X' 」(X'はXの転置)で最小二乗法について勉強してしまった人は、「知っている話と違う！」となってしまう。これはちょっと不幸な感じがします。

タグ：統計

posted at 12:15:06

#数楽 Moore-Penroseの一般化逆行列の真の理解のためには、直交射影の線形代数をやる必要があり、結果的に私が上で述べたシンプルな理解に戻ることになります。

そして、一般化逆行列に頼らずに直交射影によって理解していれば、解β̂が一意に決まらない場合のsparseでの計算にも対応できます。

タグ：数楽

posted at 12:19:55

並べると迫力がある！うけた！🤣

誰でも以下のように思いますよね。

* 実践的な状況はその理想的な状況から外れているよね？
* 理想的状況から外れている場合にはどうなるの？

この疑問を放置すると、現実への応用をまともに行うことは不可能になる。 twitter.com/stattan/status...

タグ：

posted at 12:29:50

村上耕司 @mura_koji

今日から3日間は囲碁モード。囲碁名人戦第3局の対局場に向かおうとしたら、将棋王座戦の一行と新幹線のホームでバッタリ。同じ列車でした。木村一基九段と一力遼天元の貴重なツーショットを撮らせてもらいました。#将棋 #囲碁 pic.twitter.com/AqWvSIjoyi

タグ：囲碁将棋

posted at 12:34:10

現実には、「そのP値(もしくは信頼区間)を計算するときに、正規分布を仮定しているようだけど、そんな仮定をしていいの？」という誰でも思い付く質問に答えることさえできないのに、正規分布モデルを使って計算されたP値や信頼区間を堂々と使っている人達がものすごく沢山いる。

タグ：

posted at 12:35:16

「そのP値(もしくは信頼区間)を計算するときに、正規分布を仮定しているようだけど、そんな仮定をしていいの？」という質問に答えることさえできないままで、正規分布モデルを使ったP値や信頼区間を堂々と使っているのに、「科学的とはどういうことか」について一家言ある「立派な」人達も沢山いる。

タグ：

posted at 12:38:35

Y Tambe @y_tambe

脱ステロイドの番組、局側で「打ち切りにすべし」とかいう議論にはならんのかね？（打ち切りにすることの是非はさておき、局内でそういう議論すら出んようじゃいかんやろ）

タグ：

posted at 12:50:49

OKUMURA, Akira（奥村曉） @AkiraOkumura

#統計私の手もとにある教科書では

amazon.co.jp/dp/B076HF4B1H
数理統計学―データ解析の方法
竹内啓
1963

には

第19章正規分布の仮定の意味

という5ページしかない短い章があります(最初のページ→添付画像)。

現代の学部向けの易しい教科書にもこの5ページの説明があった方がよいと思いました。 pic.twitter.com/NHZoZICPhn

タグ：統計

posted at 12:54:32

統計教えてるっぽい人に統計の間違いの指摘を 2 年前にしたら block されていた。そのせいか知らないけど。

タグ：

posted at 12:56:48

ABAB↑↓BA @ababupdownba

富谷(助教);監修シン仮面ライダー @TomiyaAkio

だいぶ性質違う言語の気がするけど、juliaはあんまり触ったことないので単なる感想です twitter.com/zyuer/status/1...

タグ：

posted at 12:57:19

人の流出を止めるには中国(アメリカも)よりお金を出せばいいのでは無いかと思うのだけど。 twitter.com/sato51643335/s...

タグ：

posted at 12:57:56

注意補足：1963年頃と違って、現代では、Stanなどを使って複雑な統計モデルを普通に使用します。複雑な統計モデルでは、結構簡単に推定量は(標本分布について)正規分布に全然従わなくなります。

その辺に関する現代における基本文献は、渡辺澄夫『ベイズ統計の理論と方法』です。

タグ：

posted at 13:02:55

昔の文献を利用する場合には、適切に時代遅れで不適切な説明をより正確な説明に書き直してから利用するのが普通だと思います。

扱っている内容が数学的に複雑で難しい場合には、どの段階であっても完璧な解説は現実的には無理で、現時点でのベストを目指すしかないと思います。結構個性が出やすい所。

タグ：

posted at 13:08:03

#統計添付画像のような場合では、現役受験生と浪人受験生で得点分布が違っていることが原因で、全体での得点分布は正規分布から大きく外れている。

正規分布から外れる理由が明瞭な場合には、単純な正規分布モデルの使用をやめることが正解だと思います。

www.ct.u-tokyo.ac.jp/images/koudai-... twitter.com/genkuroki/stat... pic.twitter.com/U7a8j2dxZs

タグ：統計

posted at 13:25:55

もっとはっきり言えば、sparse行列の場合には「#Julia言語におけるA\bはMoore-Penroseの一般化逆行列の意味でAx=bを解いた結果になる」という主張は誤りです。

それに対して「#Julia言語において、Axとbの距離が最小になるxはA\bで求められる」ならば、sparse行列でも正しいです。 twitter.com/genkuroki/stat...

タグ：

posted at 13:33:56

kashi @mkashi

まじか、と思ってwhich renameしたら/usr/local/bin/renameがヒットした。ずっと以前から
rename tolower *.jpg
とか、
rename 's/doc/txt/' *.doc
とかできるscriptを使い続けていて、存在に気付かなかった。
twitter.com/futapyon/statu...

タグ：

posted at 14:11:56

Akinori Ito @akinori_ito

@yearman 論文はこれかな？ www.sciencedirect.com/science/articl...

タグ：

posted at 14:48:40

Akinori Ito @akinori_ito

@yearman 同系統の論文が何本かありましたがこれが新しいようですね。鳥の文法に再帰的な構造はあるのかは興味あるところ

タグ：

posted at 14:52:45

ドラゴン桜2、8巻の数学に関する記述はもう無茶苦茶だね。

「数学を学ぶのは生き残るため」
「リーダーになる資質は数的センス」
「数学に強いものが成功する」
「数学は武器だ」
「自分を守りたかったら数学に強くなれ」
「生き延びたかったら数学を勉強しろ」

というようなことを言って煽るけど、

タグ：

posted at 15:34:58

じゃあなんで、前作で数学に弱い陰山英男なんか登場させたの？

陰山英男はかけ算に順序があるという間違った認識を持っている。

4つの角が直角の四角形が長方形　と言っていながら、正方形は長方形じゃないと思っている。

　まともに数学を理解していない証拠。

　sumatome.com/su/10866206181...

タグ：

posted at 15:37:39

で、作中では、小学校2年生の算数からやり直させる。

計算力＝数学の力　であるかのようなことを述べている。

で、この計算力には、計算スピードも入っている。

タグ：

posted at 15:39:18

計算方法が分からないようでは数学の理解はおぼつかない、というならわかるけど、数学の理解と、計算速度は関係ないだろう。

　受験戦術として、「考え方はちゃんとわかっていても、計算ミスで失点することがあるので、そういうことがないように、計算力を付けるべし」とか

タグ：

posted at 15:41:25

「計算速度が速いことで、時間に余裕が出来てじっくり考えることができる」

というような話なら分からないことはないが、この漫画では、計算力（計算スピードを含む）と数学の理解が一体不可分であるかの如く語られている。

タグ：

posted at 15:42:44

pic.twitter.com/alDCbWieXD

タグ：

posted at 15:59:32

pic.twitter.com/4LlWinyL2s

タグ：

posted at 15:59:53

pic.twitter.com/9oRM7xUx2a

タグ：

posted at 16:00:13

#Julia言語

「Juliaでのブロードキャストの実装でどのような点が大変だったか(他言語で同じことをやろうとするときの注意)」とか、「mapとブロードキャストの違い」のような話が書いてある。

julialang.org/blog/2017/01/m...
More Dots: Syntactic Loop Fusion in Julia
21 January 2017
Steven G. Johnson

タグ： Julia言語

posted at 16:03:23

これ、数学が苦手な人の考えた「数学が得意な人」像だと思う。

タグ：

posted at 16:03:35

そもそも言っていることが矛盾している。 pic.twitter.com/V5kou1BcqD

タグ：

posted at 16:05:27

じゃあ、高校数学を理解していない陰山英男なんか出しちゃ駄目だろうが・・・ pic.twitter.com/pXy0s1Wwzq

タグ：

posted at 16:06:29

計算速度やミスしないで正確に計算するということと、数学の理解はあまり関係ないという点で、そもそもこの漫画の言っていることは間違っているんだけど、

　どうも、必要条件と十分条件もよく分かっていないようだ。それで、矛盾したことを言ってしまうのだと思う。

タグ：

posted at 16:11:20

小学校での算数の計算力があることが、数学が出来るようになるための必要条件なのか十分条件なのか、作者も混乱しているようだ。

　実際は必要条件でも十分条件でもないんだけど。

タグ：

posted at 16:12:49

前作ではこんな場面もある。

正負の計算など、まじめに考えたら「当然そうなる」と理解できるはずだが、

それ以前に「マイナスからマイナスを引いてプラス」が意味不明。

おそらく「マイナスを引くのはプラスを足すのと同じことになる」ということを言いたかったのだろう。 pic.twitter.com/zBgxrZwy97

タグ：

posted at 16:15:50

作者も編集者も数学が分かっていないから、こういうミスを見逃してしまうのだろう。

タグ：

posted at 16:16:44

TaKu @takusansu

#超算数「書き順を算数の教科基礎力としている文献」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
「２．動画作成を行うことで，漢字の書き順を理解できるようになった」，「３．動画作成を行うことで，数字や記号の書き順を理解できるようになった」

タグ：超算数

posted at 17:22:24

#Julia言語たぶん、a < b のときの

quadgk(f, b, a)

が

quadgk(x -> -f(a+b-x), a, b)

と同等になる実装のされ方が採用されているのだと思います。

誰か、ソースコードを確認するといいかも。 twitter.com/iitenki_morute... pic.twitter.com/CKeUJyhY2N

タグ： Julia言語

posted at 18:09:53

michio inoue l MATLA @michio_MWJ

ただで MATLAB 使いたいなぁ・・ってときは MATLAB Mobile もどうぞ。

iPad 等の端末でアカウント登録だけで MATLAB + Symbolic Math Toolbox を使って遊べます😏
jp.mathworks.com/products/matla... pic.twitter.com/XeBdEegpJk

タグ：

posted at 18:10:00

#統計私によるGelman-Shalizi (2013)の内容の紹介 twitter.com/genkuroki/stat...

タグ：統計

posted at 18:38:30

l_ppp @ppp3141592ppp

少し試してみた

なるほど、MATLAB ⇆ Julia言語
はほとんど戸惑う事なく使えそうだ twitter.com/michio_mwj/sta...

タグ：

posted at 18:40:24

#統計

情報量規準や交差検証によるモデル全体の評価だけではなく、モデルの部分的な側面の評価のために、適切なグラフを描いたり、適切な検定統計量を定義して仮説検定を利用することが、Gelman-Shalizi (2013)には「ベイズ統計の哲学と実践」として解説されています。

非常に健全な内容。 twitter.com/genkuroki/stat...

タグ：統計

posted at 18:45:48

#統計予測分布のサンプルを作り、そのサンプルを利用して、モデルの一部の側面を仮説検定の枠組み(P値の計算)で評価することは、Gelmanさん達が開発しているStanを使えば可能です。

実際にそういうことをGelmanさん達はやっているのでしょう。

タグ：統計

posted at 18:48:29

#統計 Gelmanさん達が開発しているStanの使い方(より一般に確率プログラミング言語によるベイズ法の利用法)を理解している人達が、Gelman-Shalizi (2013)を読んで、そこで紹介されている手法を実践で活かせれば素晴らしいです！

そのためには、伝統的な主観主義Baysianの主義は捨てなければいけない。

タグ：統計

posted at 18:59:17

#統計 Stanもしくは類似の道具の使い方を理解していて、Gelman-Shalizi (2013)をざっと読みこなすことができる人なら、「頻度主義 vs. ベイズ主義」のスタイルでのベイズ統計の紹介がいかに貧しく低レベルであるかをすぐに納得すると思います。

そういう人達が増えるのは非常に良いことです。

タグ：統計

posted at 19:03:31

tofu @DoctoruPepper

Julia日本語記事まとめ @julia_kizi

pythonで実験回すの遅すぎてムカつくからJuliaに移るか止まってるラボのクラスタ構成を再開するか

タグ：

posted at 19:18:40

新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
 qiita.com/hidemotoNakada...👈

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

posted at 19:44:39

Usazo @usazo

そこでJuliaなのではないかと思っている。線形代数の演算が容易にできることに驚いた。 twitter.com/usazo/status/1...

タグ：

posted at 19:44:54

OokuboTact　大久保中二病中年 @OokuboTact

@OokuboTact @numachi11111 本のタイトルと著者を教えてください。

タグ：

posted at 20:59:24

@sekibunnteisuu @numachi11111 こっちのツイートの画像に書いときました

twitter.com/OokuboTact/sta...

タグ：

posted at 21:01:44

@OokuboTact @numachi11111 ありがとうございます。野崎昭弘氏って数学者だよね。しょーもないこと言っていますね。

タグ：

posted at 21:08:34

@OokuboTact @sekibunnteisuu @numachi11111 #超算数少なくとも私は個人的に、我々は「論争」とみなされるようなことは全然していないと思っています。正直、一方的にボコっている感じ。「論争になっている」などと言うこと自体が悪質な印象操作。

「かけ算順序指導が非常識であることがネット上でばれてしまった」なら適切な表現でしょう。 twitter.com/ookubotact/sta...

タグ：超算数

posted at 21:10:52

非公開

タグ：

posted at xx:xx:xx

@OokuboTact @sekibunnteisuu @numachi11111 #超算数実際、おかしなことを言っている人に質問してみて、あまりにも無知だったり、考えが足りない場合に、こちらからすでによく知られている資料を紹介すると、大抵、ブロックされる。

全然論争になっていない。

我々が知らないことを教えてくれる論敵が出て来ない限り、論争になりようがない。

タグ：超算数

posted at 21:14:35

@OokuboTact @sekibunnteisuu @numachi11111 #超算数そして、我々は我々が知らない算数教育の実態について教えてくれる論敵が出て来たら、本心から大歓迎するわけですよね。

こういう状態なのに「大論争になっている」などと本に書かれてしまうと、「なんじゃ、こいつは」扱いが妥当だと思ってしまいます。

タグ：超算数

posted at 21:18:20

Hideki Kawahara: WAS @hidekikawahara

@genkuroki @OokuboTact @numachi11111 確かに順序擁護論者は、周回遅れや事実誤認、藁人形叩きばかりですね。

タグ：

posted at 21:19:42

確かに話題になるのは分かった。近くのスーパーで売っていたので、衝動買い。 pic.twitter.com/2G0ajBppMi

タグ：

posted at 21:22:23

@OokuboTact @sekibunnteisuu @numachi11111 #超算数その野崎さんの本の内容で大久保さんが引用した部分を見ても、我々が知らない特別な情報はないので、野崎さんも我々にとって有益な論敵になり得るレベルに達していないことは明らかです。

こういう人にならないように我々も気をつけるべきなのかもしれません。

タグ：超算数

posted at 21:23:04