OKU_K
(OKU_K)

利用開始日: 2013/10/31

熊本/京都/Coq/OCaml/型理論/

所属グループ

2018

09/02

（日）

11:00〜

申込済

Proof Summit 2018 開催前

Proof Summit

Proof Summit 2018

tmiya_ tmiya_ 他

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

83/100人

2017

07/23

（日）

11:00〜

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_ 他

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

64/108人

2016

09/25

（日）

11:00〜

ブクマ済

申込済

Proof Summit 2016 終了

Proof Summit

Proof Summit 2016

tmiya_ tmiya_ 他

35.027611, 135.783778

39/60人

2013

12/01

（日）

00:00〜

申込済

進捗Advent Calendar 2013 終了

進捗Advent Calendar 2013

chiguri chiguri

(場所未定)

24/24人