GGG 頭像

把所有頭像（包括 blog 和 Messenger）都換成第一代勇者王的頭部特寫 XD。本來打算用正面：

但是縮小後不清楚，而且不是正方形不太好用。後來換成側面：

小圖的效果就好一點。Blogger 的簡介可以用大一點的圖，所以維持正面 XD。

--
Yuusha-Oh --- Gao-Gai-Gar!!!

新招牌

暫定 "Trek through pure reason"。取 "trek" 當然是因為 Star Trek，不過相較於往外太空的探索，我希望強調我的探索是往內的，在純粹理性的領域中航行。有趣的是副標題可以留著。目前唯一覺得還可以改進的是介系詞 through，要是有更短、意思更貼切的就更好了。

--
選個良辰吉日再掛牌 XD。

換招牌？

最近興起「換招牌」的念頭，因為 "Joshsoft" 這名字已經是國中的事情，其實和現在的心境差一段了。不過要造一個夠獨特、夠簡短、又夠傳神的名稱實在很難啊，這塊老招牌只好再擺一陣子了 XD。

--
像 "These are the voyages of the starship Enterprise" 這種味道的就不錯，可惜長得離譜 XD。

Google Calendar 重出江湖

從 ptt Mac 板上得知 Google Calendar 現在支援 CalDAV 而可以直接和 iCal 同步了！所以現在 Google Calendar 又出現在 sidebar 啦 XD。

--
還有一些地方不是令人很滿意（例如那個列印鈕拿不掉），不過可接受了 XD。

---

結果編碼問題又回來了，中文全都變成一串問號。看 Google Groups 上面也一堆人遇到這問題。還是暫時拿掉吧 XD。

--
這種基本問題怎麼這麼久都還沒解掉啊？

Interesting Posts

Safari 的 RSS 功能先前突然秀逗，我於是遷徙到 Google Reader。Sidebar 新增一個 section "Interesting Posts"，那就是我在 Google Reader 上的 starred items 嘍。不定期更新，有空就去逛一下吧 XD。

--
當然 "interesting" 與否是我個人的觀感 XD。

火星文

突然發現我最近貼很多火星文，這樣沒人來看，就達不到廣告效果了 XD。看來 5/15 之前要多寫一點通識文 XD。

海報貼在 blog 上還真是賞心悅目，一天要看它好幾回才過癮，雖然我猜久了會有點煩人 XD。

--
尤其那個圓角效果太完美了！XD

被駭

今天 MFN meeting 拿到一張實體的 FLOLAC '08 海報！另外也向 scm 老師要到圖檔，調整尺寸、加深對比（不然縮小之後不太清楚）並加上圓角之後，現在就擺在這個 blog 每一頁的最上面，相信這幾天路過的人都不得不看上幾眼 XD。尺寸大得有點像被駭，等報名截止後再縮小一點 XD。

截圖一張留念 XD。

--
好啦，用「駭」這個字不對啦，可是說被「怪」很奇怪啊 XD。

大預告 II

Relational derivation 寫完以後，我會再寫一篇 dependent types 簡介，預設觀眾背景仍然是一般的 CS 學生！我會試著從為人熟知的 imperative languages 導入（大概就是 C++/Java 吧，用 C++ template 和 Java generics 做第一層近似），盡量不要找 Agda 出來嚇人 XD。

這兩篇綜合起來，正好就是 scm 老師、Patrik Jansson 和我最近投到 MPC '08 的 paper 內容。同時也算是幫 scm 老師的 research interests 打廣告 ─ 老師很缺人手的樣子 XD。先就非技術面廣告一下：老師人很好（造型很前衛？），入門門檻很低（我主要的基礎是在兩星期裡面學會的），Salary/Work 比值又挺高（對我而言啦…XD），有興趣的人千萬不可錯過！

--
喔，scm 老師剛剛終於現蹤了！消失好幾天還挺恐怖的 XD。（16 小時的時差也很恐怖 XD。）

大預告

星期五會出一篇 (relational) program derivation 簡介，預設觀眾背景是一般的 CS 學生！

--
要趁 scm 老師不在趕快寫… XD

期末果然到了

可以從最近的一些關鍵字與其密集程度嗅到一點端倪：

• 紅黑樹
• 高等微積分
• cartesian skepticism
• 紅黑樹 插入
• 中央車站
• 微分方程基本補題
• minimum spanning tree 證明
• arzela-ascoli
• 康德倫理學
• 紅黑樹 實作
• 中央車站 感想
• operating system principles 解答
• 合理可預見的結果
• 紅黑樹 刪除
• pumping lemma
• 離散數學投影片
• 離散數學 tree
• suffix trees
• bellman ford algorithm
• hierarchy of memory
• cauchy integral formula
• lu decomposition
• bellman ford
• 計算機組織與組合語言
• 高微署修（JK 註：放棄得太早了？）
• 自動機與形式語言
• linear algebra video
• bellman ford negative
• c dijkstra
• apostol 高微解答
• pumping lemma 證明
• assembly push
• c expression literal
• all cfg tm
• rudin
• 16 bit cla
• agrippan skepticism
• 演算法 期末考
• dijkstra in c
• decidable language
• kruskal 正確性
• database management systems, ramakrishnan 下载

期中期末才有這麼高的學術關鍵字密度 XD。

--
好啦，我明天的知識論期末考還有兩題沒弄出來，先這樣 XD。

PageRank

PageRank 上升到有史以來最高的 3，可參考 Yen3 的 blog XD。

--
進入期末考週，進度緊迫，而且目前有些落後，所以先這樣 XD。

亂碼

Google Calendar--iCal Exchange 之間不知道出了什麼問題，突然不能正確處理中文了，所以先把 sidebar 的 embedded calendar 拿掉 XD。

--
等問題解決再放回去 XD。

New Blogger?

先前好幾次想把 Blogger template 換成新版，可是每次換過去看到一堆奇形怪狀的 widget syntax 就慌了手腳，最後直接復原成傳統範本了事 XD。

--
寒假看有沒有機會吧 XD。

1000

搶。

--
雖然沒人跟我搶 XD。

國際化

因為 scm 老師在他最新一篇 research blog〈Maximum Segment Sum, Agda Approved〉裡面連結到我先前寫的〈Fold-Fusion Strikes Back〉，今天陸續有各國人馬來訪，目前看到有美國、土耳其、德國、英國、冰島、荷蘭、南非，分布出人意料地廣泛。不過全部的人都看一眼就走了，因為我寫的是中文 XD。剛剛我把那篇譯成英文，下一個來看的人果然就多看了兩頁，不過也就只多看兩頁而已 XD。

--
以後提高英文的比例好了 XD。

---

剛剛看又增加挪威、丹麥和法國 XD。

--
好像在收集國旗一樣 XD。

Meet with Luke

今天下課後和 Luke 聚餐、討論 Agda code，然後聊聊天。Luke 在業界工作，每個星期五從台中開車到中研院參加 scm 老師的 meeting（聽起來就很累 XD）。聽到很多故事、新聞、與內幕 XD。

右邊 Google Calendar 裡面標紅色的「細部計畫」需要解釋一下：為了方便，我把所有週末該完成的事情都放在星期日，這樣就不用費心分配哪天要做什麼事情，而且整個週末它們都會待在待辦事項裡面，不會被擠出去。

--
以後「數位電路實驗」和「數位系統設計」要記得用縮寫，才能塞進這個 embedded calendar 裡面 XD。

Calendar on the Right

今天終於成功把 Google 的嵌入式日曆植入右邊的 Sidebar 了！先前沒做的原因是顯示效果不好，而且我想要在 PB 本機上用 iCal 修改行事曆然後自動發佈到網路上，可是 Google Calendar 並未直接支援這樣的事情。今天找到 iCal Exchange，這個網站免費提供 iCal 的發佈伺服器，而 Google Calendar 又能連結網路上的 .ics 檔案，所以 Fundamental Theorem of Software Engineering 又立大功，現在可以使用上述的操作模式了！雖然有點窄，但效果可以接受 XD。

--
美中不足的是網頁載入速度又更慢了 XD。

---

突然覺得怕怕的 ─ Google Calendar 會自己去查看那些 .ics 嗎？XD

---

搜尋一下，應該會，但不會是 real-time（可能要幾個小時）。剛剛加了幾項，看看多久後會出現。

--
對我而言這樣就夠了 XD。

---

還沒更新…

--
真的會更新嗎？XD

---

喔喔，出現了！

--
所以要五、六個小時 XD。

搜尋高微

看得出來現在在上高等微積分的人都很認真，blog stat 上不少相關的關鍵字。目前有：區間套定理、高等微積分筆記、高微、最大最小值定理、實數完備性、高等微積分、高微 證明、epsilon 趨近於零、weierstrass 收斂、apostol 高微解答、中間值定理證明、高等微積分講義。微積分、實變、複變的關鍵字也有一些。

其他一些有意思的關鍵字也順便評論一下：

• pumping lemma：這個已經屢見不鮮了 XD。
• fontspec cmr：這個可能跟我有同樣的需求？
• clrs 5.3-4：這是要找解答吧？XD
• 人工智慧 cyy：cyy 又不做人工智慧？XD（是另一個 cyy？）
• literate programming：有人找耶！XD

--
看 keyword analysis 還滿有趣的 XD。

Sidebar Update

右邊的 "Links" section 稍微整理了一下 XD。

--
全面翻新遙遙無期 XD。

兩萬

從去年八月中起算，這個 blog 累積的 pageload 數突破兩萬大關！

--
不包括 old blogs XD。