takumi-kato
(takumi-kato)

利用開始日: 02/21/2017

2019

05/20

(Mon)

19:30〜

Attending

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

2019

05/11

(Sat)

13:00〜

Attending

量子情報勉強会 |66> Ended

量子情報勉強会

量子情報勉強会 |66>

takeru_utsugi takeru_utsugi

〒101-0032 東京都千代田区岩本町2丁目10−9

9/12

2019

05/09

(Thu)

18:30〜

Waitlist

2019

05/08

(Wed)

17:00〜

Organizing

Attending

2019

05/07

(Tue)

19:00〜

Cancel

2019

04/29

(Mon)

14:00〜

Attending

Coq勉強会 -  #1 Ended

readcoqart

Coq勉強会 - #1

tmiya_ tmiya_

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

23

2019

04/24

(Wed)

19:30〜

Attending

Rust LT #4 Ended

Rust

Rust LT #4

dorayakikun dorayakikun

東京都渋谷区渋谷2-21-1 渋谷ヒカリエ17F

75/89

2019

04/18

(Thu)

20:00〜

Attending

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

Coq読書会

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

7shi 7shi

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

10/25