jx7548469
(jx7548469)

利用開始日: 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

readcoqart

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

readcoqart

Coq勉強会 - #49

tmiya_ tmiya_

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

10

2018

05/06

(Sun)

14:00〜

Attending

Coq勉強会 -  #48 Ended

readcoqart

Coq勉強会 - #48

tmiya_ tmiya_

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

6

2018

01/13

(Sat)

14:00〜

Attending

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

readcoqart

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