今天偶然在人人上看到微軟亞研院分享的Lamport的采訪視頻，心情也比較好，就點進去看了。全英文沒有字幕也許是一道屏障，還好之前被訓(xùn)練過，耐著性子也能看完。邊看邊記邊傻笑，人家咋說的這么好呢？采訪二十幾分鐘，主持人沒說太多，主要是Lamport本人在說。從他得Turing獎的經(jīng)歷說起，Lamport大牛就說了，自己當(dāng)時還是在飛機場等飛機時候，偶然地接到了wifi連了網(wǎng)，然后接到一個電話才得知自己獲獎的。然后也稍稍慶祝了一下。

接著介紹自己的主要工作——邏輯時鐘等，貌似是1978年的paper，這個東東，在研究生階段是必學(xué)的知識。大家也挺熟悉的了。Lamport講自己是一個數(shù)學(xué)家，其次才算是計算機科學(xué)家。強調(diào)自己對于證明的重視。實際上，他給出了一個狀態(tài)機器來解決分布式進程通信的問題，類似于圖靈機，也是抽象機器或者說思維機器（mental machine）。他告訴主持人，那時他不是從數(shù)學(xué)也不是從計算機角度看問題，而是以物理學(xué)的思維方式，把進程看作是agent。抽象到很高的層次來研究分布式系統(tǒng)的。最終他給出的模型，大家都點贊。他的目標(biāo)是給出不同于多核模型的一個real分布式計算模型，容許部分的計算設(shè)備有failure。

然后，主持人想套點學(xué)習(xí)心得，就問了，為什么Lamport大神你的思維能力特別強悍呢？大家都說，Lamport給出的解答，很犀利。這時，大牛就有點不好意思了。不過也分享了自己的感受。第一，他說，我是學(xué)數(shù)學(xué)的，拿的是數(shù)學(xué)專業(yè)的phd。抽象能力很好，容易抓住問題的本質(zhì)，而不會distracted by details。第二，我渴望通過證明來獲得對問題的理解，總是有incentive to look at CS mathematically。（這句翻不出感覺，只能直接轉(zhuǎn)錄。）頓時膜拜了。這簡直是在說服主持人學(xué)數(shù)學(xué)啊，主持人當(dāng)時也“呵呵”了。

接下來，Lamport就被問到哪些人對他影響較大，他著重介紹了一位叫做Edison的老師（應(yīng)該是老板），在暑期實習(xí)的時候給了他很多問題和學(xué)習(xí)數(shù)學(xué)的建議。再后來就是說到E. Dijkstra。這又是一位更大的牛。這里不說了。Lamport談到大學(xué)時說，大學(xué)是教育自己（to educate yourself）的地方，而不是job training的地方，需要訓(xùn)練自己的批判思維和抽象思維。頓時淚流滿面，深切認(rèn)同。后來Lamport談到Tarjan大牛的一句話，沒有g(shù)rand theory，只有l(wèi)ittle problems。他也深表認(rèn)同，回望自己的工作，自己并沒有為了創(chuàng)建一套grand theory，而是不斷地去解決一系列問題。然而最終，這些答案自己匯成一個path（這里使用的path很到位）。

最后，Lamport苦口婆心說了：“Learn as much maths as you can”。

＝＝＝＝＝＝＝＝＝＝＝＝

Lamport建議：

1. 數(shù)學(xué)：抽象能力

2. 實踐：doing it

3. 避免基本缺陷（avoid fundamental flaws）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

PS：對了，Lamport還推薦了TLA＋語言，用于描述系統(tǒng)的。之前有碰過，沒有深入。這篇純屬個人靠記憶發(fā)揮?？隙ㄓ胁煌椎牡胤?。望大家包涵～?