jx7548469
(jx7548469)

Usage start date: 04/18/2016

数学とジャニーズが好きです。

Your Groups

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〜

Attending

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

Coq読書会

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

7shi 7shi

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

14/25

2019

01/12

（Sat）

14:00〜

Attending

Coq勉強会 - #54 Ended

coqtokyo

Coq勉強会 - #54

tmiya_ tmiya_ 他

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

12

2018

12/15

（Sat）

14:30〜

Attending

第82回 ProofCafe Ended

ProofCafe

第82回 ProofCafe

yoshihiro503 yoshihiro503 他

南区東又兵ヱ町5-1-10

4

2018

09/02

（Sun）

11:00〜

Attending

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_ 他

東京都中央区銀座5-15-1(南海東京ビル)

80/100

2018

06/10

（Sun）

14:00〜

Attending

Coq勉強会 - #49 Ended

coqtokyo

Coq勉強会 - #49

tmiya_ tmiya_ 他

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

10

2018

05/06

（Sun）

14:00〜

Attending

Coq勉強会 - #48 Ended

coqtokyo

Coq勉強会 - #48

tmiya_ tmiya_ 他

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

6

2018

01/13

（Sat）

14:00〜

Attending

Coq勉強会 - (SF読み進捗ダメです会議) - #45 Ended

coqtokyo

Coq勉強会 - (SF読み進捗ダメです会議) - #45

tmiya_ tmiya_ 他

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

6

2017

12/30

（Sat）

14:30〜

Attending

第71回 ProofCafe Ended

ProofCafe

第71回 ProofCafe

yoshihiro503 yoshihiro503 他

南区東又兵ヱ町5-1-10

5

2017

11/04

（Sat）

11:00〜

Attending

名古屋芋煮会2017 Ended

クッキングナゴヤ

名古屋芋煮会2017

keita44_f4 keita44_f4 他

愛知県名古屋市緑区大高町 北忠治山

36/45