-
TaPLよむ(ばいばい、Dana Scott)
2713pv 3 -
Proof Summit 2018 のまとめです
2204pv 2 -
深夜のオブジェクト指向と関数型がうんたらかんたら
3232pv 17 2 users
-
構成主義と実無限
9493pv 18 4 users 1 -
Proof Summit 2012
5570pv 15 2 users