constraint
今期の研究会のテーマはconstraintデザインあたりにしてみようかと思う。
必ずしも論理プログラミングにはならないかもしれないけど。。。
- C++のconstraintライブラリ
- constraint言語
- マルチパラダイム
- constraint言語の上に論理プログラミングのライブラリを実装する
- Object-oriented
- すべてconstraintで記述できるか
- 手続的な記述を、ゴールのみの記述で書き換えられるか
- 外界との通信(I/O)
- 仮想環境の構築
- 自動並列計算
- with 量子コンピュータ
テーマはいろいろありそうだ。。。