線形並行制約プログラミング
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/26 14:14 UTC 版)
「並行制約プログラミング」の記事における「線形並行制約プログラミング」の解説
線形並行制約プログラミング（Linear Concurrent Constraint Programming）は並行制約プログラミングを線形論理（Linear Logic）と呼ばれる論理体系に応用したものである。Vijay Saraswatにより1993年頃に可能性が指摘され、Francois Fagesらにより理論的にまとめられた。
※この「線形並行制約プログラミング」の解説は、「並行制約プログラミング」の解説の一部です。
「線形並行制約プログラミング」を含む「並行制約プログラミング」の記事については、「並行制約プログラミング」の概要を参照ください。
ウィキペディア小見出し辞書の「線形並行制約プログラミング」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 線形並行制約プログラミングのページへのリンク
