mzp @mzp
プログラムの正しさの検証・証明に興味があります。サンダルが好きです。開発者向けチャットツール http://bit.ly/asakusasat つくってます。
-
「なんでreturnするとき一時変数使うの?」まとめ
16048pv 29 13 users 1 -
リリカル合宿As in 京都
2534pv 7 1 user -
JSX v.s. HaXeベンチマーク戦争
12862pv 61 41 users 11