黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2020年08月05日(水)
#Julia言語
nbviewer.jupyter.org/gist/genkuroki...
訂正
✖ ∫_{-1/2}^{1/2} cos(πt) dt を計算している。
〇 (π/2)∫_{-1/2}^{1/2} cos(πt) dt = 1を計算している。
意外だったのは精度が高いrangeの方がLinRangeよりちょっと速かったこと。 pic.twitter.com/emhDVAkRBv
タグ： Julia言語
posted at 23:53:12
#Julia言語 小ネタ
nbviewer.jupyter.org/gist/genkuroki...
LinRange(a, b, n) と range(a, b, length=n) はほぼ同等なのですが、後者の方が正確(添付画像1)。
私が試した例ではrangeの方が少し速かった！！！
おまけ：数値積分の函数は速くて正確。
添付画像2では ∫_{-1/2}^{1/2} cos(πt) dt を計算している。 pic.twitter.com/1PlTSOqhdr
タグ： Julia言語
posted at 23:46:40
#Julia言語 たぶん、立派なJuliaユーザーは、使い捨てのMyモジュールなんかを使ったりせずに、公開されたパッケージにしてしまうと思うのですが、私は立派でないライトユーザーなのでそういう立派なことはしていない。
多分、立派なJuliaユーザーはこれから急激に増える。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 23:23:41
#Julia言語 以下のリンク先の方法を使うと、ものすごく気楽にKdV方程式やシュレーディンガー方程式の数値解を求めるコードを書ける。
nbviewer.jupyter.org/github/genkuro...
twitter.com/genkuroki/stat... pic.twitter.com/QvgijNN2Ke
タグ： Julia言語
posted at 23:19:47
#Julia言語
例： nbviewer.jupyter.org/gist/genkuroki...
FFTW.jl Example
FFTを使った導函数の近似計算 pic.twitter.com/28dNfi3LfQ
タグ： Julia言語
posted at 23:08:34
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ああ、徹底するのに無理がある「きまり」を丁寧に説明して納得できるようになった、ということで「掛け算んの意味が分かった」とする人を何度も見たことがあるけど、この方もそのたぐいみたい。仮構された「掛け算の意味」を納得することは、「掛け算が分かった」というのとは別のことのはずなのに。 twitter.com/golgo_sardine/...
タグ：
posted at 22:30:46
#Julia言語
Juliaでは多次元配列を使いまくるし、
broadcastも使いまくります。
配列のメソッドも充実しまくっていて速い。
JuliaはMATLABの影響を受けていて、
ベクトルや行列の取り扱いを自然な書き方で可能です。
ぶっちゃけ、NumpyはJuliaと比較するとかなり使い難いと思います。 twitter.com/giantmediocre/...
タグ： Julia言語
posted at 22:01:14
非公開
タグ：
posted at xx:xx:xx
この記事、むかつく。
西浦博さんとその弟子達は、我々だけではなく、我々の後の世代の人達を、未知の感染症から守るために無くてはならない存在であることは、私には明らかなことに思えます。
西浦さんが体を壊したりしても日本にとって大損害。
dot.asahi.com/wa/20200802000...
タグ：
posted at 20:59:06
「8割おじさん」西浦博教授の北大→京大移籍は御法度？ (1/2) 〈週刊朝日〉｜AERA dot. (アエラドット) dot.asahi.com/wa/20200802000...
「教授として旧帝大間を移籍するのは仁義にもとることです」？
誰が言ったのかと思えば、上昌広氏だったか。読む価値のない記事ですね。
タグ：
posted at 20:48:39
@genkuroki 私が担当したのは大学院の機械学習の講義で、実際にアルゴリズムを動かすために基本的には機械学習系のライブラリを使用せずにPythonでの実装例は示したものの言語は何でも良いとしていました。Julia速そうですね！
タグ：
posted at 17:11:40
@Yossy_K @vecchio_ciao @hgn_no_otaku @riku_15_1106 @D53257207 これとか、外部の人の介入で真相が明らかになったけど、表に出ないケースはいくらでもありそう。こういう教員が野放しになっているとしたら、絶望的。
www.mag2.com/p/news/351205
タグ：
posted at 16:43:50
#Julia言語
Juliaに直訳するだけで(要するにコーディングの手間を増やさずに)計算が数十倍速くなる場合があることに、課題を出された学生達はすぐに気付いてしまうだろう。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 16:32:50
@ArianneTokyo @V3gLbya6Ivam51A 失礼します。
陰山英男も算数に難ありです。
陰山英男は算数を理解していないからこそ、ハジキという駄目な教え方しかできないわけです。
twitter.com/sekibunnteisuu...
タグ：
posted at 16:31:58
オープンソースのプログラミング言語「Julia 1.5」がリリース：CodeZine（コードジン） codezine.jp/article/detail... @codezineから
タグ：
posted at 16:31:57
#Julia言語
課題を解いた結果得られたコードの性能を比較して、JuliaがPythonを圧倒していることに気付いてしまった学生は、Juliaの方を選択しがちだと思う。
若い人達が、年上の人達がみんな知っているものではなく、年上の人達の多くがまだ知らない新しいものにひかれるのは当然の流れ。 twitter.com/kjinno/status/...
タグ： Julia言語
posted at 16:30:23
面白過ぎ！
mametter.hatenablog.com/entry/2020/08/...
【缶に黄色い液体が注ぎ込まれるアニメーションですが～流体シミュレーションを使って実行時に計算しています。 流体力学の原理であるナビエ-ストークス方程式をSmoothed Particle Hydrodynamicsと言われる方法で数値的・近似的に解きます。 簡単に言えば～】😊 twitter.com/mametter/statu...
タグ：
posted at 16:18:21
「われわれの業界の常識からすると、教授として旧帝大間を移籍するのは仁義にもとることです」
そんなことは全く無いし，またそれよりも醜いのはこれが氏の専門家としての信憑性（それ自体は自分は判断できないが）を問うみたいな文脈で語られる所．
news.yahoo.co.jp/articles/007c0...
タグ：
posted at 16:16:46
@genkuroki @tomoak1n @u3paka @taifu21 で、【掛け算順序問題とかを「金科玉条にしている教師」というのは管理教育恨み節の藁人形でほぼレアケース】
は具体的にどのことを言っているのか質問したけど、回答はない。
「掛け算順序批判」批判の多くは、このように批判対象を具体的に明言しないことが多い。
タグ：
posted at 16:04:24
@genkuroki @tomoak1n @u3paka @taifu21 「掛け算順序云々は藁人形。掛け算順序指導に合理性がある」という主張
この人は
順序でバツの採点の画像は捏造
掛け算順序指導は合理性があるが、それを行う教師はごく少数
と思っていることになる。
twitter.com/butayamagoriko...
タグ：
posted at 16:01:18
@genkuroki @tomoak1n @u3paka @taifu21 算数教育の権威筋、大学で教員志望の学生に算数指導法を教え、教科書を執筆し、文科省の指導要領作成にかかわるような人が、おかしな授業を推奨している。
togetter.com/li/901635
まさかこんなことになっているとは思わないよね。
私の10年前のブログが楽観的過ぎるのも仕方ないよね。
タグ：
posted at 15:57:07
@genkuroki @tomoak1n @u3paka @taifu21 今読むと、なんとも楽観的な記述である。
その後分かったのは、
子供に、増加と合併を区別させる、求残と求差を区別させる、
という授業は実在する。
そしてそれは「少数のおかしな教師によるおかしな授業」ではなく、指導書で推奨されている。
タグ：
posted at 15:53:56
@genkuroki @tomoak1n @u3paka @taifu21 suugaku.at.webry.info/201102/article...
＞しかし、これも色々検索すると、これらが本質的に異なっていると誤解を与えかねない記述に出くわす。もしかしたら、書いている人が誤解しているかも知れない。
タグ：
posted at 15:52:19
@genkuroki @tomoak1n @u3paka @taifu21 suugaku.at.webry.info/201102/article...
＞足し算という概念を獲得してしまえば、このような区別は全く無意味になる。
＞ところが、算数教育を指南する本やサイトには、そのようなことがはっきりとは書いないことが多い。それらを読むと、足し算には本質的に異なる意味が複数あるように思う人も出てくるだろう。
タグ：
posted at 15:51:30
@genkuroki @tomoak1n @u3paka @taifu21 色々調べて、足し算の増加と合併、引き算の求残と求差、算数教育ではこのような概念があることが分かったが、まさかそれを子供に区別させているとは想像だにしなかった。
タグ：
posted at 15:50:43
know thyself（子豚のオリバー @thyself_know
@genkuroki 丁寧に教えて下さり、ありがとうございます。
なるほど、hcat,vcatの部分がネックだったんですね。
どうも降旗先生のHP見ながらやっていたのですが、そこを高速化する方法は知りませんでした・・・。
www.cas.cmc.osaka-u.ac.jp/~paoon/Lecture...
タグ：
posted at 15:48:30
@genkuroki @tomoak1n @u3paka @taifu21 私も同様。
「まさか、長方形の面積で順序に拘るケースなないだろう」→あった。
「さすがにそれは少数だろう」→その通りだった。
「そりゃそうだよね、いくらなんでも面積で順序はないよね」→間違い。平行四辺形の面積を高さ×底辺じゃだめと教委指導主事が言っている
twitter.com/genkuroki/stat...
タグ：
posted at 15:46:10
@sekibunnteisuu @tomoak1n @u3paka @taifu21 #超算数 あれ？鍵アカになっていますね。
自分の側だけが一方的におかしなことを言っている証拠がありそうなことに気付くと、ブロックしたり、鍵をかけたりするのも典型的なパターン。 pic.twitter.com/p9LnKFOQpx
タグ： 超算数
posted at 15:45:28
@genkuroki @tomoak1n @u3paka @taifu21 #超算数 #掛算
今でも、「掛け算順序云々は批判派が針小棒大に騒ぎ立てている藁人形」という人がいますね。
その同じ人が「掛け算順序指導には合理性がある」と言っていたりする。
twitter.com/genkuroki/stat...
posted at 15:41:37
カロリーメイトリキッドのメイキング😇、というかアルゴリズムなどの解説もブログに書いておきましたー。
興味ある方はご覧ください。
mametter.hatenablog.com/entry/2020/08/...
タグ：
posted at 15:09:58
@thyself_know #Julia言語 私が試した結果は
nbviewer.jupyter.org/gist/genkuroki...
nbviewer.jupyter.org/gist/genkuroki...
にあります。Julia v1.5.0を使っていますが、v1.4でもほぼ同じです。Pythonは3.6.5です。
参考になると思い、Python版の忠実なJulia直訳版も試してみました(添付画像4)。
直訳するだけで40倍速くなりました。 pic.twitter.com/G8Awp9C2qf
タグ： Julia言語
posted at 15:01:23
カロリーメイトリキッドのプロモーション用に、Ruby でちょっとした面白プログラムを書かせていただきました！
次のサイトを開いて、cd .Quine と入力し、さらに ruby CML_quine.rb を打ち込めば動きます。Quine の前のピリオドを忘れないこと。
www.otsuka.co.jp/cmt/to_program... pic.twitter.com/RZcpP2qcsI
タグ：
posted at 15:00:01
@thyself_know #Julia言語 私の環境で
gist.github.com/Yomiyama1998/a...
gist.github.com/Yomiyama1998/9...
を実行すると、Python版が2秒で、Julia版が10秒程度で、確かにJulia版が遅い。
その原因は一言で言えば、Python版でのappendに対応する部分がJulia版でhcat, vcatになっているからです。素直にpush!を使えば速いです。続く
タグ： Julia言語
posted at 14:51:19
非公開
タグ：
posted at xx:xx:xx
andthehouserockers @andthehouserock
オープンソースのプログラミング言語「Julia 1.5」がリリース codezine.jp/article/detail...
タグ：
posted at 14:37:03
good for now; I can go over ~8000 of #NASDAQ traded stocks in under 2 seconds (despite the stupid TD api which returns 47*4*200 items in the end) thanks to #Julialang easy threading (mostly cuz I'm too lazy) pic.twitter.com/RiVI5gvuri
posted at 13:13:31
うがい薬効果「国としてまだ推奨するとかしないとかいう段階ではない。現時点で効果があるというには時期尚早」 コロナ対策で 厚労省
news.yahoo.co.jp/articles/bd70e...
厚労省は冷静でした
タグ：
posted at 13:03:00
非公開
タグ：
posted at xx:xx:xx
オープンソースのプログラミング言語「Julia 1.5」がリリース：CodeZine（コードジン） codezine.jp/article/detail... @codezineより
タグ：
posted at 12:23:37
#数楽 上の方では、個人的に最も素朴な方法だと思っている行列の基本変形を使う方法を紹介しましたが、グラム・シュミットの正規直交化法と直交行列の標準形の話に帰着する方法もあります。
直交行列の標準形は佐武一郎『線型代数学』にある。
この本には数学的に実質的なことが色々書いてある。 twitter.com/genkuroki/stat...
タグ： 数楽
posted at 11:53:49
know thyself（子豚のオリバー @thyself_know
@genkuroki 環境は
MacBook Pro (15-inch, 2018)
Juliaの方は
Julia Version 1.4.2 (2020-05-23)
Distribution v"0.23.4"
です。
タグ：
posted at 11:41:48
blockにまとめてパイプをかけてボンってした時気持ちいい。マクロ書いてる時に`quote ... end |> esc`とかもよくやる。
#julialang pic.twitter.com/2JyHjAKyjg
タグ： julialang
posted at 11:41:25
know thyself（子豚のオリバー @thyself_know
@genkuroki 一応比較したpythonのコードも
gist.github.com/Yomiyama1998/a...
タグ：
posted at 11:29:59
know thyself（子豚のオリバー @thyself_know
@genkuroki 食いつきが早いですねw。どうもjulia分からん勢なのでどこ改良すればいいのか分からずいやいつ出そうか迷っていました。Juliaのコードはこちらになります。
gist.github.com/Yomiyama1998/9...
やりたかったことの背景はこれです。
www.biology.kyushu-u.ac.jp/~kteshima/Info...
タグ：
posted at 11:29:05
新作です．特異モデルの汎化誤差を支配している実対数閾値は広く研究されていますが，縮小ランク回帰などごく一部の例を除いてすべての場合で解明されてるモデルはありませんでした．LDAという実用的なモデルでそれを決定したのが今回の研究です．
タグ：
posted at 10:44:04
本腰をいれたそういう人はいないんですよ、きっと👶
#マシュマロを投げ合おう
marshmallow-qa.com/messages/6347d... pic.twitter.com/qo99XThRaV
タグ： マシュマロを投げ合おう
posted at 10:15:52
When #rstats bogs down #JuliaLang can come to the rescue. Just discovered #JuliaCall which makes it easier to go between the two. github.com/Non-Contradict...
タグ： JuliaCall JuliaLang rstats
posted at 10:10:42
@sekibunnteisuu @tomoak1n @u3paka @taifu21 #超算数 関連
以前聞いたことがあるように思っていることであっても、正確な内容が不明のことは多いので、文献を調べて確認できるようなことかどうかを調べればよいと思います。
調べる気がないなら、発言を撤回するのも悪くない。
twitter.com/genkuroki/stat...
タグ： 超算数
posted at 09:28:00
@sekibunnteisuu @tomoak1n @u3paka @taifu21 #超算数 多くのデマは「以前～から聞いたこと」として語られて拡散されます。それと区別できないということですね。
「エビデンスはよわい」ではなく、「エビデンスはまったくなくて、デマが広まるパターンと区別できない」ですよね。
この話題ではこの手のパターンが実に多い。 pic.twitter.com/WB3hfRNuXE
タグ： 超算数
posted at 09:24:18
非公開
タグ：
posted at xx:xx:xx
コロナに限って言うと、都知事はあまり余計なことをしていない。数字を出すだけで、メディア露出が増えたので、わざわざ奇抜なパフォーマンスをする必要が無かったのかもしれません。一方、府知事は地雷探知機で地雷を探して、わざわざ踏みに行っている印象。 twitter.com/lacollinedesel...
タグ：
posted at 08:08:11
Stefan Karpinski @StefanKarpinski
@nwerneck @KenoFischer @github @natfriedman Agree it’s both but I have a different take: it’s GitHub’s bad for breaking a public API without warning, but it’s our bad for baking this behavior into Julia clients with no recourse way for the registry to override it. Lesson learned.
タグ：
posted at 07:56:21
Juliaでの基本プログラミングを勉強するためのサンプルプログラム集を作り始めました。
まずは四則演算サンプルを作成。本物の数式チックに書けるのがいいですね。
随時サンプルを追加していくので、同じくこれからJuliaを学ぼうとしている人の参考になれば幸いです。
github.com/ShisatoYano/Ju...
タグ：
posted at 07:45:59
なんかGitHubがサイレントチェンジして、Julia1.4位前のパッケージ管理システムがかなり影響を受けているらしい。指定したのと違うバージョンのパッケージがインストールされるとか。Julia1.5は新しいPkg Protocolで救われているらしいけど。いきなりPkg protocolの有効性が証明されてしまった。。 twitter.com/kenofischer/st...
タグ：
posted at 07:15:15
非公開
タグ：
posted at xx:xx:xx
See discourse.julialang.org/t/pkg-downtime... for a writeup of what happened. The issue has now been mitigated, but it's the second time in as many months we've had a GitHub-induced reliability issue in the #julialang package ecosystem. PkgServer will help for 1.5+ twitter.com/KenoFischer/st...
タグ： julialang
posted at 07:00:29
[2020/08/05 06:00] トレンド2位
バイバイ Python。 ハロー Julia！ by baby-degu qiita.com/baby-degu/item...
タグ：
posted at 06:00:40
非公開
タグ：
posted at xx:xx:xx
@StefanKarpinski @github Hello @natfriedman this GitHub change is starting to cause massive disruption across the #julialang ecosystem. Any chance you could escalate this internally?
タグ： julialang
posted at 04:20:02
Stefan Karpinski @StefanKarpinski
Hey, @GitHub was breaking the API for downloading tree hash tarball archives intentional? It's really screwing over the entire #JuliaLang ecosystem right now github.com/JuliaLang/Pkg....
タグ： JuliaLang
posted at 04:17:07
まとめると、
新井紀子氏の文章
「数学レスキュー ―いかにして数学的才能なしに証明を書くか―」
researchmap.jp/arai_noriko/pu...
は、たぶん殆ど「レスキュー」にならないと思う。
タグ：
posted at 04:07:38
"All private, non-commercial use apps are currently limited to 120 requests per minute" ayyy, lame
タグ：
posted at 04:06:39
そして新井氏のツイートは、下記のような相当に「文学的」な言い回しになってしまう。私にはこのツイートが何を言おうとしているのか全く分からない。単なる「かっこつけた」宣伝文にしか見えない。（そういうつもりで書いているなら別に構わないが。） pic.twitter.com/rRvNk8JNbW
タグ：
posted at 04:06:33
最初の文章に戻る。新井氏の文章では、例えば「連続」とか「一様連続」といった「言葉」が定義されているが、その「思い」や「意図」が新井氏の文章から伝わりますか？
『「思い」や「意図」が必ずある』ということが伝わりますか？
とてもそうは思えない。 pic.twitter.com/JQnfBkbogY
タグ：
posted at 04:02:52
ところで中高では「証明」について「きっちり教わってない」のだろうか。中高生も求値だけでなく、証明問題も沢山学んでいるんじゃないですか？証明について「きっちり教える」とはどういうことなのか。新井氏の認識や議論が不明確過ぎる。 pic.twitter.com/pKd8hQ1YnR
タグ：
posted at 03:59:41
しかし新井氏は自信満々である。「論理国語の文章に採用されてもいい」といい、（おそらく）小林秀雄の文章と比較している。比較の基準が不明だが。
確かに新井氏の文章のような方法が数学を学ぶ上で必要だということを強調したいと考えている人たちも多かろうが、私はこれではダメだと思う。 pic.twitter.com/hvK1giFlyc
タグ：
posted at 03:55:12
この文書はy=x^2がいたるところ連続であることをε-δ論法で示すことを例題にしている。私は、この文書はいくつかの本質的なところを言葉巧みにスキップし、ε-δ論法の理解はもちろん、数学の証明に対する理解も非常に一面的な印象を抱かせかねないと思う。そして、ある意味悪い遠隔授業教材の典型では？ pic.twitter.com/vtvO0GmFGa
タグ：
posted at 03:50:07
新井紀子氏の文章
「数学レスキュー ―いかにして数学的才能なしに証明を書くか―」
researchmap.jp/arai_noriko/pu...
新井氏は、「大学の1，2年生で遠隔授業の中で、数学の証明につまずいているあなた」「大学に入学して、とつぜん数学がわからなくなってしまった方」にと言う。
この文章で本当に役立ちますか
タグ：
posted at 03:46:32
@thyself_know #Julia言語
たぶん、これ、恒例ネタだと思います。
Julia側のコードを教えてください。
GitHub Gistなどで公開された「コピペで実行できるコード」ならありがたいです。
twitter.com/thyself_know/s...
タグ： Julia言語
posted at 03:43:25
#数楽 問題再掲： y > -√n のとき
f_n(y) = exp(-√n y) (1 + y/√n)ⁿ
と、y ≤ -√n のとき f_n(y) = 0 とおく。n→∞で f_n(y) が収束する先の函数を求めよ。
これ結構良問だった。
www.wolframalpha.com/input/?i=lim_%...
twitter.com/genkuroki/stat... pic.twitter.com/DKk3sgqjEd
タグ： 数楽
posted at 02:42:28
ああ、この話は驚きだ。ディックが亡くなる直前か。ポール・ウィリアムスとは１日一緒に京都観光をしたけど、金延幸子のことはちょっとしか話さなかったからな twitter.com/hithitcity/sta...
タグ：
posted at 02:28:25
🎉GigaSOM.jl paper online now!🎉
➡️work with billion-scale #cytometry data with ease
➡️VERY FAST🚀
➡️draws nice pictures 🖼️
➡️#JuliaLang, cc @JuliaLanguage
github.com/LCSB-BioCore/G...
Thanks to @laurentheirendt @Trefex @LIH_Luxembourg & many others! twitter.com/biorxivpreprin...
タグ： cytometry
posted at 02:21:10
@stattan @389jan @toshizumi1225 数値実験してみると(数式をいじっても分かる)、平均の区間推定では、中心極限定理が効いてくるおかげで、母集団分布(真の分布)が左右対称であれば、誤差が大きくなりにくくなります。
空気抵抗のケースでも仮想的な空気抵抗のモデルで同様ことを確認可能。
科学のイロハに戻れば万事解決。
タグ：
posted at 02:21:07
そうなんですよ、本当に👶公式サイトにK値でていたのみてびっくりしましたよ…
#マシュマロを投げ合おう
marshmallow-qa.com/messages/6c6ea... pic.twitter.com/O9VvHon4GR
タグ： マシュマロを投げ合おう
posted at 02:20:49
@stattan @389jan @toshizumi1225 例：母集団分布が正規分布でなさそうなときでも、正規分布モデルとt分布を使って平均の95%信頼区間を計算することには価値があります。
ただし、空気抵抗が十分小さいときに有効な力学のモデルの場合と同様に、母集団分布が正規分布からかけ離れていると、その95%信頼区間は信頼できなくなる。続く
タグ：
posted at 02:17:40
@stattan @389jan @toshizumi1225 空気抵抗がないと仮定したモデルでパチンコ玉が落下する様子を予測するときに、モデル内に得られる質点の落下運動は、現実のパチンコ玉の落下運動には直接対応していなくても、科学的に十分に価値あるものだと考えられています。
これを一般化すればよいだけだと思います。
twitter.com/stattan/status...
タグ：
posted at 02:10:53
#数楽 n次元実ベクトル空間の向きの話は結構おもろい。
「右手系」と「左手系」の区別はℝⁿの基底(v_1,…,v_n)全体のなす多様体の連結成分の個数がちょうど２個になることに由来していると考えられる。
GL(n, ℝ)の連結成分がちょうど2個と言っても同じ。 twitter.com/ceptree/status...
タグ： 数楽
posted at 02:00:50
@stattan @389jan @toshizumi1225 最初から非現実的な設定になっていることが明瞭なモデルを採用して、データからモデル内確率が得られたときに、「モデル内確率に過ぎず、現実での対応物はない」と言ってしまえば楽になれるのに、「主観確率」だの「確信の強さ」だの現実での対応物を探し出すからおかしな話になってしまうのだ。
タグ：
posted at 01:49:56
とはいえそれでも予測確率0.1以上をラベル1とした場合に真偽陽性率がともに0.8のなかなかイケてるモデルになってたりすることが普通にあります（0.1というのは例えばROCカーブ上で真偽陽性率の和の最大化とかで求めたりします）。もちろん、このホールドアウト評価がほんとにイケてるかはタスク依存。
タグ：
posted at 01:47:27
@stattan @389jan @toshizumi1225 例：95%信頼区間の95%はモデル内確率の典型例。
例：事後分布で測った確率もモデル内確率。
一般にモデルとして現実と大きく異なる設定を採用することがあり、その場合のモデル内確率は現実における(任意の意味の)確率だと解釈できなくなる。しかし、実用的に役に立つ根拠があれば便利に使ってよい。
タグ：
posted at 01:44:40
ロジスティック回帰その他二値分類は仕事でもよく使いますが、その予測確率はモデルがデータから予測した値（関数にテストデータをいれて返ってきた値）と説明しています。
比較的強調することが多いのはモデルの出力にすぎないという点です。確率そのものの意味の話になったことはないです。 twitter.com/389jan/status/...
タグ：
posted at 01:41:11
@stattan @389jan @toshizumi1225 私もカイヤンさんの説明がよいと思いました。
私は「モデル内確率分布」(モデルとデータの組み合わせから得られるモデル内の確率分布)という言い方をいつもしています。
単に「確率」と言わずに「モデル内」という形容詞をつけるようにすれば誤解が減って、余計な「主義」に関わる考察を排除できる。
タグ：
posted at 01:39:43
QMA・パソコン問題bot @qma_pasokon_bot
(理連)データサイエンスに好まれる言語 NumPy、pandas、matplotlib
グイド・ヴァンロッサムが開発 アイコンはニシキヘビ → 『Python』
(2ヒント目より)実行速度が非常に速い 科学計算処理を得意とする 2012年に公開された新しい言語 → 『Julia』
タグ：
posted at 01:38:31
@389jan @stattan @toshizumi1225 最小二乗法は最良線形不偏推定なのですが、特に「線形」という条件が強く、真の残差が正規分布という仮定を落とすと、非線形な推定でもっとよいものが存在する場合が出て来ること
を理解していないことの指摘の時に高橋将宜さんにブロックされていることに気付きました。 twitter.com/genkuroki/stat...
タグ：
posted at 01:34:02
@389jan @genkuroki @toshizumi1225 たしかに，おっしゃるとおりだと思います。一つクリアになりました。ありがとうございます。
タグ：
posted at 01:32:30
@stattan @genkuroki @toshizumi1225 むしろ（）内が本質で、モデルが予測した確率、より多くのことを無理に言うのは科学的に微妙じゃないでしょうか。
それしか言えないというよりそれが確率モデルじゃないでしょうか。
細かいことを言えば多くの実用的な場面では数値的な実現結果、くらいの注釈はつきますが……。
タグ：
posted at 01:30:30
@389jan @genkuroki @toshizumi1225 私も，それでOKだと思います。今日の話との絡みでいえば，そこでの確率はなんぞや，みたいなところまでいえたらいいかなという気もしています。（モデルが予測した確率といしかいえないのも事実ですが。。。）
タグ：
posted at 01:26:47
@genkuroki @stattan @toshizumi1225 （大昔この人に一度だけ引用RTされた記憶はあるんですがそのとき私は特に反応してないのでブロックされる見に覚えが）ないです。
ベイズまわりの記述が怪しげとはいえ和書で欠損処理についてまとめてるいい本を書いてる人という認識だったんですがね……
タグ：
posted at 01:26:21
@stattan @genkuroki @toshizumi1225 確率の公理は満たしてるので黒木さんの言うようにいろいろできる数値セットではあります。
素朴に、ラベルが1（紫式部）であるとモデルが学習データから予測した確率、だと何か解釈に困りますか？ モデルは（所詮はロジスティック回帰なので）作品が誰に書かれたのかの原理を与えてはないですし
タグ：
posted at 01:23:45
@stattan @389jan @toshizumi1225 え！私のような危ない人だけではなく、カイヤンさんもブロックされているんですか！(笑)
twitter.com/389jan/status/...
タグ：
posted at 01:20:09
@389jan @genkuroki @toshizumi1225 確かにただの実数値です。が，その値を見て何かを判断したり，考えるときに，その値の「意味」（意味ってなんだ）的なものがないと，何がなんだかよくわからないような気がします。実数値であること以上に，自然言語でのなにか解釈のようなものも欲しくなる気がします。
タグ：
posted at 01:18:44
@toshizumi1225 @stattan 私ならその推定の中身についてきちんと説明して終わりにします。その過程で区間推定の区間の意味も明瞭になると思います。
一般論を期待しているのかもしれませんが、私は多くの一般論はくだらないと思っています。くだらない一般論でも説明上必要なことは多いのですが。
タグ：
posted at 01:18:11
@stattan @toshizumi1225 私には、「主観的信念を扱うベイズ推定」によって「源氏物語の作者は95%の確率で紫式部である」と主張して、何が真っ当なことをやったことになる状況を想像できないです。
「主観的信念を扱うベイズ推定」を使ってなんか意味あるの？
タグ：
posted at 01:14:26
@stattan @genkuroki @toshizumi1225 大元の学習済みのロジスティック回帰にテスト作品を入力して作者が紫式部かそうでないか返させてる問題については、ただのシグモイド値ですよね？
その関数が出力した[0, 1]の実数値でしかないと思います。もちろんこれはベルヌーイ分布のパラメータになっているので確率の公理を満たすので確率ですが
タグ：
posted at 01:13:59
@toshizumi1225 @stattan そういう議論の仕方自体が不健全だと私は考えています。
「思想」「主義」の類との関連を断ち切れるような方向に議論を進めた方がよいと思う。
タグ：
posted at 01:09:35
@toshizumi1225 @stattan 私なら、統計学入門の教科書に書いてある信頼区間を使った説明をせずに、科学的に知られていることを調べて説明します。
統計学のような狭い分野のジャーゴンの使用にこだわるのは不健全だと思います。
タグ：
posted at 01:05:11
@stattan @toshizumi1225 純粋に統計学の方法だけで信頼できる科学的知識が得られることはほぼ皆無なので、視野を広くして、「科学的にまともか？」を考えた方がよい場合が多いと思う。
さらに、一般論はほぼ意味がなくて、個々の具体的な場合に適切な推測をしているかを、統計学という狭い世界に閉じこもらずに考えるべき。
タグ：
posted at 01:02:33
@stattan @toshizumi1225 私には、「頻度論的確率でも主観確率でも数学的な性質は同じ」のようなことを言う人で、科学的にずさんにならずに済んでいる人を見たことがありません。
ずさんでない人を知っているなら是非とも紹介して欲しい。
注意：「～である」ではなく、「～とするべき」に逃げるのはずさんな人達扱い。
タグ：
posted at 00:59:10
@genkuroki @stattan すみません話の腰を折って申し訳ないのですが，黒木さんだったら「（推定された）地球の質量の信頼区間」の意味をどう説明されますか？（数理が解釈を導かないのは重々承知で，知りたいのはこの解釈の方の話です）
タグ：
posted at 00:56:05
@stattan @toshizumi1225 人間の信念を本気で科学的に扱っているとしたら、人間の心の中に主観確率が測度論的確率論で適切にモデル化できることの科学的証拠の提出が必要になり、頭の中でどんなに考えてもそんな証拠は絶対に出て来ない。
タグ：
posted at 00:55:44
@stattan @toshizumi1225 仮に、「確率の数学的性質はどちらの解釈でも同じ」を「現代的にはどちらも測度論的な確率論で定式化可能」のように解釈したとしたら、肝腎なことに何も触れていないように感じられます。続く
タグ：
posted at 00:55:31
struct A をラップした struct B を作って、Base.iterate(b::B, i) の中で a を取り出して iterate(a, i) するとかでしょうか？ enumerate の実装が近そう。#Julia言語
docs.julialang.org/en/v1/base/ite... twitter.com/Aogiri_m2d/sta...
タグ： Julia言語
posted at 00:54:45
@stattan @toshizumi1225 測度論的な確率の数学的定式化は、確率が何であるかについては一切触れずに、単に「確率の数値の表」を与えるだけで、「色々できてしまうこと」が本質的です。
「確率の数値の表」(の一般化)→確率測度
「色々できること」→例えば大数の法則や中心極限定理などを定式化して証明できること
続く
タグ：
posted at 00:50:50
@stattan @toshizumi1225 私なら、「源氏物語の作者が誰であるか」を論じたければ安易にベイズ統計とか言うな、主観確率とか言って何の意味があるの？とい言いたいです。「主観的信念を扱うベイズ推定が向いています」と説得できるような例に全然なっていない。
さらに「確率の数学的性質は同じ」の意味も不明。#統計 pic.twitter.com/aIdPKWy4Mk
タグ： 統計
posted at 00:45:55
非公開
タグ：
posted at xx:xx:xx
Hideki Kawahara: WAS @hidekikawahara
2013年にMITの知人にRealtime MATLAB toolを紹介したら「最近はいい言語を使っているので。。。」と言われて以来JuliaはMacBook Proの住人になって更新され続けている。しかしMATLABから本気で浮気しそうになる度にMATLABが進化する。Juliaは 1.5.0になった。さて？
julialang.org/downloads/ pic.twitter.com/4SrkY4bikR
タグ：
posted at 00:13:02
Julia、Struct Aのiteratorをちょっと改造したい時はどうすればいいんや。元のiterateを少しラップしたいだけだから、コピペは避けたいんだよな…。Base.iterate(a::A, i=1) = function ~; iterate(a::A, i) endみたいなことしたら、当然、無限ループした。
タグ：
posted at 00:06:51
Re:RT #Julia言語 毎日
julia> ]
pkg> update
している。😊
実は最近ではNightly build
julialang.org/downloads/nigh...
を結構使っています。
using Plots による「遅れ」がかなり短くなった点が大きい。
タグ： Julia言語
posted at 00:00:14
