Unificationの実装

項書き換え系の授業でUnificationの実装という課題が出されました。一番基本となるアルゴリズムは既に提示されているので、それをそのままコード化すれば終了します。てか、もう終わったし。実質３０分かかってない。
ただ、入出力をどうしようかなあと考えています。なんか、先生が完成したプログラムをWEBに載せたいとか言ってたから、Javaで実装しようかなと思ったけど、せっかくだからflashで作ることにしました。だから、データの入出力をどうしようかなあと…
とりあえず、表示系だけでも何とかするか。