MarriageTheorem @MarriageTheorem
-
t_hayashiは形式化したい
1759pv 19 -
山寺宏一さん、クソアニメで新たな伝説を作ってしまう「前代未聞の神回(紙回)」 #ポプテピピック
298197pv 360 227 users 91
-
ドラマ「岸辺露伴は動かない」のジャンケン小僧回がジャンケンしてるだけなのに激アツ
138140pv 32 14 users 16 -
ドラマ「岸辺露伴は動かない」のホットサマー・マーサ回で思い知る杜王町のヤバい人間がもはや怪異
169047pv 70 32 users 46 -
集合論者RTだ!
1211pv 6 -
『数字であそぼ。』勉強会
3633pv 5 1 user -
遊んでやろうと言うのでお言葉に甘えて「掛け算の順序は暗記しないといけないのか?」と問い掛けてみた記録
10815pv 102 2 users -
「数学書を読んでる人を眺めるだけの漫画」が全然わからんけどめちゃくちゃわかる「内容わからんけど性癖に刺さる」
93638pv 105 487 users 69 -
2^κ-κ=2^κを示せ
15498pv 33 1 user -
黒の数学者の珈琲活動
5272pv 14 -
∀x¬(F(x)∈x) となるようなFを構成しなさい
2438pv 15 -
alg_dによる「選択公理⇒Zornの補題」の概略
12668pv 63 2 users -
いったい何ゴドゥーなんだ……
19299pv 58 5 users -
第1回 キン肉マンドラフト (ドラフト会議~決勝戦アーカイブ
85709pv 248 16 users 30 -
『からかい上手の高木さん』山本先生がちーちゃんとアイツのマンガを投稿してキュン死にする人々。西片ちゃんファンアートた..
45813pv 31 6 users 34 -
alg_d「全ての概念入門」
11392pv 29 1 user 80 -
前原 和壽著『圏論入門』実況
80830pv 138 38 users 58 -
「無限、ってめちゃいっぱいある」からの全単射: R→R^2
23165pv 27 3 users 1 -
κ+κ=κの証明、どこに選択公理を使っている?
7635pv 30 -
記述集合論的命題の強制可能性について
2169pv 14 -
数学基礎論を一人で勉強していて悩んだときの思い出
29510pv 71 28 users 3 -
2012年02月12日深夜の数学クラスタ
4238pv 11