yugawara
(yugawara)

利用開始日: 11/16/2014

2017

07/23

(Sun)

11:00〜

Attending

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

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

64/108

2017

07/01

(Sat)

14:00〜

Attending

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

readcoqart

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

tmiya_ tmiya_

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

5

2017

04/15

(Sat)

14:00〜

Attending

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

readcoqart

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

tmiya_ tmiya_

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

6

2017

03/19

(Sun)

13:00〜

Cancel

第40回Haskellもくもく会 @ 朝日ネット Ended

Haskellもくもく会

第40回Haskellもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

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

22/30

2017

03/05

(Sun)

14:00〜

Cancel

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

readcoqart

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

tmiya_ tmiya_

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

2

2017

02/04

(Sat)

14:00〜

Attending

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

readcoqart

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

tmiya_ tmiya_

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

4

2017

01/29

(Sun)

13:00〜

Attending

第38回Haskellもくもく会 @ 朝日ネット Ended

Haskellもくもく会

第38回Haskellもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

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

20/30

2017

01/07

(Sat)

14:00〜

Attending

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

readcoqart

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

tmiya_ tmiya_

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

7

2016

12/17

(Sat)

14:00〜

Attending

"Category theory in context" 読書会 #3 Ended

readcoqart

"Category theory in context" 読書会 #3

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

8/15

2016

11/26

(Sat)

14:00〜

Attending

"Category theory in context" 読書会 #2 Ended

readcoqart

"Category theory in context" 読書会 #2

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

7/15

yugawara

yugawaraさんのフォロワー 0

フォロワーはいません。