ライスの定理
1. Rice's theoremIn computability theory, Rice's theorem states that, for any non-trivial property of partial functions, there is no general and effective method to decide whether an algorithm computes a partial function with that property. Here, a property of partial functions is called trivial if it holds for all partial computable functions or for none, and an effective decision method is called general if it decides correctly for every algorithm.
Read “Rice's theorem” on English Wikipedia
Read “ライスの定理” on Japanese Wikipedia
Read “Rice's theorem” on DBpedia
Read “Rice's theorem” on English Wikipedia
Read “ライスの定理” on Japanese Wikipedia
Read “Rice's theorem” on DBpedia
Discussions
Log in to talk about this word.