第二百九十章 作業系統負責人
第二百九十章作業系統負責人
陳咨能夠記住這傢伙是因為這人是中科大的少年班畢業生。
而特意去關注中科大少年班的這些傢伙，是因為無意之中看到了少年班優劣的評析，又關注了少年班那班大部分留在國外的人才大犇。
所以他特別搜索過中科大後來成才的那些牛人，裡面就有這叫邵中的傢伙。
由於陳咨自己學的就是計算機，就特別關注有沒有在計算機方面的牛人。
很遺憾，大型集成電路或者晶片上的專業環境面太大，華人大成就者也不算多，軟體方面更加。
排名前二十的程式設計師中，唯一的黃種人是來自日本的，而唯一最接近的華人就是這叫邵中的傢伙。
由此陳咨特別關注了他的研究方向和履歷。
記得這傢伙對函數式程式語言有非同一般的理解和造詣，是學術界和工業界科研項目中廣泛使用的SML/NJ函數式程式語言的編譯器的主要設計和實現者之一，其中有影響的研究成果包括基於後續傳遞風格的編譯方法等多項成果。（注1）
而編譯這種最底層的研究，恰恰就是作業系統最核心的技術根基之一。
所以能夠搞編譯的人，絕對能夠搞彙編和作業系統。
很多即使是學計算機專業的人都搞不清楚編譯和彙編最本質的區別。
事實上彙編語言變成機器語言的這個過程一樣可以叫編譯，所以編譯才是機器語言到其它語言的基礎。
或者說編就是編織1010這樣的機器語言變成人可以識別的符號語言或者高級語言，反過來就是翻譯，也就是解釋，合起來就是編譯。
所以這傢伙來搞作業系統，那絕對的沒毛病。
而且函數式程式語言雖然效率不高，但是是公認的最貼合人類思維的程式語言。
搞不好嫁接上這個星球上最具表現力的象形文字（漢字），或許能夠讓象形文字為基礎編碼的作業系統出現化學反應哩！
弄不好會搞出超越這個時代的作業系統，那就真好玩了。
不過現在就考慮這個似乎還有點遠。
人沒找著不說，別人同不同意還難說呢？
很多目前出國留學的精英，後來都變成了外國人，邵中好像最後就成了美國人。
中科大少年班那一串串成才的天才們，大多是吃了華國的培養飯，貢獻都給了美帝國主義。
……
陳咨找到遲老的時候，老院士正和軍防科大的中將校長在辦公室里等著他，卻是這個約本來也就是他讓何從初給定的。
自然也就告知了他們陳咨的目的。
現在新世紀的保密機制可是非常完善而嚴格的，慢慢的所有科研人員都有了自覺和習慣。
校長是看起來一點都不嚴肅，笑呵呵的高大老頭。
見到陳咨熱情的和陳咨打招呼，陳咨還是第一次見到他，不過知道這也是一名大犇，他是赫赫有名的火箭專家，還是國際知名的宇航專家。
「小陳董，你這可是貴人吶，早就想和你見見面，每次就聽說你不在國內，這是戰鬥到帝國主義的心臟去了，了不起啊！」
這些知識分子老頭就是不一樣，態度那多是和藹豁達的，但是別人說的話，你不動動腦筋，還就真理解不了意思。
「看您這話說的，您老才是貴人事多啊！忙碌的可都是國家大事，小子可不敢隨便登門打攪，要是早知道您需要見小子，那肯定得遵受教誨，罪過啊！」
陳咨半是認真，半是玩笑的合十做了個佛家的手勢。
「吆喝！陳小子，一段時間不見，又滑頭了呵！應酬話現在是張口就來哈！」遲老院士可不慣兩人的假模假樣。
對於他這早退休的老人來說，兩人都是晚輩，當然校長的面子多少還是要給點的，卻也給的不多。
陳咨連忙眯眼笑道：」遲老看起來氣色可比上次好多了，看來最近諸事順利，恭喜哈！「
遲老笑道：「還不是托你的福，給我們的管理解決了大問題了。」
老院士七十多歲了，其實是已經退了的，只不過巨型機這次的研發新巨型機的項目負責人是他學術上的衣缽弟子，雖然天賦好，但因為還是國家的聯合項目，管理上怕壓不住腳，他也就再次出山站台，扶上馬送一程。
想不到居然碰到了陳咨這個小妖孽，得以引入了項目管理和CMMI這樣特別有用的框架和理論。
有了這個理論，也省了他好多事，所以這次見面，老院士的氣色是真好了好多，陳咨的話倒也不是奉承。
看到陳咨手邊的茶葉，一點都沒有推遲的意思，撈過來一看，嘴裡贊道：「嗯！不錯，應該是正宗普洱，你小子帶過來的我也就不客氣了。」
「小鄧，燒壺開水進來泡茶。」招呼了他的助理一聲，遲老卻是真好這口。
三人都是時間不寬裕的人，也沒有多做客套。
先說話的卻是程校長：「陳董，貴公司真的需要購買一台巨型機嗎？」
程中將剛剛聽到消息還真以為聽錯了，找遲來院士確認過了後，才急急忙忙的跑過來，專門等著金主上門。
陳咨的保密資料他倒是有權限查看，可惜他一直也沒覺得這個小合作夥伴有多重要。
等到陳咨真有大合作找他的時候，卻是時間也來不及。
所以他對陳咨和他的公司其實並不了解，對其需要巨型機很是懷疑，不說國內，就是國際上購買巨型機的公司也屈指可數。
陳咨肯定的道：「程校長，我夠買巨型機可不僅僅是我新世紀公司用，主要是我的三個研究所和精密機械公司需要使用。」
這話不但程校長，就是遲老也感覺新奇，他倒是知道陳咨集團目前的研發項目不少，但是還有三個獨立的研究所，他還真不是很清楚。
卻是何從初他們現在遵守著公司的保密守則，一般問題現在也不會說。
PS：注1：我們現在用的計算機程式語言都是諾伊曼式語言，JAVA，C語言等等都是以馮諾伊曼式的計算機為設計背景的。
而函數式語言是以電腦運算視為數學上的函數計算，回歸的是數學本質，他的表達近似於我們使用的自然語言，該語言是1977年誕生，近幾年才漸漸的進入實踐，是未來的方向，或許其是智能時代的基礎之一。
謝謝各位的月票和推薦票支持
陳咨能夠記住這傢伙是因為這人是中科大的少年班畢業生。
而特意去關注中科大少年班的這些傢伙，是因為無意之中看到了少年班優劣的評析，又關注了少年班那班大部分留在國外的人才大犇。
所以他特別搜索過中科大後來成才的那些牛人，裡面就有這叫邵中的傢伙。
由於陳咨自己學的就是計算機，就特別關注有沒有在計算機方面的牛人。
很遺憾，大型集成電路或者晶片上的專業環境面太大，華人大成就者也不算多，軟體方面更加。
排名前二十的程式設計師中，唯一的黃種人是來自日本的，而唯一最接近的華人就是這叫邵中的傢伙。
由此陳咨特別關注了他的研究方向和履歷。
記得這傢伙對函數式程式語言有非同一般的理解和造詣，是學術界和工業界科研項目中廣泛使用的SML/NJ函數式程式語言的編譯器的主要設計和實現者之一，其中有影響的研究成果包括基於後續傳遞風格的編譯方法等多項成果。（注1）
而編譯這種最底層的研究，恰恰就是作業系統最核心的技術根基之一。
所以能夠搞編譯的人，絕對能夠搞彙編和作業系統。
很多即使是學計算機專業的人都搞不清楚編譯和彙編最本質的區別。
事實上彙編語言變成機器語言的這個過程一樣可以叫編譯，所以編譯才是機器語言到其它語言的基礎。
或者說編就是編織1010這樣的機器語言變成人可以識別的符號語言或者高級語言，反過來就是翻譯，也就是解釋，合起來就是編譯。
所以這傢伙來搞作業系統，那絕對的沒毛病。
而且函數式程式語言雖然效率不高，但是是公認的最貼合人類思維的程式語言。
搞不好嫁接上這個星球上最具表現力的象形文字（漢字），或許能夠讓象形文字為基礎編碼的作業系統出現化學反應哩！
弄不好會搞出超越這個時代的作業系統，那就真好玩了。
不過現在就考慮這個似乎還有點遠。
人沒找著不說，別人同不同意還難說呢？
很多目前出國留學的精英，後來都變成了外國人，邵中好像最後就成了美國人。
中科大少年班那一串串成才的天才們，大多是吃了華國的培養飯，貢獻都給了美帝國主義。
……
陳咨找到遲老的時候，老院士正和軍防科大的中將校長在辦公室里等著他，卻是這個約本來也就是他讓何從初給定的。
自然也就告知了他們陳咨的目的。
現在新世紀的保密機制可是非常完善而嚴格的，慢慢的所有科研人員都有了自覺和習慣。
校長是看起來一點都不嚴肅，笑呵呵的高大老頭。
見到陳咨熱情的和陳咨打招呼，陳咨還是第一次見到他，不過知道這也是一名大犇，他是赫赫有名的火箭專家，還是國際知名的宇航專家。
「小陳董，你這可是貴人吶，早就想和你見見面，每次就聽說你不在國內，這是戰鬥到帝國主義的心臟去了，了不起啊！」
這些知識分子老頭就是不一樣，態度那多是和藹豁達的，但是別人說的話，你不動動腦筋，還就真理解不了意思。
「看您這話說的，您老才是貴人事多啊！忙碌的可都是國家大事，小子可不敢隨便登門打攪，要是早知道您需要見小子，那肯定得遵受教誨，罪過啊！」
陳咨半是認真，半是玩笑的合十做了個佛家的手勢。
「吆喝！陳小子，一段時間不見，又滑頭了呵！應酬話現在是張口就來哈！」遲老院士可不慣兩人的假模假樣。
對於他這早退休的老人來說，兩人都是晚輩，當然校長的面子多少還是要給點的，卻也給的不多。
陳咨連忙眯眼笑道：」遲老看起來氣色可比上次好多了，看來最近諸事順利，恭喜哈！「
遲老笑道：「還不是托你的福，給我們的管理解決了大問題了。」
老院士七十多歲了，其實是已經退了的，只不過巨型機這次的研發新巨型機的項目負責人是他學術上的衣缽弟子，雖然天賦好，但因為還是國家的聯合項目，管理上怕壓不住腳，他也就再次出山站台，扶上馬送一程。
想不到居然碰到了陳咨這個小妖孽，得以引入了項目管理和CMMI這樣特別有用的框架和理論。
有了這個理論，也省了他好多事，所以這次見面，老院士的氣色是真好了好多，陳咨的話倒也不是奉承。
看到陳咨手邊的茶葉，一點都沒有推遲的意思，撈過來一看，嘴裡贊道：「嗯！不錯，應該是正宗普洱，你小子帶過來的我也就不客氣了。」
「小鄧，燒壺開水進來泡茶。」招呼了他的助理一聲，遲老卻是真好這口。
三人都是時間不寬裕的人，也沒有多做客套。
先說話的卻是程校長：「陳董，貴公司真的需要購買一台巨型機嗎？」
程中將剛剛聽到消息還真以為聽錯了，找遲來院士確認過了後，才急急忙忙的跑過來，專門等著金主上門。
陳咨的保密資料他倒是有權限查看，可惜他一直也沒覺得這個小合作夥伴有多重要。
等到陳咨真有大合作找他的時候，卻是時間也來不及。
所以他對陳咨和他的公司其實並不了解，對其需要巨型機很是懷疑，不說國內，就是國際上購買巨型機的公司也屈指可數。
陳咨肯定的道：「程校長，我夠買巨型機可不僅僅是我新世紀公司用，主要是我的三個研究所和精密機械公司需要使用。」
這話不但程校長，就是遲老也感覺新奇，他倒是知道陳咨集團目前的研發項目不少，但是還有三個獨立的研究所，他還真不是很清楚。
卻是何從初他們現在遵守著公司的保密守則，一般問題現在也不會說。
PS：注1：我們現在用的計算機程式語言都是諾伊曼式語言，JAVA，C語言等等都是以馮諾伊曼式的計算機為設計背景的。
而函數式語言是以電腦運算視為數學上的函數計算，回歸的是數學本質，他的表達近似於我們使用的自然語言，該語言是1977年誕生，近幾年才漸漸的進入實踐，是未來的方向，或許其是智能時代的基礎之一。
謝謝各位的月票和推薦票支持