notogawa
(notogawa)

利用開始日: 06/02/2014

Agda つらい

2018

11/10

(Sat)

13:00〜

Cancel

コンパイラ勉強会 Ended

コンパイラ勉強会

akmaru akmaru

東京都品川区大崎1-11-1 ゲートシティ大崎ウエストタワー18階

79/65

2018

09/02

(Sun)

11:00〜

Attending

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

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

80/100

2018

08/24

(Fri)

18:30〜

Attending

2018

05/17

(Thu)

2018

05/17

(Thu)

14:00〜

Attending

機械学習工学研究会 キックオフシンポジウム Ended

機械学習工学研究会(MLSE)

機械学習工学研究会 キックオフシンポジウム

bonotake bonotake

東京都千代田区一ツ橋 2-1-2 学術総合センター内

661/625

2017

11/26

(Sun)

13:00〜

Attending

2017

07/23

(Sun)

11:00〜

Attending

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

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

64/108

2017

05/25

(Thu)

19:00〜

Attending

Rust入門者向けハンズオン #3 Ended

Rust

Rust入門者向けハンズオン #3

n0bisuke n0bisuke

東京都渋谷区渋谷2-21-1 渋谷ヒカリエ17F

51/57

2017

05/21

(Sun)

13:00〜

Attending

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

Haskell-jp

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

Yuji Yamamoto Yuji Yamamoto

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

22/30