HOME (English with subtitles)

完整 90 分鐘的影片，關於你住的地方，直接放在網路上。

A Fully-Indexed Queue

Working with heterogeneous equality, a fully-indexed queue is almost simple as a simple typed queue. What we have to do is to prove the properties of vectors, and use the substitution rule to convert the type.

Congruence Rule with Heterogeneous Equality in Agda

Congruence rule plays an important role in reasoning in Agda, and things become mystery as working under heterogeneous equality. In the standard library of Agda2, the type of Relation.Binary.HeterogeneousEquality.cong is

∀{a b} (f : a → b) {i : a} {j : a} → i ≅ j → f i ≅ f j

Since i and j are the same type, the equality between i and j becomes propositional instead of heterogeneous.

英文字典

手邊有 Longman Dictionary of Contemporary English 5/e 跟 Pocket Oxford Dictionary & Thesaurus，以及跟別人借來的 Cambridge Advanced Learner’s Dictionary 3/e。

使用率來看是 LDOCE 5/e > CALD 3/e >>> ODT，資料完整是 CALD 略勝於 LDOCE，包括 collocation 跟 thesaurus 的資料整理。

現在想再買一本 Collocation  或是 Thesaursu 字典，覺得單字知道的不少，但是會用的沒幾個，又有點想找 Oxford Dictionary of English ，懊惱中 …

英文語料庫

以下是上課外師推薦的語料庫，

http://www.natcorp.ox.ac.uk/

語料庫的使用在於選擇恰當的字彙組合，透過統計總共上億字的文本收集，選擇最常用的文字組合，可以知道哪些表達方式最常用，最合乎習慣，同時還可以分辨哪先是書寫或是口語習慣，或是只用在學術寫作。現在多數的辭典也有這種功能，在上億的語彙當中找出常見的 collection。Cambridge 雖然有個比 Oxford 這個還要多上幾倍的語料庫，卻只能給 Cambridge 的作者使用 …

昏沉

今天為了拿信封跟推薦信格式給老師，早上六點多起來趕著坐 6:50 的交通車去新竹，前一天不曉得為甚麼睡不著，結果整個早上昏昏沉沉的。在拿去給老師之前反覆檢查有沒有哪邊寫錯，還真的寫錯名字的拼字，走回去郵局又拿了五聯單再寫一次。在清大走來走去的，全身噴汗。

中午順利坐上車後就開始猛睡，下午收一下信件，原本想花點時間把證明弄出來，結果腦袋完全無法運作，寫信發出去問了晚上才想到，前陣子似乎想過同樣的問題，也有些結論，應該一起放上去的。晚上念英文完全沒辦法進入狀況，開場至少二十分鐘才開耳，持續這樣的狀況直到結束回家，發現最近拼字跟 preposition 選擇的正確率一直掉。得趕快調整作息了 …

Effective Sentences

The Little, Brown Essential Handbook 是頗負盛名的英文寫作工具書，雖然我有完整版的原文書，礙於價錢跟隨手翻閱還是又買了中文精簡版的 T_T

接下來幾篇包括這篇, 來整理目前念的。

the Internet

Cartoon by Peter Steiner. The New Yorker, July 5, 1993 issue (Vol.69 (LXIX) no. 20) page 61.

I usually remind myself about the well-known slogan, “On the internet, nobody knows you’re a dog”.

IELTS 成績到手

Overall : 6.5
Reading : 8.5
其他保密 XD

還要再一個月，我相信要上 7.5 應該沒問題 (握)
如果今年申請到學校, 打算七八月花時間多練習 academic writing 跟字彙。沒申請到的話, 7.5 的成績拿去申請美國學校也相當有 iBT 100 分以上的成績, 英文門檻就這麼解決了。

注：「竟然用這麼不堪的方式過門檻！！」我女友如是說. T_T

Americans are NOT stupid – WITH SUBTITLES

笑到翻掉了，當初聽說 911 之後有美國人還在問為甚麼他們要攻擊我們，還有點懷疑，現在這段影片真的相信了 …

“Star Wars is based on a true story. True or false?”
“True.”

… XD