摘要：
如果不总结一下，我真的会觉得这一年时光飞逝来不及留恋。其实有很多事情都记不起来了，只能凭借着自己的日记来提醒自己曾经做过什么，也许以后我应该每月写一个总结。一月的事其实已记不清了，大概就是窝在实验室里忙复习和考试吧。映像最深的就是用一个下午的时间认识coq然后用它把形式化语言的作业写完了，虽然当时蛮有成就感，不过现在已经都忘记了。幸好当时写了博文做纪念，因为想到国内的资料还很少，希望能给被人提供一些帮助。寒假在家玩，带了本英文版的C++ primer，但只看了一半。画了几幅画，做了些ACM题，其他时间都玩去了。看了一整季的美国偶像，也许大概英文听力有一点进步吧^_^。。。寒假的设想总是美好，现 阅读全文
摘要：
开篇说些废话，我并不是很喜欢《C++数值方法》这本书，因为我数学底子不是很好，这本书又写得太过艰涩，我实在无法理解，以前试图找一些其他的计算方法的书看看，但boss坚持让我看这本，其他的看了也当我没看。书借了很久，却一直没时间看，boss催着我要快点看完，图书馆也催着我快些还书，我只能粗略地浏览一番，对各种方法混个脸熟（其实现在也忘得差不多了）。 这一系列摘记其实写得水的很，因为我无法看懂那些公... 阅读全文