2006-12-04 SSA最適化 コンパイラ って要は、代入のあるプログラムを代入のないプログラムに変換してから計算するっつうことなのね。 だから、SSA、静的単一代入形式いうんだね。関数型言語だと、代入は基本的にないから、簡単に最適化も出来るみたいな。