mzp @mzp
プログラムの正しさの検証・証明に興味があります。サンダルが好きです。開発者向けチャットツール http://bit.ly/asakusasat つくってます。
-
@izm が趣味プログラミングを始めたキッカケ
6185pv 96 4 users 2 -
lispの瘴気
18953pv 178 41 users 20 -
コンストラクタでの例外はあり?なし?
28760pv 46 29 users
-
関数型言語でのデザイン手法
31837pv 102 110 users 10