2013年12月24日 星期二
2013年11月25日 星期一
Second Principle of Mathematical Induction
前幾個禮拜我有堂課沒去上，在圖書館念書。那節課老師證了各種Principle的等價，我在放學後也有做一點，不過只有MI的部份。今天有題題目是要用PMI去證SPMI，我看同學是用LNNP來做，下面試著做做看，不確定是否正確。
2013年11月20日 星期三
段考@計概課
這幾天舌頭前端超痛，剛剛去買吃的，發現已經嚐不出甜味了，囧a。希望是睡眠不足的關係，真的痛到爆，接觸到空氣就像灼燒一樣……
下午是計概期中考。我得承認，我作業沒做，書也只看了一點，然後考試時還走錯教室。題目看得出來都是從課本後面的習題出的，以拿分數而言好像還不錯，不過我認為考些需要用到頭腦的題目會比較好。其中有題是翻譯，竟然是「QoS」，這我還真的不會，不知道是不是要直接寫「服務品質」。後面還有個問答，要你寫出「aBc」的ASCII Code……。還有題是翻譯「byte」，考慮了一下，我寫了「計量單位，等於8個bits」，交卷後才想到好像要寫「位元組」……
總之就是一翻折騰，早知道是非題就都猜Ｏ就好了。
我都在想，學這些東西的效益到底在哪裡。感覺很少有機會可以跟別人炫耀「欸我知道世界上第一台電腦是XXX」或是「欸你知道1997年Google的創辦人是在念博士嗎？」「不對哦他們那時在休學」之類的東西。平常如果有人問 byte 是啥，也不會回答「位元組」啊。就算把ASCII表背下來，用到的機會也是少到不符合背它的時間成本（雖然常用就記起來了……），更別說大部份人都不會用到它呢。我不太能揣測老師出這張考卷的心態，是想說單純給我們賺分？還是覺得這些知識值得拿來考？還是單純這樣的考試就是種傳統？或是只是要我們多背書？
感覺再打下去要變成抱怨文了。接下來進入第六章後好像就是有關於程式運作的流程什麼的，希望有趣點啊！
2013年11月9日 星期六
[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 - 集圖工具
2013年11月8日 星期五
2013年11月1日 星期五
數學 in 數學系
我念國高中的時候，就覺得學校教育非常的「考試取向」。數學尤其明顯。
所有的基礎科目當中，只有數學是比較不具有知識意義的。數學課教的東西是一種工具，而不是資訊。然而我們學它的目的只是為了考試，所以會看到各種補習班打著「速算」「解題技巧」「必背十大公式」等等的標語，然後家長就惶恐的向這些在街上發傳單的人求助。最後我們養成了一種習慣，那就是考古題。要怎麼寫數學？不……應該說，要怎麼在數學考卷裡拿高分？很簡單，給你無限的考古題，把它全部做完就行了。這種習慣讓解題目成為一種反射動作，缺少背後的思考。
當進了數學系，這種做數學的方法幾乎完全崩壞。在過去我們講求答案的正確、快速，但現在我們對於每題的証明講求的都是邏輯推演、詳細的過程，相較起來答案的正確與否就不是那麼重要了。這篇文章主要是記錄我在寫數學証明時遇到，或是猜想別人可能遇到，各種卡住的「點」。
2013年10月30日 星期三
我的興趣是騎單車
（此篇主要目的是做個測試，順便想知道我寫一篇文章需要多久）
身為一個用腳踏車作為交通工具的人，真的無法理解「我的興趣是騎腳踏車」到底是什麼意思。
腳踏車，就和摩托車、公車、轎車、火車一般，是個日常生活用，從一個地點到達另一個地點的交通工具。當每次聽到「我的興趣是騎腳踏車」，真的很想回答他「那我的興趣是坐公車」或是「我的興趣是搭捷運」，然後有相同興趣的人就可以組個社團「今天社課是從基隆坐火車到台北車站」「然後明天的社課是坐相反方向」……等等諸如此類。
不可否認的，騎單車也被歸類到休閒活動的運動之中，並且所有的休閒活動都能成為一個人的興趣。不論是打電動、逛街、爬山、或是看書，這些都經常的成為人類的興趣之一。我曾經和別人閒聊時，向對方提到我的興趣是寫 code ，結果被對方反嗆「根本不懂寫程式」。後來經過仔細的思考，發現我的興趣不是寫 code ，而是在享受完成一件事情的成就感，並且其中的邏輯思考是令人愉快的。或許以後和別人聊天時應該這麼說「我的興趣是思考，而且我喜歡寫程式」，這樣表達的就比「我的興趣是寫程式」清楚多了。
也許是個轉折點
10/30，差不多是前年開始打算休學的日期。
最近看了許多書，思考了很多問題，我決定要在部落格上寫些東西。什麼是寫些東西？過去我一直把部落格當作 code 的備份工具，所有的文章都是「啪！」地丟在部落格上，但是從今天開始（雖然不知道能維持多久），我會寫些筆記、書記、心得。不過這意味著原本就很少的資訊類文章會變的更少，我也同時意識到，一項語言，如果不去使用它，大概一個月後就完全生疏，而且一個月後，曾經學過、有限的知識就過時了。
總而言知，我要做個挑戰，那就是來寫部落格。主要有兩個原因，其一是想訓練自己的文筆，其二是想對自己的思想做一些紀錄。另外我要改個版面，現在的版面要閱讀長段的文章還挺痛苦的……。
2013年10月13日 星期日
2013年9月24日 星期二
訂閱：
文章 (Atom)