項書き換え系の授業でUnificationの実装という課題が出されました。一番基本となるアルゴリズムは既に提示されているので、それをそのままコード化すれば終了します。てか、もう終わったし。実質３０分かかってない。 ただ、入出力をどうしようかなあと考え…