数理計画とアルゴリズム2024前期