8rq
(8rq)

利用開始日: 08/02/2014

名古屋在住の大学院生。
サークル活動で鯖管してた経歴あり。好きなOSは FreeBSD 、普段使いはDebian。最近は関数型言語を鋭意勉強中

Your Groups

2016

09/25

(Sun)

11:00〜

Cancel

Proof Summit 2016 Ended

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60