CASENumerical Optimizer 汎用数理計画法パッケージ