jun0inoue
(jun0inoue)

利用開始日: 2015/03/14

パリの高等師範学校でポスドクやってる Haskeller。しかし研究では OCaml いじってます。代わりに Project Euler で Haskell 使いまくってて、気がついたら 400 問以上解いてました。時々飯テロします。

2016

09/25

(日)

11:00〜

申込済

Proof Summit 2016 終了

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60