数理最適化×AI。物流・製造のスケジューリングを最適化。