ユニフィケーションアルゴリズム

日 [ゆにふぃけーしょんあるごりずむ] [yunifike-syonarugorizumu]