msakai
(msakai)

Usage start date: 04/28/2015

『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。http://t.co/8EmH3SR3FC や http://t.co/vlB20Uo4qE などにも書いています。 Ingress(緑)はmsakai。

2018

02/27

(Tue)

19:00〜

Cancel

2017

07/23

(Sun)

11:00〜

Attending

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

64/108

2016

09/17

(Sat)

10:00〜

Haskell Day 2016 Ended

Haskell Day 2016

kazu_yamamoto kazu_yamamoto

東京都千代田区富士見2-10-2 飯田橋グラン・ブルーム

138/160