這幾天讀
程式分析的書非常鬱悶。無數次懷疑自己是不是真在讀關於程式設計的書。感覺搞程式語言（包括搞軟體工程)的人和搞演算法的人不是乙個世界的，雖然都在八卦演算法和資料結構。看那些演算法書裡的概念多直觀啊。再困難的概念都是從無數具體實在的例子中浮現出來的，基本不用費腦子去理解和記憶。再看程式分析的書，符號滿天飛。不把54個希臘字母用完誓不罷休。有限的幾個例子也是用來支援作者討論的模型的，而不是用來引出概念。比如像資料流分析那麼直觀的東西，一來就是一組集合方程，然後說找到了定點就找到了最小解。嗯，雖然不太理解，但還能接受。然後作者就開始扯什麼偏序集，格點，最小定點，最大定點了。然後以後的各式各樣的資料流分析就變成對乙個格點加一堆函式集合找定點了。然後俺就徹底迷茫了。該不是那幫寫書的銀為了程式分析而程式分析吧？y們寫過程式沒有啊（嗯，俺知道，自己很幼稚）？其實自學理論最大的障礙之一就是缺乏動力：這個理論從**來？到**去？我為什麼要學？可惜很多書都不考慮這些問題。有的甚至連非標準符號系統都不解釋。看來當年knuth在《mathematical writing》裡強調的「為普通人而寫，你的作品專家能看懂；為專家而寫，你的書沒人看懂」的箴言還不夠深入人心。
還好，今天乙個好朋友花了兩小時，耐心地回答了俺一系列愚蠢問題，終於讓俺明白了格點理論後面的直觀意義，以及在程式分析裡的作用。當時有如醍醐灌頂。心中積鬱一掃而空。霎時間海闊天空，眼前一片清明。當年阿基公尺德在浴池裡魚躍而起，一邊裸奔一邊高喊「eureka」的強烈快感，大致如此吧。當然，阿老大推想出了浮力原理，俺只不過讓自己的弱智狀況有所改善，還是有很大區別的。
看來:
有個耐心細緻肯花無數小時解答自己弱智問題的朋友實在是人生大幸
本科時要是學了這些數學課就好了：
抽象代數，什麼格點，群，環，域，場。。。越來越有用
拓撲。想不到這也有用
高年級數理邏輯。什麼集合論，模型論，遞迴理論。。。到處都在用
組合數學。圖論，組合演算法，組合構造，網路理論。。。通通有用
簡單說，想讀計算機研究生的人最好修數學計算機雙學位
有個同伴一起學習太重要了。
夏洛很幸福
夏洛特煩惱，其實夏洛很幸福。年輕的時候，我們總是放肆任性，卻不知道無意中傷害了多少深愛我們的人。後來回首往事，才發現有些身邊的人一直在默默地對自己好，但自己卻從未察覺。我們想念媽媽煮的一碗面，因為它有媽媽的味道，家的味道，熟悉的味道。就是因為熟悉，所以感受不到別人的好，所以我們要學會珍惜身邊真正愛我...
今天很意外
今天很意外,我居然把c的上機給過了,本來以為c這次是掛了,估計也是過不了的,結果,居然過了,而且還是高分叻 呵呵真的有點點意外,發覺乙個道理 堅持就是勝利,沒有必要為一些事情而惱火 自己的心態比什麼都重要,真的需要快樂每一天,你想想要是自己都是一種悲觀的心態,自己都不快樂了,怎麼去感受別人也快樂,怎...
有一種思念很幸福
有一種朋友,我想那是一種介乎於愛情與友情之間的感情，你會在偶爾的一時間默默地想念他，想起他時，心裡暖暖的，有乙份美好，有乙份感動。在憂愁和煩惱的時候，你會想起他，你很希望他能在你的身邊，給你安慰，給你理解，而你卻從沒有向他傾訴，你怕屬於自己的那份憂傷回妨礙他平靜的生活。你會因為一首歌曲，一種顏色，想...