C++, SML, MLが好きなプログラマ。 正しいコードを書く方法に興味がある。型好きが高じて最近の注目技術はVeriFast。
blog:http://d.hatena.ne.jp/eldesh/ twitter:https://twitter.com/eldesh/
Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade