YOU SAID:

Rice's theorem: All non-trivial, semantic properties of programs are undecidable

INTO JAPANESE

ライスの定理：プログラムのすべての重要ではない意味的性質は決めることができない

BACK INTO ENGLISH

Rice's theorem: Not all important semantic properties of the program can be decided

INTO JAPANESE

ライスの定理：プログラムのすべての重要な意味論的性質を決定することはできない

BACK INTO ENGLISH

Rice's theorem: It is not possible to determine all important semantic properties of the program

INTO JAPANESE

ライスの定理：プログラムの重要な意味属性をすべて決定することは不可能です

BACK INTO ENGLISH

Rice's theorem: It is impossible to determine all important semantic attributes of a program

INTO JAPANESE

ライスの定理：プログラムの重要な意味属性すべてを決定することは不可能です

BACK INTO ENGLISH

Rice's theorem: It is impossible to determine all important semantic attributes of a program