15218 pv
29
13 users
1
mzp
@mzp
プログラムの正しさの検証・証明に興味があります。サンダルが好きです。開発者向けチャットツール http://bit.ly/asakusasat つくってます。
-
「なんでreturnするとき一時変数使うの?」まとめ
15218 pv
29
13 users
1
-
リリカル合宿As in 京都
2456 pv
7
1 user
-
JSX v.s. HaXeベンチマーク戦争
12602 pv
61
41 users
11
-
のびおさん名言リスト
1335 pv
-
ProofCafe 第1回
3268 pv
1
3 users
-
Haskellで副作用が使えることをなんて説明すればいいの?
4270 pv
1
5 users
9