「ライスの定理」を解説文に含む見出し語の検索結果(11～20/59件中)
フリードバーグ・ナンバリング（英: Friedberg numbering）は帰納的関数や帰納的可算集合の単射なナンバリング（枚挙）をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
ナビゲーションに移動検索に移動計算可能性理論において、コンプリート・ナンバリング（英: complete numbering）はアクセプタブル・ナンバリングの一般化であり、1963年にアナトリ...
ナビゲーションに移動検索に移動計算可能性理論において、コンプリート・ナンバリング（英: complete numbering）はアクセプタブル・ナンバリングの一般化であり、1963年にアナトリ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「停止問題」の解説詳細は「チューリングマシンの停止問題」...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「抽象解釈」の記事における「コンピュータプログラムの抽象解釈」の解説プログラミング言語や...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/20 16:21 UTC 版)「静的コード解析」の記事における「形式手法」の解説形式手法は、ソフトウェアやハードウェア...
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「抽象解釈」の記事における「直観的解説」の解説コンピュータ以外の実世界の例で、抽象解釈の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/10 14:50 UTC 版)「コンビネータ論理」の記事における「コンビネータ計算の非決定性」の解説一般的なコンビネー...