過去一學期是非常忙碌的一個學期,無論是學習,還是社會工作,任務都相當繁重。
課程學習
由於之前已修過計算機網絡和操作系統兩門課程,因此在後半學期,與其他同學相比,顯得略輕鬆一些。選課情況如下:
- 計算機組成原理
- 數據庫原理
- 編譯原理
- 算法設計及其複雜度分析
- 形式語言與自動機
- 軟件證明技術導引
這些課程中,收穫最大的應該是數據庫原理、編譯原理和形式語言與自動機。通過一系列艱苦卓絕地閱讀HyperSQL的源代碼,最終我比較完整地瞭解了一個結構化數據庫的比較具體的實現原理,也意識到了以前用數據庫用的非常不好,這都爲以後更好地使用數據庫,以及閱讀其他項目的源代碼打下了良好的基礎。
而編譯原理和形式語言與自動機這兩門課內容比較相近,通過一個學期的學習,我學會了正則表達式、NFA、DFA、上下文無關文法、Lex & Yacc等非常實用的內容。這些知識的積累對今後的學習、工作都頗有益處。
軟件證明技術導引這門課學習了一種函數式語言——Coq,不過遺憾的是,一個學期結束後,還是未能掌握這種充滿了類似Lambda表達式的語言。
計原和算法兩門課則比較「正常」,也學到了一些知識,特別是在計原上學到了很多C語言優化的內容,非常實用。
值得一提的是,在上學期的學習中,我基本將工作遷移到了Linux中。
社會工作
上學期接任了勤工助學大隊信息系統服務部分隊長和科協副主席。前者是一項全新的工作,之前沒有任何經驗,經過一個學期,給自己打60分。除了發工資這樣的基本工作,其他做的都不太好,希望這學期能將這項工作做好。
其他
上學期前半學期在鍛鍊身體方面堅持的比較好,後半部分由於天氣及時間的原因,就沒那麼好了。這學期還是計劃堅持做好鍛鍊,畢竟身體是革命的本錢。