「logic programming」を解説文に含む見出し語の検索結果(71～80/392件中)
エドモンド・キャリス・バークレー（Edmund Callis Berkeley、1909年2月22日 - 1988年3月7日）は、アメリカ合衆国の計算機科学者であり、1947年にAssociation...
エドモンド・キャリス・バークレー（Edmund Callis Berkeley、1909年2月22日 - 1988年3月7日）は、アメリカ合衆国の計算機科学者であり、1947年にAssociation...
エドモンド・キャリス・バークレー（Edmund Callis Berkeley、1909年2月22日 - 1988年3月7日）は、アメリカ合衆国の計算機科学者であり、1947年にAssociation...
エドモンド・キャリス・バークレー（Edmund Callis Berkeley、1909年2月22日 - 1988年3月7日）は、アメリカ合衆国の計算機科学者であり、1947年にAssociation...
ナビゲーションに移動検索に移動ハイパーコンピュータ（英: Hypercomputer）は、非計算可能関数を計算できる仮想的なコンピュータである。ハイパーコンピュータを使った計算を Hyperc...
ナビゲーションに移動検索に移動ハイパーコンピュータ（英: Hypercomputer）は、非計算可能関数を計算できる仮想的なコンピュータである。ハイパーコンピュータを使った計算を Hyperc...
ナビゲーションに移動検索に移動ハイパーコンピュータ（英: Hypercomputer）は、非計算可能関数を計算できる仮想的なコンピュータである。ハイパーコンピュータを使った計算を Hyperc...
アクターモデル（英: actor model）は、並行計算の数学的モデルの一種[1]。1973年、カール・ヒューイット、Peter Bishop、Richard Steiger...
読み方：ろんりぷろぐらみんぐ【英】：logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
読み方：ろんりぷろぐらみんぐ【英】：logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...