「計算可能関数」を解説文に含む見出し語の検索結果(61~70/429件中)
ライスの定理(ライスのていり、英: Rice's theorem)は、計算機科学における計算可能関数の理論に関する定理で、定められた性質Fを満たすかどうかを任意の部分計算可能関数について判定す...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 10:11 UTC 版)「ゲーデルの加速定理」の記事における「エーレンフォイヒト・ミッシェルスキーの加速定理」の...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/22 14:38 UTC 版)「ハイパーコンピュータ」の記事における「ハイパーコンピュータの提案」の解説無限に多数のス...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2009/09/15 18:45 UTC 版)「Garbled Circuit」の記事における「Yao's Garbled Circu...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/03 01:23 UTC 版)「クリーネの再帰定理」の記事における「クワインへの応用」の解説再帰定理の使用の古典的な例...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/12/31 09:08 UTC 版)「パリス=ハーリントンの定理」の記事における「パリス・ハーリントンの定理」の解説大雑把に...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/01 09:32 UTC 版)「P′′」の記事における「他のプログラミング言語との関連」の解説Brainfuck 言語...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/12/14 23:42 UTC 版)「ギャップ定理 (計算複雑性理論)」の記事における「作用素ギャップ定理」の解説P ( 1...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/10 21:03 UTC 版)「計算可能解析学」の記事における「基本的な結果」の解説計算可能実数の全体は実閉体を成す(...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/04 01:50 UTC 版)「加速定理」の記事における「種々の加速定理」の解説チューリング機械に関する線形加速定理は...