Tag Archives: constraint

Permalink to single post

constraint

今期の研究会のテーマはconstraintデザインあたりにしてみようかと思う。

必ずしも論理プログラミングにはならないかもしれないけど。。。

  • C++のconstraintライブラリ
  • constraint言語
  • マルチパラダイム
    • constraint言語の上に論理プログラミングのライブラリを実装する
    • Object-oriented
    • すべてconstraintで記述できるか
      • 手続的な記述を、ゴールのみの記述で書き換えられるか
      • 外界との通信(I/O)
      • 仮想環境の構築
  • 自動並列計算
  • with 量子コンピュータ

テーマはいろいろありそうだ。。。