読者です 読者をやめる 読者になる 読者になる

5mmほど前進

単一化が止まらないのは、あほなバグを私が実装にしこんでいたというわけではなく、Tofteの単一化アルゴリズム再帰型を考慮していないことが原因だった。



まあ、それにしても見た瞬間気付けよ、という感じですけど。