msakai
(msakai)

Usage start date: 04/28/2015

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

2022

08/17

(Wed)

19:00〜

Attending

Gotanda.hs #2 @HERP Ended

Gotanda.hs #2 @HERP

herp_inc herp_inc

オンライン

65/83

2021

11/26

(Fri)

2021

11/07

(Sun)

13:00〜

Attending

Haskell Day 2021 Ended

Haskell-jp

Haskell Day 2021

YAMAMOTO Yuji YAMAMOTO Yuji

オンライン

258

2021

07/05

(Mon)

19:00〜

Attending

2020

12/19

(Sat)

2020

12/02

(Wed)

2020

04/17

(Fri)

2019

09/29

(Sun)

11:00〜

Cancel

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

66/69

2019

03/30

(Sat)

14:00〜

Attending

Gordon Plotkin先生に学ぶAlgebraic Effect Ended

Gordon Plotkin先生に学ぶAlgebraic Effect

κeen κeen

東京都新宿区新宿4丁目1−6(JR新宿ミライナタワー13階)

37/42

2018

11/20

(Tue)

19:30〜

Attending