• ブックマークする
  • Buzzurl
  • はてなブックマーク
  • livedoorクリップに登録
  • ｜
  • 共有する

推論プログラミング【すいろんぷろぐらみんぐ】

1件の用語解説（推論プログラミングで検索）

ASCII.jpデジタル用語辞典の解説

全文を表示する

プログラミングの技法のひとつ。知識ベースを用いて、事実や常識、経験などの知識から結果を導き出す。推論プログラミングに適した言語に、Prologがある。

それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

関連キーワード

自動プログラミング
コンピューターのプログラミングを容易かつ能率的にするための技法。プログラミングを直接機械に入力...
関数型プログラミング
Lispなどの関数型言語を用いてプログラムを作成すること。
手続き型プログラミング
COBOLやFortran、C言語など、順番に処理を実行する手続き型言語におけるプログラミング...
モジュラープログラミング
初めにモジュール単位でプログラミングを行い、完成したモジュールを組み合わせて全体を構築していく...

みんなのおすすめサイト

このキーワードに関連するサイトを教えてください。

「推論プログラミング」のWeb検索結果

検索結果:22,407件

ウェブ検索

等式推論プログラミング実験
等式推論プログラミング実験. 平成17年度 情報学類 主専攻実験 ... この実験のテーマである等式推論とはどのようなものか, それを自動的に行うプログラムを作る際になにが問題になるのか を簡単に解説しています.主専攻実験を選択する際に参考にしてください. ... www.score.is.tsukuba.ac.jp
等式推論プログラミング実験
等式推論プログラミング実験. 平成14年度 情報学類 主専攻実験 ... この実験のテーマである等式推論とはどのようなものか, それを自動的に行うプログラムを作る際になにが問題になるのか を簡単に解説しています.主専攻実験を選択する際に参考にしてください. ... www.score.is.tsukuba.ac.jp
型推論 - Wikipedia
型推論(かたすいろん)とはプログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数や関数の型を宣言しなくてもそれを導くのに使われた関数の型シグネチャなどから自動的に型を決定する機構のこと。 ... ja.wikipedia.org
推論プログラミング とは - コトバンク
ASCII.jpデジタル用語辞典の用語解説 - プログラミングの技法のひとつ。知識ベースを用いて、事実や常識、経験などの知識から結果を導き出す。推論プログラミングに適した言語に、 ... プログラミング(inductive logic ... kotobank.jp
Logic Programming
... logic programming) 帰納論理プログラミング(inductive logic programming) 学習常識推論. 解集合プログラミング. 解集合解集合プログラミング(answer set programming) ... www.wakayama-u.ac.jp
人工知能
(1) 人工知能用プログラミング言語 (2) 推論システム (3) 推論システムの要素技術 ... エ キ ス パ ー ト シ ス テ ム は 専 門家 の 知識 をAI用 プ ロ グ ラ ミ ン グ 言語 で 記述 し 格納 し た 知 ... www.jpo.go.jp
推論エンジン - Wikipedia
初期の推論エンジンの研究では規則とデータのマッチングに関するアルゴリズムの追求が盛んであった。 ... 規則はデータを介してのみ相互にやり取りが発生するのであって、一般的なプログラミング言語では手続きや関数は明示的に互いに呼び出しあう。 ... ja.wikipedia.org

朝日新聞、講談社、小学館など、51辞書、48万語から検索できる、調べ物に欠かせない用語解説サイトです。使い方

「推論プログラミング」の関連情報

主なデータ提供会社

  • 朝日新聞　ASAHI　朝日新聞出版
  • 講談社　KODANSHA
  • 小学館

お知らせ

kotobankのCM配信が始まります。

  • 2/1から配信予定
    JRトレインチャンネル
  • 1/31から配信予定
    有楽町マリオンビジョン
    原宿アストロ
    渋谷109フォーラムビジョン
01月20日
デジタル大辞泉をアップデートしました。新語をはじめ、自然科学用語、医学用語、損害保険関連、刑法関係などを追加更新しています。