高盧人派出了阿蘭·科爾默勞厄和菲利普·魯塞爾兩位,主要是這倆人合適。
一個三十多歲,一個還不到四十,屬於高爐這邊有能力做出鑒彆的專業人士中,年齡與東方曲最為接近的青年科學家。
而且,二人開發的proog語言,核心特點是基於符號推理和知識表示的自然語言處理係統。
說人話是:是一門適合搞人工智能開發的語言。
以這兩位的職業素養,很容易就分辨出,東方曲的能力是否如“傳言”那般,開發了一種全新的計算機語言,還創造出被英國佬大吹特捧的,擁有學習能力的超級人工智能體……
事實證明,行家一出手,就知有沒有。
仨人隻吃到第四道菜,就買單離開了餐廳。
乾嘛去了?
去inria機房。
曲卓要教倆人如何在dos係統下,為proog語言搭建解釋器……
阿蘭·科爾默勞厄和菲利普·魯塞爾於70年完成了proog語言的基礎開發,並於72年使用proog解釋器,將羅伯特·科瓦爾斯基的邏輯推理理論,轉化為可運行代碼。
隨後的幾年,二人一直在馬塞大學深耕proog在自動化定理證明和專家係統等領域的應用。
去年inria引進了內陸的計算機,經過了一段時間的測試和論證後,召集了一批程序語言專家,基於dos平台做程序適配和開發。
阿蘭·科爾默勞厄和菲利普·魯塞爾受邀帶領團隊從普羅旺斯到了巴黎,從事proog語言和解釋器的移植工作。
雖然掐頭去尾小一年了,但團隊隻熟悉計算機、dos係統和軟件開發環境就用了半年。
然後,才邊學習邊開始了磕磕絆絆的工作。
再加上proog語言本身就一直處於完善當中,所以進度十分緩慢。
inria的機房,肯定不是隨便能進的。不過通過上機操作,直觀觀察東方曲的技術水平,本就在計劃之內。
曲卓隻是在安保處確定並登記了身份,就十分順利的進入了機房……然後,在阿蘭團隊的專用機房裡從不到七點,一直待到淩晨兩點多。
起初隻是用dos平台下的c語言編譯器turboc,告訴proog語言的兩位主要開發人,由他們主持開發的“p?直譯器”應該是什麼樣子的。
後來機房主管來了,再後來其他機房內加班,或玩計算機打發時間的開發小組成員聞訊來了。
再再後來,已經下班休息的人,被還在機房的同事打電話喊回來了。
人多了,必然有人提問。
有人提問,曲某人有問必答。
不但有問必答,還親自演示。
最後,一發而不可收拾。
要不是副所長數學家雅克·路易猛然發現時間已經太晚了,趕緊喊停,並告訴大家,明天東方曲的行程正是inria,大家有足夠時間交流,估計一夜就不知不覺的過去了……
轉過天八點來鐘,曲卓下樓在酒店餐廳吃了頓標準的法式早餐……法棍片夾著火腿,又乾了一杯咖啡。
彆的沒法吃,巧克力麵包、葡萄乾麵包、熱巧克力、果汁、果醬、蜂蜜,全尼瑪是甜的。
咱也不知道咋回事,老歐洲們的祖先們甜食匱乏,以至於留下了基因缺憾嗎?
英國佬也好,法國佬也好,都往死裡吃甜食!
但凡胰腺功能差點,隨便吃兩口餐後血糖少說能頂到十五,活不活了呀?
inria的全稱是高盧國家信息與自動化研究所,其中控製論和自動化研究,屬於重點領域。
曲卓快九點時乘坐專車再次抵達後,受到了可謂隆重的歡迎。