FLOLAC 10 - 邏輯、語言與計算 暑期研習營

2010 Formosan Summer School on Logic, Language, and Computation (FLOLAC '10) (課程名稱在左邊，有時候我都會找不到 XD)

基本上，雖然這是一個每年都會告急的活動，大概是標題看起來不吸引人吧 XD 不過誠如嵐達網上所說的

嵐達網是一個為程式語言同好設置的中文社群網站。程式語言學原本即是計算科學之中有悠久傳統的重要類別。近年來，面對諸如並行處理等日益複雜的程式設計挑戰，不論學界或業界都再度對程式語言學感到興趣。

而 FLOLAC 10 就是一個這樣子的積極的嘗試。

我大一學微積分與普物的時候，我時常問我自己一個問題，到底學這些有什麼用呢 ? 其實莊子說了，以無用為大用，並不是學習的每件事物有效用能去學，我們必需去注視，他所能對我們產生質的影響。課程內容真的值得一聽(雖然我在三年前曾經去聽過，聽不太懂 XDXD)，對我而言，參加這個課程是可以重新省思日常生活所用的一切。這三個東西對於現在的我而言，每一天都在使用，但是我卻每一天都不了解，我是基於這樣子的理由在參加的。

課程會不會很可怕，應該會吧，不過就參加吧，如果可以用報名費換到一個新的視野，老實說我覺得是非常值得的。我還記得我第一次參加的時候，沒有一個課程名稱是看的懂的 XDXD 現在好一點，只有一個看的懂 XDXDXD 有時候，不太在乎看不看的懂，反正最後去了，了解了就好，不了解了，也嘗試從中抓到一點東西。這個過程對我而言是相當有趣的。

為什麼不說課程在教什麼，第一，我不會，第二，看到這邊的人應該會自己看吧 (我是非常這樣子自以為的 XD)，所以有興趣的人不妨試試 :)

---
失敗的廣告文 XD。

八百萬種死法

Eight Million ways to die.

紐約是一個有八百萬人的城市，如果有八百萬個故事，理所當然會有他媽的八百萬種死法。

我並不打算描述故事本身的內容有什麼，只是想提出一些有趣的事。一個小說的故事如果接近真實，會比較少人看的，因為冷硬無趣，我在 Perfume 的文章就說過，其實大部分的人生活是很平靜的，沒有什麼特殊之處，我們是不可能硬為自己製造出特殊的故事，大部分的人生活就是如此。而這本小說就是這樣子的小說，真實人生其實充滿了缺陷，然而我們在自己認為的錯誤中不斷的前進。

另外一種常見的小說寫法是，主角相當的不錯，不然就是你不太可能變成那種人，個性上雖然說不上完美，但是也算是非常不錯的，而這種小說的故事通常會比較精采，但是我看完這種小說通常忘了裡面在說什麼 XD。因為我的感官已經麻木了。有的人看小說為的是體驗另外一種生活，我看小說則是希望透過另外一個方式更為接近現實。

一百個華麗故事描述對於一個平靜冷酷的現實述寫。我想，我看到的就是這樣子的一個故事。

還是來寫一些有關推理小說的事好了。其實這本書不算是本格推理(就是你認為該有的元素都要有，有福爾摩斯就要有華生，犯人一定列舉過的，不能有不合理之處，線索不能突然跳出來之類的)，推理小說其實後來出了相當多的說法，不過我一點都不在乎，我只在乎，一個小說的故事是不能描述一個符合現實的社會。日本非本格推理的小說我覺得我看過最有印象的大概是 宮部美幸 的 "模仿犯"，這兩種完全走向不同的方向，當然，我覺得模仿犯的故事性還是強烈了些。以八百萬種死法來看，我覺得，如果一本書可以用平淡的描述完四百頁，而肯閱讀的狀況下，是相當能夠說服人的。我的文字不行，充滿了組織般的華麗(簡單的來說，就是空洞)

---
結果變成亂寫 XD。

寫作

老實說，我一點都不覺得我會寫作，也一點都不覺得我善用文字編織華麗，寫來寫去都是這些東西，這大概是這近一年來發文次數變少的原因，寫個學習心得是 ok 的，寫其他的東西似乎就是如此了。也某個程度證明，我的心境毫無長進，甚至後退了。

簡單的來說，認清現實並且前進，認份和突破是不同的事，先認份的把事情做好，再尋求有所突破，我不知道是不是有所遺漏，不過當下的我只能這樣子做了。

---
認份與突破