last update: 26 October 2007

関連分野

TOC(Theory of Constraint：制約理論)

• Avraham Y. Goldratt Institute

IDEF

• Toward a Method for Business Constraint Discovery -- IDEF9

言語学・自然言語処理

• Constraint Grammer
• Glue Semantics(Constraint based semantics)

分子生物情報学

• 人工知能学会 分子生物情報研究会

最適化問題

• e-Optimization.com
• 最適化ソフトとテスト問題集 (東大 松井先生)
• 東京商船大 久保先生
• 豊橋技術科学大学 離散最適化研究室（永持先生）
• Quail'96(Stanford University)

線形論理

• 神戸大学　田村先生"線形論理プログラミング言語 LLP"

論理プログラミング・並列論理プログラミング

• Guarded Horn Clauses(早稲田大上田先生)