気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
ja.wikipedia.orgエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Constraint Handling Rules - Wikipedia
Constraint Handling Rules（CHR）は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるよう... Constraint Handling Rules（CHR）は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である[1] [2]。 多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが[3]、 独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。 CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。 Constraint Handling Rules（CHR）はコミッテッドチョイス（committed
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
ja.wikipedia.org
ja.wikipedia.org
ja.wikipedia.org
ja.wikipedia.org
www3.nhk.or.jp
blog.kushii.net
rookie.shonenjump.com
omocoro.jp
note.com/shi3zblog
togetter.com
speakerdeck.com/iwamot
speakerdeck.com/pfn
www.itmedia.co.jp
k-tai.watch.impress.co.jp
www.gizmodo.jp
www.buffalo.jp
stackoverflow.com
2012/05/10 リンク