以前可能看過，不過真的記不得了，特記錄一下，可能不嚴密，僅供自己理解。
　　求gcd(a, b)，欲證gcd(a, b) = gcd(b, a % b)
　　設d1 = gcd(a, b), d2 = gcd(b, a % b), a > b且a = qb + r
　　只需證d1 | d2并且d2 | d1。
　　因為d2 | b, d2 | r, 因此d2 | (b + qr) = a，根據d2 | b且d2 | a有d2 | gcd(a, b)，即d2 | d1。
　　因為d1 | a, d1 | b, 因此d1 | (a - qb) = r，根據d1 | b且d1 | r有d1 | gcd(b, r)，即d1 | d2。
　　根據Euclid算法執行過程，gcd(a, b) = gcd(b, r) = gcd(r, b % r) = ... = gcd(rn, rn-1 % rn)，如果rn-1 % rn = 0，根據gcd(a, 0) = a，有gcd(a, b) = rn，證畢。

　　貌似偏序關系上證a = b很多都是利用反對稱性，比如a >= b并且b >= a則a = b，或者a | b并且b | a則a = b，一個很常用且強大的方法。

　　漢語的魅力在于僅僅改動幾個字，整個句子的含義可能和原來相差甚遠。
　　昨天看到today.hit上公布了優秀畢業生的名單，于是就下載下來八卦了一番。每個人在“曾獲獎勵”那一欄里面都大書特書，什么獎學金XX次，三好學生XX次之類，當然也有在各種競賽上獲獎的。某學院的一位女生也采用相同的方式填寫，不過我看到她在人民獎學金（頓號）后面赫然寫著一個“打飛機比賽”四等獎。鑒于本人思想比較齷齪，當時看到這個我就笑噴了，我想可能是我孤陋寡聞吧，沒聽過這個比賽。然后我就習慣性的上google搜一下，結果google也逗我，告訴我說“打飛機”這三個字被和諧了，我剛剛緩過來看到這個結果又笑翻了。最后在百度上搜了半天也沒找到這個所謂的“打飛機”比賽，搜到的結果凈是我想的那個“打飛機”比賽。經過一番分析后我得出結論，這位女同學應該是打錯了字，不過我實在想不出能有什么比賽還有四等獎！
　　恰好今天黃黃去學院捐款回來跟我說他在網上看到有人被學校逼著捐款，歸來后想在QQ簽名上寫下“我被逼捐了”，結果不小心打錯個字寫成“我把逼捐了”，聽到這個我就邊笑邊跟黃黃說，你也應該改下簽名“我也把逼捐了”。
　　咳咳，最近思想比較齷齪...
　　話說雖然在HIT生活了近四年，對這個地方還是不甚熟悉，今天嘗試從學苑樓走到游泳館，差點迷路，看來我得趕緊趁畢業前多走走，要不然真不好意思跟人家說我是HIT的。另外我都沒參加過金工實習，連那個樓都沒進去過，很汗顏。
　　心態決定心情，貌似最近心態不錯，繼續保持。很喜歡這句話的哲學：The only thing predictable about life is its unpredictability！呵呵，與其為世事難料而憂心忡忡，不如享受生活的不確定性。

　　還能記清校歷，說明我的生活還是比較有規律的:-)
　　這一周開始信誓旦旦的要做好畢設，結果搞定了一個問題后有點懈怠。在網上發現StarCraft II的破解版已經有了，室友下載下來試玩了一下貌似不錯，不過沒有局域網的功能實在是太發指了。不知怎的我突然有些懷舊下了一個StarCarft I津津有味的玩了若干局，不過實在不是一個年代的游戲，畫面太TM挫了，估計現在的90后應該已經不知道這款曾經風靡我整個初中的游戲了。
　　QE的書除了一本其他都已買到，TNND，有幾本都是上千頁的，真不知到時候怎么看。下周輪到我作講座，主題是數學，花了3個小時把PPT做好了，下周周末之前再把整個流程過一遍，把其中用到的所有定理和結論重新推一遍，應該就差不多。感覺講座的內容還是很有趣的，相信我能講好。貌似之前的資料都太偏重于理論了，有些枯燥，這回我重新修訂了一下，結合了許多跟編程有關的內容，效果應該會好很多?，F在的小朋友都太幸福了，當初要是有人給我講這些東西該多好啊~
　　下周一計劃去電影院看<Clash of the Titans>，期待很久了。下周的計劃依然是做好畢設，這回一定要堅持下去，另外就是好好看書，恩，就這樣。

　　自從中期檢查過后就一直忙于一些瑣碎的事情，加上自己過得比較放縱，因此畢設這個主進程就一直處于等待狀態。這周終于下定決心先把要事做完，周一簡單看了一下CRF++的源代碼，周二簡單配置了一下Ubuntu，該死的vim配色方案弄了好久都不好使，后來上網查了一下發現原來終端的色彩比較少，因此某些配色方案就不能完整的顯示。問了下Robin，把終端的配色改了一下，現在是深色背景+綠色字體，看起來還挺舒服。
　　今天（周三）終于把CRF++中需要用到的參數和結果全部找了出來，恩，下一步的工作是編寫程序利用這些參數生成lp文件，貌似也不是很難，晚上爭取完成80%。照這個進度下去，周末之前應該能把第一個模塊弄出來了，之后應該讓car看一下，確定一下以后的工作是否需要調整。
　　這一個月要堅持用blog記錄，防止自己偷懶。爭取用一個月的時間把畢設的80%工作做完，畢竟知道怎么做之后實現起來還是很快的。畢設完成后還有許多工作要做，計劃去上海玩兩天~
　　最近一直在聽大一聽過的那些歌，發現聽C21的be with you again和Daniel Powter的love you lately再也沒有大一時的那種心境了，也找不到那種感覺了，很懷念單純的大一生活。

　　話說在網上看影評的時候看到這么一句：“外衣很漂亮，哲學也很hardcore”。我就想，這個hardcore該怎么理解呢，于是就用google詞典查了一下，結果凈是什么“核心、骨干、中堅力量”，我想這個也對不上啊，要么就是形容什么道路的，都不靠譜。于是就直接把這個詞打到google(香港)期待找到更貼切的意思，然后就尷尬了，google提示說這詞被過濾了。我想你這google也不能隨便過濾啊，這詞不挺正經的么，于是又跑到google(臺灣)查了一下，發現問題了。這個詞還真有另一個意思，就是指那個色情電影里XX過程中有XX特寫的那種...
　　后來找了好半天，終于發現這個詞還有“絕對的、純粹的”意思，這個應該就是我要找的意思。不過很尷尬的發現，我們偉大的gov本來試圖通過過濾敏感詞讓我們不去干“壞事”，但感覺這么一弄反倒勾起了我的好奇心，不得不說這是一件很詭異的事情。。。