定数値の最適化やら誘導変数の最適化やらはCPUが何だろうができると思うが。