商船三井「数理最適化」で配船計画 数百万通りから自動車船の運用最適解を導き出す