スマートコン @mr_konn
『真猿をのぞくとき、真猿もまたこちらをのぞいているのである.』
-
「任意の実数の集合がLebesgue可測」 without Choice
6479pv 41 2 users -
第-20回 電気・水追加オフ
8197pv 14 -
ものすごいカットの仕方だ
5505pv 63 1 user 2
-
(祝) Yesod 1.0 勉強会
2666pv 9 -
こんさんの選択公理オフ実況
3311pv 5 1 user -
「〜でも…するレベル」数学者/哲学者編
32820pv 326 41 users 2