jx7548469

jx7548469

(jx7548469)
Usage start date: 04/18/2016

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

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

よんた よんた

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

36/45

jx7548469