takumi-kato
(takumi-kato)

利用開始日: 02/21/2017

2019

07/03

(Wed)

17:00〜

Organizing

Attending

2019

06/30

(Sun)

19:00〜

Cancel

2019

06/30

(Sun)

13:00〜

Cancel

2019

06/24

(Mon)

17:00〜

Organizing

Attending

2019

06/23

(Sun)

14:00〜

Attending

Coq勉強会 -  #3 Ended

readcoqart

Coq勉強会 - #3

tmiya_ tmiya_

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

10

2019

06/19

(Wed)

17:00〜

Organizing

Attending

2019

06/13

(Thu)

20:00〜

Attending

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

Coq読書会

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

7shi 7shi

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

11/12

2019

06/08

(Sat)

13:00〜

Attending

量子情報勉強会 |67> Ended

量子情報勉強会

量子情報勉強会 |67>

takeru_utsugi takeru_utsugi

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

8/12

2019

06/05

(Wed)

17:00〜

Organizing

Attending

2019

05/30

(Thu)

16:00〜

Attending

Blueqat Summit Tokyo 2019 Ended

量子コンピュータ

Blueqat Summit Tokyo 2019

Yuichiro Minato Yuichiro Minato

東京都港区南青山3-8-38 南青山東急ビル 1F

126/209