2014年3月26日 星期三
2014年3月25日 星期二
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」,交卷後才想到好像要寫「位元組」……
總之就是一翻折騰,早知道是非題就都猜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日 星期五
訂閱:
文章 (Atom)

