eldesh
(eldesh)

利用開始日: 2013/05/13

アレゲを目指して転職活動中

2017

04/23

(日)

14:00〜

申込済

"ベーシック圏論" 読書会 #7 終了

readcoqart

"ベーシック圏論" 読書会 #7

tmiya_ tmiya_

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

8/20

2017

03/04

(土)

13:00〜

申込済

第1回『Haskellによる関数プログラミングの思考法』読書会 終了

ヘイヘイHaskell騎士団

第1回『Haskellによる関数プログラミングの思考法』読書会

nobsun nobsun

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

42/50

2017

02/18

(土)

14:00〜

申込済

"Category theory in context" 読書会 #5 終了

readcoqart

"Category theory in context" 読書会 #5

tmiya_ tmiya_

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

4/20

2017

02/05

(日)

12:45〜

主催

申込済

#静的コード解析の会 第1回 終了

Metasepi

#静的コード解析の会 第1回

masterq masterq

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

12/15

2017

02/04

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

4

2017

01/21

(土)

14:00〜

申込済

"Category theory in context" 読書会 #4 終了

readcoqart

"Category theory in context" 読書会 #4

tmiya_ tmiya_

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

8/20

2017

01/07

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

7

2016

12/03

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

4

2016

11/26

(土)

14:00〜

申込済

"Category theory in context" 読書会 #2 終了

readcoqart

"Category theory in context" 読書会 #2

tmiya_ tmiya_

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

7/15