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

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

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

【計算可能性】より

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

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

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

今日のキーワード

ポケモンGO

2016年7月6日に米国・オーストラリア・ニュージーランドで配信開始となったスマートフォン用AR(仮想現実)モバイルゲーム。開発・発売元はNiantic,Inc.(ナイアンティック)で、株式会社ポケモ...

続きを読む

コトバンク for iPhone