原创 主從分解而不是正交分解
說到分解，很多人心中的意象大概只有正交分解。正交分解無疑是最重要的一種分析方法，它也是所謂“分而治之”思想最常見的實現策略。但是正交分解一般潛在的假定是分解後的子部分是大致均衡的，它們是相對具有獨立價值的，可以彼此脫離獨立發展。這是分
2020-06-23 08:31:14
原创 從指針到引用
地址(Address)是現代計算機體系架構中的核心概念，它在程序設計語言上的體現就是C語言中的指針(Pointer)。在C語言中，所有的高級技
2020-06-23 08:31:13
原创 WebMVC之前世.今生
所謂WebMVC即Model2模型是目前Web開發領域的主流模型，Struts/Struts2框架是其典型實現。在概念層面上，這種程序組織模型是 怎樣建立起來的?與其他Web開發模型(如面向對象模型)具有怎樣的聯繫? 它未來可能的發展
2020-06-23 08:31:13
原创 不完全的計算
在與一些年歲較大的C程序員接觸的過程中，可以比較明顯的感受到C的思維方式與面向對象思想的不同。C的世界很清澈，先做A, 再做B, 我們所期待發生的計算過程與源代碼的結構是直接一一對照的。這意味着程序將要執行的計算過程在編寫代碼的時刻
2020-06-23 08:31:13
原创 關於函數式語言的一些說明
我的觀點並不是什麼具體的程序結構問題不能用函數式語言處理.我所要表述的是這和函數式語言中能否加入結構解決任意複雜問題無關。爲什麼所有的問題不能在集合論
2020-06-23 08:31:13
1
原创 有人問我"怎樣才能成爲技術高手"
有一位網友,今年大二,詢問我怎樣才能成爲技術高手. 我並不確定如何定義所謂的技術高手, 但是既然問到我, 便列舉一下可能相關的事實.首先請明確以下事實
2020-06-23 08:31:13
1
原创 代碼之外的結構
我在各種場合一直都在強調結構問題是獨立的，在程序語言之外存在着獨立的，可研究的，富有成效的結構問題。[url]http://canonical.ite
2020-06-23 08:31:13
原创 結構的獨立性
設計考慮的是最終需要什麼，最終我們要提供的調用接口是什麼，我們所直接需要的某個有價值的，直接存在的，直接可以接觸的結構是什麼，而不是它所依據的原理是什
2020-06-23 08:31:13
1
原创 關係模型與ORM
關係數據庫模型在理論上主要解決的是消除數據冗餘的問題。關係模型的數學基礎是所謂的集合論，而集合的基本含義正是一組具有某種原子性的互不相同的元素。面向對
2020-06-23 08:31:13
原创 C++配置管理
自從離開學校就基本上不再使用C++了，最近卻又因爲項目上的原因重新走入這一迷失的世界, 感覺很是缺乏一些順手的工具。首先就是做配置管理有點麻煩, 因爲缺乏反射機制, 無法直接映射, 所以一般需要手工書寫配置設置功能. 我們希望配
2020-06-23 08:31:13
原创 [導入]OpenSource: 超越軟件工程
現在講軟件工程的, 所談論的多半是項目工程, 即如何在有限的時間內配置使用有限的資源在單個項目中達到既定的目標. 傳統上, 在這一領域基於預測和計劃的
2020-06-23 08:31:12
原创 關於語言有效性的一些澄清
數學上的有效性與物理中的有效性是不同的，例如對於密碼學問題，如果通過窮舉法破解密碼成功時，經過這些密碼加密的數據已經過了有效期限，此時我們在數學上定義
2020-06-23 08:31:12
1
原创 關於[面向集合的框架設計]的一些說明
我習慣於概念層的推演，而且所闡述的東西多數是我們創造過程中的副產品，與業內常見的觀念實際上是有着很大差異的。感覺不明白是因爲你沒有采用類似的視角，或者
2020-02-21 22:04:58
原创 關於通用語言能力的一些澄清
我在前面的文章中列舉了大量物理學相關的例子來試圖說明採用物理視角的必要性,但是可能因爲物理事實大家不熟悉,結果直接被無視了. 在本文中我想有必要舉一個
2020-02-21 22:04:57
原创 面向集合的框架設計
判斷和循環是程序中最基本的語句結構。而在vonNeumann體系架構下，循環是對集合進行操作所需的基本步驟。一個有趣的事實是，函數式語言所宣稱
2020-02-21 22:04:57