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

計算可能部分関数 けいさんかのうぶぶんかんすう

世界大百科事典内の計算可能部分関数の言及

【計算可能性】より

… 上で述べた計算可能な関数は,どのような入力に対しても必ず値をもつが,プログラムが入力により停止しなかったりエラーになったりする場合に対応するように,計算可能な関数も,入力によっては値をもたないことを許すように自然に拡張することができる。このように拡張された関数を計算可能部分関数という。 プログラムをコンピューター内部のデータとして表現するというプログラム内蔵方式のコンピューターの原理も,計算可能性に関係する重要な概念である符号化(ゲーデル数化ともいう)と密接な関係にある。…

※「計算可能部分関数」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

今日のキーワード

金城湯池

1 《「漢書」蒯通伝から。「湯池」は熱湯をたたえた堀》守りが非常に固く、攻めるのが難しい城。金湯。2 堅固で、他から侵害されにくい勢力範囲。「保守派の金城湯池」...

続きを読む

コトバンク for iPhone