制約プログラミングのソースを表示
←
制約プログラミング
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、以下のグループに属する利用者のみが実行できます:
登録利用者
。
このページは編集や他の操作ができないように保護されています。
このページのソースの閲覧やコピーができます。
'''【せいやくぷろぐらみんぐ (constraint programming)】''' プログラミングを行う上での考え方 (プログラミングパラダイム) の1つで,プログラムは「制約」の集まりであるとし,問題は制約により記述される.制約解消系と呼ばれる処理系が制約充足を行うことにより,問題解決がなされる.問題を解く手順(アルゴリズム)を記述せず,問題を構成する要素間の関係を制約として宣言的に記述することが特徴.例としては,Prolog に代表される論理プログラミングの拡張である制約論理プログラミングが挙げられる.
制約プログラミング
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
最近の更新
おまかせ表示
ヘルプ
ORWikiへのお問い合わせ
OR学会HP
OR学会アーカイブ集
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報