Microsft Researchの記事: https://www.microsoft.com/en-us/research/blog/leslie-lamport-receives-turing-award/