実時間動作の自立ロボット制御のための混合整数2次計画問題ソルバープロセッサ