ksknac
(ksknac)

Usage start date: 06/10/2015

Tree Transducers/Functional Programming/Coq/OCaml/Juggling/Code Golf;

94-97 NS1→MS (UT);
97-03 RIMS/KABA (KU);
03-08 MIST/IPL (UT);
08- IE/CS (UEC)

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〜

Cancel

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

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

64/108

2016

09/25

(Sun)

11:00〜

Attending

Proof Summit 2016 Ended

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

2015

09/12

(Sat)

13:00〜

Attending

Proof Summit 2015 Ended

Proof Summit

Proof Summit 2015

tmiya_ tmiya_

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

56/72