陳諮能夠記住這傢伙是因爲這人是中科大的少年班畢業生。

而特意去關注中科大少年班的這些傢伙，是因爲無意之中看到了少年班優劣的評析，又關注了少年班那班大部分留在國外的人才大犇。

所以他特別搜索過中科大後來成才的那些牛人，裡面就有這叫邵中的傢伙。

由於陳諮自己學的就是計算機，就特別關注有沒有在計算機方面的牛人。

很遺憾，大型集成電路或者芯片上的專業環境面太大，華人大成就者也不算多，軟件方面更加。

排名前二十的程序員中，唯一的黃種人是來自日本的，而唯一最接近的華人就是這叫邵中的傢伙。

由此陳諮特別關注了他的研究方向和履歷。

記得這傢伙對函數式編程語言有非同一般的理解和造詣，是學術界和工業界科研項目中廣泛使用的SML/NJ函數式編程語言的編譯器的主要設計和實現者之一，其中有影響的研究成果包括基於後續傳遞風格的編譯方法等多項成果。（注1）

而編譯這種最底層的研究，恰恰就是操作系統最核心的技術根基之一。

所以能夠搞編譯的人，絕對能夠搞彙編和操作系統。

很多即使是學計算機專業的人都搞不清楚編譯和彙編最本質的區別。

事實上彙編語言變成機器語言的這個過程一樣可以叫編譯，所以編譯纔是機器語言到其它語言的基礎。

或者說編就是編織1010這樣的機器語言變成人可以識別的符號語言或者高級語言，反過來就是翻譯，也就是解釋，合起來就是編譯。

所以這傢伙來搞操作系統，那絕對的沒毛病。

而且函數式編程語言雖然效率不高，但是是公認的最貼合人類思維的編程語言。

搞不好嫁接上這個星球上最具表現力的象形文字（漢字），或許能夠讓象形文字爲基礎編碼的操作系統出現化學反應哩！

弄不好會搞出超越這個時代的操作系統，那就真好玩了。

不過現在就考慮這個似乎還有點遠。

人沒找着不說，別人同不同意還難說呢？

很多目前出國留學的精英，後來都變成了外國人，邵中好像最後就成了美國人。

中科大少年班那一串串成才的天才們，大多是吃了華國的培養飯，貢獻都給了美帝國主義。

……

陳諮找到遲老的時候，老院士正和軍防科大的中將校長在辦公室裡等着他，卻是這個約本來也就是他讓何從初給定的。

自然也就告知了他們陳諮的目的。

現在新世紀的保密機制可是非常完善而嚴格的，慢慢的所有科研人員都有了自覺和習慣。

校長是看起來一點都不嚴肅，笑呵呵的高大老頭。

見到陳諮熱情的和陳諮打招呼，陳諮還是第一次見到他，不過知道這也是一名大犇，他是赫赫有名的火箭專家，還是國際知名的宇航專家。

“小陳董，你這可是貴人吶，早就想和你見見面，每次就聽說你不在國內，這是戰鬥到帝國主義的心臟去了，了不起啊！”

這些知識分子老頭就是不一樣，態度那多是和藹豁達的，但是別人說的話，你不動動腦筋，還就真理解不了意思。

“看您這話說的，您老纔是貴人事多啊！忙碌的可都是國家大事，小子可不敢隨便登門打攪，要是早知道您需要見小子，那肯定得遵受教誨，罪過啊！”

陳諮半是認真，半是玩笑的合十做了個佛家的手勢。

“吆喝！陳小子，一段時間不見，又滑頭了呵！應酬話現在是張口就來哈！”遲老院士可不慣兩人的假模假樣。

對於他這早退休的老人來說，兩人都是晚輩，當然校長的面子多少還是要給點的，卻也給的不多。

陳諮連忙眯眼笑道：”遲老看起來氣色可比上次好多了，看來最近諸事順利，恭喜哈！“

遲老笑道：“還不是託你的福，給我們的管理解決了大問題了。”

老院士七十多歲了，其實是已經退了的，只不過巨型機這次的研發新巨型機的項目負責人是他學術上的衣鉢弟子，雖然天賦好，但因爲還是國家的聯合項目，管理上怕壓不住腳，他也就再次出山站臺，扶上馬送一程。

想不到居然碰到了陳諮這個小妖孽，得以引入了項目管理和CMMI這樣特別有用的框架和理論。

有了這個理論，也省了他好多事，所以這次見面，老院士的氣色是真好了好多，陳諮的話倒也不是奉承。

看到陳諮手邊的茶葉，一點都沒有推遲的意思，撈過來一看，嘴裡讚道：“嗯！不錯，應該是正宗普洱，你小子帶過來的我也就不客氣了。”

“小鄧，燒壺開水進來泡茶。”招呼了他的助理一聲，遲老卻是真好這口。

三人都是時間不寬裕的人，也沒有多做客套。

先說話的卻是程校長：“陳董，貴公司真的需要購買一臺巨型機嗎？”

程中將剛剛聽到消息還真以爲聽錯了，找遲來院士確認過了後，才急急忙忙的跑過來，專門等着金主上門。

陳諮的保密資料他倒是有權限查看，可惜他一直也沒覺得這個小合作伙伴有多重要。

等到陳諮真有大合作找他的時候，卻是時間也來不及。

所以他對陳諮和他的公司其實並不瞭解，對其需要巨型機很是懷疑，不說國內，就是國際上購買巨型機的公司也屈指可數。

陳諮肯定的道：“程校長，我夠買巨型機可不僅僅是我新世紀公司用，主要是我的三個研究所和精密機械公司需要使用。”

這話不但程校長，就是遲老也感覺新奇，他倒是知道陳諮集團目前的研發項目不少，但是還有三個獨立的研究所，他還真不是很清楚。

卻是何從初他們現在遵守着公司的保密守則，一般問題現在也不會說。

PS：注1：我們現在用的計算機編程語言都是諾伊曼式語言，JAVA，C語言等等都是以馮諾伊曼式的計算機爲設計背景的。

而函數式語言是以電腦運算視爲數學上的函數計算，迴歸的是數學本質，他的表達近似於我們使用的自然語言，該語言是1977年誕生，近幾年才漸漸的進入實踐，是未來的方向，或許其是智能時代的基礎之一。

謝謝各位的月票和推薦票支持