「Concurrent Constraint Programming」を解説文に含む見出し語の検索結果(11~20/30件中)
ナビゲーションに移動検索に移動並行論理プログラミング(へいこうろんり-、英: Concurrent Logic Programming)は、論理プログラミングにおける並列性及び論理プログラミン...
制約論理プログラミング(せいやくろんりプログラミング、英: constraint logic programming)は制約プログラミングの一種で、制約という問題表現・解決の考え方を導入するこ...
制約論理プログラミング(せいやくろんりプログラミング、英: constraint logic programming)は制約プログラミングの一種で、制約という問題表現・解決の考え方を導入するこ...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
アクターモデル(英: actor model)は、並行計算の数学的モデルの一種[1]。1973年、カール・ヒューイット、Peter Bishop、Richard Steiger...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;background:#f8f...