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