Daily Archives: March 8, 2010

Past papers 6

Posted on by

雖然原理你已明白，但是到你執行時，一定受你原本的習慣所影響，未必能妥善貫徹。所以，這些心理技巧和工作方法，一定要在平日溫習時先行練習，養成習慣，化成自然反應。

當年我考 ALevel pure maths （高考純數學）時， section A（短題目）竟然 7 題題目中，有 4 題不懂做。但是，我當時十分鎮定，立刻停止不懂的題目，儲存住那些時間，先去做 section B（長題目）。完成所有 section B 的題目後，我才回頭做剛才不懂的 4 題 section A 短題目，結果 4 題都給我想通了。

那時，我為何可以那麼鎮定呢？現在的我反而沒有那麼鎮定。大部分人亦不會那麼鎮定，去立刻停止當時想不到的題目。通常都會覺得 “只差一點點，就會想通那道題目” ，所以再花一些時間。結果還是想不到。但是已花了額外的時間去想，放棄的話會更加心有不甘，所以會花再多的時間去想。 … … 那樣，就會不知不覺墮進惡性循環，浪費極多的時間。

高考時的我可以那麼鎮定，是因為我平日溫習時，幾乎每日都做按年份的 pastpaper。做 pastpaper 會限時間和計分數。每日都有模擬考試，所以已經習慣了 “有題目想不通” 的情況。”唔識就飛” （想不通就立刻停止原本的題目，去做下一題）已成了我的反射動作。

所以說，我不斷提醒你們的，是一些考試必須的情緒技巧，一定要在平日已經練習好。否則，你在考試時的心理質素差的話，即使知識水平夠，你也不能獲取高分數。

— Me@2010.03.06

2010.03.08 Monday (c) All rights reserved by ACHK

Curry–Howard correspondence 2

Posted on by

The Curry–Howard correspondence also raised new questions regarding the computational content of proof concepts which were not covered by the original works of Curry and Howard. In particular, classical logic has been shown to correspond to the ability to manipulate the continuation of programs and the symmetry of sequent calculus to express the duality between the two evaluation strategies known as call-by-name and call-by-value.

Speculatively, the Curry–Howard correspondence may be expected to lead to a substantial unification between mathematical logic and foundational computer science: …

— Wikipedia on Curry–Howard correspondence

2010.03.08 Monday ACHK