bonotake
(bonotake)

利用開始日: 2017/05/03

Company researcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student

2017

08/26

(土)

13:00〜

申込済

ICST 2017 まるわかりDay! 開催前

SIGSTJ

ICST 2017 まるわかりDay!

かわにし かわにし

東京都新宿区早稲田町27

39/130

2017

07/30

(日)

13:00〜

キャンセル

第3回Haskell-jpもくもく会 @ 朝日ネット 終了

Haskell-jp

第3回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

104-0061 東京都中央区銀座4-12-15

20/30

2017

07/23

(日)

11:00〜

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区築地1-13-1(銀座松竹スクエア13F)

64/108

2017

06/18

(日)

13:00〜

申込済

第2回Haskell-jpもくもく会 @ 朝日ネット 終了

Haskell-jp

第2回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

104-0061 東京都中央区銀座4-12-15

22/30

2017

05/21

(日)

13:00〜

申込済

第1回Haskell-jpもくもく会 @ 朝日ネット 終了

Haskell-jp

第1回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

104-0061 東京都中央区銀座4-12-15

22/30