1052.第1026章 她家霍少棒棒噠(第三更大章

第1026章 她家霍少棒棒噠(第三更大章求月票)

“何教授,就是這樣……昨晚花了我的電腦一晚上的時間,還是什麼都查不到……”顧念之都有些沮喪了。

她還從來沒有碰到過這種情況。

何之初輕輕咳嗽一聲,對顧念之說:“念之,我想問問你,你對Prolog這種編程語言熟悉嗎?”

“Prolog?Programming-in-logic?”顧念之迅速反應過來,“知道啊,但是這種編程語言運用並不廣泛,還處於實驗室階段。”

“那你知道它爲什麼運用並不廣泛?”何之初像是在課堂講課一樣啓發顧念之的思維。

“Prolog,也就是Programming-in-logic,顧名思義,它是一種基於邏輯理論的編程語言,也就是智能程序的一種。現有的電腦硬件水平有限,不足以支撐這種編程語言的大規模運用,所以實際運用基本爲零。”

“對,那它跟普通的編程語言有什麼不同?”何之初擡眸看着窗外的陽光燦爛,眯了眯眼。

“呃,何教授是在考我嗎?”

“你不是號稱天才電腦小能手嗎?我看看你的基本知識掌握得怎麼樣。”何之初清淺地笑了笑,修長潔淨的手指將窗簾放下,走到自己的書桌前坐下,打開了電腦。

顧念之嘻嘻笑了一聲,說:“好吧,我是這樣理解的。普通編程語言,程序員佔有絕對主導地位。他的代碼一行行明明白白,都是給電腦的指令。而Prolog這種邏輯編程語言,卻是給電腦設定邏輯規則,然後讓電腦根據邏輯規則自行判斷如何進行下一步程序。”

“舉例來說,用普通編程語言讓電腦計算公式,程序員教電腦先乘除,後加減。電腦嚴格按照程序員設定的計算順序進行計算。從這個角度來說,電腦執行程序員的命令,永不出錯。出錯的只能是程序員寫錯了程序。”

“而Prolog這種邏輯編程語言,是按照邏輯規則進行數據處理,並不是簡單的先加減後乘除。”

“最簡單的邏輯關係是這樣的,先設定小紅是人,小麗也是人,兩人互相喜歡。再給出判斷規則:互相喜歡的人是朋友。那麼當你輸入小紅喜歡小麗,小麗喜歡小紅,電腦就會得出結論:她們是朋友關係。然後按照朋友關係進行下一步推理運行。”

何之初滿意地點點頭,“不錯,深入淺出,是這個道理。但是,這是最基礎的描述。——你用Prolog編過程嗎?”

顧念之想了想,搖頭說:“試過幾次,但沒有系統地大規模編過程。”

她從趙良澤那裡學到的是最實用的黑客技術,這意味着她對現有廣泛運用的程序研究得更多更透徹。

因爲黑客本質說白了,就是破解功能。

最強大的黑客,可以破解一切程序。

而智能編程語言,基本上沒有實際運用,也就不需要破解,因此顧念之對這一方面瞭解得比較粗淺。

“太可惜了,如果有機會,你多用Prolog編程,有些問題就不成爲問題了。”何之初含蓄地提醒她。

顧念之一時沒聽出來何之初的言外之意,她聳了聳肩,不以爲然地說:“可是智能程序跟計算機的人工智能息息相關,在人工智能取得突破性進展之前,這些智能編程語言只能是小打小鬧,幹嘛要花時間在這上面?等人工智能大行其道之後,我再來研究如何破解也不遲啊。”

何之初頗不贊成地搖了搖頭,“念之,據我所知,這種智能編程語言,在有些國家的軍方實驗室裡,已經是半成品了。——軍方的半成品,你知道是什麼概念嗎?”

顧念之一下子卡殼了。

何之初的身份地位,讓顧念之不能對他說的任何一句話等閒視之。

顧念之突然若有所悟。

她想到剛纔何之初提到的Prolog這種編程語言,雖然她只有粗淺的瞭解,但是這些粗淺的瞭解包括了這種智能編程語言最核心的規則。

而何之初的提示,也像在顧念之面前打開了新世界大門。

她定定地看着電腦上她琢磨了一整個上午的源代碼,好像明白了什麼。

“念之?”何之初半天沒有聽見顧念之說話,有些擔心地叫了她一聲。

顧念之回過神,欣喜萬分地說:“何教授你太厲害了!我覺得我已經找到問題所在了!對不起我要找bug了,等我找到bug,我請何教授吃飯!”

“真的?你可別哄我。”何之初清冽冷漠的臉上露出一絲淡淡的笑意,那笑意既輕且淺,就像春天零星的雨水落入清澈的蔚藍湖水中蕩起的細小漣漪。

顧念之連連點頭,“絕不食言!食言讓我長成個大胖子!”

“嘖嘖,你對自己真夠狠的,連我都怕了。”何之初淡淡打趣她兩句,就掛了電話。

看着眼前的電腦,何之初想了一下,點開了一個不常用的程序……

……

顧念之掛了電話之後,盯着電腦顯示屏足足半個小時,坐在那裡一動不動,就如泥塑木雕一樣。

其實她的腦子裡正飛快地運轉着,回想着如何使用Prolog這種智能邏輯編程語言,以及如何破解這種智能邏輯編程語言。

不過破解的第一步,是探測。

何之初的話,讓顧念之有了一種新的設想。

一個普通程序裡,如果夾雜有Prolog,或者跟Prolog類似的編程語言,會是什麼情況?

她和趙良澤都找不出來的bug,是不是跟Prolog這種智能編程語言有關?!

又過了半個小時,顧念之全部想透徹了,纔拿起鼠標,打開自己的編程本,開始寫程序。

這一次,她把自己查驗bug的小程序進行了改裝,把智能編程語言也當做是一種bug進行查找。

查找的依據就是,凡是用邏輯設定進行運行的源代碼,都是bug。

因爲普通編程語言從來不用邏輯設定編寫源代碼。

改裝之後,再重新對趙良澤給她的源代碼進行查驗。

這一次顧念之沒有睡覺了,她一直坐在電腦前,眼睛都不眨地看着自己的程序運行查找。

不得不說,趙良澤給她的監控軟件的源代碼確實太厲害了。

幸虧她在霍紹恆官邸的這臺電腦功能更加強大,才能進行這樣高負荷的運算和檢測。

儘管如此,也花了她幾乎十二個小時,才完成整個檢測。

她的中飯和晚飯都是在臥室吃的。

整整12個小時,顧念之腳不出戶,除了去門口拿勤務兵送來的午飯和晚飯,她幾乎沒有離開電腦一步路。

晚上十一點,她的程序終於傳來大功告成的叮鐺聲。

她從來沒有看到電腦顯示屏上出現的大大“Done”這麼高興過。

顧念之長長吁了一口氣。

點開程序的error-report,她看到以前空空如也的驗錯報告裡,出現了幾行指令,頓時喜笑顏開。

昨天晚上她的程序查了一夜,可是一個錯誤都沒有查出來。

那個error-report裡什麼都沒有,顧念之卻一點都不高興。

現在看見error-report裡出現了真正的錯誤指令,她卻高興得不得了,也是醉了。

顧念之興奮地閱讀驗錯報告,越看越興奮,越看越激動。

“我擦!還有這種操作?!”

“居然能在普通程序語言裡設定一個基於Prolog智能邏輯編程語言的遞歸(recursion)程序!”

“……這是在一羣一個指令一個動作的傻子中安插了一箇中二選手,悄悄地給傻子們發號指令啊……”

顧念之看得心潮澎湃,目不暇接。

就好像在只會“說一是一,說二是二”的源代碼裡,突然多了一種代碼,告訴它們,當一出現的時候,可以原地不動,當二出現的時候,可以回到一。

如果既不是一,也不是二,那就照原指令運行。

這特麼就是在既定的“一、二”兩種情況之間設定了一個邏輯死程序啊!

關鍵是用了智能邏輯編程爲基礎,讓這種邏輯死不會成爲死循環的病毒程序,所以不會被軟件的使用人發現。

“真是太厲害了!誰這麼天才啊?!”

顧念之顧不得半夜三更,激動地給何之初打電話:“何教授!我找到bug了!果然有人在普通編程語言裡夾雜了幾行prolog指令!——何教授您太厲害了!您纔是天才!真正的電腦小能手!”

何之初剛睡了,被顧念之的電話吵醒,他也不生氣,淡淡地笑了一下說:“能夠被天才電腦小能手誇獎,我不勝榮幸之至。”

顧念之笑得很開心,“何教授太謙虛了,這個問題難倒我們很多人,沒想到您居然一下子就看出了問題的本質。我想問問您,你爲什麼會知道是這個原因呢?您對電腦好像也很精通哦!”

何之初眼神閃了一下,從容不迫地說:“我也是站在巨人的肩膀上。——我曾經贊助過一個國家的軍方實驗室,看見他們做過這方面的測試。”

“喔咧!明白!”顧念之知道何之初說的是哪個國家,她心照不宣地閉了閉眼,“看來,我們要趕超的路還很長啊……”

“也不長了。”何之初悠然地靠坐在牀上,“其實你說你們有人提出這個問題要麼是電腦問題,要麼是軟件問題,已經指出了問題的核心。相信那個人只要再多想一陣子,就能想出問題的關鍵。”

因爲只有智能編程語言才能真正驅使硬件爲軟件服務。

顧念之一下子覺得與有榮焉。

她家霍少就是這麼棒棒噠!

※※※※※※※※※※※※※※※※※※※※※

這是第三更3100字了,也是大章哦!

提醒親們的月票和推薦票哦!

早上第一更是兩更合一,所以這更是第三更,沒毛病2333333~~~

麼麼噠!

(本章完)

544.第530章 家裡人(加更求月票)988.第962章 不放過(第三更)1001.第975章 老朋友出現了(第一更)1460.第1429章 心有靈犀(第二更求月票)170.第163章 一言爲定(4K2,含月票4200+)1961.第1930章 我也很遺憾(第一更求月票)167.第160章 給她退回去(第一更求月票)1025.第999章 我要的正義(第二更求月票)367.第356章 連我都琢磨不透他(第二更求月1012.第986章 職業習慣(第一更求月票)617.第599章 告你藐視法庭(第一更求月票)199.第190章 是夢非夢(4K求月票,含書香迷377.第366章 幸會幸會(第二更求月票)1289.第1259章 老虎發威(第三更)539.第525章 對決(6)(第一更求月票)670.第651章 視頻和司機(第14更)347.第336章 被做媒(第二更求月票)2193.第2160章 夫人從來說話算話(第二更西767.第746章 機會難得(第一更求月票)942.第916章 各種爆表(第一更求月票)63.第61章 同心圓(4)(第三更)769.第748章 認真假(1)(第三更)2267.第2230章 往事重演2260.第2225章 我是她唯一的依靠1580.第1549章 冷血是會傳染的(大章求月票1293.第1263章 喜歡一個人不容易(第一更求978.第952章 少女心(第三更求月票)1215.第1186章 冤家路窄(第三更求月票)1691.第1660章 我信你(第三更求月票)1562.第1531章 六月債,還得快(第二更月票2244.第2209章 源代碼(3)(第一更)1104.第1077章 一個不少(第一更求月票)1978.第1947章 寵到令人不適(求推薦票)2014.第1983章 家裡有礦(第二更)1604.第1573章 完整視頻(第二更月票4000+)1055.第1029章 會搞事的都是大爺(第三更求1432.第1401章 誰持彩練當空舞(3)(第一更1803.第1772章 過份熟稔(第一更求月票)1871.第1840章 如果能當沒看見就好了(大章1399.第1368章 過期不候(第三更求月票)1059.第1033章 集結(第一更求月票)2239.第2206章 往日榮光(第二更)2155.第2123章 持之和以恆(第二更)47.第47章 抗體1447.第1416章 越來越大膽了(第一更)200.第191章 風雪夜歸人(第一更求月票)694.第673章 食物鏈頂端的男人(月票600+)659.第640章 獵人還是軍人(第3更)320.第309章 背後的人(第一更求月票)1263.第1233章 秘密武器(第一更)2254.第2219章 你永遠留在這裡吧(第二更)1485.第1454章 被時光掩埋的秘密(12)(第1531.第1500章 莫欺少年窮(第二更月票20001496.第1465章 卿本佳人,奈何作賊(第一更1270.第1240章 送大禮(第二更大章)674.第655章 放我走(第18更)2251.第2216章 遊戲世界那麼大,我想去看看676.第657章 只是道具(第20更求月票!)1996.第1965章 急轉直下(第一更求月票)456.第444章 試探往事(6)(第一更求月票)1226.第1197章 我知道她還愛我(第一更求月298.第287章 你在跟我說話嗎?(第一更)356.第345章 甩重錘(第二更求月票)1793.第1762章 只有三分鐘了(第一更)856.第832章 狹路相逢(第二更)619.第601章 出任主控官(第一更求月票)53.第52章 枕頭下的睡衣 (第一更求月票)1618.第1587章 凡事都有第一次(第一更求月860.第836章 不陪玩了(第一更求月票)1063.第1037章 有沒有隱瞞(第三更求月票)2090.第2059章 風雨如晦(第三更)(吾愛堂652.第633章 建國後動物不能成精(1)887.第861章 推陳出新的作證方式(第三更)192.第184章 打碼的照片(4K,含月票5300+)2101.第2070章 還挺囂張(第一更求月票)1039.第1013章 出了大事(第一更求月票)732.第711章 套路,都是套路(第二更)1549.第1518章 祝自己生日快樂(第一更求月2172.第2139章 密碼已經破解(第二更寒鐵Gr447.第435章 解套(第二更求月票)491.第478章 幫我一個忙(大章加更求月票)601.第585章 哥哥和情郎(第一更求月票)716.第695章 絕不後退(6)(第一更求推薦票2229.第2196章 夜鶯行動(5)(第二更)1966.第1935章 親兄弟,明算賬(第二更)1874.第1843章 你還想要什麼(大章求月票)1826.第1795章 你知我知天知地知(第一更求1804.第1773章 男女之間的眉眼官司(第二更227.第217章 被發現了(第一更求月票)1270.第1240章 送大禮(第二更大章)865.第841章 追過來了(第三更求月票)751.第730章 節操不保(第三更求月票)1113.第1086章 跟蹤追擊(5)(第一更求月票1599.第1568章 忠裝反(第一更求月票)375.第364章 乳臭未乾(第二更求月票)914.第888章 我離不開你(第一更求推薦票)966.第940章 翻雲覆雨手(8)(第二更月票12163.第2131章 我勸你做個人(第二更)1962.第1931章 高調震懾(第二更)274.第263章 心理準備(第三更求月票)