プログラムの正しさの検証・証明に興味があります。サンダルが好きです。開発者向けチャットツール http://bit.ly/asakusasat つくってます。
http://d.hatena.ne.jp/mzp/
フォローする