輕鬆解釋電腦無法回答問題而陷入無限思考的「非終止(nontermination)」問題,以及解決此問題的評估順序之重要性。
コンピュータが質問に答えられず、無限に考え込んでしまう「非終了(nontermination)」問題と、それを解決するための評価順序の重要性をわかりやすく説明します。