potix2

597 Contribution

/ Following users

好きなラーメン二郎は新小金井街道店です. Rubyも好きです.

ほげ

I make softwares.

最近は主にrailsです!

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

戀塚昭彦

主にサーバぺしぺししてるエンジニアです!

Haskellプログラマです。

Hello, World.

PHPとか