ヒューリスティックでない最適化なら自信ある