ライス＝シャピロの定理
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。 名称は Henry Gordon Rice と Norman Shapiro に因む。
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。 名称は Henry Gordon Rice と Norman Shapiro に因む。
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。 名称は Henry Gordon Rice と Norman Shapiro に因む。
出典: Wikipedia「ライス＝シャピロの定理」 · CC BY-SA 4.0
この記事を共有: X · Bluesky