■

Unificationを高速化するため命令的に書き直しています．こういう作業をすると，やっぱりMLは関数型言語なんだなぁと思います．いくら私が関数的な書き方に慣れているとはいっても，RubyやVBだともっとサクサク書けるのに，すげー苦労してるわけ．