※ 引述《HYL (UNEMPLOYED)》之銘言：
: ※ 引述《reader (讀者)》之銘言：
: : 這真是要嘆氣，我這十年來一直在做的東西，就是我那位學弟去美國讀
: : 大學之前寄來的筆記裡的東西。那時他宣告不搞 CS 了，留了幾篇筆記
: : 給幾位比較能看得懂他在寫什麼的人。
: : 他在一篇筆記中，闡明現今物件導向理論的基本問題，用數學觀點說明
: : 軟體必須是有機動態的結合，才能避免軟體發展極限的問題，並給定出
: : 一些可能的方法。
: 可否請大學長把這點說明的更詳細點嗎？
其實是重構成本的問題，軟體在變動時，需要的人力資源，如果跟軟體
規模有關，那麼人類必將面臨軟體的整合極限。
這詳細推衍會很複雜，他也沒說，當然可以自己分析，就不多說，但是
主要有幾個關鍵點，就是程式單元與程式單元之間的連結與中間層，能
不能建立起自動化的構造機制。
他寫了幾個可能性。大致上就是幾種簡單模型和機制。在 2000 年時，
我和唐整理出基於語言學和生物機制的一個較完整模型。後來唐那邊又
更進一步利用德希達的後現代主義語言哲學的論點，建構出更佳模型，
不過，那個模型只怕有明顯的效能問題。但模型夠漂亮是沒話說，這點
我比不上。
我這邊則是利用早期他對我和劉討論 OO 架構問題時所提出來的建議，
做了工程上的優化模型，應該比較有實作優勢。
: 最近在上AI，教授發的一篇 A Methodology and Modelling Technique
: for Systems of BDI Agents
: 就是把AI應用在 OO Modeling上，老實講這篇我看不大懂，大概還要再
: 多看幾篇相關的 paper才能推測出來 BDI倒底是什麼；不過從這篇 paper
: 裡面舉的Air Traffice Management System來看，若能搭配上logic reasoning
: 那這個價構的確比現有的OO強大多了。
: 給定initial state - constraint - goal state - operator，透過logic
: reasoning 幾個instance自己就可以plan產生出來，真是滿可怕的。
: 當然受現於現有的 logic reasoning technique，在有解的狀況下是NP，
: 無解的狀況下是 intractable problem，要把這架構套用到現有系統上
: 仍有一段路要走。
這也是唐的架構的一個明顯問題，單的筆記也沒多寫，這類的模型不管
怎麼做，我想都不應該脫離現實太多，如果計算能力的需求上昇太過於
劇烈，那麼除非是量子電腦可以有效解決，不然反而只能變成個別程式
單元，卻做不成軟體整合的巨觀架構，特別是在規模可能要擴及全球的
大型網路架構，更是如此。
這是我一貫反對用 logic reasoning 來做的基本原因。以工程觀點，
效能一定是要嚴加考量的，特別是我想做成先進網路架構而不是個別的
系統架構，更不希望讓 Cisco 統治世界。
: 單當年是十八歲出國的嗎？我以為他跳級很多次，你前面說的他小學的
: 故事時，當時我姐跟他是國語實小的同學，同班只有一年，他又跳級跳
: 走了。
嗯，如果只跳一級，那就是十七，跳兩級是十六，跳兩級外加早讀是
十五，不過想想比較可能是只跳一級吧。
: 剛看了一下他的網頁，發覺他又跳回CS了，應該是今年可以拿到 PhD
: 網頁上放了堆看不懂的AI paper，看來又要看到日出了....
喔喔，這應該算是好消息吧。不管他做什麼，都希望他能安心研究。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.222.173.29