コトバンクはYahoo!辞書と技術提携しています。

一般帰納的関数 いっぱんきのうてきかんすう

世界大百科事典内の一般帰納的関数の言及

【帰納的関数】より

…次に,μyR(*,y)は,命題R(*,y)が成り立つようなyが存在するときそのようなyの最小数を値とし,そうでないときは値が定まらないものと規約する。関数f(x1,……,xn)が上の(1)~(5)および, f(x1,……,xn)=μy[g(x1,……,xn,y)=0]  ……(6)  (ここで,gはすでに与えられた関数で,すべ ての自然数の組x1,……,xnに対して,つねに g(x1,……,xn,y)=0を満たすようなyが存 在するものとする)を有限回適用して得られるとき,一般帰納的関数general recursive functionという。このような定式化および帰納的関数の理論recursion theoryの発展にはクリーネS.C.Kleeneの寄与に大きく負うている。…

※「一般帰納的関数」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

今日のキーワード

災害派遣

天災地変その他の災害に際して,人命または財産の保護のために行なわれる自衛隊の派遣。災害出動ともいう。都道府県知事などの要請に基づいて,防衛大臣が派遣することを原則とするが,特に緊急を要する場合,要請を...

続きを読む

コトバンク for iPhone