ライスの定理（ライスのていり、）は、計算機科学における計算可能関数の理論に関する定理で、定められた性質Fを満たすかどうかを任意の部分計算可能関数について判定する方法は(Fが自明な場合を除いて)存在しない、というもの。名称の由来は Henry Gordon Rice から。"A"が関数"f"を計算するプログラムであるとき、"f"="f"と定義する。たとえば"A"が「a=x+yを計算した後、a+zを出力する」という趣旨のプログラムであると、"f"("x

出典:wikipedia