语言
没有数据
通知
无通知
それらは帰納的可算集合である。 多対一還元によって互いに変換可能である。すなわち、集合 A と B について、A = {x : f(x) ∈ B} となる計算可能関数 f が存在する。これらの集合を多対一同値（またはm-同値）であるという。 多対一還元はチューリング還元より強い。計算不能集合の自然な例は全て多対一同値だが、A
(1)再び帰ること。
再帰的定義（Recursive Definition）は、再帰的な定義、すなわち、あるものを定義するにあたってそれ自身を定義に含むものを言う。無限後退を避けるため、定義に含まれる「それ自身」はよく定義されていなければならない。同義語として帰納的定義（Inductive Definition）がある。
いくらでも近づき、かつそれを何回でも繰返すことができる」と表現される。 ここである条件、つまり回帰定理の成り立つ条件とは、広く一般的にいえば力学系が保測的(相空間内の点集合の体積が保存されること)で、その軌道が有限領域に限られていることである。例えばニュートン力学の成り立つ系で等エネルギー面を動く軌
再帰性（さいきせい）とは、以下のような意味に用いられる。それぞれ全く別個の概念ではなく、一部重なる部分もある。 （英語Recursivity、再帰）数学・哲学・言語学・コンピュータ科学等で、「『「絵を描く人の絵」を描く人の絵』を描く人の絵を…」のように同じ構造（例では「絵を描く人の」）を繰り返しあて
左再帰（英: Left recursion）とは、言語（普通、形式言語について言うが、自然言語に対しても考えられ得る）の文法（構文規則）にあらわれる再帰的な規則（定義）の特殊な場合で、ある非終端記号を展開した結果、その先頭（最も左）にその非終端記号自身があらわれるような再帰のことである。
公理に基づき， 論証によって証明された命題。 また特に， 重要なもののみを定理ということがある。
〔「核燃料再処理」の略〕
搜索 
搜索 搜索 
