awat

0 Contribution

/ Following users

主な使用言語:Haskell, ruby, C++

I'm interested in Mathematics,Formal Methods,Programming Language(Clojure)

Rubyのパパ

Imagine Cup 2008 Algorithm 3rd place. TopCoder Open 2010 Marathon 2nd place.

徳丸本の中の人です

ゆるスタックエンジニア

Coqなどによるプログラムの正しさの検証・証明に興味があります。

Haskellプログラマです。