學習雜想

ycma 要我推導的東西，我終於推出一點頭緒來，不過不知道是不是他要的。從這個中間體會到慢即是快，現在竟然非常習慣在紙上書寫所有的想法，以前總是要盡量的把所有東西電子化，其實現在也可以，寫完掃起來就好了，也不是一件很麻煩的事 XD。

現在思考比較不會想要用電腦，習慣靜靜的想，想的過程中也不會想用電腦，很大的原因是，在那個當下，用電腦並不會幫助我思考，所以我可以專心在紙筆上，可能是體會到了一點，我正在想我想要解決的問題，所以脫離是有可能的。也因為這個樣子，希望自己的桌子簡單一些好吧。

這個禮拜一忙起來是要人命，花了一天半的時間在搞 onlinejudge system ，寫程式還是適合集中時間，不過集中時間的同時，每天空兩三個小時下來想問題是必要的。對現在的我而言，用 Python 操作 List 總是會覺得用 Haskell 來操作會來的更好玩些。用 List 會想到我第一次上 Database 時，jdwei 教 Relational Algebra，重新定義了所有 symbol 與其操作方式，每個產生都是一個 table，就可以用這套 Algebra 來做展開或化簡，這是我第一次覺得 Algebra 很好用，Boolean Algebra 沒有辦法給我這樣子的感覺大概是操作的東西比較小，讓我會直覺認為就是如此。而在 Haskell 的 List 操作也讓我有相同的感覺，今天才想到，稍微延伸一下，如果我們把一個 type 及其操作視為一個 Algebra，沒有 side effect 的影響下，這應該是很容易成立的(如果不要轉型的話 XD)，只是對於 function 而言，我們可能會得到一個 fun:: a -> b 的映射，這恐怕就要另外再想想了，用我目前的破爛數學大概是想不到什麼東西 XDXD。寫到這裡，突然讓我想到 Josh Ko 提及的一本書 "The Algebra of Programming"，不知道要裡面寫了什麼? 算哩，繼續學習吧，就不要想太多了。

---
相當有趣。