philosophy & thought
zlstone2010
朴素的求道者
展开
-
从求知者到求道者
现在是2009年2月14日凌晨,西方的情人节。昨天晚上和同事们一起吃烧烤喝酒,晚上回来有点睡不着。就躺在床上思考。 最近对我触动最大的一句话就是:“形而上者,谓之道。形而下者,谓之器”。 我以前喜欢求知,知识积累到一定的程度,总觉得有了知识的瓶颈,总觉那么多知识怎么学习的完,以前学习的知识,过段时间不去用它,就遗忘了。学习求知的过程变成了猴子搬包谷。好像感觉自己的大脑容量就原创 2009-02-19 20:43:00 · 379 阅读 · 0 评论 -
关于how to design program的评论(转载)
说这本书没有完全将scheme的思想说出来,那应该是没问题的但说到scheme的语法,要知道scheme的语法标准也不过100页这本书基本上都涵盖了跟sicp不大一样的是,htdp更基本,而前者在思想上更宽,所以我选择了这本书而不是sicp作为scheme的入门当然还好的语法文本,比如r5rs和the scheme language不过scheme跟许多语言最大的区别就是它的语法约束少其实如果不做原创 2009-02-20 16:56:00 · 588 阅读 · 0 评论 -
状态空间
状态空间state space 剪枝原创 2009-02-23 16:12:00 · 407 阅读 · 1 评论 -
model-checking
model checking 模型检测是针对一个模型的测试。 具体的测试,是对模型执行的实例的一种测试。模型测试更加抽象。 状态空间 剪枝 Model checking is a method for formally verifying finite-state concurrent systems. Specifications about the syst原创 2009-02-23 16:15:00 · 557 阅读 · 0 评论 -
Think abstractly
we should think abstractly.It is the right mode and approach to understand the world! use the blackbox to abstract.what is abstraction barrier.原创 2009-03-05 22:34:00 · 295 阅读 · 0 评论 -
控制系统复杂性
控制系统复杂性 用抽象 屏障去控制系统的复杂性。control the complexity of your system.原创 2009-03-05 21:33:00 · 742 阅读 · 0 评论 -
Programming Thoughts
The best important programming thoughts is abstraction.The essential thing of programming thoughts is abstraction. We hope that you can use the ideas to understand the difference between a pile原创 2009-03-20 21:32:00 · 254 阅读 · 0 评论