ぷらす🥢🥢🥢🥢🥢 retweeted
看護研究への批判までやり始める医者がいるみたいだけど
立場が変わって、医者が三十前くらいになってリアルタイムPCRしかできないオーベンに細胞株に液体ふりかけて毎週出鱈目な遺伝子の発現報告してるのも
『そんなゴミ研究やめちまえ！金と時間の無駄』と言われたら
顔真っ赤にして、
医者は命救ってて時間がないとか、
生物学はまだ素人だからとか自己擁護しそうで人間の底の浅さを感じる
限られたリソースと能力でまず始める一歩をバカにしてんじゃないよ、と私は言いたいだけ
ぷらす🥢🥢🥢🥢🥢 retweeted
Everyone’s complaining about this other PCB service or whatever but Backplane, the default for agentic CAD, is free and open source forever. I’d try that first. backplaneworks.com
ぷらす🥢🥢🥢🥢🥢 retweeted
仮説検定においてパラメトリック・ノンパラメトリックの選択をするために、正規性の事前検定を行うべきではない、ということが統計学文献における一般的な合意 (Ruxton et al., 2015)
doi.org/10.1016/j.anbehav.20…
ぷらす🥢🥢🥢🥢🥢 retweeted
Japan, u did it right. 🇯🇵 Udon carbonara is next level. Italian approved 🤌🇮🇹 #udoncarbonara
ぷらす🥢🥢🥢🥢🥢 retweeted
AI出力を浴びすぎて、それまで人間がほとんど使ってこなかったAI出力特有の表現を違和感なく使ってる人たちのことを「distilled people（蒸溜された人々）」と呼び、AIネイティブの新人類として位置づけられた。
（2070年版 世界史II 56ページより抜粋）
ぷらす🥢🥢🥢🥢🥢 retweeted
ルベーグ積分の最大の特徴は、p乗可積分な関数空間 L^p が完備になることです。
完備だと稠密な部分空間で示した性質をL^p全体に延長できます。
応用例として、フーリエ変換の L² への延長、偏微分方程式の弱解の存在、確率解析での伊藤の公式も完備性から示され、解析学の全ての基礎となる性質です！
ぷらす🥢🥢🥢🥢🥢 retweeted
言われてみれば、わざわざ化粧して生前の服装に整えられた遺体をみんなで見た後オーブンで骨になるまで焼かれて、その骨を遺族自ら拾って死亡確認するプロセス、他の先進国からすると目を剝くレベルで生々しいな……
ぷらす🥢🥢🥢🥢🥢 retweeted
仮定を鍵、結論を扉と見立てて、ダンジョン探索が「証明」になっていくブラウザゲーム「Proof Dungeon: 自然演繹の迷宮」を作りました。パズル感覚で論理学や自然演繹を学べるブラウザゲームです。日本語と英語に対応しています。
kihara-logic.github.io/proof…
ぷらす🥢🥢🥢🥢🥢 retweeted
「どうやるんですか？」
「ギリギリ矛盾する理論を持ってきて、ZFの中でのそれの interpretation を構成すればいいんです」
「モデルを作る訳ですね」
男は軽蔑したように応えた:
「無矛盾性の話は構文論に属するから、そういう意味論を持ち出さなくてもいい訳です」
ぷらす🥢🥢🥢🥢🥢 retweeted
「こんなに計算しても循環しないならさすがに循環しないだろ」って考えも意外と馬鹿にできません。
例えば、満たす代数方程式が分かっている代数的数は特定の有限桁の範囲で循環しなければ無理数だと厳密に証明できます。
tan1°はモニックℤ係数多項式の根なので実は小数第2位の時点で既に無理数確定
