翻訳と辞書 Words near each other ・ S-8ロケット弾 ・ S-92 (航空機) ・ S-99 (潜水艦) ・ S-A結節 ・ S-Fマガジン ・ S-IV ロケット ・ S-N平面 ・ S-N曲線 ・ S-R理論 ・ S-S 結合 ・ S-m-n定理 ・ S-アデノシル-L-ホモシステイン ・ S-アデノシル-L-メチオニン ・ S-アデノシルホモシステイン ・ S-アデノシルメチオニン ・ S-スクシニルグルタチオンヒドロラーゼ ・ S-トロニック ・ S-パラメータ ・ S-ホルミルグルタチオンヒドロラーゼ ・ S-マイン Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク S-m-n定理 ： ミニ英和和英辞書 S-m-n定理[り] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 定理 ： [ていり] 　【名詞】 1. theorem　2. proposition ・ 理 ： [り] 　【名詞】 1. reason　 S-m-n定理 （ リダイレクト：Smn定理 ） ： ウィキペディア日本語版 Smn定理[り] smn定理もしくはパラメータ定理とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これを最初に証明したのはスティーブン・コール・クリーネである。s-m-n定理と表記されることもある。 この定理を実用的に解説すると、あるプログラミング言語と正の整数 ''m'' と ''n'' があるとき、''m''+''n'' 個の自由変数を持つプログラムのソースコードを操作する特定のアルゴリズムがあることを示している。そのアルゴリズムは、与えられた ''m'' 個の値を最初の ''m'' 個の自由変数に束縛し、残りの変数を自由変数のままにしておく。 == 詳細 == 本定理の基本形は、2引数の関数に適用される。再帰関数のゲーデル数 φ が与えられたとき、次のような性質の2引数の原始再帰関数 ''s'' が存在する。すなわち、あらゆる2引数の関数 ''f'' のゲーデル数 ''p'' について、同じ x と y の組合せでの $\backslash varphi\_(y)$ と $f(x,y)$ が定義され、その組合せにおいて等しい。言い換えれば、次のような外延的等価性が成り立つ。 :$\backslash varphi\_\; =\; \backslash lambda\; y.\backslash varphi\_p(x,y)\backslash ,$ これを一般化するため、元の数を原始再帰関数で引き出せるように、''n'' 個の数を1つの数に符号化する方法を採用する。例えば、それらの数のビットをインターリーブするといった符号化が考えられる。すると任意の正の数 ''m'' と ''n'' について、''m''+1 個の引数をとる原始再帰関数 $s^m\_n$ が存在し、次のように振舞う。すなわち、あらゆる ''m+n'' 引数の関数のゲーデル数 ''p'' について、 :$\backslash varphi\_\; =\; \backslash lambda\; y\_1,\backslash dots,y\_n.\backslash varphi\_p(x\_1,\backslash dots,x\_m,y\_1,\backslash dots,y\_n)\backslash ,$ となる。$s^1\_1$ は、関数 ''s'' そのものである。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Smn定理」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Smn theorem 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.