コンピュータにも解けてしまうと数学的な価値がないことになる?
んなアホな