>>205
categorical abstract machineですか。
なにやらえらい難しそうですねえ。
いつも思うんだけど、citeseerなんかを眺めていると、
実装レベルとは関係無しに理論的にはどんどん進んで
いるんだなあと実感します。頭のいい人は凄いね、ホント。

>>207
分かってたらこんなアホなこときかないって

>>208
Lispマシンというのは実はUNIXよりもあまりにも技術的に進んで
いたがために、廃れてしまったのですかねえ。よく知らないですが。
まあUNIXならどんなヘタレでも使えるからね。こういうのも悪くないね。