代数的変形による効率の向上を当てにして(予測して)プログラミングできるのか 自動的な最適化(ヒューリスティックを含んでもよい)の結果がプログラマによる最適化(問題を「理解」して解く)の結果よりも優れた効率のプログラムを生むことがあり得るが、そのよ…