Second Principle of Mathematical Induction

前幾個禮拜我有堂課沒去上，在圖書館念書。那節課老師證了各種Principle的等價，我在放學後也有做一點，不過只有MI的部份。今天有題題目是要用PMI去證SPMI，我看同學是用LNNP來做，下面試著做做看，不確定是否正確。

段考@計概課

這幾天舌頭前端超痛，剛剛去買吃的，發現已經嚐不出甜味了，囧a。希望是睡眠不足的關係，真的痛到爆，接觸到空氣就像灼燒一樣……

下午是計概期中考。我得承認，我作業沒做，書也只看了一點，然後考試時還走錯教室。題目看得出來都是從課本後面的習題出的，以拿分數而言好像還不錯，不過我認為考些需要用到頭腦的題目會比較好。其中有題是翻譯，竟然是「QoS」，這我還真的不會，不知道是不是要直接寫「服務品質」。後面還有個問答，要你寫出「aBc」的ASCII Code……。還有題是翻譯「byte」，考慮了一下，我寫了「計量單位，等於8個bits」，交卷後才想到好像要寫「位元組」……

總之就是一翻折騰，早知道是非題就都猜Ｏ就好了。

我都在想，學這些東西的效益到底在哪裡。感覺很少有機會可以跟別人炫耀「欸我知道世界上第一台電腦是XXX」或是「欸你知道1997年Google的創辦人是在念博士嗎？」「不對哦他們那時在休學」之類的東西。平常如果有人問 byte 是啥，也不會回答「位元組」啊。就算把ASCII表背下來，用到的機會也是少到不符合背它的時間成本（雖然常用就記起來了……），更別說大部份人都不會用到它呢。我不太能揣測老師出這張考卷的心態，是想說單純給我們賺分？還是覺得這些知識值得拿來考？還是單純這樣的考試就是種傳統？或是只是要我們多背書？

感覺再打下去要變成抱怨文了。接下來進入第六章後好像就是有關於程式運作的流程什麼的，希望有趣點啊！

[Firefox] Addon List (Firefox 25)

• Adblock Plus - 擋廣告
• Add to Search Bar - 新增搜尋引擎
• Charset Switcher - 對特定網站設定編碼
• DOM Inspector - 開發工具
• Download Dialog Tweak - 下載功能增強，神套件
• Downloads in Tab - 將下載管理員移至分頁，像Opera
• DownThemAll - 批次下載大量連結
• IdentFavIcon - 幫沒有favicon的網站設定icon，神套件
• LastPass - 密碼管理工具
• Open With - 以其它瀏覽器開啟..
• Organize Search Engine - 管理搜尋引擎
• Pocket - 稍候閱讀服務
• ReDisposition - 修復檔案下載檔名亂碼的問題，神套件。這玩意解決了多年來下載百度網盤一直都有的困擾。
• Referrer Control - 修改HTTP來源，神套件
• Restart Button - 重新啟動Firefox...
• Scriptish - UserJS套件
• Snap Link Plus - 一次開啟多個連結
• Sort Tabs by URL - 依URL排序分頁，神套件
• Stylelish - UserStyle套件
• Tab Mix Plus - 分頁管理套件
• Image Picker - 集圖工具

[Elsword] 萬聖節Cos時裝

這幾天都在打艾爾活動，一共五支角色。結果算是非常開心，大概花了15E左右湊齊了全套時裝（還包括拉錯的XP）。白手起家到現在一年，也算是個里程碑了。下面放圖︰

數學 in 數學系

我念國高中的時候，就覺得學校教育非常的「考試取向」。數學尤其明顯。

所有的基礎科目當中，只有數學是比較不具有知識意義的。數學課教的東西是一種工具，而不是資訊。然而我們學它的目的只是為了考試，所以會看到各種補習班打著「速算」「解題技巧」「必背十大公式」等等的標語，然後家長就惶恐的向這些在街上發傳單的人求助。最後我們養成了一種習慣，那就是考古題。要怎麼寫數學？不……應該說，要怎麼在數學考卷裡拿高分？很簡單，給你無限的考古題，把它全部做完就行了。這種習慣讓解題目成為一種反射動作，缺少背後的思考。

當進了數學系，這種做數學的方法幾乎完全崩壞。在過去我們講求答案的正確、快速，但現在我們對於每題的証明講求的都是邏輯推演、詳細的過程，相較起來答案的正確與否就不是那麼重要了。這篇文章主要是記錄我在寫數學証明時遇到，或是猜想別人可能遇到，各種卡住的「點」。