数理計画コアテクノロジー