airazami
(airazami)

利用開始日: 04/23/2019

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

airazamiさんのフォロワー 0

フォロワーはいません。