Masahiro Sakai @masahiro_sakai
『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。http://msakai.jp/d/ や http://google.com/+MasahiroSakai などにも書いています。 Ingress(緑)はmsakai。
-
Proof Summit 2017
4772pv 18 1 -
正格性解析 (Strictness Analysis) への反応
3039pv 6 3 users -
Haskellで計算機代数勉強会
4322pv 10 1 user
-
Proof Summit 2012
5570pv 15 2 users -
Coqで圏論の会
4036pv 9