2006-10-31 combinatory logic 研究開発 diary コンビネータ論理を色々といじった。 分かった事:コンビネータ論理をそれなりにマトモに扱うには遅延評価が必須(多分)。 やりなおしだ……。