13. DJ: Javaに基づく制約言語とシステムに関する研究

研究の概要：

　DJ は,制約プログラミングを可能としたJavaの拡張である。本研究は、平成９年度に作成したＤＪコンパイラをより丈夫で、使いやすいシステムにブラッシュアップすることを目的とする。そのために、次のことを行なう。

　　　　　　
1. ベースクラスとベース制約を拡張し、多くの問題を記述しやすくする。

   　　　　　　

2. 定理証明器のGUIと時間割り作成との二つの応用プログラムを構築し、ＤＪの実用性を示す。

   　　　　　　

3. ＤＪを使いやすくするために、例題集を作成し、OF-1Yを充実させる。

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

研究従事者：

藤田 憲悦　　 九州工業大学

兼子 聰介　　 九州工業大学

山内 講二　　 九州工業大学