研究、スライド作成、丁寧な生活

私は全然ツイート見えてるのであれなんだけど、みんな見れてるか知らないが一応アカウントは Instagram: _impredicativity discord: alwe_logic mathtodon: [email protected] です。Lineはあったことある人なら訊いてくれれば多分だいたい教えます。

層・圏・美茶

評価をがんばって改善する人「オーダーを……殴打！w」

ダマスカス、騙すカス

「アルジャーノンに花束を」はアルジャーノンとナイジャーノンとヘルメス・トリスメギストスとチャーチルとゴードンによって開かれるバトル・ロワイヤルを舞台にした高次元ノンフィクションバトルサスペンス小説で、トンチキなあらすじとは裏腹に繊細な背景描写で都市SFとしての評価も高いのだけれども

アルジャーノンが、「アル、じゃあの！」っていってアルに別れを告げるところは涙無しには読み進められなかった

double ketってなんなんですか

量子論(？)とかいうやつの直感が全くなくて困っている

レポート多すぎてレポ多レポ太郎になった

型に寄りそうオタクの作法……

Cantorの対関数、N^2を各lに対してl=x+yとなるような点を数え上げていくような関数で、x+y≤lとなるような点全体は等差数列Σ_{i≤l+1}iで計算できることを考えると、復元できる

アルジャーノンの、るじゃの部分

例えば無限基数κに対して2^κ×2=2^κは選択公理なしでは示せないが、2^{2^κ}×2=2^{2^κ}は選択公理なしでも示せたりする

ZFCの正しい読み方は「ズィーエフシー」だととある集いで教わりました！ゼットエフシーと言ってる人が多い気がしたので一応

溶けちゃってても、いいよね(研究室へのお土産のチョコレート)