C++, SML, MLが好きなプログラマ。 正しいコードを書く方法に興味がある。型好きが高じて最近の注目技術はVeriFast。
blog:http://d.hatena.ne.jp/eldesh/ twitter:htt...
