Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Todaii Japanese
Switch language – current: ko
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

Todaii Japanese 소개

브랜드 스토리자주 묻는 질문사용자 가이드약관 및 정책환불 정보

소셜 네트워크

Logo facebookLogo instagram

앱 버전

AppstoreGoogle play

기타 앱

Todaii German
Todaii Super
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

저작권은 eUp Technology JSC에 있습니다

Copyright@2026

사전

단어 상세정보

型推論

ただし型推論と関数の多重定義（オーバーロード）は相性が悪く、オーバーロードをサポートする言語では型推論による恩恵が十分に受けられない（型推論ではシグネチャを一意に決めることができない）ケースがある。 この節では型推論の構文解析理論には踏み込んでいない。 ほとんどの言語においては、関数の仮引数および戻り値、演算子のオペランドお

관련 단어

推論

ある事実をもとにして， 他の事をおしはかること。 推理や推定を重ねて結論を導くこと。 「調査結果から事故原因を～する」

推論エンジン

推論エンジン（すいろんエンジン、英語: inference engine）とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。 推論エンジンを独立したソフトウェアコンポーネントとして分離させたのは、プロダ

論理的推論

推論 > 論理的推論 論理的推論（ろんりてきすいろん、英: logical reasoning）は、論理学において演繹、帰納、アブダクション（仮説形成）の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)

推論規則

⊢は推論を表すメタ言語の記号であり、A0, …, An-1 ⊢ BはA0, …, An-1からBが導かれることを示す。） モーダスポネンス　P, P→Q ⊢ Q モーダストレンス　￢Q, P→Q ⊢ ￢P 否定導入　P → ⊥ ⊢ ￢P 普遍例化　∀xψ(x) ⊢ ψ(a) 普遍汎化 存在例化 存在汎化　ψ(a)

自動推論

推論と非単調推論である。不確かさに関する研究では論証（argumentation）が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。 自動推論

型理論

(∀x, y[''x ≠ y''↔[''xRy'' ∨ ''yRx'']])) で有り、極小元以外の任意の要素はそれより大きい要素を持つ（余定義域は定義域の部分領域で有る）。 注意 無限性 は純粋に数学的な ST 固有の公理である。これは R が全順序関係であることを意味している。最下層の型に 0

論理型

ブーリアン型 - プログラミング言語における型のひとつ 論理型言語 - プログラミング言語の一種 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしている

事例ベース推論

推論 > 事例ベース推論 事例ベース推論（じれいベースすいろん、英: Case-based reasoning、CBR）は、過去の類似問題の解法に基づいて類推して新たな問題を解く推論の手法またはその過程である。自動車整備士が以前にいじったことがある自動車の似たような故障を思い出してエンジンの修理を

ラブスタイル類型論

愛他的な恋愛 （altruistic,giving）とされ、次のような特徴がある。自己犠牲的で相手に尽くすタイプの恋愛をする。相手の利益を第一に考え、自らの犠牲を厭わない。見返りを求めない献身的な愛。 リー（1973年）は調査した回答者のなかにアガペー型を見つけることができなかった

言語類型論

類型論的研究によって見いだされる普遍性には、次のようなものがある。絶対的普遍性とは、これまでのところ例外なく全ての言語に当てはまるような普遍性であり、たとえば次のようなものが挙げられる（ただし異論がないわけではない）。 上唇と下の歯

比推力可変型プラズマ推進機

損耗に伴うシステム寿命の制限から開放されるだけでなく、DCアークジェットよりもはるかに高いプラズマ温度を達成することが可能である。 一般に電気推進において、投入される電力が一定ならば、推力と比推力は反比例の関係になる。VASIMRではプラズマ生成と再加熱のセクションが分離していることから、電力投入の

創元推理評論賞

または起源の不在」(17) 佳作 - 蓮沼尚太郎 「第三の推理小説――ホワイダニット Whydunit――について　名探偵システムの完成」(17) 第5回(1998年) 受賞作 - 該当なし 佳作 - 蓮沼尚太郎 「第二の推理小説――ハウダニット Howdunit――について――HowdunitからWhend

統計的因果推論

自然実験(Natural experiment) 　RCTのような介入をこれから行う実験のことを「前向き研究」、介入がすでに起こったものを後から観察するような自然実験の結果観察を「後向き研究」という呼び方で区別することも多い。なお、統計的因果推論の定義の一つとして、反事実モデル （Counterfactual

形態的類型論

よって語が語形変化する。1つの接辞は1つの文法範疇に対応し、接辞の音形はほとんど変わることはない。日本語やトルコ語が例として挙げられる。 屈折語（くっせつご、inflectional language）でも、膠着語と同じく語は語形変化するが、しばしば複数の文法範疇が融合して1つの形態素で表現される。

予型論的解釈

『カトリック大辞典』（冨山房、昭和42年第七刷） 前表（ぜんひょう） - 『カトリック教会のカテキズム』より 予象（よしょう） - 日本正教会。 予兆（よちょう） - 『キリスト教大辞典』（教文館、昭和52年改訂新版第四版）※但し説明文中の併記 予型論的解釈の類語として寓喩的解釈がある。日本語以外の言語でも別の語彙が当てられ、

誤った数学的推論

証明などの数学的記述において、数学的根拠を欠いた適切でない推測を用いた誤った推論（あやまったすいろん、英: fallacy; 誤謬）から導かれる結論は、一見して有り得ない状況に逢着することも多く、ときには結論だけ取り出せば正しいことがありうるとしても、議論全体としては完全に破綻している。 一例として、以下のようなものがある。 14

推挙

ある官職・地位・仕事などにふさわしい人として， （上の人に）すすめること。 推薦。 吹嘘。 「横綱に～する」

推歩

(1)天体の運行を測ること。 暦学。 「～の学（＝天文・暦学）」 (2)たどるようにして歩くこと。

推力

物体をその運動方向へ押しやる力。 前方から取り入れた水・空気・ガスなどを， プロペラやエンジンで加速して後方に押し出すことにより得られる推進力など。 推進力。