スマートコン @mr_konn
『真猿をのぞくとき、真猿もまたこちらをのぞいているのである.』
-
ゲーデルと思想まわりの用語について
40242pv 29 101 users -
「任意の実数の集合がLebesgue可測」 without Choice
6473pv 41 2 users -
Lebesgue可測な集合の階層を巡る探求
8600pv 30 4 users 3
-
(祝) Yesod 1.0 勉強会
2661pv 9