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

研究のテーマ：

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

研究代表者：

周　能 法

九州工業大学 助教授　　

研究の概要：

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

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

   　　　　　　

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

   　　　　　　

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

研究従事者：

藤田 憲悦　　 九州工業大学

兼子 聰介　　 九州工業大学

山内 講二　　 九州工業大学