OKU_K
(OKU_K)

Usage start date: 10/31/2013

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

Your Groups

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 東京日本橋タワー ２７階

67/70

2019

03/30

（Sat）

14:00〜

Attending

Gordon Plotkin先生に学ぶAlgebraic Effect Ended

Gordon Plotkin先生に学ぶAlgebraic Effect

κeen κeen 他

東京都新宿区新宿４丁目１−６(JR新宿ミライナタワー13階)

37/42

2018

11/03

（Sat）

11:30〜

Attending

XX for ML 論文読み会 #1 Ended

機械学習工学研究会（MLSE）

XX for ML 論文読み会 #1

bonotake bonotake 他

東京都千代田区一ツ橋２－１－２

106/61

2018

11/03

（Sat）

10:00〜

Lottery

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

機械学習工学研究会（MLSE）

XX for ML 論文読み会 #1

bonotake bonotake 他

東京都 千代田区一ツ橋２丁目１−２

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