翻訳と辞書 Words near each other ・ グシ＝ハン ・ グシ＝ハン王朝 ・ グシ＝フルスタリヌイ ・ グジェゴシュ・クリホビアク ・ グジェゴシュ・フィテルベルク ・ グジェゴシュ・フィリポフスキ ・ グジェゴシ・エイテル ・ グジェゴシ・ヘロミンスキー ・ グジェゴシ・ラト ・ グジェゴシ・ラトー ・ グジェゴルチク階層 ・ グジェール ・ グジャツク ・ グジャラーティー文字 ・ グジャラーティー語 ・ グジャラーティ語 ・ グジャラート ・ グジャラート・スルターン朝 ・ グジャラート地方 ・ グジャラート州 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク グジェゴルチク階層 ： ウィキペディア日本語版 グジェゴルチク階層[ぐじぇごるちくかいそう] グジェゴルチク階層（ぐじぇごるちくかいそう、、発音：）は計算可能性理論に基づく関数の階層である。（Wagner and Wechsung 1986:43）。名称はポーランドの論理学者に因む。グジェゴルチク階層に属す任意の関数は原始帰納的関数であり、逆に任意の原始帰納的関数はこの階層のあるレベルに現れる。この階層は関数値の増大の度合いを扱う。直観的にいえば、低い階層の関数はより高い階層の関数よりも緩やかに増加する。 == 定義 == まず自然数 ''i'' で添字付けられた関数族 ''Ei'' を導入する。まず次のように定義する： :$E\_0(x,y)=x+y$ :$E\_1(x)=x^2+2$ :$E\_n(x)=E^\_(2)$ （ただし n > 1） これらの関数からグジェゴルチク階層を定義する。$\backslash mathcal^n$ は ''n''番目の階層であり、次の関数からなる： # ''Ek'' （ただし ''k'' < ''n''） # ゼロ関数 (''Z''(''x'') = 0); # 後者関数 (''S''(''x'') = ''x'' + 1); # 射影関数 ($p\_i^m(t\_1,\; t\_2,\; \backslash dots,\; t\_m)\; =\; t\_i$); # （一般）合成関数 （もし ''h'', ''g''1, ''g''2, ... と ''g''m が$\backslash mathcal^n$ に属すならば $f(\backslash bar)\; =\; h(g\_1(\backslash bar),\; g\_2(\backslash bar),\; \backslash dots,\; g\_m(\backslash bar))$ も同様）〔; および # 限定（原始）再帰 （もし ''g'', ''h'' と ''j'' が $\backslash mathcal^n$ に属し $f(t,\; \backslash bar)\; \backslash leq\; j(t,\; \backslash bar)$, $f(0,\; \backslash bar)\; =\; g(\backslash bar)$, $f(t+1,\; \backslash bar)\; =\; h(t,\backslash bar,f(t,\backslash bar))$ ならば、 ''f'' もまた $\backslash mathcal^n$ に属す)〔 換言すれば $\backslash mathcal^n$ は $B\_n\; =\; \backslash$ を含み関数合成と限定原始再帰で閉じた最小の集合（閉包）である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「グジェゴルチク階層」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.