2006-11-12 5mmほど前進 単一化が止まらないのは、あほなバグを私が実装にしこんでいたというわけではなく、Tofteの単一化アルゴリズムが再帰型を考慮していないことが原因だった。 まあ、それにしても見た瞬間気付けよ、という感じですけど。