頭から腹 -- おなかにくる風邪のようだ。 風邪引いて、だが死にそうでないときは、バカなことをしたくなる。何故だ？

Till Mossakowskiの"Heterogeneous Theories and the Heterogeneous Tool Set"によると、S. Alagi って人が"Institutions: integrating objects, XML, and databases"なる論文を書いているらしいのだが、インターネット上では見つからない、残念。

「もっとかしこいカリー化」で紹介した、nanto_viさん、kilreyさん、KENZさんのコードはいずれも、ラムダ式によるカリー化の表現と正しく対応しています。最初からラムダ計算で考えればよかった。「なんでそんなことに気が付かないんだ？」と言われそうです…