2009-03-04 alpha-conversion α変換。ひげぽんさんの2年前くらいの日記経由で、http://min-caml.sourceforge.net/ MinCaml コンパイラ にたどりつく。 α変換自体は何となく実装できたつもり。式をたどっていって奇麗に変換しきるととてもうれしい。