ライス＝シャピロの定理
計算可能性理論において、ライス＝シャピロの定理（）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norman Shapiro に因む。