言語ゲーム

とあるエンジニアが嘘ばかり書く日記

Twitter: @propella

2011-09-30から1日間の記事一覧

アリゲーター・エッグでラムダ計算

計算の本質は何でしょうか?計算には、足し算引き算掛け算と色々あります。さらに因数分解や微分積分など、計算の種類を挙げればきりがありません。しかし、いくら沢山のルールを沢山覚えても、それで計算の本質を分かった事はなりません。ここで視点を逆転…