アルゴリズムスレはあるのに数理最適化スレはないんだな