强调数学和证明是好事，只是CS本科那點數學真的不難啊。。。真正難的formal verification咋沒看見呢

来源: 喀爾判0715 于 2025-09-05 08:53:06 [旧帖] [给我悄悄话] 本文已被阅读：次

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