星期日, 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)


---
中場休息

張貼留言