MacBook 送修

在 FLOLAC 的時候 ...

godfat: 我的螢幕都亮暗亮暗的。
jaiyalas： 不然你要跟前面螢幕一樣$%^#&^&$ (其實我忘了他說什麼了 XD) （yen3按： 躺著也中槍...）
yen3: 亮暗亮暗還不錯啊，不然你要跟我的螢幕一樣開關開關嗎 XD
(自表結束 XD)

簡單的來說，就是我的 MacBook 的螢幕背光會自動關掉，而且再起不能 ... 到我按了很多次亮度調節為止 XD 於是終於在今天送修了（因為已經壞了七八天了，但是上課還要用到 ...），由於送修了，大概只能用以前的筆電和實驗室的電腦，都是 Linux ，應該會用不太習慣，不過最近比較需要多看書，所以影響應該蠻低的，可以順便練習和 Linux 熟一點

不過樓下那篇文章可能要等個幾天才能補完了...那是我送修前打的，工具用的比較熟 ...

---
我不是富奸(挺)

FLOAC 10 - Program Construction and Reasoning Quiz

這是我個人的答案，基於老師說要練習 (不想被 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

FLOLAC10 Week 1

這週上了很多課，不過不打算在這個時候講感想，打算再過一個禮拜後再一次講。

其實老師人都很好啦，我有一種被洗腦的感覺，詳細解釋可以參考 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)

---
中場休息