airazami
(airazami)

Usage start date: 04/23/2019

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

2019

07/29

(Mon)

19:30〜

Attending

2019

05/27

(Mon)

19:30〜

Attending

2019

05/26

(Sun)

13:00〜

Bookmarked

Cancel

effect system勉強会 Ended

effect system勉強会

びしょ〜じょ びしょ〜じょ

東京都中央区日本橋2-7-1 東京日本橋タワー 27階

67/70

2019

05/16

(Thu)

20:00〜

Attending

『Coq/SSReflect/MathCompによる定理証明』読書会(3) Ended

Coq読書会

『Coq/SSReflect/MathCompによる定理証明』読書会(3)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

13/25

airazami