Daisuke NISHITANI @cho_tekitou
Aichi Japan Interesting:Haskell,OCaml,Coq
-
東ロボくんの生みの親《新井紀子》教授の間違いが明らかになった日。人間は人工知能に読解力でも負けつつある
154094pv 1966 505 users 1236 -
集合論のオススメ教科書からゲーデルTLまで
26202pv 27 36 users -
収束列が取れるか。単射と全射から全単射が作れるか。
11798pv 64 4 users
-
代数学の教科書
25402pv 4 5 users 1 -
takey_y さんの「数学書の読み方」
64030pv 303 272 users 246 -
圏論、Haskell、あるいは圏論部。
20434pv 70 23 users 2