理論的な最適解の結果中絶したのか