[Memo] 最近の疑問

• 代数的変形による効率の向上を当てにして(予測して)プログラミングできるのか
• 自動的な最適化(ヒューリスティックを含んでもよい)の結果がプログラマによる最適化(問題を「理解」して解く)の結果よりも優れた効率のプログラムを生むことがあり得るが、そのようなプログラミングは「統制」できるだろうか。
  • メンテナンス(最適化後のコードはわかりにくく、最適化前は速度のオーダーが違う)
  • 修正する度に予測不可能なパフォーマンスの変動がありうる