▲ 罗宾·米尔纳 大大江小浪 popsite.cn 2025/12/01 罗宾·米尔纳（Robin Milner，1934年1月13日 - 2010年3月20日），英国计算机科学家，致力于数学计算理论的研究，因其在自动定理证明器、机器学习及计算机编程语言以及并发一般理论方面的工作，荣获1991年图灵奖。… 讨论 登录后参与讨论 还没有评论，来说第一句吧。 大江小浪 的其他文章 记忆？记性？ 2026/09/17 爱德蒙·克拉克 2026/09/02 法兰西斯·艾伦 2026/08/25 彼得·诺尔 2026/08/12 架构优先还是安全稳定优先 2026/08/07
讨论
登录后参与讨论
还没有评论，来说第一句吧。