Logo
主页
课程
笔记本
词典
JLPT考试
视频
升级
反馈
Logo
主页
课程
笔记本
词典
JLPT考试
视频
升级
反馈
Todaii Japanese
Switch language – current: zh-cn
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

词典

单词详情

構造的帰納法

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

相关单词

帰納的

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

数学的帰納法

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

帰納的集合

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

帰納

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

後退帰納法

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

構造的暴力

的・潜在的にふりかかる暴力の形態を構造的暴力と呼ぶ。具体的には貧困・飢餓・抑圧・差別・愚民政策などがこれに当たる。 構造的暴力と対置される暴力、すなわち行為主体がいる暴力は、直接的暴力という。政治暴力もその一つだが、戦争は直接的暴力

代数的構造

用語についてはいくつか表記ゆれが存在する。たとえば、マグマを亜群 (groupoid) と呼ぶ流儀もあるが、別な意味で亜群と呼ばれる概念もあるので注意。半群 (semigroup) を準群と訳す流儀もある。通常 pseudogroup に充てる擬群という語を準群（quasigroup）の訳とする流儀もある。 ^

構造的差別

  構造的差別は、人種や性別などの特定の保護される特性を持つ個人に対する制度的差別の形態の1つであり、個人が得られる機会を制限する効果がある。構造的差別は、意図的（英語版）に行われる場合と意図せずに行われる場合があり、公的あるいは私的な制度的方針に係る場合がある。こうした差別は、これらの政策が特定の

数学的構造

類似において一方で成り立つ理論が他方でも成り立つのではないかという予想を構造の知見が容易にしていることを意味する。例えば、整数環と有限体上の1変数多項式環との間の構造の類似においてアンドレ・ヴェイユにより、リーマン予想に類似

帰納プログラミング

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

帰納的可算言語

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

帰納的可算集合

全ての帰納的集合は帰納的可算だが、全ての帰納的可算集合が帰納的（集合）とは言えない。 帰納的可算言語は形式言語の帰納的可算な部分集合である。 帰納的可算な公理系から導かれる全ての文の集合は帰納的可算集合である。 マチャセビッチの定理によれば、全ての帰納的可算集合はディオファントス集合である（逆も明らかに真）。

原始帰納的算術

S(x)=S(y)~\to ~x=y,} それと原始帰納的関数の定義式すべてである。例えば原始帰納的関数の最も一般的な特徴付けは、ゼロと後者を含み、射影、関数合成、原始再帰で閉じている、というものである。そこで、(n+1)-変数関数（を表す記号, 以下省略） f が原始再帰によって n-変数の基底関数 g と

構造

(1)全体を形づくっている種々の材料による各部分の組み合わせ。 作りや仕組み。 「機械の～」「耐震～」 (2)さまざまな要素が相互に関連し合って作り上げている総体。 また， 各要素の相互関係。 「社会～」「精神～」「物質の～」「文の～」「汚職の～」

句構造文法

句構造文法（くこうぞうぶんぽう、phrase structure grammar、PSG）は、句構造規則で定義された文法を指す用語としてノーム・チョムスキーが考案したもので、エミール・ポストと Axel Thue が研究したかたちの書き換え規則の集まりである（ポスト正準系（英語版））。チョムスキー

動的構造因子

r → {\displaystyle {\vec {r}}} にある粒子との相関を表す。 また動的構造因子のエネルギー積分のことを静的構造因子と呼ぶ。 非弾性散乱を考える。入射粒子のエネルギーを E 0 {\displaystyle E_{0}} 、波数ベクトルを k

木構造 (データ構造)

ド間を結ぶエッジ（枝、辺）あるいはリンクで表すこともできるが、木構造専用の、特に有向の根付き木となるような表現が使われることも多い。 データ構造として使われる木は、ほとんどの場合、根となるノードが決められた根付き木である。さらに、有向木であることも多い。 ノード間の関係は家系図に見立てた用語で表現

帰納次元

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

帰納極限

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