数学证明比较纯粹，对计算机是一个搜索问题。计算机语意学比较难，计算机还不如幼儿园的小朋友。

来源: QualityWithoutName 于 2017-06-07 19:26:57 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.