过去一学期是非常忙碌的一个学期，无论是学习，还是社会工作，任务都相当繁重。
课程学习
由于之前已修过计算机网络和操作系统两门课程，因此在后半学期，与其他同学相比，显得略轻松一些。选课情况如下：
- 计算机组成原理
- 数据库原理
- 编译原理
- 算法设计及其复杂度分析
- 形式语言与自动机
- 软件证明技术导引
这些课程中，收获最大的应该是数据库原理、编译原理和形式语言与自动机。通过一系列艰苦卓绝地阅读HyperSQL的源代码，最终我比较完整地了解了一个结构化数据库的比较具体的实现原理，也意识到了以前用数据库用的非常不好，这都为以后更好地使用数据库，以及阅读其他项目的源代码打下了良好的基础。
而编译原理和形式语言与自动机这两门课内容比较相近，通过一个学期的学习，我学会了正则表达式、NFA、DFA、上下文无关文法、Lex & Yacc等非常实用的内容。这些知识的积累对今后的学习、工作都颇有益处。
软件证明技术导引这门课学习了一种函数式语言——Coq，不过遗憾的是，一个学期结束后，还是未能掌握这种充满了类似Lambda表达式的语言。
计原和算法两门课则比较“正常”，也学到了一些知识，特别是在计原上学到了很多C语言优化的内容，非常实用。
值得一提的是，在上学期的学习中，我基本将工作迁移到了Linux中。
社会工作
上学期接任了勤工助学大队信息系统服务部分队长和科协副主席。前者是一项全新的工作，之前没有任何经验，经过一个学期，给自己打60分。除了发工资这样的基本工作，其他做的都不太好，希望这学期能将这项工作做好。
其他
上学期前半学期在锻炼身体方面坚持的比较好，后半部分由于天气及时间的原因，就没那么好了。这学期还是计划坚持做好锻炼，毕竟身体是革命的本钱。