語錄 2011-4-21

 "Any sufficiently advanced financial instrument is indistinguishable from fraud." ---(來源）

「高興就又跑又跳，悲傷就又哭又喊，那是上野動物園猴子幹的事。流行歌詞，笑在臉上，哭在心裡。說出心裡相反的言語，做出心裡相反的臉色，這才叫人哪。」--- 小津安二郎

"The use of condoms is acceptable in exceptional circumstances" --- 教宗 Benedict XVI

比方說想要用水球攻擊異教徒，但手邊剛好沒有氣球時，在這種情形下，因為情況緊急且特殊，可以特別通融，允許用保險套來代替氣球。

"All that is necessary for the triumph of evil is that good men do nothing."  --- Edmund Burke

Or when good men start doing evil things.

"The secret to creativity is knowing how to hide your sources."  ---愛因斯坦

怪不得現在的新聞都好像連續劇一樣。

"An eye for an eye makes the whole world blind."   --- 甘地

也許全世界都沒有眼睛反而好，小混混（或者狗）會因為你用眼睛看他， 就覺得你不尊重他、挑釁他，暴力爭端因此而產生。

"Whatever you do will be insignificant, but it is very important that you do it."  --- 甘地

 "Creativity is allowing yourself to make mistakes. Art is knowing which ones to keep." --- Scott Adam

"Decisions are made by people who have time, not people who have talent."   --- Scott Adam

「人之所以不幸，是因為他不知道他是幸福的；僅僅是這個原因。這就是一切，一切！誰要是明白了這一點，他此時此刻馬上就會變得幸福起來。 」 ---  費奧多爾·米哈伊洛維奇·杜斯妥也夫斯基

「我有一個計畫，就是做一個瘋子。讓人們去狂怒，讓他們來醫治。」 ---  費奧多爾·米哈伊洛維奇·杜斯妥也夫斯基

「人人需求同一，人人都是一個樣，誰若感覺不同，誰就進瘋人院。」  ---尼采

「抗議和無理取鬧的猜疑，或有嘲弄癖好的人是健康的。那些無聊件接受所有事物的人，是有病的。」  --- 尼采

“The true man wants two things: danger and play. For that reason he wants woman, as the most dangerous plaything.” --- 尼采

「在這個世界上，總有一條除了你以外，別人無法走的路。途中千萬別詢問路究竟通向何方，只顧走下去吧！  」  --- 尼采

「最後的旅程，也許很苦，也許孤單，但那是你自己的選擇，你必須自己一個人，獨自把它走完……你必須把自己選擇的路走完，你才能找出自己的道」  --- 孫曉，英雄志 論述正道

「一些人統治是由於他們願意統治；另一些人統治是因為他們不願意被人統治---對於他們來說，統治不過是兩害中之輕者」 --- 尼采

「我秦仲海只要想到一件事，夜里便會偷偷地笑，哪怕多刺十個字，再斷一條腿，我也感到值得！那便是秦仲海此生不必跪人！好好想吧！你們這幫人書讀得再多、武功練得再高，這輩子還是得跪人！不過求一口飯吃，頭便要按得那麼低，你們甘心麼？大家一樣是人，那幫賊只不過投胎投得​​好了，便能高高在上，頤指氣使，你滿腹經綸，一身武功，卻要日也怕、夜也怕，忍氣吞聲，這種人生便如在豬堆裡打滾，縱使富貴滿門，卻又有何滋味！來！學我吧，志氣點，將那一把怒火燒起來，打打殺殺一樣可以度日，誰能奈何你呢？」 --- 孫曉， 英雄志中論述造反的理由

Read More

松鼠URL 2011-4-20

Matrix67: 随记：我们需要怎样的数学教育？
陳安儀的筆下人生: 讚美與獎勵制度
Lifehack: 5 Sci-Fi Brain Hacks That Modern Science Is Making Possible
A Neighborhood of Infinity: Image-based rendering and some ancient history
關於知識的兩個有名而且有趣的悖論：

1. What's New: The blue-eyed islanders puzzle – repost  這個問題中，會用到「假定我沒有藍眼，則你會想，假設你沒有藍眼，他會想.....，但xxx知道至少有一個人藍眼,...所以....」這樣的推理，所以涉及假設性情境下「知道」的問題，某種意義上是「能知(knowable)」和「必知（在所有假設情形下都知道）」之間的微妙關係。
2. Matrix67: Fitch悖论：我们已经掌握了所有的知识 Fitch's paradox 的主軸就是「能知」和「知」之間的關係。

The Surprise Examination Paradox and the Second Incompleteness Theorem (pdf 檔)
Surprise exam paradox 又稱 hanging man paradox，也是極有名的悖論。悖論的成因有更種不同的說法，有一種看法認為跟「知識」的本質有關，因為用到數學歸納法，其中也涉及到假設情形下的「知」。這篇文章利用這個悖論來證明 Godel's incompleteness theorem，並反過來，用不完備性來解釋這個悖論的成因。
簡單的說，就是將「知」比為「證明」時，「猜不到」 就類同於「不能證明」。這樣，就牽扯到了 consistency。

Read More

成功的 Acer Stream 的 HDMI 測試程式

由於找到 mini HDMI 接線了，所以又繼續了之前的失敗的 Acer Stream HDMI 測試， 然後就...成功了。
程式完全沒有改，還是之前那個非常即興的程式，草率到按鈕名稱都用預設的 Button, Button2。程式 apk 放在這裡。
但只要這樣就行了，將 Acer Stream 的 hdmi 線接上，然後按下 Button2 即可。

要注意幾點：

• 電視螢幕解析度是 16:9，而手機螢幕是 480x800，這會造成問題。所以手機 Portrait mode 時，電視是在 landscape mode，手機變成 landscape，電視顯示會變成橫向。這對大部分的程式會造成問題。
• 可以用 touch screen 和按鍵可以操作。但是Home 鍵似乎無效。
• 大部分的播放器在 Fullsreen 播放時，會進入 landscape 模式，所以電視會變成橫向，而且畫面變得細長。
• Youtube 直拿時，播放效果還不錯。Angry bird 可以進入，但是會變成橫向，很難玩。Abduction 2可以玩，而且因為是直拿的，所以正向。但上下長度太窄，看不容易玩。
• 內建的瀏覽器似乎會當機。
• 程式是利用 jni 呼叫 libnemoPlayer_hdmi_jni.so 切換的。 acer 有公佈 kernel source，裡面有 /dev/adi752x 的 driver，所以可以找到對應的 ioctl 參數。但寫 HDMItest 時我還沒有裝 ndk。
• 要 Clone 螢幕，比較難，要改寫 adi752x 的 driver 才行。
• 也許透過修改 AndroidManifest 來讓原本 landscape 的程式可以在 hdmi 上跑。
• 如果有 open source 的 SFC,PSX 模擬器，配合 Wiimote ，應該可以讓 Acer Stream 在電視上玩老遊戲。

(更新)*****************

• psx4droid 和 snesdroid 等模擬器，只要把 orientation 設定成 portrait mode ，即可玩。光這個就值回票價(?)，所以其實這個小程式算是有點用途。
• Youtube 直拿時可播，但解析度低。
• Opera Mobile 似乎是可用的。
• 電視最好設定成點對點映射模式。
• 電源鍵也會失效。
• 有時螢幕會消失（比方在 Launcher 中），連背景音樂也停住，似乎是機器會間歇性的卡住？

Read More

Android: 台北市公車站牌資訊 更新至 1.1

這是台北市公車站牌資訊的更新版本。這個版本主要的更動在於增加了「起站->迄站」的資訊取代原來指顯示「去」「回」的簡陋資訊。另外對於排版做了變更，應該更容易查閱。
下載位置於此

Read More

讀九把刀小說

之前沒有讀過九把刀的作品，這一陣子從他早期的作品慢慢讀過來。最先看的是都市恐怖病系列的前幾篇。讀完倒是挺意外的，因為出奇的平淡。我的意思不是說不好，比起太多不必要的修辭，我還比較喜歡平淡順暢的文字。只是本來猜想暢銷作家的作品該是高潮迭起、華麗非凡吧？但卻是相當的平實幻想文，讓我聯想到李家同的小說。雖然因為世代的差異，用詞有所不同，但是整個故事的流動線條倒是挺類似的。從兩人都有一點自戀的人格特質、都常出驚人之語、對正義的都有高調的執著來看，文氣脈動相似這點，似乎也不是無跡可尋。
以下是個別作品的感想。

• 語言： 一個單純的幻想展開，故事性不強。讓我聯想到以前看過一篇漫畫，故事是關於其他人都變成昆蟲。也想到狂人日記，同樣是個人面對瘋狂社會規則的不妥協。
• 恐懼炸彈：語言的續集。故事性較語言為佳，創意也可。可惜後半結尾收不起來。蝴蝶與獨臂人的設定挺浪漫的。敘事方面，文筆不錯，但是筆力似乎還不夠撐起感情方面描寫。
• 大哥大：題材還不錯，但發揮的不怎麼樣。
• 陰莖：故事不怎麼樣。描述情境的功力很不錯。
• 冰箱：這篇算是這幾部小說以來的最佳作。文筆構思佳，情節有層次。
• 異夢：流暢有趣的故事。但是伏筆埋太多，謎底太明顯，卻又刻意賣弄，讓人覺得「搞半天，原來你就是想說這個，弄得神秘兮兮的，好像什麼大秘密一樣。」
• 功夫：也是有趣的故事。讓我聯想到飛俠阿達。說故事的功力相當強，謎底尚可。可惜雖然血流成河，但我沒有被感動到。我覺得情感方面描寫不夠，但網路上看到很多人有被感動到。
• 狼嚎：算是有趣的故事。感情描寫為此系列最佳。
• 影子：小品幻想，非常有趣的幻想。

都市恐怖的大魔王 Dr. Hydra 的催眠設定這回事，我懷疑受到松岡圭祐的催眠、綠猴子、千里眼系列的影響。時間點上也吻合。只不過松岡圭祐的催眠雖說神奇，但畢竟還是有限制的。都市恐怖病的催眠，幾乎就跟魔法無異了。
接下來我看的兩篇是打噴嚏和少林寺第八銅人

• 少林寺第八銅人：前半本是非常好看的武俠。感情描述方面也還可以，不輸狼嚎。後半本雖然沒那麼讓人驚艷了，但至少還挺完整的。雖然如前所述，人與人之間感情互動的部份，其實描述的還可以，但作者的強項，是對於個人內心情緒的描寫。特別是主角在少林寺的時期。守銅人關一段，爽度很夠。整個少林寺的設定真是妙。概念上應該受到周星馳食神的影響，把學院的概念延伸。風格方面，讓我聯想到郭箏的武俠作品，也是我相當喜歡的。本作強調的英雄這回事，其實在主角和張三丰身上，實在看不出來。就連丐幫幫主趙大明似乎也不過好逞豪鬥勇之輩，豪邁有餘，英雄不足。反而是少林的老和尚們，才是英雄的榜樣。主要魔王不殺變成壞人的描寫似乎也過於扁平。
• 打噴嚏：關鍵句：當巧合夠多，超過臨界量時，就變成命運了。然後用這個概念來描寫專屬天使。感情的描述的份量其實不比銅人與狼嚎少，筆法也不差。雖然也有武俠題材，但與銅人不同的是，重點在於愛情。主角的人生目的就在於求得心心姊姊的關注與愛，最後為了這個理念，奉獻犧牲了。看起來應該很感人吧？但我沒被感動到。想要有人愛你，得先要有個「你」。想要為人奉獻犧牲自己，得先要有個自己。主角唯一的特質「呆呆笨笨什麼都不怕」，但上了拳擊台上，卻又三心二意的往台下尋找心心。想要變勇敢，唯一的理由也是因為心心說過「喜歡勇敢的男生」。主角的確是心心的專屬天使，但太純太沒個性了，完全像是玻璃雕塑出來的。

少林第八銅人可以是前面列出的作品中，最佳的一部。以武俠的角度來說，未必勝過，如龍虎山水寨、找死拳法等類似篇幅的小說，但也不會輸太多。九把刀真正的佳作，也許應該是殺手系列。

• 殺手，鷹 :殺手的入門。淡淡的感情小品。
• 殺手，G :入門第二步。
• 殺手，吉思美：人物描述的不錯。
• 殺手，歐陽盆栽：開頭雖說是有點黑色喜劇老梗，但後面發揮的不錯。    
• 殺手，角:荊軻的故事，這篇比較普通。   
• 殺手，月:這幾篇水準都很平均。        
• 殺手，九十九：傑作！結合時事，絕佳的黑色幽默。
• 殺手，流離尋岸的花 : 這是第一篇讓我留眼淚的九把刀故事。
• 殺手，貓胎人：作者擅長的人物描寫。
• 殺手，無與倫比的自由：起初的轉折有點突兀。但是後來漸入佳境，慢慢累積人物個性的變化與深度，有層次。做後的轉折，增加了人物的深度。
• 精準的失控：應該不算殺手系列，不過依照閱讀的順序，放在這裡。是還不錯的小說。雖說其中的巧合、關聯性似乎還可以多加一些。
  

殺手系列部部有關聯。九把刀擅長個人的描述，特別是個人面對瘋狂、卻又似乎亂中有序的社會的無力與挫折。所有的人物幾乎都是如此。作者試圖幫角色用各種奇想的方式尋找出路(或死路)。他擅長描述這種過程中，角色內心的轉折。就每個故事來看，角色的內心的掙扎多餘與人的互動。但這些單獨的個體，在殺手系列卻藕斷絲連的組成了一個世界。

這個構思並不新， 某種意義上來說，很像白先勇的台北人系列，甚至可以上追到刺客列傳。刺客列傳雖然不算是小說，但司馬遷也是在表達人們面對不可抵擋的荒謬亂世時，可以有的一種態度，一種不畏強暴，置生死於度外的態度。 他描述的刺客，各有不同的目的、理由、方法，但正是因為不同，才能刻劃出相同。
金庸原本也有類似的企劃，要寫三十三劍客圖，但最後只有越女劍。古龍也有七武器，過世前還有「大武俠時代」，想以短篇湊出一個武俠世界，但只寫完獵鷹、賭局就過世了。
作者從語言開始，就想寫各式各樣的個人面對瘋狂社會的故事。但到了殺手系列，技巧上才真正成熟到足以達成這個企圖。
總之，九把刀的寫作功力也許不是無懈可擊，但持續再成熟中，而且懂得技巧性的補強弱點。硬要挑剔的話，也許就是小說內涵、深度，稍嫌薄弱吧。但內涵或者深度這些東西，並不是一定要有的東西，也不是我評斷小說的最重要標準。

---

補充：
後來讀的幾本：

• 在甘比亞釣水鬼的男人 :因為一開始就強烈懷疑結尾梗，所以在興趣缺缺的看了一小部份後，直接翻到最後證實猜測。然後中間翻過大致瀏覽一下。
• 月老：看了開頭後，沒什麼興趣。後面草草翻過
• 殺手，價值連城的幸運：看了開頭，大致上的設定，就猜到了一點也不意外的結尾梗，但還是從頭看到尾。也談不上失望，只是覺得如果濃縮篇幅，可能更精彩。
• 拚命去死：接近 Stephen King 類型與風格的小說，很好看。
• 獵命師系列：臥底還不錯。 第一集、第二集開始也大致看了一下，還可以，但是沒有引起太多興趣。

補充:
樓下房客： 讀到轉折點，感覺還挺像既晴的「請把門鎖好」，果然後面作者有提到受到既晴的影響。整體來說算是有趣，人物互動緊湊。 不過結尾遜於「請把門鎖好」，因為韻味不夠。

Read More

失敗的 Acer Stream 的 HDMI 測試程式

Acer Stream 像是一些其他的 Android 機器一樣，有 HDMI 輸出，但使用特製(沒有公開?)的 API。只能用內建的 nemo player 來播放影片或者照片。
因此，想試試寫程式來控制 HDMI。第一步是透過 nemo player 控制 HDMI 輸出， 寫程式倒是還好。但是完成後，就發現久未使用 mini HDMI 線，竟然找不到了。線到用時方恨少，無法進一步測試發展，程式放在這裡。有興趣的人可以試試看。理論上，第一個按鈕會測試是否接上 HDMI 線，傳回適當的值。第二個按鈕會嘗試open hdmi 裝置，然後 start 裝置。

因為沒有測試，完全不知道連上電視後會發生什麼事情？

雖然安裝時會需要同意使用很多權限設定，但這些只是我拷貝 nemo player 的權限設定， 因為我不知道是否會影響，並無木馬。需要 2.2 Rom 使用。
******
更新： 成功的 Acer Stream 的 HDMI 測試程式

Read More

Android: 台北市公車站牌資訊

這是我寫的一個 android 程式，很小，功能也很簡單，就是輸入公車站牌名稱後，它會顯示該站牌的即時公車到站資訊。
本來是自己拿來用，方便的小工具。昨天修了一下，包起來。小問題還不少，所以暫時不會放上 market。
雖然 android 上已經有不少公車即時資訊的軟體了，比方 Voice Go 或 Taipei bus 之類的。但是我有時會有需要站牌到站資訊的需求，比方說我從捷運公館站想到萬芳醫院，這裡面有一堆公車都能搭，這時我就想一目了然的知道公車的到站資訊。
雖然公館本來就有跑馬燈的到站資訊，但一來跑馬燈資訊稍縱即逝，無法一覽無遺。二來，不是所有的公車都名列其上。
這時，這個軟體就派上用場了。
更重要的是，這提供了一些資訊，幫助我判斷公車會停在哪個位置。曾在公館站人群中狹小的通道上追逐過公車的人，都知道我的意思吧！

但除此之外，此程式別無功能。所以，主要是用來和其他的公車軟體互補搭配。

要注意的幾點是：

•  資料是由台北公車官方網站上抓下來的即時資訊原味呈現。而這個資訊其實有誤差。所以如何判斷，請自行斟酌。
• 更新採手動更新。因為如前所言，資訊並不十分精確，並不需要時時盯著螢幕看。需要時按一下就可。
• 去、回需要根據公車行駛路線而定，因為我沒有把資料庫包進去，所以需要使用者判斷。比方說欣欣客運的 236 是從深坑總站出發，然後到台北車站後在繞回來。所以從深坑到台北車站就是去，台北車站往深坑就是回。未來會處理這點。
• 承前，之所只專注於單一功能，原因是這種東西需要靠後台提供資訊來源，似乎還是要和政府/廠商合作比較好。
• 需 android 1.6 以上。 2.2 以上支援 app2sd。也支援 quick search box，但有點問題。

****更新至 1.1 版***

增加了「起站->迄站」的資訊取代原來指顯示「去」「回」的簡陋資訊。另外對於排版做了變更。
下載位置於此

Read More