8rq

8rq

(8rq)
Usage start date: 08/02/2014

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

2021

/

11/24

(Wed)19:30〜

2020

/

10/02

(Fri)19:00〜

Cancel

2016

/

09/25

(Sun)11:00〜

Cancel

Proof Summit 2016 Ended

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

8rq

8rq's followees 0

No followers.

8rq's followers 0

No followers