English Dictionary

Rice's theorem

固有名詞

(computing theory) A theorem stating that all nontrivial semantic properties of programs are undecidable.

日本語の意味

Riceの定理（Rice's theorem）とは、計算理論において、プログラムの非自明な意味的性質はすべて決定不能であるとする定理を指します。

When analyzing static analyzers, you must keep Rice's theorem in mind because it implies that no algorithm can decide every interesting semantic property of arbitrary programs.

静的解析ツールを分析する際には、プログラムの意味的性質のうち自明でないものはすべて判定不能であると述べる定理（ライスの定理）を念頭に置く必要があります。これは、任意のプログラムのすべての興味深い意味的性質をどのアルゴリズムも判定できないことを意味します。

意味（1）

(computing theory) A theorem stating that all nontrivial semantic properties of programs are undecidable.