saikyouyakist
(saikyouyakist)

Usage start date: 03/28/2019

saikyouyakist の秘密はね 教えてあげないよー ♫

Your Groups

2019

09/05

(Thu)

20:00〜

Attending

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

Coq読書会

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

7shi 7shi

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

8/10

2019

08/22

(Thu)

20:00〜

Attending

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

Coq読書会

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

7shi 7shi

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

8/12

2019

07/25

(Thu)

20:00〜

Attending

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

Coq読書会

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

7shi 7shi

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

7/8

2019

07/11

(Thu)

20:00〜

Attending

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

Coq読書会

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

7shi 7shi

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

9/12

2019

06/04

(Tue)

20:00〜

Attending

ゼロから作るDeep Learning(理論と実装)輪読会 #4 Ended

機械学習入門勉強会

ゼロから作るDeep Learning(理論と実装)輪読会 #4

tikidunpon tikidunpon

東京都千代田区丸の内2-7-3 (東京ビルディング)

10/15

2019

05/26

(Sun)

13:00〜

Attending

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

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

2019

04/04

(Thu)

20:00〜

Cancel

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

Coq読書会

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

7shi 7shi

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

14/25

saikyouyakist