eldesh
(eldesh)

利用開始日: 2013/05/13

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

2018

05/06

(日)

14:00〜

主催

申込済

Coq勉強会 -  #48 開催前

readcoqart

Coq勉強会 - #48

tmiya_ tmiya_

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

3

2018

03/10

(土)

14:00〜

主催

申込済

Coq勉強会 -  #47 終了

readcoqart

Coq勉強会 - #47

tmiya_ tmiya_

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

7

2018

02/10

(土)

14:00〜

主催

申込済

Coq勉強会 -  #46 終了

readcoqart

Coq勉強会 - #46

tmiya_ tmiya_

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

4

2018

01/20

(土)

12:45〜

主催

申込済

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

Metasepi

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

masterq masterq

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

12/18

2018

01/13

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

6

2017

12/09

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

3

2017

12/03

(日)

13:00〜

申込済

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

ヘイヘイHaskell騎士団

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

nobsun nobsun

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

8/50

2017

11/08

(水)

19:30〜

申込済

Idrisによる超型安全プログラミング入門 終了

D-Cube

Idrisによる超型安全プログラミング入門

dcubeio dcubeio

東京都渋谷区渋谷2-15-1 渋谷クロスタワー 12F

16/18

2017

11/04

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

4

2017

10/01

(日)

13:00〜

キャンセル

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

ヘイヘイHaskell騎士団

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

nobsun nobsun

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

13/50