不怎麼順 XDXD
不過還好啦，習慣就好了 XD 原本預計三天前就要搬宿舍硬是被拖到了最後一天，我自己也相當無言，算了，今天能早點搬完我就很開心了。
看到 allents 在寫作，自己也想寫作，不過我一向很喜歡確定主題後再寫作。對於自己的主題無法確定，我也對自己感到相當的不耐煩啊 XD
研究的目標完全錯誤了，雖然之前想的東西不至於不能用，但是有一種感覺，要花很多時間橋回來了 XDXD。
戴了七八年的 swatch 表摔到鏡面內部裂了一道縫，還好目前勉強能防水，不知道能不能修就是了，希望可以修。
眼鏡在去看 efang 的時候不見了，配了一付新眼鏡，似乎沒啥人發現 XD。好吧，我自己也承認，我配的這一付正面看起來跟之前沒啥差別啊 XDXD。
---
報帳型式 XD
想來想去，還是用這個標題好了 :) (這是篇個人情感文，不想看可以趕快跳過 XDXD)
約在一年多前，我認識了 allents，呃，其實嚴格來說，他是我高中社團學長，但是我們其實不熟(就跟我一開始跟 Josh Ko 的情形一樣)。我認識了 allents ，然後他的隨口說說，我邁向了開始聽 Perfume，變成穩定歌迷的路。
如果在一年前的那時候跟我說，我可能會很喜歡 Perfume ，甚至會變成愛好者，我是會相信的，因為我是一個很奇怪的人。
該怎麼說呢，這一年多來，我聽音樂風格有很大的轉變，從以前一開始的 孫燕姿, Mai Kuraki -> Do As Infinity -> 張懸, Linkin Park -> mihimaru GT -> Perfume (各取代表人物)，我也蠻想知道我的聽歌風格是怎麼樣，但是就簡單的來說，在台灣的可以開演唱會，在日本的至少可以上 Music Station Super Live，我覺得都還算是蠻正常的路線，而 Perfume 對我而言意義重大的原因是，我一直嘗試在跟別人走不一樣的路，聽歌也盡量聽的越怪越好，但是剛好在聽 Perfume 的時候，給了我一個喘息的機會，好好的思考。
為什麼我要聽音樂，我想聽怎麼樣的音樂。
其實很早就知道音樂是聽不完的，只是不想承認而己，或許聽歌就像解 NP-Complete Problem 一樣，我們沒有辦法找到最佳解，但是我們可以決定一個策略，讓我們很接近最佳解。或許我聽了太久人聲，但是我又不想聽古典樂(並不是我覺得古典音樂不好，而是到目前為止可能還是沒有愛。)，很意外的，就在一個這樣子的時間點下遇到了一個恰當的出口。
人的聲音其實很複雜，對我而言，很像把很多個單調的頻率複合(compose)在一起達成一般人所謂不錯的效果(唱歌渾厚，高音怎麼樣怎麼樣的)，電音相對簡單，與其實說簡單，不如說固定，一個噹噹噹，一個登登登就是一個聲道，這也造成我聽到某些的電音，必需很仰賴快或起伏強大來造成情感上的變化，因為聲音過於單調，電音變的很難讓人接受。就另外一個點來說，人聲聽久對我而言也是難以接受的，原因就像我之前提的，對於聲音的詮釋，是不是具有可替代性，這個我想到目前為止對我而言也是一個無解的問題。
聲音組合相對乾淨，而人聲冷冷不帶感情，這就是我對 Perfume 的第一感覺。不過這個部分，我想留到以後再說，我還有很多 Perfume 的文章要寫呢 XD。
allents 可以說是我這一年多來認識很重要很重要的朋友也說不定，去掉 Perfume 的話，我們話題會少很多，但是還是剩下很多 (笑) 覺得還蠻難得遇到各方面大想法相像，小部分想法差異甚多的人，這在講話的時候很省力，可以很快的進入正題，把事情好好的討論，而就情感上，我不在訴諸於這裡，只能說，我很感謝感謝他 (如果有看過 Perfume 演唱會，請把 A~Chan 的 "紅豆泥紅豆泥阿里阿豆" 代入，相信會得到一個不錯的映象)，在對的時間，認識對的人，遇見對的事，這大概就是我的感覺。
對於我自己而言，我覺得我是一個台客，一個沒有什麼文化的人，我想，就這樣子繼續下去，讓自己的思考趨近於完整，賣弄文字，或許有一天會發現真正的自己其實是簡單自然不過的，我總是對自己說，知道和承認是兩回事的。
下筆的此時，希望自己的接下來一年可以好好的過下去，繼續為 Perfume 撰寫一系列的文章吧。(不怎麼專業的嘴炮文 XD)
---
虎頭蛇尾。
有一句古老的工程諺語是這樣子說的 ...
如果一個系統沒有壞，那麼就別動它。
對於一般使用電腦的人而言，其實軟體更新一點都不重要 XD。電腦能動就好了，為什麼要更新 ? 這是一般使用者最常見的疑問，而就另外一個層面而言，一般的使用者也不太在乎自己的個人資料是否會外洩(如果有玩線上遊戲可能會比較在乎一些 XD)。那麼到底是為了什麼軟體要有更新呢 ?
這對於沒有寫程式的人而言，到底為什麼要有軟體更新呢 ? 軟體在那邊好好的啊，於是我們會看到有兩種恐嚇方式，一種是，如果你的電腦不更新就會資料外洩啦，駭客攻擊啦 (老實說我還蠻想知道駭客攻擊是什麼 XD)，一種是，你不能更新啦，一更新軟體的破解就全沒啦，很麻煩之類的有的沒有的 (這個濫觴我想是從 WGA 和 KAV 開始吧 XD)，於是對於更新有所知道的人，要嘛死都不更新，要嘛死都一直更新 XD，不然就是完全不知道有這一回事的存在(這不是電腦自己該處理的部分嗎 XD)。
那麼對於對更新這件事已經有相當了解的人而言，更新其實還是一門苦差事，在 Windows 和 Mac OSX 上，更新其實沒啥大問題，Windows 除了更新時盜版和正版的攻防戰 (這幾年蠻常聽到一更新就變盜版 XD)，其實還 ok，Mac OSX 常常會遇到一些神奇的東西(鍵盤韌體更新程式，我第一次看到實在是嚇了一跳)，所以會更新的人，大部分都還蠻勤於更新的。會爆炸的機率很低，我是有分別在這兩個系統上一更新後重開機就再起不能的狀況，不過這麼多年來，這兩個系統是分別只有一次而己。不過我勤於更新是從 Windows 的 Blaster 病毒讓我三天睡不了覺之後開始的 (那又是另外一個故事了 ...) XDXD。
那麼在 Linux 上呢 ? 我從頭到尾都不認為 Linux 是給一般使用者用的 XD，每次光看更新列表我就頭皮發麻 (我承認我是在去年才知道 libxxx 和 libxxx-dev 的差別 XD)，每次一按 sudo yum update/ sudo apt-get upgrade 然後就看到一堆有如火星文的套件跑出來 XD，這對一般使用者實在是不怎麼友善 XD，其實一般狀況下，我還蠻敢更新的，但是看到一些關鍵性的套件名稱，我也很懷疑我要不要更新 XD 常常會有更新完開不了機，不然就是顯卡再起不能，音效跟你說掰掰的狀況(千錯萬錯，都是驅動程式的錯 XD)，真的有如我一開始引述的那一句工程諺語。
更新不見得會你覺得生活更美好，有時候是更糟 XD，這句話在 Linux 上更是重要。
那麼到底要怎麼處理更新這件事 ? 我目前的做法是，在所有平台上還是不要命的更新，炸了我就試著去解決 (在這一行混，總是得自己試著想辦法 XD，這時候我就會常常看 Bugzilla & mailing-list XD)，ycma 的作法是，在 Linux 上調到穩定了就不更新，如果真的有必要要更新，一個一個套件慢慢試 (我這個懶人一定做不到 ...)，其他人的作法我不知道，知道的人可以告訴我一下嗎 XD。
原本以為自己可以寫的很科普的，結果現在看起來還是一點也不啊 XD。
---
寫開心的嗎 XD
如果將情感訴諸於文字，那會是怎麼樣的光景 ?
嘗試在文字中傳達訊息是一種基本，而傳達情感，則落入了解釋，無法確切的表示時。我總是捫心自問，為什麼我要寫出這些無病呻吟的文字呢 ? 因為無聊吧。
---
下一個開始。寫作。
在 FLOLAC 的時候 ...
godfat: 我的螢幕都亮暗亮暗的。
jaiyalas： 不然你要跟前面螢幕一樣$%^#&^&$ (其實我忘了他說什麼了 XD) （yen3按： 躺著也中槍...）
yen3: 亮暗亮暗還不錯啊，不然你要跟我的螢幕一樣開關開關嗎 XD
(自表結束 XD)
簡單的來說，就是我的 MacBook 的螢幕背光會自動關掉，而且再起不能 ... 到我按了很多次亮度調節為止 XD 於是終於在今天送修了（因為已經壞了七八天了，但是上課還要用到 ...），由於送修了，大概只能用以前的筆電和實驗室的電腦，都是 Linux ，應該會用不太習慣，不過最近比較需要多看書，所以影響應該蠻低的，可以順便練習和 Linux 熟一點
不過樓下那篇文章可能要等個幾天才能補完了...那是我送修前打的，工具用的比較熟 ...
---
我不是富奸(挺)
這是我個人的答案，基於老師說要練習 (不想被 fire 掉 XD)，我就練習了，但是我還不會排這種版型，傷眼就請見諒了 XDXD。
題目很簡單(不過我把寫對的答案擦掉改成錯的答案 XD)，寫一個，寫一個滿足 P_0 的 program，這不難寫就是，利用上課教的技巧及 Exercise 3 的第一題，應該可以很快看出來，於是我們很快的就有下列推導。
重點是把 (a[i]-a[n])^2 = a[i]^2 - 2a[i]a[n] + a[n]^2 ，這樣子我們就可以在一個 loop 完成它。
所以這個時候我們就會得到四個變數 P_0, P_1, S_0, S_1，答案就呼之欲出啦。
待補，發現許多錯，先出門 XD
---
寫錯不知道會不會被罵 XD
這週上了很多課，不過不打算在這個時候講感想，打算再過一個禮拜後再一次講。
其實老師人都很好啦，我有一種被洗腦的感覺，詳細解釋可以參考 Josh Ko 的 "邪教檢查表"，其中聽到很多很棒的概念，也終於對 Logic 有比較好的概念 (不過我覺得我的邏輯還是不好 XDXD)，中間還有認親大會 (我看到大貓(大鳥)了 !!)，還有 C. E. W. ，還有 Logan (雖然不熟，我還是努力的裝熟 XD)。
這個禮拜覺得最可惜的事就是禮拜二沒來(在學校期末報告，還好得到了不錯的結果)，我看 Functional Programming 的lecture 的 fold & unfold ，似乎跟自己的認知不太一樣，我覺得我自己之前想的太簡單了，是該在好好想想，也有另外一個感想是，我好久沒寫 Haskell 了。而 Operational Semantics 的話，第一堂課沒有聽到確實有很大影響，縱使我知道老師想要表達的是什麼，我也很難抓到什麼是重點，這部分只能說要盡量看書了。
scm 老師的 "Go To 有害大論戰" 在禮拜五的最後一個小時演講，這個部分的解釋可以看看 Josh Ko 的 "前途有望"，整個演講以 Dijkstra 的文章為基底而討論了對程式該有的看法，誠如 scm 老師在一開始上課所言，我們是把寫程式變的比較難，但是我們讓寫出錯誤的程式變的更難。如果一開始就寫出對的程式，那麼其實後面就不用做這麼多麻煩的事，Knuth 的 efficient 和 Dijkstra 的 reasoning 都是很重要的事，Josh Ko 比較喜歡 Dijkstra 的看法，但是對我而言，我覺得我比較喜歡 Knuth 吧，但是覺得 Dijkstra 說的也沒有錯，這種事或許不是我現在的程度可以思考的吧 XDXD。
題外話就是，TAOCP 我終於訂了，花了好多錢啊，可能是拿回來拜的，但是我訂了一本 Logic and Structure，希望自己能多懂這些東西，不然每次都覺得自己數學很爛也不是辦法 (上課我要猜 loop invariant 都猜不出來，完全沒有頭緒要猜什麼 ... Orz)
---
中場休息
嵐達網的文章還是持續沒更新，看到很多很有趣的新東西，一切都卡著明天的期末報告 ... Orz
不過重要的是，終於把東西都做的差不多，可以順利的第一天去 FLOLAC 10 而不用擔心太多事了 (轉圈圈)，大概都把學校的事都完成的差不多了。今天上的是 Logic ，由 Max 上課，其實我還蠻期待這堂課的，因為我的 Logic 概念非常的差，希望能開心了!!
明天整天不能去，看來要找 Josh Ko 幫忙錄音才行了 ...
---
整體而言還是很開心 !!
說是禮拜五晚上要交給 ycma 的東西，硬是遲了一天。
不過就現在來看，應該是有辦法第一天安心的去 FLOLAC 上課了，第二天再行請假(因為第二天要報告)，為了確定這一些東西，LLVM 與 Trimaran 與學會 Compiler 的大架構，幾乎耗去了我這學期大半的時間，或許也是因對新東西的害怕吧，不過也沒得選擇，只能硬著頭皮去碰，但是大部分的東西還是他教與給我的，這點還是覺得非常的慚愧 ... Orz
還有一個禮拜就 FLOLAC 了，期末報告大概再改個三次就 ok 了，我想這一切應該是在時間之內。現在回頭想想，下一次能休息的時間竟然是七月中之後了，也是一個有趣的經驗吧 XD 換作是以前的自己，早就炸到翻掉了 XD，不過這陣子有感覺，以前學的時間管理完全得重來，因為我根本沒辦法執行這麼長的時間，學習是馬拉松，不是短跑，雖然知道，卻難以做到。也難怪自己常常成為食言的人了(苦笑)。
說到有趣的事，期末報告發現一些有趣的 Beamer 技巧，有空再補上來 XD。
---
看來標題改成 "最近" 也是無妨的 XD
本來想要寫 Love Fool 的，不過後來聽到這首歌，頗有印象，這首歌是在我大學唯二的夜唱時，聽到eating 點的，聽到了覺得還不錯，就加入我的播放清單了。
說到梁靜茹的話，我有一天我聽到她唱的 "我喜歡" 這首歌，我姊剛好看到我在聽，我姊對我說
你好娘
---
這 ... XD
這一學期買的書不少，做個記錄
工具或者是學習
其他書
Perfume 部分
電子書閱讀部分
理論上應該有所遺漏，不過我也懶的想了
---
好多錢 ... Orz
已經想不起來上次寫作是什麼時候了。
嵐達網的文章也很久沒動了，我知道，太難的寫不出來，簡單的，寫了似乎又沒意義，就一直卡著而讓時間流逝。
學弟妹的事告一段落了(雖然應該說都是學妹的事)。
從 Trimaran 改成 LLVM ，很多事是解決了，但是也有更多問題產生，只能說，自己硬著頭皮上了。
從垃圾變成廢物，感覺似乎不錯的樣子。
還有二十天就要期末報告，現在似乎什麼都沒有。
我不是一個好人，只能說是一個爛人。
語畢，其實，回歸平凡。
不坐以待弊
公佈自己所有的爛行為
從 wiki 上移過來，大概會改變寫長文的寫作風格，拆成許多個小篇的來寫。
keyword site:http://www.haskell.org/pipermail/haskell-cafe/
---
持續寫作
其實 Kindle DX 本身並不支援中文格式，所以如果在不變更任何程式的狀況下，有 pdf 可以選擇，如果想選擇破解的話，可以安裝 Unicode 字型，不過英文字體連帶閱讀起來感覺不好。我以下說說我的做法
目前中文小說網站有兩個比較有名
後者網站我還沒有試過，不過好讀網站的 pdb file 在 Mac OSX 上讓我很頭痛，仔細看看大家都有這個困擾。我簡述步驟如下。
./a.out xxx.pdb > xxx.txticonv -f big5-2003 -t utf8 input.txt > output.txt即可，就可以把 Big5 的檔案轉成 utf8，如果是使用第一個程式製作出來的文字檔在轉換時會出錯，是不用理會的，因為那是第一隻程式所產生的一些資訊。輸出後在 Kindle DX 上成果大概如下 (對不起，我不會取景...Orz)
預設輸出是黑體，有想過要用 LaTeX 排版，不過這可能要花很多功夫，所以暫時交給 calibre 來做這些事，而我覺得這樣子的輸出結果我可以接受啦。至少字夠大，閱讀起來不太吃力。
---
簡單記錄一下。
這篇是寫在嵐達網上，在自己的 blog 上做個備份。本文不開放回覆，統一至這篇回覆(寫這麼差...Orz)
Compiler
Research: The Next 50 Years
Communication of the ACM - Febuary 2009
這篇是一篇很有趣的文章，在 CACM 上的文章都是接近科普類型，這篇也不例外，所以我花了幾天看懂這篇文章，又著實想了好幾天。
其實在這個領域中，要預測下一個十年比預測下一個五十年容易的多，那麼他覺得下一個 50 年的問題是什麼 ? 簡單的來說就是。 Program
Optimization (Mulit-core, Architecture-Specific ... etc) 與 Security
& Robust
就 parallel program 來說，multi-core 是一個趨勢(因為 Moore's Law 逼得大家努力的製作
multi-core CPU XD)，在過去的三十年來，Compiler 對於 parallel 並沒有一個泛用的方案(General
Solution)，不管怎麼操作，lock, race condition
都是避免不了的問題，很多人嘗試要提出方案來解決，不過到目前為止沒有成功。
就 Security 來說，現在的 Compiler
勢必得去面對如何讓一個更複雜更為大型的程式保持正確(Corectess)且穩固(Robustic)，要用到很多手段報分析，讓一個程式在各個方面都
保持穩定。
回到 parallel 與 Compiler 的關係來說，用一個小故事來開個頭。有一天，我的指導老師問我，在 Embedded
System 上，大部分的 CPU 是沒有 Floating Point Unit ，可是勢必得要去處理很多相關的運算，請問是怎麼解決的 ?
我想了很久想不出來，他說，其實解決不了(我被框了 ... Orz)，但是如果切割成許多個領域來解決是可以的，以 FFT
來說，在硬體上，只需要數個加法器與乘法器就可以搞定，以某個影像編碼來說，雖然每次都會用到 sin,
cos，但是實際上來說，會轉的角度只有九個，所以查表即可解決。
回到正題，parallel programming 對於 Compiler
來說，如果切割成許多個領域來分別進行最佳化，其實到目前為止算是有相當的成果的， MIT 的 StreamIt Programming
Langauge & Raw Processor (for streaming)，Google 的 Map Reduce (從
Functional Programming 來的
XD)，切割開來的時候，每個領域的平行其實都可以用巧妙的方式來解決，但是組在一起卻沒這麼容易。所以這篇文章有嘗試建議一些方法，例如說，撰寫高效能
的平行演算法並加以封裝，而寫程式的人就使用這些封裝的好的演算法來組合(BLAST
?)，這大概是目前可以做到的，或者是你可以想出一個全新的方法來解決現在的問題。綜合以上，這篇文章寫了很有趣的話，誰可以在平行上做出突破就可以引領
下一個研究年代。
而針對不同的平台來說，現在寫程式並比較不會這麼局限在單一架構上，你有可能寫程式寫在手機上，一張開發版上，自己的 CPU
上，針對不同的平台要做最佳化，其實是有一定的困難度的，而這也是 Compiler 下一個很重要的事。如果以 Embedded System
來說，多個晶片要協同運作是一個很常見的事，而這件事都需要很多方面來配合 (OS, Programming Langauge, Compiler
...etc)。這也是一個值得著力的點。
要寫出一個安全且穩固的程式是一件相當困難的事，可以就程式語言層面設計出一個更為安全的程式語言，教育程式員怎麼寫，或者是利用
Compiler 去做一些事，program analysis 就 wiki
來說有 Program Optimization 與 Program Correctness
，前者我不清楚，不過現在已經有很多現成工具可以用了，硬體設計上，用以分析出一個電路的 critical
path，軟體設計上用以分析耗掉多少記憶體，那邊佔用的時間最多之類的。但是 Program Corectness
來說，我覺得是很重要，但是並不是我所了解的領域(這讓我想到這次 FLOLAC 10 的
Frama-C)，要如何保證程式在每個層面皆能正確運作，我相信有許多的議題需要討論。Compiler 在過去這麼多年來越來越重要有一個原因是因為
high-level programming language 受到了廣泛的使用，然而分析這些語言會不會產生更多的問題呢 ?
(這個問題是個人猜測)
最後這篇文章提到一些有趣的建議，不外乎是針對 Compiler 設計一連串的專門課程啦，建立一個 Compiler
協會之類的，老實說，我覺得每個領域都會想這樣子建議吧 XD。所以我這個部分就沒有很認真的看了 XD。
題外話： 我的指導老師跟我說，這篇文章提到許多論點是許多傳統做 Compiler
的人不願意接受的，我看起來是覺得很不錯啊，至少我覺得蠻有趣的，他舉了一個例子，你要一個練了許多年武功的人不用這個武功來解決問題是很困難的。老實說
我也不知道是什麼，或許聽了 CHTPC
會有一些感覺吧 ... ?
---
為什麼我覺得我怎麼寫都像寫廢話一樣 ... Orz
2010 Formosan Summer School on Logic, Language, and Computation (FLOLAC '10) (課程名稱在左邊，有時候我都會找不到 XD)
基本上，雖然這是一個每年都會告急的活動，大概是標題看起來不吸引人吧 XD 不過誠如嵐達網上所說的
嵐達網是一個為程式語言同好設置的中文社群網站。程式語言學原本即是計算科學之中有悠久傳統的重要類別。近年來，面對諸如並行處理等日益複雜的程式設計挑戰，不論學界或業界都再度對程式語言學感到興趣。
而 FLOLAC 10 就是一個這樣子的積極的嘗試。
我大一學微積分與普物的時候，我時常問我自己一個問題，到底學這些有什麼用呢 ? 其實莊子說了，以無用為大用，並不是學習的每件事物有效用能去學，我們必需去注視，他所能對我們產生質的影響。課程內容真的值得一聽(雖然我在三年前曾經去聽過，聽不太懂 XDXD)，對我而言，參加這個課程是可以重新省思日常生活所用的一切。這三個東西對於現在的我而言，每一天都在使用，但是我卻每一天都不了解，我是基於這樣子的理由在參加的。
課程會不會很可怕，應該會吧，不過就參加吧，如果可以用報名費換到一個新的視野，老實說我覺得是非常值得的。我還記得我第一次參加的時候，沒有一個課程名稱是看的懂的 XDXD 現在好一點，只有一個看的懂 XDXDXD 有時候，不太在乎看不看的懂，反正最後去了，了解了就好，不了解了，也嘗試從中抓到一點東西。這個過程對我而言是相當有趣的。
為什麼不說課程在教什麼，第一，我不會，第二，看到這邊的人應該會自己看吧 (我是非常這樣子自以為的 XD)，所以有興趣的人不妨試試 :)
---
失敗的廣告文 XD。