lion
(2015fuj)

利用開始日: 03/15/2016

2019

04/29

(Mon)

14:00〜

Organizing

Attending

Coq勉強会 -  #1 Public

readcoqart

Coq勉強会 - #1

tmiya_ tmiya_

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

19

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

03/21

(Thu)

14:00〜

Organizing

Attending

Coq勉強会 -  #56 Ended

readcoqart

Coq勉強会 - #56

tmiya_ tmiya_

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

20

2019

02/10

(Sun)

14:00〜

Organizing

Attending

Coq勉強会 -  #55 Ended

readcoqart

Coq勉強会 - #55

tmiya_ tmiya_

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

12

2019

01/12

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #54 Ended

readcoqart

Coq勉強会 - #54

tmiya_ tmiya_

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

12

2018

12/22

(Sat)

19:30〜

Attending

NGK2018B 夜の部(大忘年会) Ended

NGK2018B

NGK2018B 夜の部(大忘年会)

mogami mogami

愛知県名古屋市中村区椿町10-5 サン・タウン名駅 椿 本館6F

106/114

2018

12/22

(Sat)

13:45〜

Attending

NGK2018B 昼の部(LT大会) Ended

NGK2018B

NGK2018B 昼の部(LT大会)

mogami mogami

愛知県名古屋市中村区黄金通1丁目18

166/185

2018

12/01

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #53 Ended

readcoqart

Coq勉強会 - #53

tmiya_ tmiya_

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

5

2018

11/03

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #52 Ended

readcoqart

Coq勉強会 - #52

tmiya_ tmiya_

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

6

2018

09/17

(Mon)

14:00〜

Organizing

Attending

Coq勉強会 -  #51 Ended

readcoqart

Coq勉強会 - #51

tmiya_ tmiya_

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

10