到学校以后再开始看 SICP，现在终于看到第四章了，不过习题只做到了第二章的八皇后问题，其他的问题都只是看了看而已。这本书真的是很有意思，第一次在看计算机的书里面看到了哲学问题，才感觉到哲学似乎是在我们的生活的方方面面都有体现。

这本书的第三章里构建具有通用型操作的系统中看到了多继承出现的理由，也理解了面向对象的根本的难题。而第四章延时求值技术来构建流真是让人打开眼界，更让人惊讶的就是流对系统因为时间导致的复杂性的解决办法。当然环境求值模型也是很让人映像深刻的。不过前一段时间坚持每天看至少十页，想早点看完，导致有些内容理解不够。

昨天上编译原理的第二次课，讲了一些形式化语言和正则文法之类的东西。一个好的理论体系的确让人感觉很漂亮！开始对理论感兴趣了，可我知道我自己是不适合搞研究的。我可以知道不少东西，但是却不能深入某样事物，这个是我的弱点吧。

Update 2008-06-27: 为了以后做研究，我必须要克服这个弱点！

借了本《计算理论导引》，又是 MIT 的人写的。国内的计算机教育跟国外比究竟有多大的差距呢？看了导引和自动机和语言的一部分，感觉作者把这些东西都讲的很清楚简单，不是那么吓人。书一共分三部分，自动机，可计算性，还有计算复杂性，虽然很想都看一下，不过现在恐怕没有那么多时间。而且看这些书遇到问题基本上都没有人可以请教，只能孤军奋战。虽然这些理论性的东西以后可能不会用到，但是他们对我加深对计算机的理解无疑有非常大的好处！