原創力

之前在書上看到一段話：『大部分覺得自己有原創力的人，只是因為自己的無知。』

最近在回顧文獻時，特別感受到這點。還好我從來不覺得自己有啥原創力。很多很棒的研究論文，其實也都只是嫻熟的利用了某些技巧。很多數學家都有類似的觀點，我忘記是 Timothy Gowers 還是 Terence Tao 就曾經說過，很多很優秀的數學家，其實他們工具箱裡面的工具也都是一雙手數得出來，差別是在於他們的眼光。

Ref.: 鳥山明之七龍珠時尚走秀...(?!) - 哈拉聊天 - 卡拉娛樂網

日本遊

四月底到五月初，和 Garfield 到日本大阪和京都做了一週的旅遊。





詳細的遊記就等 Garfield 寫了。如果他有寫的話我再把鍊結轉過來。

FACEBOOK 上的 職能性向測驗

NTJ專家型：內向、直覺、思考、判斷型

這類人是完美主義者。他們強烈要求自主、看重個人能力、對自己的創新思想堅定不移，並受其驅使去實現自己的目標。這種人邏輯性強，有判斷力，才華橫溢，對人對己要求嚴格。在所有類型的人中，這種人獨立性最強，喜歡我行我素。面對反對意見，他們通常多疑、霸道、毫不退讓。對權威本身，他們毫不在乎，但只要規章制度有利於他們的長遠目標他們就能遵守。最適合的工作是：能創造和開發新穎的解決方案來解決問題或改進現有系統；他們願意與責任心強，在專業知識、智慧和能力方面能贏得自己敬佩的人合作；他們喜歡獨立工作，但需要定期與少量智囊人物切磋交流。您適合的工作有：管理顧問、經濟學者、國際銀行業務職員、金融規劃師、設計工程師、運作研究分析人員、資訊系統開發商、綜合網路專業人員

科技史小記

• Ref.:太極是由觀測日影而來的？ « Heresy's Space
  
  很有趣的論點。不過我很佩服 Heresy 花這麼多時間去做這個動畫。
  
• Ref.:Here is why vim uses the hjkl keys as arrow keys - good coders code, great reuse
  
  
  所有的設計都是有歷史因素的，就像 QWERTY鍵盤是從打字機衍生過來一樣，軟體的 Hot Key 也是有原因的。
  
• Who invented the call stack? - Quora
  
  據說 Stack 的概念是 A. Turing 發明，這個詞則是 E.W. Dijkstra 創造的。
  
  
• Ref.: 11011110: An almost-forgotten combinatorist: Heinrich August Rothe
  
  • The first definition of the inverse of a permutation
  • A proof that the number of inversions of a permutation (the concept that Muir called "ill-advised and purposeless") is the same as for its inverse
  • A proof that the determinant of a matrix is the same as for its transpose
  • A diagram (the Rothe diagram) still used for visualization of permutations and inversions
  • The first definition of a self-inverse permutation
  • A simple recurrence formula for the number of self-inverse permutations
  很多人喜歡說自己多有創意，其實是他們對歷史所知太過貧乏，我們還是該謙卑一點。
  
  

兩位得獎者

最近有兩個跟 CS 有關的得獎新聞。

Judea Pearl 贏得 Turing Award，以及 Endre Szemeredi 贏得 Abel Prize。

有人可能會問，Turing Award 是計算機科學相關沒錯，但是 Abel Prize 是數學獎吧？ 沒錯，Abel Prize 是一項由挪威王室頒發的獎項，每年頒發一次，獎金的數額大致同諾貝爾獎相近。據說設立此獎的一個原因也是因為諾貝爾獎沒有數學獎項。

比較起來，Judea Pearl 更偏向 計算機科學。他是研究 Bayesian networks 和人工智慧的機率方法 的先驅，也是應用數學因果模型到經驗科學的先行者之一。

不過我個人倒是對 Endre Szemerédi 比較熟悉，因為他在組合學和圖論上的研究成果實在太經典了，像是 Szemerédi's theorem 和 Szemerédi regularity lemma 現在都有廣泛應用。我當初也特地把原始論文找出來讀。也因為如此，所以對我來說， Endre Szemerédi 得獎，是一個更大的消息啊。

Ref.: JUDEA PEARL -- UCLA Computer Science Department Cognitive Systems Lab

一生戀愛運程

Ref.: 測驗一生戀愛運程!?：http://goo.gl/y8pWF

D型的戀人很討厭落單，偏偏他們也真有本事，就是讓你心甘情願跟他東奔西走的。

對D型戀人來說，安全感永遠是第一考量，不過，第二、第三、第四考量恐怕還是安全感。D型戀人對愛情的觀念很傳統，會以相當認真的態度去面對和經營愛情。要4 號戀人主動出擊，他們可不輕易打沒有把握的仗；不過，當有人對D型戀人主動表示好感的時候，D型戀人往往會以最快的速度跳入陷阱。只不過，D型戀人還是很堅持原則的，再怎麼愛、再怎麼盲目，若對方不能達到4 號戀人最基本的要求——也就是對方不能獨屬你一人時，D型戀人最終還是會從短暫的盲目中清醒，脫離這段沒有結果的關係。

D型戀人特別需要安全感，所以也特別需要了解和掌握戀人的一切。D型戀人一向是看準了、了解了、做好準備了，才會付出行動；因此，D型戀人的對象往往是從身邊的朋友下手，從一般的關係開始萌生愛情的嫩芽。

失戀癥結點： 沒有足夠的安全感時，D型戀人會比其他數字來得焦慮難安！因此，D型戀人特別需要掌握情人的行蹤，這種舉動會讓許多情人受不了。

大師的眼光

很多人都聽過 Kurt Gödel 的故事，他給 von Neumann 的一封信裡面，提到了 P versus NP problem 的猜想。

由於這個猜想是在 1970 年代由 Cook 和 Levin 分別提出，所以 Kurt Gödel 這封信的時間點就很重要了。根據信件內文所描述的事件 -- Gödel 恭喜 von Neumann 獲獎 -- 這封信很可能是在 1957 年左右寄出。也就是說，這位 20 世紀最偉大的數理邏輯學家，很可能提早十幾年就考慮過 P versus NP problem 的猜想。

非常有趣的是，最近又有一批信件出土，也跟這個問題有關。

美麗境界的主角，曾經因為精神病所苦的 John Nash 曾經寫信給 NSA (National Security Agency)，討論破解密碼的難易度。John Nash 從計算的角度開始思考，猜測存在很多加密系統 (cipher function) 使得加密很容易 (in P), 但是反推很困難 (in EXP)。也就是說，他從密碼學的角度提出了 P versus NP problem 的猜想。

所以問題是，這封信是什麼時候寄出的？根據 NSA 的文件，應該是在 1955 左右，也就是說，可能比 Kurt Gödel 還要早。而連結 P versus NP problem 到密碼學的這種觀點，要等到 1976 年才被注意。

大師的眼光真的是很恐怖 XD

對於一般人來說這只是軼聞，但對學者來說，這種故事實在很讓人害怕，拼死命做出來的東西，後來才發現大師十幾年前就做出來了XD

這種不喜歡公佈(懶得公佈)自己的結果的大師，最有名的大概是高斯了。

最近在讀Riemann 猜想漫談時，也看到一個類似的例子，剛好可以說明這種害怕的心裡。在這裡分享一下。

二十世紀的 Princeton 高等研究院也出了一位有同樣 「壞毛病」 的數學家， 那便是挪威數學家 Atle Selberg (1917-2007)。 Selberg 在 Riemann 猜想的研究中也有著極為重要的地位， 我們在 後文 中將會更多地介紹他， 這裡就先不贅述了。 讓 Montgomery 放心不下的就是自己會不會與 Selberg 「撞車」？ 自己的這項研究工作會不會不幸地在 Selberg 的某一疊草稿紙上已經有了？ 當然， 除此之外他也很想順便聽聽這位 Riemann 猜想研究領域中的頂尖高手對自己這項研究的看法， 尤其是想聽聽他對這項研究背後可能隱藏著的深義的理解。

於是在返回英國前他決定在 Princeton 高等研究院做短暫的停留， 以便會見一下 Selberg。

Montgomery 如願見到了 Selberg。 但 Selberg 聽完了他的工作介紹後只是禮貌地表示了興趣， 卻沒有提出具體意見。 不過他總算也沒有說： 「幹得不錯， 小夥子， 但是 N 年前我就已經證明過這樣的結果了」， 還是讓 Montgomery 鬆了一口氣。