2009-02-26から1日間の記事一覧
さらにさらに「ラムダ計算、論理、圏」セミナーへの補足・応答: 今日中に他のエントリーにも一言二言。hiroki_fさん: 映画マトリックスは好きな映画の一つだ。 マトリックスの世界、ミニモイの国、ネバーランドなんかを妄想するのはいいよね、仮想の世界の…
さらに「ラムダ計算、論理、圏」セミナーへの補足・応答: rst76さんから絵を拝借:この絵で、E3, E2, E1が同じなの違うの? ということを何人もの人が気にしていたようですから補足しておきます。このようなことを確認したかったら、型の“次元解析”をすれば…
2月21日に、rst76さんからトラックバックをいただきました。 「技術者/プログラマのためのラムダ計算、論理、圏」セミナー第2回 だいぶ遅くなってしまいましたが、口語体、つうかオシャベリ体でお応えします。こりゃカリー化つうより、コンビネータの利用じ…