9月11号

1，系统设计的核心问题是用代码描述逻辑，即抽象。

2，一个好的程序或系统一定有好的表述，如果无法很自然的将算法或设计清晰明了的表达出来，那么说明算法或设计不够条例和优雅，既有问题。

3，如果不能证明程序或系统是正确的，那么它一定存在问题。