グラフ書き換えについては… unificationを実装したほうが早かったんじゃないか… やばい、とりあえず適当に実装したら、やばいことになり始めた…

だんだん、コンパイラからインタプリタと化してきたぞ… なんでソースプログラムを実行するためのコードを書き始めてるんだ…

名前の変換は、親の名前空間にまで影響を及ぼすのか？ 及ぼさないのか？ …よくわからんぞ。とりあえず、安全サイドに倒して、親の名前空間は無視するか。 しかし、変換変換で、これって、prologで書いたほうが正解だったんじゃねえかと思う今日この頃… なん…

とりあえず、構文解析終了。 で、徹夜明けなので、意味解析は今夜にするか。 とりあえず、下準備はしてあるから、あとは名前空間の扱いと、名前変換と、いくつかの正規化を行えば、意味解析は完了のはず！！