Masahiro Sakai @masahiro_sakai
『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。http://msakai.jp/d/ や http://google.com/+MasahiroSakai などにも書いています。 Ingress(緑)はmsakai。
-
Proof Summit 2017
4778pv 18 1 -
Proof Summit 2012
5582pv 15 2 users