mzp @mzp
プログラムの正しさの検証・証明に興味があります。サンダルが好きです。開発者向けチャットツール http://bit.ly/asakusasat つくってます。
-
何で「研究したくない人」が大学院に来ているのか,まとめ
247083pv 447 208 users 4 -
関数型言語でのデザイン手法
31853pv 102 110 users 10
-
クライアント作者さんは大変だなぁ
47996pv 141 278 users -
ProofCafe 第1回
3429pv 1 3 users