招待有り 2015年10月 半正定値錐制約をもつ半無限計画問題に対するパス追跡型アルゴリズム 第 27 回 RAMP シンポジウム 奥野貴之 記述言語 日本語 会議種別 シンポジウム・ワークショップ パネル(指名)