社会インフラシステムの世界展開を支える 数理最適化技術