黒木玄 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年11月23日(月)
「震度5弱以上の地震を予測する」と謳う「MEGA地震予測」が、今年10月に『週刊ポスト』誌で発表した地震予測。茨城沖は全くノーマーク。
www.news-postseven.com/archives/20201... pic.twitter.com/vyQd3N6FSd
タグ：
posted at 00:02:23
Jorge Pacheco Jara @jorge_pacheco
Anscombe’s quartet using analog (✂️🧵) orthogonal regression. Editado por mi sobrina.
en.m.wikipedia.org/wiki/Anscombe%...
#dataviz #DataVisualization #stat #Statistics #EconTwitter #epitwitter pic.twitter.com/xm9LkQdfC8
タグ： DataVisualization dataviz EconTwitter epitwitter stat Statistics
posted at 00:40:54
「1から始める Juliaプログラミング (日本語) 単行本 」
amzn.to/3nMNW4x
を購入しました。本日到着予定です。
普段の数値計算はMatlabメインですが、用途に応じて使い分けができればと思っています。
タグ：
posted at 01:52:45
非公開
タグ：
posted at xx:xx:xx
@owainkenway If this is about Julia feel free to complain about it - we have a very enthusiastic support community who are happy to help
タグ：
posted at 03:05:06
Just watched this video. A really neat application of category theory to programming language design! A short thread 🧵 twitter.com/KenoFischer/st...
タグ：
posted at 03:49:52
I think of this talk as justifying the design of a new #JuliaLang feature: opaque closures github.com/JuliaLang/juli...
Observation: to differentiate arbitrary code, the code must follow the composition rules of the derivative operator
タグ： JuliaLang
posted at 03:52:51
The rules of differentiation happen to match those of something called 'optics' in category theory arxiv.org/abs/1809.00738
タグ：
posted at 03:53:36
Therefore, we need to ensure that the code being obey the same rules as optics. In @JuliaLanguage automatic differentiation, the code to analyze has already undergone compiler transformations like specializing and inlining into SSA (static single assignment) form
タグ：
posted at 03:56:57
and importantly, the code has to a closure, so all the necessary variables have been lexically bound (no more references to 'look up the value of x', etc.) en.wikipedia.org/wiki/Closure_%...
タグ：
posted at 03:58:30
#Julia言語
Juliaでの欠損値はmissing
missingをmissing以外の値の平均値に置換するには
B = replace(A, missing=>mean(skipmissing(A))) |> X -> Array{typeof(X[end])}(X)
しかし、欠損値を平均値で埋めると多くの場合に予測誤差を悪化させると思う。
代替案↓
gist.github.com/genkuroki/967c... twitter.com/physics303/sta... pic.twitter.com/KqTi3ZGLet
タグ： Julia言語
posted at 03:59:31
At 1:00:00 @KenoFischer explains that opaque closures cannot see changes to the global method table of a generic function, which is one of the largest sources of global dynamic state in #JuliaLang.
タグ： JuliaLang
posted at 03:59:57
Presumably, such a closure is necessary to actually define a complete specialization over types that can be lowered into SSA form that inlines method dispatch. Only then can the compiler prove that the code obeys the rules of optics and can thence be differentiated.
タグ：
posted at 04:02:11
I think this might also answer Simon Peyton Jones's question at 49:00 about why this works for higher-order functions in #JuliaLang - all that we need is to prove that the function to differentiate belongs to a symmetric monoidal category.
タグ： JuliaLang
posted at 04:04:15
Speculation: higher-order functions under evaluation themselves form a symmetric monoidal category, just like how derivative operators themselves do, and therefore the machinery all works because the endomorphic structure of optics are preserved
タグ：
posted at 04:05:41
Open question 1: what other compiler transformations beside local sealing of the method table, specialization and lexical closure are sufficient to permit automatic differentiation of arbitrary code?
タグ：
posted at 04:09:31
Open question 2: can we identify what compiler transformations are provably invariant in not destroying the differentiability of code?
タグ：
posted at 04:10:07
PS. Category theory has had some previous applications to programming languages. One example was to formalize algebraic computations in CLEAR (Goguen and Burstall, 1984, doi.org/10.1016/0304-3...)
タグ：
posted at 04:16:52
In general, category theory seems to be a really useful way to think about proving that code behaves the way we expect mathematically, by ensuring that code being written respects the algebra, composition rules, and other mathematical structures of the ideas being computed
タグ：
posted at 04:19:40
Thanks to @fairbanksjp for telling me about how category theory is useful for abstract reasoning about equality - I keep reminding myself of this fact every time I try to wade into the category theory literature.
タグ：
posted at 04:23:32
Comparing the big ideas of #ziglang, #julialang, #LISP, #smalltalk, #swift and #golang. Multiple-dispatch, compile time functions, image based development, homoiconicity, structural typing and more. Let's geek out 😉
erik-engheim.medium.com/eight-big-idea...
タグ： golang julialang LISP smalltalk swift ziglang
posted at 04:35:10
＞こう言う教材を販売、提供する会社側を強く批判する必要もあると思うんよな。
ずっと前からすでに行われている。 twitter.com/JugendMsk/stat...
タグ：
posted at 07:09:57
R0値見ずにK値見てた吉村の失政。周りの大阪府の役人どもも同罪。重症者数増えたのにICUベッドが無い、て今頃騒いでる。ちゃうねん。重症者数増える兆しがあったときにそれを放置していただけ。 twitter.com/hiroyoshimura/...
タグ：
posted at 07:10:57
どういう人なのか知らないけど（失礼！）、30万以上もフォローされている人が「デタラメ言うな」とフルボッコにされていて、時代の流れを感じる。😎
この流れをネットの外へも繋げたい。 twitter.com/nishinoakihiro...
タグ：
posted at 07:54:11
越前敏弥 Toshiya Echizen @t_echizen
あせってるときも喜んでるときも全部「やばい」と言う若者と話しながら、ちょっと辟易していたが、古語の「いみじ」もそうだったことを思い出し、急に楽しくなった。
タグ：
posted at 09:20:37
A possible #JuliaLang implementation twitter.com/shafikyaghmour... pic.twitter.com/svon4Tbac9
タグ： JuliaLang
posted at 11:25:42
︎ ︎︎︎お名前は未定です。 @charismamothers
@neo_dayo0615 @Curehappymagic @bozu_108 これおそらく拾い画でこの画像に続きがあるんですよ pic.twitter.com/YKZkJ4HEvv
タグ：
posted at 11:46:56
２歳児に再度「ねえねえ、自分がどこで生まれたか覚えてる？」って聞いたら「うんとね、うまごや！」って言われたから幼稚園で読んで貰ったクリスマス絵本の内容をきちんと覚えてるのエラい！って褒めた。
タグ：
posted at 11:49:02
非公開
タグ：
posted at xx:xx:xx
#統計
豊田秀樹『はじめての統計データ分析』で“条件付き予測分布からの25%点の事後分布”（p.51）という非標準的でいかにもダメそうなものを使っているという指摘が
statmodeling.hatenablog.com/entry/toyoda-b...
にあって参考になります。
豊田さんはベイズ統計についてデタラメをひろめていることでも有名。要注意。 twitter.com/brain_sfc/stat...
タグ： 統計
posted at 13:52:17
spee＠suspended @spee_dentalblog
次亜塩素酸水がらみで歯科医師らが逮捕されたが・・・
spee.hatenablog.com/entry/amanoden...
色々最初書く内容決めたんだけど、実際サイト確認に行ったら全て吹っ飛んだ。
タグ：
posted at 13:54:13
これは逆説的だが、心理学は統計学をちゃんと使おうと思っているから。ただそういうニーズを受け止めるのが豊田秀樹くらいしかいないのが。 twitter.com/genkuroki/stat...
タグ：
posted at 14:11:39
非公開
タグ：
posted at xx:xx:xx
【心理学は統計学をちゃんと使おうと思っている】の証拠があるなら見てみたい。
「ちゃんと使おう」の中身は何なんだろうか？
もしも「科学っぽい体裁を整えるためにお墨付きを得るための道具として使いたい」ならアウト。
統計学は科学的なお墨付きを得るための道具ではない。 twitter.com/tbs_i/status/1...
タグ：
posted at 15:11:11
数学につよい方がJulia言語にハマるとどうなるかを、界隈の方々が固唾を飲んで見守っている(●´ω｀●) twitter.com/nekomath271828...
タグ：
posted at 15:12:05
統計学はお墨付きを得るための道具ではない。
ところが、最近出版された某書のテーマは【お墨付き】を得るための統計学の【特権的な機能】について哲学的に語ること。
こういう本や『瀕死本』が出版されてそこそこ売れてしまうこと自体が色々ろくでもないことが起こっていることの証拠になっている。 twitter.com/genkuroki/stat...
タグ：
posted at 15:18:54
交換法則は二年生の時にかけ算と同時に習う。（これ言うの何度目）
なぜ「かけ算の順序」を擁護する人はこの間違いをしつこく繰り返すのか。
（「カルトだからさ」） twitter.com/o7sezbz9megmaf...
タグ：
posted at 15:45:11
文部科学省 学習指導要領
第二学年 算数
3 内容の取扱い
www.mext.go.jp/a_menu/shotou/... twitter.com/o7sezbz9megmaf... pic.twitter.com/oA5acXZeRu
タグ：
posted at 16:04:16
「算数と数学は違う」
と言ってしまう人は、算数を誤解してたから数学ができなくなった人だと思う。
算数で学ぶ考えはずーっと使える普遍的なもの。
算数だけじゃなく、どの教科も、普遍的に通用する考え方を模索していくことが大切だと思います。
タグ：
posted at 16:08:56
Started with working on my #julialang constraint solver again.
Stuck with activity based search but hopefully be able to improve graph coloring significantly.
github.com/Wikunia/Constr...
Will keep you updated and a blog post is coming when all works out ;)
タグ： julialang
posted at 16:15:50
“スクリーニング…の害は過小評価されている。専門家向けの教科書の序文のまず最初に「すべてのスクリーニングには害がある」と書かれているのは、スクリーニングの害が軽視されている現状に注意を促すためだ。” / “書評『「色のふしぎ」と不思議な社会 ――2020年代の「色覚…” htn.to/35AdTRYcSZ
タグ：
posted at 18:00:18
まあそういうことですね。なので心理学での統計学誤用の問題というのは、ベイズだの導入すれば良いってものではなくて、もっと根底の、心理学を科学的に正当化するロジックがどうあるべきかというとこまで掘り下げないといけないもので、かなり大掛かりな話。 twitter.com/genkuroki/stat...
タグ：
posted at 18:34:57
羊の脂肪の融点はヒトの体温より高いので、ジンギスカンは腸内に詰まりやすい食べ物です。「数時間前から水の一滴も喉を通らなくなった」という患者さんから、上部消化管内視鏡でひたすらジンギスカンを掘り出した経験があります。(私は研修医で当初は介助していたのだが、オーベンが途中で飽きて交代) twitter.com/japanfossil/st...
タグ：
posted at 19:07:50
いくつかの私学に関わったが、そもそもかけ算の順序があるという教員はいなかったしそういう採点の話は全く出てこないよね。
入試では優秀な生徒が欲しいのであって、小学校の一部の教員がやってるトンデモなローカルルールなんて知らない twitter.com/DoItAllRightNo...
タグ：
posted at 19:08:43
非公開
タグ：
posted at xx:xx:xx
「一方で、Jupyterは「R」「Julia」「Scala」など、Python以外のプログラミング言語でも使用されている。」 / “マイクロソフト、Visual Studio Codeに「Jupyter」拡張機能を追加 Python以外でも導入可能に | Ledge.ai” htn.to/u2HVvkgs88
タグ：
posted at 20:00:05
民主党がジョージア上院の決選投票に勝った場合に通過する可能性のある4つの急進的な政策
4 Radical Policies That Could Pass if Democrats Win the Georgia Senate Runoffs fee.org/articles/4-rad... @feeonlineより
タグ：
posted at 20:28:44
If you don't have the proper tools, use teamwork. How weight, vibrations and balance drive a pile into the soil [source: buff.ly/2QQXz2p] pic.twitter.com/UsEobknH3t
タグ：
posted at 20:30:03
民主党がその非常に薄い過半数を確保した場合、彼らは肥大化した予算を破る刺激法案、15ドルの最低賃金、増税、政府の医療などの主要な政策イニシアチブを通過する可能性があります。
タグ：
posted at 20:30:42
2兆ドル以上の膨満感刺激法案
議会の最初の刺激策は連邦予算を爆発させ、記録的なレベルの債務をもたらしました。さらに、CARES法の主要なプログラムは、無駄、詐欺、機能不全、および虐待に満ちていることも証明されています。また、多くの場合、効果がありませんでした。
タグ：
posted at 20:31:35
バイデンは連邦政府の最低賃金15ドルを通過させたいと考えており、「移行アジェンダ」の一部にさえしています。彼がそのような国の賃金義務をCOVID-19刺激パッケージ、インフラストラクチャー法案、または通過しなければならない予算取引に含めることを試みることができると予測することは合理的です。
タグ：
posted at 20:33:37
中小企業は、COVID-19危機と政府の封鎖の重みで、全国で苦労しています。多くはすでに廃業しており、さらに数百万人がかろうじて浮かんでいます。最低賃金の引き上げは常に仕事を破壊します。無党派の議会予算局は、突出した連邦政府の$ 15の最低賃金は370万人の仕事までを破壊するであろう。
タグ：
posted at 20:34:31
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
メモ。/etc/modprobe.d/alsa-base.conf に "options snd-hda-intel index=1" を加えてリブート。 www.linuxuprising.com/2018/06/fix-no...
タグ：
posted at 20:44:09
バイデンは、共和党の2017年の税制改革を部分的に逆転させることをキャンペーンしましたが、それは明らかに、通過後の所得と経済の押し上げに役立ちました。民主党が通過させたい重要な変更の1つは、法人税率を最大28パーセント引き上げることです。
タグ：
posted at 20:52:45
法人税は、実際には低賃金と投資と雇用創出の削減を通じて労働者に転嫁されます。税務財団によると、「調査によると、労働者は法人所得税の負担の50％から100％を負担し、70％以上が最も可能性の高い結果であることが示されています。」
タグ：
posted at 20:55:00
民主党は、メディケアを介して国民に「公的オプション」を提供することにより、ヘルスケア市場における連邦政府の現在の広大な役割を拡大したいと考えています。
おそらく、この政府が運営する医療オプションは、他の提案のように完全に廃止するのではなく、民間部門と「競合」するでしょう。
タグ：
posted at 20:56:15
しかし、政府はそれ自体に助成金を支給し、医療提供者がより低い補償率を受け入れることを義務付けることができるため、必然的に民間保険会社を廃業させ、私たち全員を医療のために政府に依存させます。
タグ：
posted at 20:56:37
分割された政府の下では、政府と連邦政府の支出の伸びが遅いことが統計的に証明されています。そして、選挙結果が出た後、企業部門がこれ以上介入主義的な政策を通過することができない窮地に立たされた議会の見通しに非常に好意的に反応したのは偶然ではありません。
タグ：
posted at 20:59:01
バイデンの税金と規制の議題が実施された場合、490万人の雇用が失われ、平均世帯収入が6,500ドル減少することがわかりました。
ですから、そうです、分割された政府は時々イライラするかもしれません。しかし今回は、経済とアメリカ国民にとって素晴らしいニュースになるでしょう。
タグ：
posted at 20:59:24
#統計 P値を使った研究不正に慣れている人がそこで培った優れたノウハウを時代に合わせて統計モデリング+モデル選択の場合に移植したければ、以下のリンク先のスレッドを見ればよいと思います(悪い顔での笑)
😈😈😈😈 twitter.com/genkuroki/stat...
タグ： 統計
posted at 20:59:54
VOILAb: Vortex Inter @VOILAb_UoE
Check out our work at #APSDFD #APSDFD2020
Our PhD candidate Shuji (@shu_otomo) is presenting unsteady lift on a high-amplitude pitching aerofoil. He shows Theodorsen's theory validity and vortex force correction by impulse theory. Go to S02:15 to watch the full video. pic.twitter.com/8cguw1NdaI
タグ： APSDFD APSDFD2020
posted at 21:02:39
twitter.com/O7SezbZ9MeGmaFI
＞6年目
＞今年小から中へ
小学校で #超算数 を指導していた人が、中学教員になったのかな？
超算数の悪影響を実感出来そうな立場っぽいけど、超算数を肯定しているようだ。
中学数学を更に歪めそうで怖い。((((;゜Д゜))) pic.twitter.com/O2EjtrRrVj
タグ： 超算数
posted at 21:07:52
@Ocha_MARUZEN ＞新しい統計学の教科書となりうるのでは⁈
【分布を特徴付ける値を、その期待値～という】(p.31)とか【「Major axes」～が回帰直線】(p.17)とか、【分布族が対象を十全にモデル化して】いない場合でも【ベイズ流の更新プロセスは最終的に真理へと到達しうる】(p.83)とか書いてあるのでそれは無理。 twitter.com/genkuroki/stat...
タグ：
posted at 21:34:13
@book1stshinjuku ＞統計学～の本質について考えて～
【分布を特徴付ける値を、その期待値～という】(p.31)とか【「Major axes」～が回帰直線】(p.17)とか、【分布族が対象を十全にモデル化して】いない場合でも【ベイズ流の更新プロセスは最終的に真理へと到達しうる】(p.83)と書いてあるので、そういう本ではない。 twitter.com/genkuroki/stat...
タグ：
posted at 21:38:04
@toudaihbookcoop 【分布を特徴付ける値を、その期待値～という】(p.31)とか【「Major axes」～が回帰直線】(p.17)とか、【分布族が対象を十全にモデル化して】いない場合でも【ベイズ流の更新プロセスは最終的に真理へと到達しうる】(p.83)とか書いてある点を批判できる学生以外には害になる可能性が高い本だと思う。 twitter.com/genkuroki/stat...
タグ：
posted at 21:40:25
#統計 【分布を特徴付ける値を、その期待値~という】(p.31)とか【「Major axes」～が回帰直線】(p.17)と書いてある本が「新しい統計学の教科書」になってしまうようだとさすがにまずい。
哲学について語りたい人は、統計学に関するその手の杜撰な説明の存在にも必ず触れるべきだと思います。 twitter.com/ocha_maruzen/s... pic.twitter.com/wQwQTcUyVu
タグ： 統計
posted at 21:48:10
メモ：
#julialang in #vscode 、いきなりJuliaのREPL（エディタではなく）を開く方法はないもんかといろいろ調べていたのですが、Ctrl+Shift+P で出てくるコマンド一覧から Julia: Start REPL を選べばよいようですね。コマンド一覧を出さなくても Alt+J Alt+O でもいける模様。 pic.twitter.com/PZsRzYGmH6
posted at 23:21:44
python もともとそんな好きじゃないので休日もゴリゴリ描かないといけなくて、今回終わったらしばらく触りたくない..
データサイエンス系の処理は julia only って世の中にならないかな..
タグ：
posted at 23:25:24
数十行の評価関数のコードだけでプロ棋士レベルの将棋ソフトを作るという意欲的な連載、今回はその第4回目です。(あと4,5回ぐらいで完結予定)
【連載】評価関数を作ってみよう！その4
yaneuraou.yaneu.com/2020/11/23/mak...
タグ：
posted at 23:26:26
#JuliaLang
Jupyter notebook↓
gist.github.com/genkuroki/f602... twitter.com/mara_derosa/st... pic.twitter.com/lKXtICOaMl
タグ： JuliaLang
posted at 23:35:19
自分が奴隷根性叩き込まれてるからって、他人を「恥晒し」呼ばわりして自分のアホさ加減を世間に晒すという高等テクニックを駆使しなくてもよかろうに。 twitter.com/KOINUMANSAMA/s...
タグ：
posted at 23:38:51
@nyagonya1 食道から十二指腸まで詰まってて上部消化管内視鏡で出しましたね。吸えないからひとつかみ毎にスコープを抜かないといけないのでけっこうたいへんでしたよ。
タグ：
posted at 23:52:13
