第71部分(第2/4 页)

张纸往墙上一贴，转身就进了主机房，把门砰的一声关上了，卡哒一声就锁了起来，任谁叫也不开。

眼看管理员做了乌龟，其他人也就渐渐散去。老人叹了一口气，开始收拾自己散落在地上的东西。

摊到这种破事却是挺让人郁闷的，长久走上前去帮着老人收拾。

老人连说谢谢，长久赶紧谦虚：“老人家消消气，这帮孙子就势利眼，都是狗仗人势的东西，您也别往心里去。”

老人笑道：“没事没事，吵了一架心里舒服多了。其实我也麻烦人家不少，光让他们教使用方法不说，每天还六点来，十点走，弄得他们也不能下班休息，还得陪着我这个老头子，确实辛苦，呵呵。”

听了这话，长久对老人顿生好感，帮着老人提着资料文件出了机房大门。

站在台阶上，凉爽的晚风吹得人很是舒服，老人深吸一口气，从衣兜里摸出皱巴巴的一包前门，抖了一下，却是空空如也。

长久赶紧掏出刚买的健牌奉上，老人看了长久一眼，捏了一根出来，刚想掏火柴，叮的一声，不锈钢火机已经点上了。

“档次挺高嘛，你哪个系的？”老人深吸一口，顿时神清气爽，对眼前这个素不相识的年轻人感觉很好，看穿着估计也是一**，难道有所求而来？

“我数学系的！”长久编瞎话眼睛都不眨，他刚才帮忙的时候看老人的资料全是一些数学定理证明之类的东西，真好自己对此也有一点认识，就打蛇随棍上，顺口就说了数学。

“数学系的啊，不会是找我老头子后门的吧，呵呵。”老人笑道，“先声明，我可不管工作分配啊。”

长久一愣，随即哈哈大笑，连连摆手道：“不用您麻烦，只是看您一大把年纪还这么兢兢业业搞研究，作为一个晚辈，您是一个值得尊敬的人而已，仅此而已。”

“小子还满敬老的嘛！”老人看着长久的眼睛，清澈见底，似乎也找不到什么其他的意思，“那好吧，天色也不早了，一起去吃个饭吧，生平不受人滴水之恩，你请我抽烟，我请你吃饭。”

长久一看表，六点半了：“我请您吧，相聚也算是个缘分，跟我这个晚辈你就甭客气了。”

一老一小，两人来到了一家饭馆，点了几个菜，要了四两酒，就开始吃了起来，边吃边聊。

“看谈吐穿着，你不像个学生啊！”老人问道，他也很好奇。

略一思索，长久答道：“我刚从国外回来，对清华园仰慕已久，就顺道看看，没想到和您碰上了。”

“哦，还是个归国华侨啊。”老人道，“自我介绍一下，我姓文名俊，在清华教数学，不算个什么人物，呵呵。”

“我姓曹，叫曹长久，您就叫我小曹吧。”长久敬了老人一杯酒，“您是个数学家，想必对计算机是精通的了。”

文俊老人哈哈大笑：“哪里，我对计算机其实一窍不通，以前输入都得找别人。”

~~~~~~

为下周预定花，有收藏更好，呵呵。

……公告：网文联赛本赛季海选阶段最后三周！未参加的小伙伴抓紧了！重磅奖金、成神机会等你来拿！点此参与……》

一百三十九

长久道：“数学家逻辑严谨，那些计算机程序肯定一瞧便会，要换了其他学科的人，估计到您这岁数连计算机是啥都不知道。”

文俊老人虽知这是马屁，但是还是舒服啊。

长久又道：“冒昧问一句，您是做什么研究的，我数学也学过一点。”

“定理证明。”老人脱口而出，“机器定理证明，就是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，你听说过没有？”

这么长的专业语言别人或许不知道，长久还是了解的：“这个啊，很有用的，对计算机逻辑和程序语言、人工智能来说这个就是基础，想不到您居然对这方面有研究……”

早年长久做的就是自动编译器系统，有关这方面的书籍可没少看，要说起数学定理机械自动证明这玩意，似乎还有个中国人是关键，破解了这个天地玄关，好像也叫文俊，弄出个算法叫文氏算法，登上了这个领域的顶峰……

世界还真他妈的小啊，随着年岁的增加，长久对梦中的事情反而越发的清楚，来到这个世界上之后到处都能碰到一些景仰的人物。

想到这里，长久顿时肃然起敬，举杯问道：“您老辛苦了，不知道您研究到什么程度了，