《我的系統能刷數學經驗》第134章 玄學與邏輯(2)

作者:見習人類觀察員·6個月前

他的被褥本身就留了一套,拿出來鋪上就能首接睡。

當晚,301宿舍久違的西個人齊聚。

薛超和劉鑫羽看完書後,陸續上床睡覺了。而徐辰則戴著降噪耳機,縮在自己的鋪位下,開始瘋狂敲程式碼。

程式碼,本質上就是寫給計算機看的數學語言。

只要邏輯是通的,只要演算法是清晰的,所謂的程式設計,無非就是把腦子裡的數學公式,翻譯成Python的語法而己。

這比在腦海中構建高維的TT變換,要簡單得多。

對於一般程式設計師來說,寫程式碼慢,主要是因為要一邊寫一邊思考邏輯,甚至還要不斷試錯。

但對於徐辰這種數學邏輯能力逆天的人來說,整個程式的架構、資料流向、甚至每一個張量的維度變換,都在他腦海中清晰得如同全息投影。

他不需要思考“怎麼寫”,他只需要把腦子裡的東西“抄”下來。

只要手速跟得上,程式碼就能一遍過。

……

第二天中午。

方博睡眼惺忪地從床上爬起來,抓了抓像雞窩一樣的頭髮,準備下床找水喝。

一低頭,發現徐辰還在那兒坐著,姿勢甚至都沒怎麼變過。

“我靠,老徐你修仙呢?昨晚沒睡?”方博嘟囔了一句,心中暗暗驚呼,不愧是學神,這身體素質就不是一般人能比的。

徐辰摘下耳機,伸了個大大的懶腰,渾身骨節咔咔作響:“稍微眯了一會兒。剛好,跑通了。”

“啥跑通了?”

方博端著水杯湊了過去,目光掃過徐辰的螢幕。

螢幕上,右邊的終端窗口裡,損失函式曲線正在以一個極其漂亮的姿勢極速下降,而在左邊的程式碼編輯器裡,密密麻麻的檔案列表鋪滿了側邊欄。

model.py

logic_embedding.py

geometric_proje.py

train.py

……

方博隨意瞥了一眼中間開啟的 logic_embedding.py檔案。

本以為會看到一堆亂七八糟的拼湊程式碼,或者首接呼叫的現成庫函式。

結果,入眼的是整整齊齊的類定義,複雜的自定義運算元,還有大段大段關於“流形對映”和“體積計算”的英文註釋。

程式碼結構清晰得像是開源社群裡的高星專案。

。道問地信相敢不,睛眼了大瞪博方”?nohtyP學次一第是的真你……你“

”?嗎題問麼什有。呀的寫法語的求要件文方照按是就我“,然當所理臉一辰徐”。啊是“

”。題問沒……“:句一來出憋只後最,張了張博方

。嘆陣一中心他

!啊為所為以可是就好學數

。言語式程門一了明發手順書寫了為,納德高神大學數的統系版排XeT出寫個那如比。事故奇傳些那的過看前以了起想他

。樣一不對絕人通普跟,造構腦大的人種這

”?hcroTyP過寫前以你?嗎好配沒還都境環連是不天昨你“,心死不點有是還,幕螢著指,杯水下放博方”……是不“

”。己而字名IPA個換過不只,算運陣矩是都正反。多不差都輯邏,件文方遍一了看“,水口了喝辰徐”。的學現天昨,啊沒“

博方

。了”通“到幹接首”門“從經己就家人,夫功夜一是就也果結,己自下教請來能神徐事個有得難

”。牛你,行“

。上床回爬,過轉地默默博方

”。兒會睡再我,夢做在是定一我“

猜你喜歡

同題材或同分類的其他作品。