C++, SML, MLが好きなプログラマ。
正しいコードを書く方法に興味がある。型好きが高じて最近の注目技術はVeriFast。

blog:http://d.hatena.ne.jp/eldesh/
twitter:https://twitter.com/eldesh/

Decks

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade