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

recursive recursive

翻訳|recursive

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

【数学基礎論】より

…これはきわめて妥当なものと認められ,帰納的関数の理論は決定問題の解決に数学的根拠を与えることとなった。自然数の集合や自然数に関する命題P(x1,……,xn)がリカーシブrecursiveであるとは,その特性関数あるいは表現関数が帰納的関数となるときをいう。体系Sにおいて対象a1,……,anに関する命題P(a1,……,an)が与えられているとき,SにおけるPの決定問題とは,Sにおいて命題Pの対象となりうる任意のa1,……,anに対し,P(a1,……,an)が成り立つかどうかを有限回の操作で判定する一様な手順を求めることである。…

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

出典|株式会社平凡社世界大百科事典 第2版について | 情報

recursiveの関連キーワードテューリング機械再帰プログラム帰納的関数再帰呼出し再帰関数

今日のキーワード

スタットキャスト

大リーグの全30球場に高精度カメラやレーダーを設置し、ボールや選手の動きを細かく分析。走攻守全てで、これまで分からなかったデータを解析し、試合やチーム作りに生かせる。例えば投手では、投げる球種の回転数...

続きを読む

コトバンク for iPhone

コトバンク for Android