Last Updated：2025/12/03

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

音声機能が動作しない場合はこちらをご確認ください

See correct answer

Rice's theorem

Source Word

Rice's theorem

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

Japanese Meaning

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

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

Sense（1）

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