mzp @mzp

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

http://d.hatena.ne.jp/mzp/

フォローする

思い出 プログラミング
1

いま話題のタグ

猫6052 男女430 反AI49 労働基準法237 羽生善治152 将棋1133 飯山陽71 ブリリアントジャーク2 親知らず23 さかなクン76 名探偵コナン484 観光1161 ダイエット917 フォント483 モータースポーツ395