More Forms

發現台大可以線上申請成績單郵寄到指定地址，於是申請中英文成績單各一份。中文成績單以前貼過了，英文版如下：

其實還有累贅的第二頁：

另外看到可以申請「畢業名次證明書」，順手又點了中英文各一份備用。結果才 13 名…

英文版的標題其實不是什麼名次證明吧 XD。

--
這樣一天榮譽假又不知道該怎麼花了 ─ 本來想說上台北拿成績單 XD。

大學總成績單

Weijin 昨天特地帶給我的。

--
中庸的成績 XD。

大四下成績

課號	班次	學分	課程名稱	教師姓名	成績
002 20240	L2	1	體育四(階梯有氧+塑身)	陳天香	90
201 24220		3	代數導論二	陳榮凱	87
902 37020	47	2	專題研究二	呂學一	94
922 U3590		3	圖形演算法及生物資訊應用	許聞廉	92
944 U0070		3	模糊系統與應用	陳祝嵩	93
			平均		91.17

當然，其實拿畢業證書當天就知道了 XD。

--
總回顧預計當作入伍前最後一貼。最後一段怎麼寫怎麼不好看…

Bachelor of Science

可真沒想到會是代數導論的成績惹麻煩。昨天已經感覺到不對，寫信給陳老師又沒回音。今早八點出門到教務處，成績還是沒出現，殺到舊數 108 老師也不在。乾脆先回宿舍躺一下，10:03 起床時發現就在兩分鐘前老師回信說他送成績了！之後拿到爸媽帶上台北的私章（其實用不到），立刻進攻註冊組。註冊組的小姐一開始還不相信除了代數導論的其他成績都到了（為了成績我可是從體育室到中研院都跑過耶…），也沒料到我老早就辦妥所有離校手續（這種可以先辦的我一定神經兮兮地提早辦好啦 XD）。在我一波波的攻勢之下，本來按照正常作業流程要下午 3 點多才會從數學系抵達註冊組的成績很快就傳真過來。學生證烙上「學生證失效」的燙金文字，然後在上午 11 點 15 分，我接下我的畢業證書！

另外因為之前申請，我同時也拿到英文版的畢業證書。要付錢的看起來果然比較有誠意 XD。

之後清空宿舍清了一小時，把車子塞得滿滿的，邊把玩著 Kindle DX 邊南下。所以我現在已經拿到學士學位啦！

--
至於 Kindle DX 是後話 XD。

I am going to graduate tomorrow

今天早上到中研院領圖形演算法的成績、試玩 iRex Digital Reader 1000S、和辦離職手續領健保轉出單。下午繞到台北火車站拿車票再回台大教務處刷成績，最後抵達系辦把圖形演算法的成績交出去。E-ink screen 果然名不虛傳，閱讀的感覺幾乎和紙張一模一樣，測試過最適合的三項應用分別是漫畫、論文、和琴譜，金色破壞神的照片表現也不錯 XD。離職手續不免俗地得在資訊所內跑大地遊戲，不過因為報到時沒拿任何東西，離職時也不需要交任何東西 XD。因為要動用 scm 老師的印章，還（花 XOO 的越洋手機費）和 scm 老師講上了幾句話！上星期專題成績已經出現，今天階梯有氧和模糊系統的成績也到了，只剩下圖形演算法和代數導論。代數導論課程網站上竟然只更新期末考成績而沒有學期總成績，這下變成最令人擔心的科目了… 明天早上再看看，需要的話就盡量補救吧 XD。

--
今晚做家當最後整理 XD。

Status report

離畢業真的愈來愈近了。首先是各科成績處理情況：

• 代數導論：下星期一看成績，當天送到教務處。陳老師還特地問需不需要幫我個案處理再加快一點 :P。
• 專題研究二：隨機客豪爽地說幾天內就會送成績。
• 圖形演算法：這是時間最緊迫的一科，因為明天才期末考。許老師因為事忙，問我能不能下星期五再說。我猜想老師是打算整班成績一起送，所以提議先送個人成績，獲得同意。下星期一早上去中研院拿「成績單」回來交給系辦。
• 階梯有氧：陳老師早就把成績送到體育室了。今天去教務處刷成績還沒到，所以殺到體育室，果然負責的助教打算等 26 號再一起送。說明情況之後，助教同意幫忙下星期一先送一批。
• 模糊系統：上星期就考完期末考，老師今天發考卷時直接宣佈這星期就會送成績。我為了安全還是告知老師一下。

所以可能剩下的威脅大概就是註冊組的效率了。我不知道成績是以什麼型式送抵註冊組的，不過我相信如果全部成績都送達的話應該不會有太大問題。反正就是一環一環地把成績擠出來 XD。

因此看起來我很有希望在星期二領到畢業證書。因此我今早問宿舍張教官能不能住到星期二，教官翻查一下資料就說沒問題，並先讓我辦完退宿手續。稍後我也把《純粹理性批判》還回圖書館並申請清查。於是現在所有離校手續都已辦妥，只差成績。

另一方面媽媽也打聽到來自市公所的最新消息：我已經排進佇列，但還不知道縣政府什麼時候會撥多少名額下來，而且「已繳交畢業證書」的佇列裡還要再照年次排。這資訊應該十分清楚啦，繳完畢業證書就看運氣嘍。

--
這些事務很討厭，可是該辦的時候還是得辦 XD。

全課程結束

大學最後一堂課是剛才的代數導論。剩下的就是下週的兩科期末考和及早領取畢業證書的計畫。國中升高中依依不捨，高中升大學就比較毅然決然，至於大學畢業根本是期待已久吧 XD ─ 我想趕快擺脫 "undergraduate" 的印記。

--
今天再寫一點總回顧。明天要開始準備期末考了 XD。

倒數

預計考完試的隔天 6/19 星期五撤出宿舍，等成績全部出爐後再上台北拿畢業證書。

--
倒數 25 天！

Membership

把 AFCC 的報告也寫完啦，畫了六張圖。Excel 到了 Mac 上，畫出的圖也變得比較好看一點 XD。這是同一群資料（71 筆）的歸屬程度圖，可以看出主要都歸類於藍色群，但也有一定程度歸屬於紅色群和黃色群，甚至有些相當明確地被分到紅色群。其實這種不太確定的圖反而比較賞心悅目 XD。

--
報告最後把 Haskell 推銷一番 XD。

寵壞

感覺上我被隨機客寵壞了 XD。排在今天早上的 graph algorithms 我一向很難跟上，常常連定義都還沒講清楚就丟出好多直覺與聯繫。許老師提供的 insight 棒得沒話說，可是實在跳很快。顯然是非常需要預習的一門課。

今日飲食：中午紅燒牛肉燴飯 + 檸檬汁 @ 7-11（$65）；晚上奶油拉麵 @ 京阪拉麵（$60）+ 巧克力葡萄奶酥麵包 @ 男一麵包店（$18）+ 蘋果汁 @ 男七販賣機（$13）。合計 $156。

--
例如 PQ-tree 到 PC-tree 的推廣就真的很漂亮！

大學技能表

類別	應修學分	實得學分	已修課程	本學期待修課程
共同必修	18	18	國文（6） 英文（6） 歷史（4） 公民教育（2）
系定必修	78	76	微積分甲（8） 普通物理學甲（6） 計算機概論（3） 計算機程式設計（3） 物件導向程式設計（3） 資訊系統原理（3） 線性代數（3） 離散數學（3） 計算機組織與組合語言（3） 資料結構與演算法（6） 自動機與形式語言（3） 數位電子學（3） 機率（3） 系統程式（3） 資料庫系統（3） 作業系統（3） 數位系統設計（3） 數位電路實驗（1） 計算機結構（3） 編譯程式設計（3） 計算機網路（3） 計算機系統實驗（2） 專題研究一（2）	專題研究二（2）
通識	12	13	邏輯丙（2） 宋明理學（2） 音樂作品欣賞（2） 生物多樣性概論（2） 工程發展與社會變遷（2） 東坡詞（3）
系內選修	18	12	人工智慧（3） 資訊理論與編碼技巧（3） 賽局理論（3） 高等編譯器設計（3）	模糊系統與應用（3） 圖形演算法及生物資訊應用（3）
系外選修	10	10	倫理學（4） 知識論（4） 西洋哲學史一上（2）
數學輔系	20	17	高等微積分（8） 圖論一（3） 線性代數一（3） 代數導論一（3）	代數導論二（3）
服務學習	0	0	服務一 服務二 服務學習三
體育	4	3	健康體適能（1） 高低衝擊有氧（1） 現代舞（1）	階梯有氧 + 塑身（1）
軍訓	0	0	軍訓一 軍訓二 軍訓三

主修資訊系、輔修數學系、系外選修全部獻給哲學系，這張技能表還滿好看的 XD。

--
所以最後因為東坡詞多修了一學分 XD。

大四上成績

課程名稱	學分	教師姓名	成績
東坡詞一	3	劉少雄	86
西洋哲學史一上	2	苑舉正	83
線性代數一	3	黃漢水	84
代數導論一	3	陳榮凱	94
專題研究一	2	呂學一	96
高等編譯器設計	3	陳俊良	85
賽局理論	3	呂學一	95
操行			85
平均			88.95

看來平均已經收斂在 88 附近了 XD。隨機客給分慷慨一如往常，線性代數大概是沒上助教課或期末考出差錯，其他分數都如預期。

--
來算一下學分 ─ 應該是沒問題了 XD。

大四威能

非常強大… 選課又是第一階段就結束了 XD。這學期的課終於看起來比較少，不過星期二整個下午是隨機實驗室的 weekly meeting。

--
兩門系內選修課都是中研院老師開的 XD。

排擠

隨機客把 weekly lab meeting 排在星期二下午，這樣就直接和 P 老師的平行計算說 bye-bye 了呀 XD。

--
資訊工程理論基礎算系內選修嗎？XD

Notes on Market Equilibria

重新把「以 flow network 求解 market equilibria」部份的證明全部重寫一次，成果是 11 頁的 LaTeX pdf。套個隨機客用的形容詞，大部分證明都十分「曲折離奇」，我很懷疑考試的時候我還記不記得住怎麼拐那些彎 XD。

--
不太敢想 formalisation 得花上多少工夫 XD。

抄與貼

本週代數導論作業剛出來就被我做掉了，因為要考賽局 XD。寫到最後一題，用 LaTeX 排作業的好處就出現了 ─ 直接把以前證的 lemmas 複製過來，類似論證也可以複製貼上再改幾個字 XD。

--
下次小考特別透露要考作業最後一題，這樣我應該得湊個比較短的版本吧 XD。

賽局演算法期中考

把講過的主題稍微整理一下。

• 基礎名詞（dominant strategies, Nash equilibria）和它們的正式定義（strategy vectors）
• 第一高價拍賣（沒有 dominant strategy）和第二高價拍賣（有 dominant strategy）
• mixed strategies、mixed Nash equilibria 和 Nash 定理（finite games 必有 mixed Nash）
  • "mixed Nash of 2-player, zero-sum, finite games" 的多項式時間演算法（solving 2 linear programs）
  • mixed Nash 的檢驗（best response, support）
  • 「mixed Nash 計算問題是不是 NP-complete」的討論
  • 2-player, symmetric games 的 symmetric mixed Nash 計算（Lanke-Howson's algorithm；一般的 Nash 計算問題可重整為 symmetric games 的 Nash 問題）
  • PPAD class
  • correlated equilibria
• market equilibria
  • 若每塊蛋糕都有 potential buyers，則存在 equilibrium（Eisenberg-Gale's convex program）
  • the network N(p)
  • balanced (maximum) flow 計算
  • 上揚價格和上揚後的 maximal tight set 計算
  • 計算 equilibrium price 的主演算法（未完）

--
看起來不非常多但又沒很少 XD。

Cross Compilation

上學期在大神掩護和詳盡的 step-by-step 教學文件指引下輕鬆解決 cross compiler 的編譯，但這次高等編譯器設計似乎因為是要編譯最新版的 gcc，手續和以往不太一樣，也就不太順利。隨便亂撞好多次之後，還是先用 crosstool-NG 弄一個會動的出來。等實際測試完能不能在板子上執行後再研究那些 scripts 到底做了哪些事 XD。

--
不知不覺變成兩天一貼了 XD。

地雷

代數導論又有一題習題，要我們找出 symmetric group S_4 的所有 subgroups。老師今天承認這一題是地雷 XD。我的做法當然是用 Haskell 寫一寫，直接輸出成 LaTeX source 貼進作業檔裡面 XD。

--
不得不佩服用手算的人 XD。

推甄名次

平均 88.19，排名 12/138，前 9%。

--
用不到，留下來作紀念 XD。