Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
ある事実をもとにして, 他の事をおしはかること。 推理や推定を重ねて結論を導くこと。
ある事に関する実際に起こった個々の出来事。 ケース。
推論エンジン(すいろんエンジン、英語: inference engine)とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。 推論エンジンを独立したソフトウェアコンポーネントとして分離させたのは、プロダ
ただし型推論と関数の多重定義(オーバーロード)は相性が悪く、オーバーロードをサポートする言語では型推論による恩恵が十分に受けられない(型推論ではシグネチャを一意に決めることができない)ケースがある。 この節では型推論の構文解析理論には踏み込んでいない。 ほとんどの言語においては、関数の仮引数および戻り値、演算子のオペランドお
〖base〗
〖bass〗
推論 > 論理的推論 論理的推論(ろんりてきすいろん、英: logical reasoning)は、論理学において演繹、帰納、アブダクション(仮説形成)の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)
Kathā-vatthu、カターヴァットゥ)とは、パーリ仏典論蔵の第5論。 大 五十 --- 第1品から第5品 第2 五十 --- 第6品から第10品 第3 五十 --- 第11品から第15品 第4 五十 --- 第16品から第23品 『南伝大蔵経』 大蔵出版 ^ 『南伝大蔵経』 論蔵 (パーリ) 表示 編集