Just for fun

夜深人靜，打開音樂，想著，好久好久沒有寫 blog 了 XD。

來到風城一個多月了，在這裡，把自己當成白紙，重新打造一切，希望這一切能持續下去。很謝謝身邊的人對我的幫助與容忍。

選了應數系大一的基礎數學課，雖然小馬馬覺得練習寫證明要從中學幾何或者是微積分的極限證明練習開始比較重要。不過顯然上了課之後發現，我真的是一無所知的 XD。雖然證明對我來說是一件很痛苦的事，不過證久了還蠻喜歡的。履履想數學證明到半夜，一半是為了趕作業，但是一半是我真的還蠻喜歡思考這樣子的問題的。漸漸能理解所謂的證明的結構性，思考能力的訓練 ? 我也不知道，一切且戰且走。我就開玩笑的對自己說，希望明年我可以去修高等微積分，小馬馬說，這是一個會把全校自認為是數學高手聚集的課，但是對我來說，我只是想要知道，這一切到底可以到什麼地步，我不是高手，但是我希望能體會到其中道理。

在正規語言課程中，我努力學習使用圖形思考證明 (因為到目前為止都是 automata XD)，課堂習題不太會寫，但是總是覺得很有趣，與其說為了資格考而準備，不如說我想為了搞懂這一切而認真，可以用數學模型搞懂所謂的計算極限在那裡，感覺是一件很好玩的事。老實說，理解到證明並不恐怖，反正多多練習就是了，雖然目前還是沒有找到人幫我改證明，但是我想我會一直持續玩下去。

老實說，做這一切只是覺得有趣而己。資格考一向不是我所思考的重點 XD。

至於本科 (老實說我也不知道什麼是本科了 XD? 這種東西存在嗎 XD?) 還是致力於 Embedded System Verification 的部分，目前還蠻簡單的，先搞懂整個的過程吧。還有好多好多書可以看，好多事可以做，有空就會聽聽 BBC Learning English，看看 CACM & Wired (Computing Now 是下一個目標 XD)。生活其實簡單，但是還是持續的前進。

臨時寫的，還蠻混亂的。想到再補充哩

---
Just for fun --- Randy Pausch