※ 引述《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