Weblio 辞書 > 辞書・百科事典 > 計算可能関数の解説 > 計算可能関数の全文検索
「計算可能関数」を解説文に含む見出し語の検索結果(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 版)「加速定理」の記事における「種々の加速定理」の解説チューリング機械に関する線形加速定理は...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS