2013年图灵奖得主 Leslie Lamport 专访：程序员需要更多的数学知识 Leslie Lamport可能并不是一个家喻户晓的名字，但对于计算机科学家们来说，他是一些耳熟能详的「名字」幕后的贡献者。比如Paxos算法、排版程序LaTeX、规格语言TLA+、「面包店算法」和... 网站建设# lamport# leslie# 分布式系统 5年前600
