次世代知能ロボット制御のための混合整数2次計画問題ソルバープロセッサ