OKU_K
(OKU_K)

利用開始日: 10/31/2013

熊本/京都/神奈川/Coq/SSReflect/

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

2019

05/26

(Sun)

13:00〜

Attending

effect system勉強会 Ended

effect system勉強会

びしょ〜じょ びしょ〜じょ

東京都中央区日本橋2-7-1 東京日本橋タワー 27階

67/70

2019

03/30

(Sat)

14:00〜

Attending

Gordon Plotkin先生に学ぶAlgebraic Effect Ended

Gordon Plotkin先生に学ぶAlgebraic Effect

κeen κeen

東京都新宿区新宿4丁目1−6(JR新宿ミライナタワー13階)

37/42

2018

11/03

(Sat)

11:30〜

Attending

XX for ML 論文読み会 #1 Ended

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

XX for ML 論文読み会 #1

bonotake bonotake

東京都千代田区一ツ橋2-1-2

106/61

2018

11/03

(Sat)

10:00〜

Lottery

XX for ML 論文読み会 #1 中止

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

XX for ML 論文読み会 #1

bonotake bonotake

東京都 千代田区一ツ橋2丁目1−2

117/66

2018

09/02

(Sun)

11:00〜

Attending

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

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

80/100

2017

07/23

(Sun)

11:00〜

Attending

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

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

64/108

2016

09/25

(Sun)

11:00〜

Bookmarked

Attending

Proof Summit 2016 Ended

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

2013

12/01

(Sun)

00:00〜

Attending

進捗Advent Calendar 2013 Ended

進捗Advent Calendar 2013

chiguri chiguri

(場所未定)

24/24