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

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

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

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

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

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