9. 集合制約ソルバーに関する研究

研究の概要：

　本研究は、集合ブール環上の多項式環におけるグレブナー基底の計算アルゴリズムをVon Neumann regular ring 上の多項式環におけるグレブナー基底に関する 提案者の理論に基づいた並列アルゴリズムに書き換えることを目的とする。このアルゴリズムは、ブール方程式の解法においてノントリビアルな並列計算の可能性をもたらす画期的な方法である。

研究の期間：平成１０年６月１６日から平成１１年１月３１日

研究従事者：

高山　幸秀　　立命館大学理工学部情報学科

三橋　元洋　　立命館大学大学院理工学研究科

天野　　淳　　立命館大学大学院理工学研究科

山崎　栄二　　立命館大学大学院理工学研究科

西川　寛人　　立命館大学理工学部情報学科

山口　　淳　　立命館大学理工学部情報学科