数学×AIで社会課題を解決。物流・製造・インフラ向けの最適化ソリューション。