太熱門，名額早就被占光了。scala也不錯，兼具函式式和面向對象式語言的特點，分析過程中確實也學到很多東西。形式之美是讓寫形式化表達，這次作業也被當做最後的考試。
(8)人機互動
這門課主要講一些設計準則，這些準則告訴我們在設計軟體(或其他任何人類使用的物品)時如何才能更好的被人使用。對於以後做界面開發有很大幫助。比如做網站，有的網站我們一看就知道各個功能都在哪裡，用起來使人很愉悅;但有的網站給人的感覺卻是亂七八糟，想找的功能找不到，不想要的功能堆在眼前，這就是設計的好與不好造成的。其實感覺這門課對我當前階段來說用處不大，因為現在做的東西基本功能都還實現不了，談不上美和易用性。並且大家應該都有這樣的認識，一些專業性很強的軟體，往往界面不怎么美也不怎么易用，但強悍的功能讓人們還是對它愛不釋手。但這些設計原則對於一些很成熟的通用軟體來說，就有很大作用了，比如騰訊qq的客戶端，這幾年的新版本功能上沒有太大改變，都在強調用戶的易用性。這門課也是分組作業，我們選了以前做的一個項目，沒怎么改就交上去了，老師主要看你演示時能不能將課堂上講的一些人機互動的原則在你的程式中的體現說出來。
(9)航天型號軟體工程
這門課就是講航天領域裡軟體工程的一些準則和注意事項，基本上也就是把軟體工程的流程再講一遍。老師講課挺有激情，還請了航天軟體領域的幾位專家來給講解。作業也很簡單，就提交一個需求分析文檔，也沒考試。
(10)遙感圖像解譯
這是我們導師的一門課，講遙感圖像的處理流程。課時比較短，只有半個學期，很多細節都不明白，作業也就是按照老師給的步驟處理了 幾個遙感圖像。有人覺得這樣的課根本學不到東西，上了等於白上，但我覺得上過這門課和沒上是有不同的。如果沒上過這門課，對於這個 領域裡的東西完全是一抹黑，不了解。上過一遍課，雖然很多東西還是不懂，但起碼有個入門，以後在遇到這個領域裡的問題時，自己知道如何自學了。
(11)科學計算可視化算法
這門課我覺得選的還是比較值的，算是我計算機圖形學的一個入門。主要是講如何生成各種物體的三維體數據並繪製出來，是圖形學的入門課程。老師教的也很好，講的很細。主要講了基於面片提取的marching cube算法和直接體繪製的ray casting算法，一些細節和算法實現還是不懂，但算法思想理解了。雖然選這門課的大多是虛擬現實實驗室的，也就是專門搞圖形學的，但對我來說幫助也很大。本課時沒學過圖形學，
這是第一次接觸計算機圖形學，了解了很多圖形學的基本知識，為以後的學習奠定了基礎。課程的大作業是讓生成三維球體的體數據並繪製，完成大作業的過程中第一次接觸了opengl，雖然完成的過程中很多是參照網路上已有的程式，但還是自己動手寫了一遍。以後如果遇到計算機圖形學的東西，也不至於束手無策了。
(12)視頻編碼技術及其套用
這門課主要講視頻編碼領域的基礎知識和各種編碼標準，由於和計算機視覺有關，學完了覺得還是很有用。有兩個作業，分組作業我們做的
是快速運動估計算法的研究分析，大作業做的是hevc算法的分析。學完這門課後看電影有個習慣，總是想幀與幀之間是如何預測的。