(10) 集合制約ソルバー
研究代表者：佐藤 洋祐 助教授
立命館大学理工学部情報学科
本調査研究は、これまでの研究で理論的にはほぼ解明されたブール多
項式環上のグレブナ基底の実装をおこない、集合制約ソルバーを推論エンジン
として利用する知識情報処理研究者など、広く一般に公開できるツールの提供
を目的とする。前年度作成した prolog 版のプログラムをもとにklic版を作成
し、さらにGDCC用の制約解消系も作成する。１０月ごろまでに基本設計と実装
に必要な計算機環境の整備を終了し、１１月から実装作業に入る。
- 研究の期間 平成８年６月１日より平成９年３月末日（昨年度から継続２年目）
- 研究従事者
- 佐藤 洋祐 立命館大学理工学部情報学科 助教授
- 高山 幸秀 立命館大学理工学部情報学科 助教授
- 俣野 正晴 立命館大学理工学部情報学科 修士２回生
- 赤沢 聡 立命館大学理工学部情報学科 修士２回生
- 吉松 宏真 立命館大学理工学部情報学科 修士２回生
- 三橋 元洋 立命館大学理工学部情報学科 学部４回生
- 奈良 隆之 立命館大学理工学部情報学科 学部４回生
- 吉尾 彰則 立命館大学理工学部情報学科 学部４回生
- 上野 貴康 立命館大学理工学部情報学科 学部４回生
- 中村 昌弘 立命館大学理工学部情報学科 学部４回生
www-admin@icot.or.jp