張紙往牆上一貼，轉身就進了主機房，把門砰的一聲關上了，卡噠一聲就鎖了起來，任誰叫也不開。

眼看管理員做了烏龜，其他人也就漸漸散去。老人嘆了一口氣，開始收拾自己散落在地上的東西。

攤到這種破事卻是挺讓人鬱悶的，長久走上前去幫著老人收拾。

老人連說謝謝，長久趕緊謙虛：“老人家消消氣，這幫孫子就勢利眼，都是狗仗人勢的東西，您也別往心裡去。”

老人笑道：“沒事沒事，吵了一架心裡舒服多了。其實我也麻煩人家不少，光讓他們教使用方法不說，每天還六點來，十點走，弄得他們也不能下班休息，還得陪著我這個老頭子，確實辛苦，呵呵。”

聽了這話，長久對老人頓生好感，幫著老人提著資料檔案出了機房大門。

站在臺階上，涼爽的晚風吹得人很是舒服，老人深吸一口氣，從衣兜裡摸出皺巴巴的一包前門，抖了一下，卻是空空如也。

長久趕緊掏出剛買的健牌奉上，老人看了長久一眼，捏了一根出來，剛想掏火柴，叮的一聲，不鏽鋼火機已經點上了。

“檔次挺高嘛，你哪個系的？”老人深吸一口，頓時神清氣爽，對眼前這個素不相識的年輕人感覺很好，看穿著估計也是一**，難道有所求而來？

“我數學系的！”長久編瞎話眼睛都不眨，他剛才幫忙的時候看老人的資料全是一些數學定理證明之類的東西，真好自己對此也有一點認識，就打蛇隨棍上，順口就說了數學。

“數學系的啊，不會是找我老頭子後門的吧，呵呵。”老人笑道，“先宣告，我可不管工作分配啊。”

長久一愣，隨即哈哈大笑，連連擺手道：“不用您麻煩，只是看您一大把年紀還這麼兢兢業業搞研究，作為一個晚輩，您是一個值得尊敬的人而已，僅此而已。”

“小子還滿敬老的嘛！”老人看著長久的眼睛，清澈見底，似乎也找不到什麼其他的意思，“那好吧，天色也不早了，一起去吃個飯吧，生平不受人滴水之恩，你請我抽菸，我請你吃飯。”

長久一看錶，六點半了：“我請您吧，相聚也算是個緣分，跟我這個晚輩你就甭客氣了。”

一老一小，兩人來到了一家飯館，點了幾個菜，要了四兩酒，就開始吃了起來，邊吃邊聊。

“看談吐穿著，你不像個學生啊！”老人問道，他也很好奇。

略一思索，長久答道：“我剛從國外回來，對清華園仰慕已久，就順道看看，沒想到和您碰上了。”

“哦，還是個歸國華僑啊。”老人道，“自我介紹一下，我姓文名俊，在清華教數學，不算個什麼人物，呵呵。”

“我姓曹，叫曹長久，您就叫我小曹吧。”長久敬了老人一杯酒，“您是個數學家，想必對計算機是精通的了。”

文俊老人哈哈大笑：“哪裡，我對計算機其實一竅不通，以前輸入都得找別人。”

~~~~~~

為下週預定花，有收藏更好，呵呵。

……公告：網文聯賽本賽季海選階段最後三週！未參加的小夥伴抓緊了！重磅獎金、成神機會等你來拿！點此參與……》

一百三十九

長久道：“數學家邏輯嚴謹，那些計算機程式肯定一瞧便會，要換了其他學科的人，估計到您這歲數連計算機是啥都不知道。”

文俊老人雖知這是馬屁，但是還是舒服啊。

長久又道：“冒昧問一句，您是做什麼研究的，我數學也學過一點。”

“定理證明。”老人脫口而出，“機器定理證明，就是把人證明數學定理和日常生活中的演繹推理變成一系列能在計算機上自動實現的符號演算的過程和技術，你聽說過沒有？”

這麼長的專業語言別人或許不知道，長久還是瞭解的：“這個啊，很有用的，對計算機邏輯和程式語言、人工智慧來說這個就是基礎，想不到您居然對這方面有研究……”

早年長久做的就是自動編譯器系統，有關這方面的書籍可沒少看，要說起數學定理機械自動證明這玩意，似乎還有個中國人是關鍵，破解了這個天地玄關，好像也叫文俊，弄出個演算法叫文氏演算法，登上了這個領域的頂峰……

世界還真他媽的小啊，隨著年歲的增加，長久對夢中的事情反而越發的清楚，來到這個世界上之後到處都能碰到一些景仰的人物。

想到這裡，長久頓時肅然起敬，舉杯問道：“您老辛苦了，不知道您研究到什麼程度了，