>構文解析までは数学だけど
>最適化とかは違うよね。
コンパイラの最適化ね。
最適化問題はもちろん数学。
違う話になるけど、
発見的手法から入ってる物がほとんどだよね。
実際は、後付的な証明として数学が使われたに過ぎない物が多い。
理論が人間より先に新しい手法を見つけた例ってあまり
聞かないな。