2017年5月 不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の効率化 数式処理 岩根秀直, 深作亮也, 佐藤洋祐 巻 23 号 2 開始ページ 120 終了ページ 123 記述言語 日本語 掲載種別 エクスポート BibTeX RIS