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

recursive function recursivefunction

世界大百科事典内のrecursive functionの言及

【帰納的関数】より

…〈実際effectiveに計算可能な関数〉に関する数学的概念であるリカーシブ関数recursive functionに対して,日本で定着している術語。1931年,K.ゲーデルが原始帰納的関数として初めて定式化し,これを用いて不完全性定理の証明を得た。…

※「recursive function」について言及している用語解説の一部を掲載しています。

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

今日のキーワード

大寒

二十四節気の一つ。元来,太陰太陽暦の 12月中 (12月後半) のことで,太陽の黄経が 300°に達した日 (太陽暦の1月 20日か 21日) から立春 (2月4日か5日) の前日までの約 15日間で...

続きを読む

コトバンク for iPhone