2013年11月25日 星期一

Second Principle of Mathematical Induction

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

2013年11月20日 星期三

段考@計概課

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

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

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

我都在想,學這些東西的效益到底在哪裡。感覺很少有機會可以跟別人炫耀「欸我知道世界上第一台電腦是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日 星期五

[Elsword] 萬聖節Cos時裝

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

2013年11月1日 星期五

數學 in 數學系

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

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

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