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