Logo
Luyện đọc
Bài học
Sổ tay
Từ điển
Thi JLPT
Video
Nâng cấp
Góp ý
Logo
Luyện đọc
Bài học
Sổ tay
Từ điển
Thi JLPT
Video
Nâng cấp
Góp ý
Todaii Japanese
Switch language – current: vi
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

Về Todaii Japanese

Câu chuyện thương hiệuCâu hỏi thường gặpHướng dẫn sử dụngQuy định & Chính sáchThông tin hoàn tiền

Hệ thống social

Logo facebookLogo instagram

Phiên bản ứng dụng

AppstoreGoogle play

Ứng dụng khác

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

Bản quyền thuộc về công ty cổ phần công nghệ eUp

Copyright@2026

Từ điển

Chi tiết từ

後退帰納法

後退帰納法（こうたいきのうほう、Backward induction）とは、問題や状況の終わり（最終回）から時間を遡って、最適な行動の順序を決定する帰納法。後向き帰納法（後ろ向き帰納法、うしろむききのうほう）、逆向き帰納法（ぎゃくむききのうほう）とも。 ベルマン方程式 後向き連鎖

Từ liên quan

帰納

(1)〔induction〕 個々の特殊な事実や命題の集まりからそこに共通する性質や関係を取り出し， 一般的な命題や法則を導き出すこと。 ⇔ 演繹 (2)反切によって漢字の音を導き出すこと。

後退

後方へしりぞくこと。 ⇔ 前進 ⇔ 進出 「学力が～する」「景気の～」

後納

代金などを， あとから支払うこと。 「料金～郵便」

帰納的

推論の手続きが帰納によっているさま。

帰納プログラミング

た行動系列，得られるプログラムの計算量を考慮した制約，種々の背景知識が挙げられる．背景知識としては，標準的なデータ型，使用する定義済み関数，データの流れや意図したプログラムを記述するプログラムの概形あるいはテンプレート，解の探索を誘導するヒューリスティクスやその他のバイアスが挙げられる．

数学的帰納法

なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。2 により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見えるためこのような名前がつけられた。ジョン・ウォリスによって、彼の著作Arithmetica

構造的帰納法

帰納法と関係を持つ。 構造的帰納法は、（リストや木構造のように）再帰的に定義された構造のある種の x に関する全称命題 ∀x. P(x) を証明する手法である。そのような構造の上には、整礎な半順序が定義できる。（リストに対する「部分リスト」、木構造に対する「部分木」など。）　構造的帰納法による証明

後退り

〔「あとすざり」とも〕 (1)前を向いたまま， 後ろへさがって行くこと。 あとじさり。 「用心しながら～をして/浮雲（四迷）」 (2)ためらって消極的な態度をとること。 しりごみ。 逡巡(シユンジユン)。 あとじさり。

後退り

〔「あとしざり」とも〕 (1)「あとずさり{(1)}」に同じ。 「じりじりと～する」「～に次第に退場する/ふらんす物語（荷風）」 (2)アリジゴクの別名。 (3)カニムシの別名。

帰納次元

次元に関して帰納的に空間の次元を定義できるものでなければならない。 小さい帰納次元と大きい帰納次元は位相空間に対する「次元」概念を捉えるのに最も利用される三つの方法のうちの二つで、（距離空間などの余分な性質に依存することなく）その位相のみによって定まる。三つのうち後一つはルベーグ被覆次元

帰納極限

で添字付けられた対象の族、fij: Ai → Aj (i ≤ j) を準同型の族として、以下の条件 fii は Ai の恒等写像であり、 任意の i ≤ j ≤ k に対して fik = fjk ∘ fij が成立する。 が満たされるとき、対、⟨Ai, fij⟩ は I 上の帰納系と呼ばれる。 帰納系 ⟨Ai, fij⟩

帰納言語

帰納言語（きのうげんご、英: Recursive language）は、数学・論理学・計算機科学における形式言語の一種である。決定性言語(Decidable Language)、チューリング決定性言語(Turing-decidable Language)とも呼ぶ。全ての帰納言語の属する複雑性クラスをRと呼ぶが、RPクラスを

無限後退

無限後退（むげんこうたい、英: Infinite regress）とは、ものごとの説明または正当化を行う際、終点が来ずに同一の形の説明や正当化が、連鎖して無限に続くこと。一般に説明や正当化が無限後退に陥った場合、その説明や正当化の方法は失敗したものと見なされる。同一の形の説明が果てしなく続く、とい

景気後退

景気後退（けいきこうたい）やリセッション（英: recession）とは、景気循環の局面のうち、景気が下降している状態を言う。景気循環の考え方によって、1つの循環を2局面（景気拡張期、景気後退期）と4局面（好況、後退、不況、回復）で分割する考え方があるが、2局面で考えた場合の景気後退

帰納的集合

指示関数が帰納的関数となるような集合を帰納的集合（きのうてきしゅうごう）という。 端的に言えば、決定可能な集合であり、チャーチのテーゼを認めるならば、計算可能な集合である。 たとえば、素数の集合は、帰納的集合である。一方で停止性問題（実行すると停止するプログラムと入力の組の集合）は帰納的でない。 帰納的関数

料金後納

一ヶ月間に差し出す郵便物や荷物の料金等の概算額の2倍に相当する額の担保が必要となる。担保は現金や有価証券等になる。ただし株券は担保として認められていない。 担保については、場合によっては担保額の軽減や免除の対象になることがある、上記概算額、官庁・上場企業からの差し出し、期間内に遅滞なく料金を支払った場合。

鳩の撃退法

『鳩の撃退法』（はとのげきたいほう）は、佐藤正午による日本の長編小説。2014年に小学館から出版され、第6回（2015年度）山田風太郎賞を受賞した。2018年に小学館から文庫化。 2021年に映画化された。 とある地方都市での「バーのマスターの家族」と「郵便局員」の失踪、偽札の疑惑付きの大金など、元

放課後退魔録

に倒される。 デビモは、妖魔術クラブが「デビルモンスター」を略して付けた名前。 縊鬼（くびれおに） 駅のホームなどにいる、疲れた人を殺す妖怪。馬首山に住むものは、元は美也乃の父親で、ベロルによって妖魔兵器にされていた。忠誠を誓っていたベロルに捨てられ、最期は丈斗に撃ち抜かれた。 カウラ

帰納的可算言語

Language）とも呼ぶ。形式言語のチョムスキー階層におけるタイプ-0言語に相当する。全ての帰納的可算言語は複雑性クラス RE に属する。 帰納的可算言語には以下の3つの等価な定義がある。 帰納的可算言語は、形式言語のアルファベットから生成可能な全ての単語の集合のうち、帰納的可算な部分集合である。 帰納的可算言語は、その言語