以前可能看过，不过真的记不得了，特记录一下，可能不严密，仅供自己理解。
　　求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做好了，下周周末之前再把整个流程过一遍，把其中用到的所有定理和结论重新推一遍，应该就差不多。感觉讲座的内容还是很有趣的，相信我能讲好。貌似之前的资料都太偏重于理论了，有些枯燥，这回我重新修订了一下，结合了许多跟编程有关的内容，效果应该会好很多。现在的小朋友都太幸福了，当初要是有人给我讲这些东西该多好啊~
　　下周一计划去电影院看<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本来试图通过过滤敏感词让我们不去干“坏事”，但感觉这么一弄反倒勾起了我的好奇心，不得不说这是一件很诡异的事情。。。