最適化の結果は多分定数になるだろうが、文法的に定数式である必要がある場所
（配列のサイズとか）には使えないんじゃないか？