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 English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

Copyright belongs to eUp Technology JSC

Copyright@2026

Dictionary

Word Details

クリーネの再帰定理

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

Related Words

再帰理論

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

再帰

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

再帰的定義

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

ポアンカレの回帰定理

いくらでも近づき、かつそれを何回でも繰返すことができる」と表現される。 ここである条件、つまり回帰定理の成り立つ条件とは、広く一般的にいえば力学系が保測的(相空間内の点集合の体積が保存されること)で、その軌道が有限領域に限られていることである。例えばニュートン力学の成り立つ系で等エネルギー面を動く軌

再帰性

再帰性（さいきせい）とは、以下のような意味に用いられる。それぞれ全く別個の概念ではなく、一部重なる部分もある。 （英語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 (=

再処理

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

スティーヴン・コール・クリーネ

されることが多く、日本ではクリーネの表記が一般的になってしまっている。 その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness

クリーネ閉包

クリーネ閉包（くりーねへいほう、英: Kleene closure）は、形式言語とオートマトンの理論において、ある演算の繰り返しが「生成」するシンボルないし文字の列（文字列）の集合である。また、この繰り返しの単項演算子をクリーネスター（英: Kleene star）という。 集合 V に対するクリーネ閉包の適用は、V*

定理

公理に基づき， 論証によって証明された命題。 また特に， 重要なもののみを定理ということがある。

Μ再帰関数

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

再帰代名詞

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

ピタゴラスの定理

も定理に関わる文章が見られる。しかし、これはバビロニア数学の影響を受けた結果ではないかという推測もされているが、結論には至っていない。 「ピュタゴラス（ピタゴラス）の定理」という呼称が一般的になったのは、西洋においても少なくとも20世紀に入ってからである。 日本の和算でも、中国での呼称を用いて鉤股弦

ロッサーの定理

ロッサーの定理（英: Rosser's theorem）とは、ジョン・バークリー・ロッサーが1938年に証明した、素数に関する定理である。 Pn を n 番目の素数とする（P1 = 2、P2 = 3、．．．）。このとき、次の不等式が成立する。 Pn > n log n Rosser, J. B. "The

リウヴィルの定理

リウヴィルの定理には以下の4つの定理が存在する。 リウヴィルの定理 (解析学) - 解析学においてジョゼフ・リウヴィルにちなんだ定理。 リウヴィルの定理 (物理学) - ハミルトン力学において位相空間の体積要素は時間変化しないという定理。 リウヴィル＝アーノルドの定理 -

ウィルソンの定理

ウィルソンの定理（ウィルソンのていり、英: Wilson's theorem）は初等整数論における素数に関する次のような定理である。 ウィルソンの定理 ― p が素数ならば (p − 1)! ≡ −1 (mod p) が成り立つ。 逆に、整数 p > 1 に対し、(p − 1)! ≡ −1 (mod