《開局染上讀癮,從職中到諾獎之神》第381章 只恨時間太少,沒能讓林教授講個盡興(1)

作者:帶帶葫蘆俠·1天前

又是講了大半個小時,林決大致將對映規則論述完畢後,總結道,

“.......以上,就是關於我對通譯函子進一步應用的看法。”

“因為時間有限,在這裡我便不再一一展開細講了。”

“現在........大家有什麼問題,可以以機構代表的方式提出來,咱們再一起簡單探討探討......”

林決話音落下。

在場眾人都是沉默了。

近一個小時的時間裡。

這個年輕人幾乎就根據PPT上那簡單函子構造,便脫稿講了近一個多小時,屬實厲害!

不過很快......

他們便從那種情緒脫離,再次將注意力放在了林氏函子上。

約莫幾分鐘後,一位來自蘇黎世理工的代表率先起身。

“你好林教授,根據您剛才的論述......我們想知道,在範疇公理化重構,計算機函式式的跨域應用中,函子的底層邏輯是統一貫通,還是存在場景化的本質割裂呢!?”

聽到這個問題。

林決忍不住笑了起來,只能說不愧都是世界頂尖團隊。

對方的問題,一下就跳出了表層對,落到了抽象公理與工程落地的關係中去。

不過嘛......

在林決面前,這個答案是顯而易見的.......

因為林氏函子光學變式,如今已經正式應用到解決光刻機多層膜了。

在對方提出這個問題後,下方也傳來一陣躁動。

“這個問題很關鍵啊,雖然公理一致,但並不代表思想動機也能一樣......”

“是的,我之前也一直預設二者之間同源,但總覺得又有些割裂,似乎還得辨析一番。”

“這牽扯到概念跨域移植核心了,簡單類比應該不好解釋......”

“差不多,還是聽聽主講怎麼說吧......”

眾人討論一會兒,但總歸是沒想出個所以然,只能再次將注意力放在林決身上。

見現場逐漸安靜。

林決這才拿起電子筆,在電子空白頁上寫下兩條規則。

【形式核心同源統一】

【應用場景理論實際差異,需要透過改變對映規則界定】

,口開緩不急不才這決林,後之完寫等

”。換變的出做所,下提前的構結有原壞破不在是都,質本者二為因,映對等恆持保要需都,rotcnuF的中計設式程言語數函是還,子函學數是管不得覺我........“

......通得走能才,制限以加件條映對定特用再,理制位進二統傳過要需,合組碼式程於務服是多更子函的裡計設式程,中用應機算計在而“

”......一統上式形算能隻多最者二這,說是就也

。話這到聽

,然釋一過閃上臉,眉皺表代言發的工理世黎蘇位那

”。啊行才則規映對的新有擁得還,話的用要程工們我續後來看?嗎樣這“

,道定肯,頭點決林

”。的是“

”。授教林謝謝,的好“

”。位一下......的好“,下場過掃目,笑一輕輕決林

..............

。時小個一了花是又,著接

。解了解構機級頂些這給單簡決林

.......了然當

。限有在實間時為因

.....徑路索探和向方究研的應相供提,講一講致大能只決林題問多許

。完說全完夠能定一不也,間時天五三他給再計估那,論討開展要真若

.......此如使即過不

。淺匪益們牛大的構機多許場在讓也,撥點的決林

!!規常破打是就全完,來看人多許在,解見路思的出提決林為因

.......導誤的似相面表了有沒還且而,謹嚴加更構結候時的模數立建但不,路思的道通移遷構結的證驗可當子函將如比

猜你喜歡

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