黒木玄 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 を見て下さい。
2021年12月09日(木)
Sumire Watanabe/渡邉すみ @SumireW20
指定のマフラー以外を着用している生徒がいると、生徒指導の先生から伝達が来て、うちの担任が私たちを叱ったけれど、その内容や言い方が恐ろしすぎた。（指定のマフラーはブルーとレッド。確か3000円台）
タグ：
posted at 22:50:17
Sumire Watanabe/渡邉すみ @SumireW20
「決められた方が楽でしょ？それが嫌なら学校辞めな。今からでも大学検定取れるから来年取りに行きなよ、それができないならルール守りな」
タグ：
posted at 22:50:01
Sumire Watanabe/渡邉すみ @SumireW20
生徒の顔の近くでハサミチョキチョキしながら「何のために生きているの？」（哲学的な問いをよくする先生）と言い出したと思ったら、「この学校のルールが守れないなら高校辞めればいいじゃん、義務教育じゃないんだから」と言い出すわ、もう心理的安全性どころか、危険性すらある教室。耐えられんわ🔻
タグ：
posted at 22:49:36
Type stability is one of the most important concepts for writing performant #JuliaLang code - @j_v_66
and his group finally present a formal semantics of what this means in a highly polymorphic language that uses multiple dispatch arxiv.org/abs/2109.01950
タグ： JuliaLang
posted at 22:38:25
いつの間にかそんな事になっていたとは。
非侵襲的で早期に癌検出できるというのは理想的で、本当だったらいいけど、ちょっと心配だなあと出てきた時に思っていましたが、、再現実験を。
一研究者として、どうしても自分の研究に思い入れてバイアスがかかってしまうのは分かるので、自戒を込めて。 twitter.com/uematsu1987/st...
タグ：
posted at 22:36:32
@sekibunnteisuu @golgo_sardine @rori_minerva ＞テスト前に保護者向けにプリント出すようにした
そのプリントを見てみたいですね。
後世のために、是非、Twitterにあげて頂きたい。
タグ：
posted at 22:34:33
乗数，被乗数にどうしてこんなに拘るのか，そこが不思議でならない．言葉はあっても実質的な意味ないじゃん．×の前と後にある数値に除法と同じ流儀で名前付けてる以上の意味って何？掛け算は割り算や引き算じゃないじゃん．もうホントに謎． twitter.com/rori_minerva/s...
タグ：
posted at 22:25:33
There's also a higher-quality version of the movie here: www.youtube.com/watch?v=EC8RyC...
Enjoy!
タグ：
posted at 22:14:34
If you're interested in finding out more about the technical details behind this movie, you can also check out the talk here:
www.youtube.com/watch?v=dtYGiC...
タグ：
posted at 22:14:33
These shapes were found using the algorithm described in
Yu, Brakensiek, Schumacher, Crane
"Repulsive Surfaces"
www.cs.cmu.edu/~kmcrane/Proje...
We're hopeful these tools (like KnotPlot & SurfaceEvolver) will help people find more beautiful and natural shapes in the years to come! n/n pic.twitter.com/QU5uZv7eJY
タグ：
posted at 22:14:33
Starting with several donuts glued together along a straight line, we then make small changes that gradually reduce tangent-point energy. The final shapes tend to look a lot more "natural" than the Lawson surfaces—often exhibiting the same symmetries as the Platonic solids! 10/n pic.twitter.com/iCpQ6Scu4e
タグ：
posted at 22:14:32
Of course, in the absence of any other forces, two electrons will just shoot off to infinity.
Likewise, to keep our shape from exploding, we need additional forces to hold it together—like the force of surface tension which gives water droplets their nice round shapes. 9/n pic.twitter.com/hccHzfRkSz
タグ：
posted at 22:14:31
So to get nicer shapes with holes, we can take a different approach.
We look for shapes that minimize the so-called "tangent-point energy," which tries to keep all pairs of points far away from each other—much like the repulsive Coulomb forces exerted by electrons. 8/n pic.twitter.com/1l58Rkfsf7
タグ：
posted at 22:14:30
The reason is that Willmore energy doesn't look for shapes that are nice & symmetrical in the ordinary 3-dimensional space where we live (Euclidean space).
Instead, it considers symmetry relative to the "3-sphere": the set of all points unit distance from the origin in 4D. 7/n pic.twitter.com/JeX6S9FfzI
タグ：
posted at 22:14:29
However, shapes that minimize total bending—formally known as "Willmore energy"—don't look as nice if you start adding more holes.
The conjectured minimizers, called "Lawson surfaces," feel pretty asymmetrical compared to how one might imagine an "ideal" shape with holes. 6/n pic.twitter.com/zg1L0emR5x
タグ：
posted at 22:14:28
In fact, this principle of least bending even shows up inside the human body. For instance, the shape of red blood cells is extremely well-predicted by minimizing bending among all shapes with a given volume (due to fluid pressure) and surface area (due to surface tension). 5/n pic.twitter.com/yLmiV1qQ4l
タグ：
posted at 22:14:27
Or, "nicest" could mean smoothest.
For instance, according to one criterion (minimum total bending) the smoothest shape with no holes is a round sphere; the smoothest shape with one hole is a perfectly round donut with a certain ratio of inner/outer radii ("Clifford torus"). 4/n pic.twitter.com/47XhBNP1ZE
タグ：
posted at 22:14:26
"Nicest" could mean the most symmetric—for instance, the ancient Greeks discovered there were five so-called Platonic solids where every face and every vertex looks the same: the tetrahedron, cube, octahedron, dodecahedron, and icosahedron. 3/n pic.twitter.com/8aIbz8QAvP
タグ：
posted at 22:14:25
For millennia people have been drawn to the question: what are the "nicest" possible shapes that exist?
This is really a basic question about nature: these shapes exist outside space and time; the same shapes can be discovered by civilizations anywhere in the universe. 2/n pic.twitter.com/wMz7bXW1eQ
タグ：
posted at 22:14:23
What's the nicest way to draw a shape with many "holes"?
We can use the principle of repulsion to explore this question: each point of the shape behaves like a charged particle, trying to repel all others. Surface tension prevents everything from shooting off to infinity. 1/n pic.twitter.com/9Lmf5PYRHz
タグ：
posted at 22:14:22
BinaryBuilder.jlについて調べていて、英語のサイトも調べていて、あれ、自分と同じようなこと書いている人がいる！と思って読んでいくと、違和感が膨らんでいき、あ、これ自分のQiita記事の英訳だ、と途中で気がついた
タグ：
posted at 21:59:58
英語のstackoverflowを無理やり日本語に機械翻訳したようなサイトはよく見かけるが、今自分の日本語のQiita記事が無理やり英語になっているサイトを見つけてしまった。これはなんだ
タグ：
posted at 21:53:51
@golgo_sardine @rori_minerva ＞立式で問う力は問題文から正しく非乗数を読み取る力です。そのため、式の順序が逆となっている場合は誤答と致します。
「被乗数」かと思いますが、なぜそれを読み取らないとならないのでしょうか？またなぜそれを順序で判断しないとならないのでしょうか？
タグ：
posted at 21:36:36
@golgo_sardine @rori_minerva ミネルバさんは小学校教員なのでしょうか？
＞ここまで手を打っておかないと
そこまでして、なぜ掛け算の順序を教えるのでしょうか？
タグ：
posted at 21:35:42
Thibault Douzon @thibaultdouzon
Can't investigate right now but this is the issue on github: github.com/JuliaLang/juli...
タグ：
posted at 21:32:20
@BluesNoNo @snap_tck @Shuntarooo3 このスレッドの話題と無関係に、とものりさんが紹介してくださったブログ記事の連載は力作で非常の良いと個人的には思いました。私の以前のイーカゲンなツイートへの有益な反響とみなせ、非常にうれしい。
メンデルの実験ノートは焼かれて残っていないらしく、惜しいことです。真相は闇の中。 twitter.com/snap_tck/statu...
タグ：
posted at 21:19:49
大偏差理論のルーツが何処にあっても良いのだけど，大偏差理論と統計物理の関係についての有名なレビューを思い出したので，貼っておきます：
www.sciencedirect.com/science/articl...
タグ：
posted at 20:55:38
Thibault Douzon @thibaultdouzon
This is counter intuitive pic.twitter.com/ywAiG4g0Y6
タグ：
posted at 20:47:20
Thibault Douzon @thibaultdouzon
There seems to be a bug with `minimum` and `maximum` implementation on `Set{CartesianIndex}` in Julia : deleted (or `setdiff!`ed) elements are somehow still there. Very weird behaviour. #JuliaLang pic.twitter.com/z2vSfrvtAj
タグ： JuliaLang
posted at 20:45:59
@kds7011 @otapediatrician @MIKITO_777 ええ
一緒に働いたことのある知人の医師は、思ったより普通だし、思ったより好感がもてたと証言していました。
タグ：
posted at 20:09:18
「指導書は学年に1冊」
という学校と
「指導書はクラスに1冊(教科による)」
という学校があるらしい。
「指導書は買わない(教科による)」
って学校はあるのだろうか？
タグ：
posted at 19:57:11
Thibault Douzon @thibaultdouzon
Jour 9, on cherche les minimums locaux puis les tailles des différentes zones délimitées par des `9`. C'est un problème assez classique de graphe un peu caché qui peut être résolu par un simple dfs.
#JuliaLang #AdventOfCode pic.twitter.com/ixjaYb4XLD
posted at 19:50:25
"4つのβ版と3つのRC版を経てJulia 1.7が遂にリリースされました。リリースに貢献してくれた全ての方々(79名以上)とプレリリースにおけるリグレッションや問題点発見にご協力下さった全てのテスターの方々に感謝します。あなたがいなければこのリリースは実現しませんでした．"
julialang.org/blog/2021/11/j...
タグ：
posted at 19:48:41
承前
"前述の通り、Julia 1.7では型推論も改善、推論Performanceにも利点があります．特にJuliaは union-split Signaturesの条件付き制約定数/invokeによる呼び出し定数等、特定の型制約を関数呼び出しに渡って伝搬可能になりました。"
タグ：
posted at 19:48:40
承前
"Atomic式として書き換える様に任意式をMarkする為に使用できます。例えばy = @ atomic a.b.x += 1と書くと、a.b.x にAtomicアクセスしてIncrementできます。
AtomicはAtomic性の為の低レベル基盤を提供、Actorsや並列Transducers等のThread-Safeな抽象化構築に使用できます。"
タグ：
posted at 19:48:40
承前
"進歩しました。Julia 1.7では言語Runtimeにおける幾つかの競合状態修正/既定の乱数生成器の設計が改善/よりThread-Friendlyになりました．また最重要点として、Julia Atomics Manifestoで述べられている様にPrimitive言語機能としてatomics対応が追加されています。
このMacroはコンパイラが"
タグ：
posted at 19:48:39
"Julia 1.7では、新しいThreading機能/新しいPackage Manager機能/改良された型推論/新しい構文機能等、数多くの重要機能が強化されています。また、Apple Silicon上でNative動作する初めてのリリースでもあります。
Juliaは最近のリリースでMultithreaded Programsを適切にサポートする為に大きく"
タグ：
posted at 19:48:39
「Julia 1.7、Threading機能拡張、型推論の改善等を実施」
Julia 1.7 Extends its Threading Capabilities, Improves Type Inference, and More www.infoq.com/news/2021/12/j...
タグ：
posted at 19:48:39
@otapediatrician @MIKITO_777 いわけんは医クラでなくても袋叩きにしているので、例としてあげるのは不適切だと思う、と空気を全く読まないリプをどうしても上げたくなってしまいました。すみません。
タグ：
posted at 19:39:12
届きました。
RikaTan40号「ニセ科学を斬る！Forever」
これで休刊だと思うと残念です。
今回は、5本書かせていただきました。
RikaTanが休刊しても、授業やTwitterでニセ科学や超算数に騙されない教育を続けていきたいと思います。
また、機会があればぜひやりたいです。 pic.twitter.com/t7xN9Fvy9S
タグ：
posted at 19:37:40
歯医者に勤めているが、母親の治療を見つめる幼児が不安そうにしているので笑ってもらおうと思って
「ママの口からビームが出るように改造しているんだよ」
と言ったら幼児は目を見開き治療中のお母さんはむせ私は先生に怒られた
タグ：
posted at 19:36:52
そもそも私、母校である慈恵医大の心臓血管外科の教授が新型コロナ診療やワクチンについておかしなことを言い出したとき、
最も非難した人間の1人なんですけどね。
そもそも、本業小説家の私が、なぜ教授に遠慮すると思うのか意味不明ですね。 twitter.com/otapediatricia...
タグ：
posted at 19:35:44
子供にアンカーを埋め込むな、って何回もゆうてるやつ。
外すの大変なんだから（外せる気のせんやつもよく見かける）
#掛算 twitter.com/katsukichi1974...
タグ： 掛算
posted at 19:32:47
神戸大の感染症科教授でも、なんならノーベル賞受賞者の山中先生や大村先生でも変なこと言ったらボロクソにぶっ叩いたのが医クラですが何か？ twitter.com/blanc0981/stat...
タグ：
posted at 19:26:23
皆様、よろしければこの文春のスクープ記事をご覧になって下さい。
かなり衝撃的な内容ですし、
『このような詐欺的医療の内情を告発するとアクセスが稼げる』とメディアの方々に気付いて頂くこともとても意味があります。
詐欺医療で苦しむ方が少しでも減りますように。
bunshun.jp/articles/-/50574
タグ：
posted at 19:23:43
新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
qiita.com/cometscome_phy...👈
タグ： Julia日本語記事 Julia言語
posted at 19:21:02
@GreatDemon1701 これもそう。
「順序必要派は教育の、順序否定派
は数学の話をしている。」
なんて、この人の脳内での妄想
双方の主張を何も読んじゃいないのがバレバレ。
twitter.com/oginonobuya/st...
タグ：
posted at 18:38:32
@GreatDemon1701 あと、批判する側の意見をろくに読んでいないのも致命的。
「さくらんぼ算、批判されているらしいけど、授業見たら分かりやすかった。だから批判は間違っている」
程度の認識なんでしょう。twitter.com/oginonobuya/st...
タグ：
posted at 18:36:33
@sekibunnteisuu 予備校の講師なのに、自分がいいと思う方法で全員わかるはず、という前提でいられるのは羨ましいメンタリティの持ち主ですね。要らんけど。
タグ：
posted at 18:33:34
公）フルセットにもつれ込んだ王座戦五番勝負第５局は、挑戦者の井山裕太名人が芝野虎丸王座を下し、シリーズ３勝２敗で３期ぶりの王座復位を遂げました。今年はこれで「大三冠」に碁聖、王座を加え五冠に復帰。追い上げ急の後進を阿修羅のごとくはねのけて、「井山１強」は続きます。 pic.twitter.com/BCN9jnDPrD
タグ：
posted at 18:03:19
さくらんぼ使うのは構わないんだよ。
強制的に使わせる。しかも、数の分解の仕方まで指定するのがクソ、と言う話なんだけど、・・・ twitter.com/oginonobuya/st...
タグ：
posted at 17:11:51
@ddrerizayoi @HirokazuOHSAWA Stein推定に関する私による解説
nbviewer.org/github/genkuro...
事前分布を使えば推定の誤差を小さくできる場合があることは純粋に数学的に言えることなので、ベイズ統計の正当化のために別に哲学や別の確率概念が必要という意見は論理的に否定されます。
不偏性にこだわるのは視界を狭めるので有害。
タグ：
posted at 16:34:13
@ddrerizayoi @HirokazuOHSAWA 竹村さんの教科書の上の続きの部分にも書いてありますが、不偏性の条件を落とした方が期待二乗誤差をより小さくできる有名な例にStein推定があります。
Stein推定の存在は事前分布を使った方が誤差を小さくできる場合があることも示しており、Bayes統計の有用性にも繋がる話になっています。
タグ：
posted at 16:29:33
@ddrerizayoi @HirokazuOHSAWA 添付画像は、昔からよく読まれている教科書の竹村彰通『現代数理統計学』での不偏推定の問題点の解説部分の最初のうちは部分です。続きも面白いです。標準的な教科書の1つなので手元に置いておいて損がないと思います。
本当はこういう話も入門的な教科書に書いてあってほしいと思っています。 twitter.com/ddrerizayoi/st... pic.twitter.com/hWHdwn7IOn
タグ：
posted at 16:23:26
あの線形代数の本を見たとき、これはとても普通の人間に書けるものではない、と感服しましたが、著者のツイート数を見たとき、やはり普通の人間ではないと確信しました。 twitter.com/study_unnatura...
タグ：
posted at 15:42:14
超算数でもなんでも、ここまで行ったら答えさえ正しくでれば、もう方法だの考え方だの、どうでもいいわ…私が受けるときの担当者が正しい答えを出せますように…って感じになった。
義務教育とは？ あたり、もう諦めた方がいいのかも。 twitter.com/877_727/status...
タグ：
posted at 14:07:17
@ddrerizayoi @HirokazuOHSAWA そういう感じの話ではなくて、推定法について不偏性は現実の統計分析では実用的には特別に要求する必要はない(場合によっては単に不便になるだけ)ということだと思います。
不偏性に関する多くの教科書の説明がミスリーディング。
続く
タグ：
posted at 13:54:50
「え、Julia 言語用の書体なんてあるの」と思ったら、なるほど "Unicode 文字を使ったプログラミングに最適化したフォント" ということか。
等幅フォントとして使ってみよう。
juliamono.netlify.app pic.twitter.com/SxinlX544V
タグ：
posted at 13:11:23
michio inoue l MATLA @michio_MWJ
微分方程式を解く関数といえば ode45！という方も多いと思いますが、R2021b からはより高次のode78 やode89 が出てきています。
ode78 で計算したプレアデス星団（プレアデス 7 人姉妹）の動きがこちら。
jp.mathworks.com/help/matlab/ma... pic.twitter.com/4vP3ExwxGB
タグ：
posted at 12:14:00
『「炭治郎が急激に強くなるんですが、努力の過程が描かれることはほとんどありません。でも、それが今の漫画の流行りなんだと思います』
むしろ昨今のジャンプにしては繰り返し修行パートがあったし最終決戦直前にも修行してただろうが。何言ってんだコイツ。
news.yahoo.co.jp/articles/e6906...
タグ：
posted at 12:07:58
@ddrerizayoi @HirokazuOHSAWA 正規分布モデル内で計算したおかげで結果も計算の過程も非常にシンプルになっています。
一般の場合にはこのような閉じた公式はないです。
ウィキペディアを見たら、不偏推定の要求が利益抜きに単に不便だけを追加することの例になっている、と書いてありました。😅
en.m.wikipedia.org/wiki/Unbiased_...
タグ：
posted at 11:36:57
Dr. Chris Rackauckas @ChrisRackauckas
@jeremy_mcgibbon The interesting challenge of course is that this is a full scale climate model project written not with AD in mind, so the AD needs to "come to the users" and work on the constructs they want to express code in. But this of course is a good user driven way to build better AD!
タグ：
posted at 11:32:43
Dr. Chris Rackauckas @ChrisRackauckas
@jeremy_mcgibbon The code is pure #julialang all the way down, including the GPU kernels which are just Julia code compiled to .ptx kernels through CUDA.jl, so if you can differentiate that then you are done. So there is plenty to start from
タグ： julialang
posted at 11:31:21
Dr. Chris Rackauckas @ChrisRackauckas
@jeremy_mcgibbon CLIMA already exists. It's well-funded with a large team for half a decade. There's land, ocean, atmospheric, etc. models working together, mixing with DifferentialEquations.jl time stepping and all clima.caltech.edu. That's the benefit of using a widely used HPC language.
タグ：
posted at 11:29:51
解説は単なる法的拘束力がない単なるガイド。それを曲解し、学習指導要領と絡め、さも自分たちの異常採点が「お上の意向」であるかの如く振る舞う人が多いよねぇ。それを擁護する人も多い。 twitter.com/genkuroki/stat...
タグ：
posted at 09:44:07
阿部公彦 ABE Masahiko @jumping5555
この騒動、そもそもの原因は新学習指導要領の欠陥。「論理・実用」VS「文学」なる区分けがおかしかった。
気が早いと思うかもしれませんが、次の学習指導要領での改善に向けた準備をお願いしたい。
国語だけじゃなくて、英語もね。 twitter.com/00kubo_akira/s...
タグ：
posted at 09:40:36
@genkuroki @sekibunnteisuu 冗談から(授業)コマが出た（呆）
現実の授業ですが、観察者が停車している5台を見てたら、あとから2台来たって話で5+2ですよね。もし、2台の方の車に乗ってたら2台で動いた（あとで）5台と一緒になったわけで、超算数的には2+5になるんですか。そこらどうしてるんだろう。
なんにしろバカクサイです。
タグ：
posted at 09:15:47
新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
qiita.com/SatoshiTerasak...👈
タグ： Julia日本語記事 Julia言語
posted at 07:04:07
尤度のことを「いぬど」（犬度）と間違う人がいるのは知ってたが、Googleで「犬度」と検索すると「尤度」の結果ばっか返ってくるので「"犬度"」と検索してみたら、研究課題名が「犬度」になってる科研費 kaken.nii.ac.jp/ja/grant/KAKEN... に辿り着いた件・・・しかも統数研じゃねぇかｗｗｗ twitter.com/ceptree/status...
タグ：
posted at 05:34:44
Artist and art director Greg Edwards used Mental Canvas to push the boundaries of space and time, taking us on a graphic journey through the infinite space of his fantastical imagination [source + author's Instargam account: buff.ly/3ECe8HH] pic.twitter.com/ADHzIYhCw7
タグ：
posted at 04:21:46
#数楽
Polyakov, A.M. Gauge Fields and Strings 1987 library.oapen.org/handle/20.500....
タグ： 数楽
posted at 02:37:54
#統計 r=3, p=1/(5N)の負の二項分布を1/N倍でスケールして得られる分布のcdfはN=100でα=3, θ=5 のガンマ分布のcdfにほぼぴったり一致している。
離散分布と連続分布の比較は累積確率分布函数(cdf)のプロットで比較すると楽です。
#Julia言語
nbviewer.org/github/genkuro... pic.twitter.com/ng0q1H9PLQ
posted at 02:06:16
#統計 せっかく作ったので教育用のノートブックを放流
#Julia言語
nbviewer.org/github/genkuro...
二項分布のある種の極限でPoisson分布が得られる(添付画像③④)のと同じように、負の二項分布のある種の極限でガンマ分布が得られる(添付画像①②)。 pic.twitter.com/w78EQhBzqM
posted at 02:06:13
Dr. Chris Rackauckas @ChrisRackauckas
Thus I suspect that the inference heuristics for how to handle function barrier issues could be much better, and the result would be having to compile much less code (i.e. faster compile times). So @j_v_66 I challenge you to look into algorithms for this problem as a next step!
タグ：
posted at 00:58:31
Dr. Chris Rackauckas @ChrisRackauckas
It turns out having the optimization makes inference assume union types can happen (even though they cannot, and that will be found by the function barrier and squashed), which leads to over-compilation.
タグ：
posted at 00:58:30
Dr. Chris Rackauckas @ChrisRackauckas
The fix shown in that issue is to disable Union{T1,T2} optimizations because then the resulting instability is just `Any`, so then the function barrier is fully dynamic which makes it more grounded in the "real solve".
タグ：
posted at 00:58:30
Dr. Chris Rackauckas @ChrisRackauckas
However, there are ways to break it. github.com/SciML/Differen... showcases that with more packages in the system, inference can not longer infer that downstream calls should use the Float64 precompiles and it will recompile some things.
タグ：
posted at 00:58:30
Dr. Chris Rackauckas @ChrisRackauckas
The problem that many PR's in github.com/SciML/Differen... sought to fix is that this dynamic->static behavior could sometimes make the Julia compiler not precompile the branches for Float64. The reason why this instability explanation is simple is because simplifying it was the fix!
タグ：
posted at 00:58:29
Dr. Chris Rackauckas @ChrisRackauckas
However, if you look at the solve chain, that instability exists high up there:
github.com/SciML/DiffEqBa...
and then the function barrier where all dynamicness is turned to static is the "real solve call"
github.com/SciML/DiffEqBa...
So boom, "effectively type-grounded"
タグ：
posted at 00:58:29
Dr. Chris Rackauckas @ChrisRackauckas
So when using a stiff ODE solver without setting CS, you get a type-instability right here: github.com/SciML/Ordinary...
タグ：
posted at 00:58:29
Dr. Chris Rackauckas @ChrisRackauckas
In that case, the function barrier is due to ForwardDiff's choice of dual chunk size, which is dependent on the length of the initial condition which is not static information but is runtime information.
タグ：
posted at 00:58:29
Dr. Chris Rackauckas @ChrisRackauckas
There's a very interesting question though as to what you should and should not optimize when doing this mixture. Currently it might be too aggressive. In fact, you can point to this fact as the main reason for many compile time regressions, see github.com/SciML/Differen...
タグ：
posted at 00:58:28
Dr. Chris Rackauckas @ChrisRackauckas
Inference occurs at the function level, so if you put all of your core computations behind a function you can have a high level "find out what we will compute" which is not grounded, but mixed with a lower level "actually compute" that is grounded for fast runtime.
タグ：
posted at 00:58:28
Dr. Chris Rackauckas @ChrisRackauckas
For a deeper discussion of function barrier coding patterns, I would suggest the (somewhat old) discussion in the 7 Julia Gotchas post. 2016, but the principle still applies the same.
www.stochasticlifestyle.com/7-julia-gotcha...
タグ：
posted at 00:58:28
Dr. Chris Rackauckas @ChrisRackauckas
The one piece that I would add to the manuscript's discussion is function barriers. With effective use of function barriers, you can have a method that is "globally not type-grounded" but is "effectively type-grounded", meaning all relevant compiler optimizations are applied.
タグ：
posted at 00:58:27
Dr. Chris Rackauckas @ChrisRackauckas
Let me dive into a tangent that could be a follow up analysis. Here's something the Julia compiler does not seem to analyze well that could use some more theory behind it. It's related to why the % groundedness for DifferentialEquations.jl is low, but the package is still fast.
タグ：
posted at 00:58:27
Dr. Chris Rackauckas @ChrisRackauckas
The core idea: type-groundedness allows for full devirtualization, i.e. all dynamic dispatches can become static in a way that is provably correct. A lot Julia programmers have used this idea for a long time, so knowing it's a provable fact is a nice addition to the community.
タグ：
posted at 00:58:27
Dr. Chris Rackauckas @ChrisRackauckas
I just saw @j_v_66's recent paper on type-stability in #julialang and its relationship to compiler optimizations. This is quite a good read for anyone interested in why #julialang compilers can optimize so much in comparison to say #python or #Rlang.
arxiv.org/abs/2109.01950
posted at 00:58:27
@ddrerizayoi @HirokazuOHSAWA ガンマ分布で補正して得られる標準偏差の不偏推定量は、不偏分散の場合と違って、正規分布モデル内で__のみ__不偏な推定量になります。
正規分布の仮定がなくても不偏なものと正規分布モデル内でのみ不偏なものを区別せずに扱うのは非常にまずいので、要注意だと思いました。 twitter.com/genkuroki/stat...
タグ：
posted at 00:07:46
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 遠山啓が算数教育についての文章を発表し始めたのはもっと後なので、青木氏の方が圧倒的に先ですね
タグ：
posted at 00:06:39
