takumi-kato
(takumi-kato)

利用開始日: 02/21/2017

2019

05/30

(Thu)

16:00〜

Attending

Blueqat Summit Tokyo 2019 Public

量子コンピュータ

Blueqat Summit Tokyo 2019

Yuichiro Minato Yuichiro Minato

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

139/210

2019

05/29

(Wed)

18:30〜

Waitlist

Machine Learning Casual Talks #10 Public

Machine Learning Casual Talks

Machine Learning Casual Talks #10

chezou chezou

東京都港区六本木6-10-1 六本木ヒルズ森タワー18F

118/64

2019

05/21

(Tue)

18:30〜

Lottery

RustのLT会 Shinjuku.rs #4 @FORCIA Public

FORCIA, Inc.

RustのLT会 Shinjuku.rs #4 @FORCIA

hattys2 hattys2

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

39/36

2019

05/16

(Thu)

20:00〜

Attending

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

Coq読書会

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

7shi 7shi

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

6/12

2019

05/09

(Thu)

18:30〜

Waitlist

2019

05/08

(Wed)

17:00〜

Organizing

Attending

2019

04/29

(Mon)

14:00〜

Attending

Coq勉強会 -  #1 Public

readcoqart

Coq勉強会 - #1

tmiya_ tmiya_

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

19

2019

04/24

(Wed)

19:30〜

Attending

Rust LT #4 Public

Rust

Rust LT #4

dorayakikun dorayakikun

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

92/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