μ再帰関数的日文

• 递归函数

• 原始再帰関数    原始递归函数
• 回帰関数    かいきかんすう回归函数。
• 再帰    さいき2 1 再 帰 【名】 重新返回;反身
• 再帰化    重新入籍
• 再帰性    さいきせい再现性。
• 再帰熱    回归热
• 関数    かんすう 3 関 数 ;函 数 【名】 函数
• 再帰新星    さいきしんせい再发新星。
• 再帰理論    递归论
• 再帰データ型    递归类型
• sinc関数    Sinc函数
• 偶関数    偶函数
• 優関数    ゆうかんすう强函数。
• 円関数    圆函数
• 凸関数    凸函数
• 力関数    ちからかんすう力函数。
• 変関数    へんかんすう变函数。
• 奇関数    きかんすう奇函数。
• 実関数    じつかんすう实变函数。
• 対関数    配对函数
• 導関数    导数，导出函数，微商
• 床関数    高斯符号
• 擬関数    ぎかんすう非正常函数。
• μ子    ミュー粒子
• μ介子    ミュー中間子ミューオンミューちゅうかんし
• νガンダム    RX-93系列机动战士

• μ再帰関数においてμ作用素は計算を終了させる。
• ただし、μ再帰関数が全て原始再帰関数とは言えない。
• （例えば、原始再帰関数とμ作用素からなるμ再帰関数）。
• 換言すれば、部分μ再帰関数は部分μ作用素を使うため、全域的でない可能性がある。
• つまり、任意のμ再帰関数は原始再帰関数に1回だけμ作用素を適用することで定義される。
• μ再帰関数は原始再帰関数と密接な関連があり、その帰納的定義（後述）は原始再帰関数に基づいている。
• 通常、これ（アルゴリズムがμ再帰関数を正しく定義しているかという問題）には補助的な証拠を必要とする。
• μ再帰関数（または部分μ再帰関数）は、有限個の自然数の引数をとり、1つの自然数を返す部分関数である。
• Μ再帰関数（または部分μ再帰関数）は、有限個の自然数の引数をとり、1つの自然数を返す部分関数である。
• 計算可能性理論では、μ再帰関数はチューリングマシンで計算可能な関数と正確に一致することが示されている。