> ==>發信人: loteslogin@kkcity.com.tw (), 信區: programming
> 話說回來，這 tester 提到數學以及符號表示，
> 就我見過的高手，他們所用的證明都是「神乎奇證」。
> 像我就沒辦法了，只能慢慢證，
就個人的認知, 數學有一類是找出或確認特性, 規則的, 那類都是推
論求證. 另一類則是求數字答案的, 找等效式, 再以等效轉換或近似
地按已知規則化簡求解(或是極限邊際), 是推導式運算. 列出矩陣或
聯立方程式求解的可以用數值分析或數值計算, 數學家高斯就是在數
值計算與推論求證都出名者.
後者的數值計算是電腦早期的應用--數值計算與模擬. 等非數值的字
串被拿來處理後, 首先就是類似文件編輯或文書處理, 這也是把非數
值內容拿來做邏輯式的運算, 程式就是告訴電腦如何運算, 而程式也
可以看成是敘述一種等效的轉換, 程式是否正確的解決需求, 就是轉
換後的需求特性仍然維持與否 ? 這跟推導式運算是同樣的要求.
只要敘述問題, 需求與規則, 不必寫程式讓電腦自己去推論推導
甚至學習出規則. 自動推論求解曾經在軟體危機的時代被寄以厚望,
但現在這種全自動化的企圖則被半人工半自動化的印度代工團隊在"
價廉物美" 上所擊敗.
電腦還不會 "神乎其證" , 連自動推導/推論都不如人意, 程式
個體戶在語言習慣不符的苦不堪言下, 又常會陷入天才式突破的期待
陷井中, 但還沒突破時, 這頭的軟體市場已被半自動化的人工團隊給
端跑了.
--
◎ Origin: 中央松濤站□bbs.csie.ncu.edu.tw From: 140.115.6.234