Logo
Home
Lessons
Notebook
Dictionary
JLPT Test
Video
Upgrade
Feedback
Logo
Home
Lessons
Notebook
Dictionary
JLPT Test
Video
Upgrade
Feedback
Todaii Japanese
Switch language – current: en
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

About Todaii Japanese

Brand StoryFAQsUser GuideTerms & PolicyRefund Information

Social Network

Logo facebookLogo instagram

App Version

AppstoreGoogle play

Other Apps

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

Copyright belongs to eUp Technology JSC

Copyright@2026

Dictionary

Word Details

再帰理論

それらは帰納的可算集合である。 多対一還元によって互いに変換可能である。すなわち、集合 A と B について、A = {x : f(x) ∈ B} となる計算可能関数 f が存在する。これらの集合を多対一同値（またはm-同値）であるという。 多対一還元はチューリング還元より強い。計算不能集合の自然な例は全て多対一同値だが、A

Related Words

再帰

(1)再び帰ること。 (2)ヨーロッパ諸語の文法で， 主語と目的語が同一者であること。

論理的帰結

論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（または命題）の集合と1つの文（命題）の間が「～だから、当然～」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全

クリーネの再帰定理

{\displaystyle f} をいう。第一再帰定理は枚挙作用素が計算可能ならば不動点が実効的に得られることを示す。 第一再帰定理 次の言明が成り立つ: 任意の計算可能な枚挙作用素は帰納的可算な最小不動点を持つ。 任意の帰納作用素は部分帰納的な最小不動点を持つ。 第二再帰定理と同様に、第一再

再帰性

再帰性（さいきせい）とは、以下のような意味に用いられる。それぞれ全く別個の概念ではなく、一部重なる部分もある。 （英語Recursivity、再帰）数学・哲学・言語学・コンピュータ科学等で、「『「絵を描く人の絵」を描く人の絵』を描く人の絵を…」のように同じ構造（例では「絵を描く人の」）を繰り返しあて

左再帰

左再帰（英: Left recursion）とは、言語（普通、形式言語について言うが、自然言語に対しても考えられ得る）の文法（構文規則）にあらわれる再帰的な規則（定義）の特殊な場合で、ある非終端記号を展開した結果、その先頭（最も左）にその非終端記号自身があらわれるような再帰のことである。

再帰データ型

を先頭に持つリストの場合があることを示している。 data List a = Nil | Cons a (List a) 型エイリアスや型シノニムで再帰が使えるかどうかはプログラミング言語次第である。 TypeScript などでは型エイリアスの中でも再帰が利用可能である。下記は TypeScript の例だが、型エイリアスだけで木構造の型を表現できる。

再帰動詞

代名詞を付けて表す。フランス語文法では代名動詞（だいめいどうし）と呼ぶ。 多くの言語では、他動詞の目的語を再帰代名詞（英語では oneself 、 myself 、 themselves など -self の形をしている）に変えることで再帰動詞が作られる。再帰動詞としてしか用いない"本質的再帰動詞"もあり、英語では

末尾再帰

れ以外の部分は過程の分岐または副作用をもつ場合のみ意味を持つ。従って上記関数的な観点では手続きの末尾だけを考慮すればよく、ここで再帰が行われる場合を末尾再帰という。 Common Lisp での末尾再帰の例： (defun fact (n) (labels ((ifact (n r) (if (=

理論

事象と比較して簡潔であり、さらに既存の知識や常識とは反する自明ではない結論を導き出し、しかも原因としての独立変数と結果の従属変数を繋ぐ枠組みが明快でなければならない。最後に理論はその真偽を問うことが可能な性質、つまり反証可能性を保持しなければならない。以上の理論の対象となっている事象の重要性や実務的な実践性を加えることもできる。

再処理

〔「核燃料再処理」の略〕 原発で燃やした（核分裂させた）使用済み核燃料から， プルトニウムと残りのウランを抽出する工程。

再帰的定義

再帰的定義（Recursive Definition）は、再帰的な定義、すなわち、あるものを定義するにあたってそれ自身を定義に含むものを言う。無限後退を避けるため、定義に含まれる「それ自身」はよく定義されていなければならない。同義語として帰納的定義（Inductive Definition）がある。

Μ再帰関数

計算複雑性理論では、全再帰関数の集合をRと称する。 μ再帰関数（または部分μ再帰関数）は、有限個の自然数の引数をとり、1つの自然数を返す部分関数である。μ再帰関数は初期関数を含み、合成や原始再帰やμ作用素において閉じている、部分関数の最小のクラスである。 原始再帰関数も同じような形式で定義されるが、全域関数

再帰代名詞

pictures of himself were on display. ただし、標準英語では、この再帰動詞のlogophor的な使用は、一般に再帰動詞が共起語を持たない位置に限定される。 英語のいくつかの方言では、特に1人称、時には2人称、また特に受け手に対して反射的な関係を表すために標準的な目的代名詞を用いることが一般的であり、例えば、

理神論

〔deism〕 一七， 八世紀ヨーロッパの啓蒙主義時代の合理主義的な宗教観。 世界の創造者として神を認めるが， 神が世界の出来事に関与することは信じない。 聖書批判・比較宗教への道を開いた。 自然神論。

ポストコロニアル理論

コロニアリズムよりも好まれる場合もある。しかし、ポストコロニアリズム（ポストコロニアル研究）は、一般に、植民地主義思想に対する思想的な反応を示すものであり、むしろ接頭語のpost-が示唆するように、植民地主義の後に来るシステムを単に記述するものではない。ポストモダニズムがモダニズム

リアルビジネスサイクル理論

cycle）とは景気循環を指す。「実物的景気循環理論」と訳す場合もある。 リアルビジネスサイクル理論は、ジョン・ミュースのアイデアに基づいてロバート・ルーカスが最初に定式化したマクロ経済学のモデルである。新しい古典派経済学（new classical economics）の代表的なフレームワークの一つである。この理論

マーカス理論

逆反応が理解の助けになるかもしれない。この反応では仮説上の素電荷の移動による分極では A/D と A−/D+ の分極エネルギーが等しくなる程度まで達するには十分ではない。 ^ 置換反応などの通常の化学反応の場合、遷移状態はとても高い上側ポテンシャルエネルギー曲線上にあるため、これは無視される。 ^

メタ理論

メタ理論（メタりろん、英: metatheory）とは、理論についての理論のことである。あらゆる研究領域はそれぞれ、何らかのメタ理論を共有しており、それは明示された正しい理論である場合もあればそうでないこともある。より厳密な特定の意味で使用される場合、メタ理論は数学や数理論理学における「数学理論についての数学理論」のことを指す。

ゲーム理論

り優れた戦略が選別されていく進化論的な過程の結果として均衡に到達すると考えられる。後述する通り生物学では、明らかに思考を持たない動物の行動をゲーム理論の解概念によって予測・説明することに成功しており、生物学から逆輸入する形でエヴォルティヴな均衡解釈が体系化されている。以上が非協力ゲームの解概念の解