星期六, 7月 10, 2010

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

星期日, 7月 04, 2010

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)


---
中場休息