2010/09/27

My turn

離台前一個月,拜訪了高中(with Weijin)、國中(with Yen3),回中興兩趟(退伍後才坐到來往彰化中興的公車!),外加高中小型同學會、與傲少和老妖聚餐、老爺上菜的特製東坡肉、及時趕上的與琦皓出遊。錦源接過 JavaPL4e 中文版時說「現在都變成名人啦⋯ 名這種東西不要太陷進去,知道我的意思吧」,又說「等你到那邊應該就會摸到比較新的東西啦」,顯然我沒有講我現在其實已經離 Java 有點距離了 XD。學校老師們記性都比我想像好很多,高三教我們公民教育的黃瑞琴老師把我們那屆的事情記得清清楚楚,教務處的組長、小姐也都輕易認出我們的臉。陽明一樣門禁森嚴,蔡婉如老師剛好要上課沒聊太久,另外只找到數學科董老師。陽明館走廊上擺著科展作品的立牌,其中一個關於單擺的作品用到的數學令人合理懷疑不是國中程度做得出來的。回中興這次感覺泰然許多,倒是短時間內多次進忙碌的辦公室叨擾有點不好意思。烤肉當晚,已經退伍的人為免尷尬先在外吃飽再回去暢談,交誼廳全是 68 - 73T 的人,一下回到過去的情境。烤肉的學弟們儘管有幾個才剛到沒幾天,但我下次若再重返應該是不太可能見到任何一個了。

我一向不太變動我的生活環境,最近的例子是我在中研院任助理(實到)兩個月期間,平常日的午餐、晚餐分別固定吃兩家餐館,到後期兩家老闆都猜得出我要點的東西。由此例子應該可以想像,遞出申請時其實一部份的我很不情願移往全然陌生的國外,是被拖著走的。那時候拖的一方力氣比較大,因為眼前還有半年役期,在那之後又有三個月緩衝,按照申請程序往前走,一次只看一小步,幾乎感覺不到遙遠彼端那出走異鄉的威脅。等到八月底從公雞暑校回來,異鄉已經進逼到無論頭怎麼轉都避不開的距離。一再被恐嚇食物很不對味、生活用詞還有一堆講不出來、言行舉止不知道怎樣算有禮貌、連路上的車子都逆著跑,非必要的話我可不想把自己丟到這樣的環境過活。

而遠繞過半個地球去攻讀博士真的是必要的嗎?即使在我意向最堅定的時候,我頂多也只能提出「強烈的證成」,不可能到「必要」的地步。在中辦的經驗提醒我有不一樣的選項,在其他某些領域我也能達到不錯的成績,又不會犧牲太多。同時我也不再認為學術研究有特別崇高之處,其終極目的和其他行業相比不見得能獲得更好的證成。目前支持我念下去的理由其實已經薄弱許多了:「我覺得這條路目前評估起來還是比其他路更適合我一點,可以先走看看」。這不是說我會走得心慌意亂(或者說我希望不會如此),因為這條路很需要專注,如果沒投入足夠心力的話,失敗時就沒辦法說窮盡這條路的所有可能,也就很難理直氣壯地說這條路不適合然後換到另外一條。這樣的思考較我早先的想法開展許多,以前想壯烈成仁太像是在演悲劇了,轉成現在這樣不見得是壞事。

Comlab 和 Univ 給的新生時間表裡面八成都是社交活動,而一個月前赴公雞暑校的經歷剛好再次突顯我不擅社交的血淋淋事實。我不願意用空泛的場面話或客套問答填滿社交時間,但我對各種議題的取捨選擇讓我對大部份人習慣談的話題沒什麼可發表的意見,有限的外語能力更讓我無話可說,我猜很多時候還是只能(在一旁)專心聽,幸運的話偶爾接近我較有興趣的區域或許可以觸發一陣問答。但一味聽別人發表也不是很公平(發表一段融貫自足的言論可是很辛苦的),必須假設別人(至少偶爾)也希望聽聽我的說詞,比方說我的生活背景、學業經歷之類。唔,我得承認我對這些滿可能出現的問題都沒什麼準備,但現在看來比較有效的前置作業也只剩下心理建設,屆時不要那麼怕人,硬著頭皮胡講一通就是了。

繞在外圍擔心得夠多了,對學業本身還沒好好驚恐一番呢!讀博士是為了讓自己的學術能力躍到新一層境界,根據過去經驗,往上跳的過程都有點痛苦,這次要跳的高度不僅大增,時程之短讓前路更顯陡峭。譯一段 Comlab 放在招生頁上的恐嚇文(這些還只是具體可列的東西,我希望能達成更多):

當你獲得博士學位,代表學術界將如此看待你:

  • 你在你的專門題目上有國際級的貢獻,眾人承認你是這方面的專家;
  • 完全了解你那一行評斷貢獻程度的方式(特別是你自己作品的價值);
  • 精通某些技巧,知道它們的強處和弱點;
  • 能夠有效傳達你做出的成果。
這麼神奇的目標自然沒那麼輕易達成。想在三年期間達此境地,只習得專業技術(這是所有準博士生都清楚的目標)是不夠的,以下所列的能力一樣重要:
  • 自我驅策,比大學時代更加自發、更加努力;
  • 評估彼此衝突的目標,完成它們,並負擔後果;
  • 在滿足與沮喪感之間振盪時(這會比大學時期劇烈許多)能成熟熬過難關;
  • 有效運用相關資源,包括討論時間、圖書館、會議、網絡、和身邊的專業知識;
  • 時間管理,包括趕赴死線的能力;
  • 和老闆發展良好工作關係。
如果沒有老闆堅定支援的話,很少人能培養出這一大堆可驚可嘆的技能,同儕也幫得上一些忙但比較少。他們會在每個面向上協助你,並告訴你每一項技能要求的標準為何。

確實,看過更多文件介紹,知道有不少協助之後,我有比較安心一點。有協助的話,目標看起來就沒那麼遠不可及了,但大量心力仍然是必須的。現在我只希望能一直記得保持方向感,其他一樣到時候見招拆招嘍。

學校老師一屆屆教下去,辦公室日復一日不休止地推動公務(便當也日復一日地訂),同學繼續往碩士學位邁進。和琦皓分攤連絡眾學長回中興烤肉時,不少人因為事忙不克到場,見到面的也都已經讀書或工作到昏天暗地,看來我是最晚出發的了。收到好多祝福,我終於學會不為分離悲傷,也才真的學會哭。And of course, there are always much more to learn, much more.

--
Set a course for the UK. Engage!

Labels:

2010/08/17

夢到北辦有個人(名字現在忘記了⋯)打手機給我,我認出北辦的號碼接起來(02-23565342 吧,但不是實際上用這隻電話的人),她找 scm 老師,我說我是他的助理之後,補充說其實我以前待過中辦會計處,她就很高興講了一堆事項讓我拿筆記下來,最後請我轉告專門委員。

--
有人要解夢嗎?XD

Labels:

2010/07/29

Tier 4 visa got

Tier 4 簽證成功拿到了,效期正如規定,拿到滿滿的四年十個月。(Comlab 的秘書說讀 DPhil 最多給四年,然後加半年讓你準備口試和小改論文。英國海關又再加碼四個月。)欸,應該不會讀那麼久吧 XD。坐在大樓外開 MBP 確認簽證資料沒問題,就直接把護照連同身分證和退役證明書丟到旅行社去換照。小姐差點忘記收照片,經我提醒才把我的最後兩張收走,當初洗的數量剛剛好。

換談 Agda programming,scm 老師和我的立場與之前相比剛好換過來了。以前寫 AoPA 時我喜歡寫素樸的定義,然後在外面加寫證明,但最近寫的都是把全部性質塞到定義裡面,而 scm 老師正努力實驗從外面加寫證明可不可行。其實我也有點 為將來的題目做準備 的打算,想試試看真正寫 heavily indexed datatypes 是怎樣的情形,或許再試試可不可能先 ad hoc 分出 raw datatypes 和 refinements(但這個還不急)。目前的實戰結果令人滿意 — 意思是源碼確實重複很多,而且所有考慮面向都塌成一團,很有改進空間 XD。

--
還在找方法把 facebook wall 上的研究速記倒到 blog 上,留個記錄方便查找。

Labels:

2010/07/22

再戰商業區

今早去辦 PBS Tier 4 學生簽證。這次時間估得相當準,7:20 出發,大約 7:55 走到簽證中心所在的第二交易廣場,而且捷運完全不塞。有了上次的經驗,這次就沒那麼暈頭轉向,但還是被電梯擺了一道 — 我坐上沒到 7 樓的電梯(明明就沒標示⋯)直上 13 樓,只好原班遣返回 Lobby 層換電梯再上 7 樓。剛進去時現場共五人,其中三人是辦 Tier 4。這次辦簽證順利得很(特別和上次相比),不含等待,全程不到半小時就搞定,小姐一份一份資料螢光筆畫過去就完成了,只有看到 正常人都會為之困惑 的 funding offer letter 時有稍微問一下(幸好教育部沒進來蹚這趟渾水 XD),我辦完時前面一號的 Tier 4 還在櫃台審資料(幫他辦的小姐應該和兩年前幫我辦的是同一個!)。簽證費只收網站上公告的 NT$9,950,而沒收線上表格宣稱的 NT$10,000。另外上次有個模糊印象,資料不需要訂起來,小姐果然把我的釘書針全部拆掉,最後全部釘成一份。小姐連釘兩頁的針都拆得又快又好看,要是我能像她那麼熟練地使用拔釘器,在中辦一定能過得再愉快一點點 XD。第二交易廣場對面松壽路上有一間 Studio A,本想去買個 Mini DisplayPort to DVI adapter,但出了簽證中心才想到這種店沒道理 8 點多就開吧!走過去果然沒開,那就算啦,原路返回中研院。

--
明天停辦好久的 scm's meeting 重新啓動,趕快弄點東西講 XD。

Labels:

2010/07/18

返中興

今早五點突然醒來,整理一下行李出門,六點十五分在中研院站搭上 270,從南港捷運站到台北車站,抵達時才六點五十分。我原本預計搭八點那一班,但當下一看時間其實搭得上七點的車,腳步加快拿著退伍前跟蔡專員買的回數票去劃位然後上車,正好來得及。九點四十分就到中興站,陽光普照卻又不會悶熱,綠樹遠山矮房一片柔和色彩,中興才是適合人居住的地方哪!

和琦皓打聲招呼,先到樓上看喵咪。喵咪現在獨佔一整間房間,但覺得她變得有點憔悴,晚上和她玩的時候才比較好一點。進房時她過來撒嬌了好一陣子,雖然我不確定她是認出我還是只是想吃飯 XD。

先進辦公室和社發科千莉視察聊了一下,然後在佈置出乎意料地典雅的「黃金綠葉」用完簡餐,今天讓我提早南下的行程是琦皓發現的「玩藝光年 ─ 2010 玩具工藝特展」。我們先在生活工藝館參觀了好一陣子。展覽本身倒沒花太多時間,主要都耗在「魯班鎖」上:兩個人坐在地上搬弄六根長約一公尺的木柱一個小時,試圖把它們組成牢固無隙的立體,但最後只能投降,從紀念品店買一個袖珍版回來研究。(而且看了解答還是一頭霧水!)

回辦公室,蔡專員和慧婷已經進來了,也遇到副座。副座問我的〈畢業論文〉是不是有點抱怨意味,我連忙澄清只是把我的感想列寫出來而已,沒有什麼潛台詞。很快就接到樞紐分析表的略微變化應用問題,相信明天可以在辦公室解決 XD。

晚上和琦皓一同受蔡專員和她先生招待傳頌已久的無骨鵝肉,被餵得飽飽的。在宿舍洗完澡,離開浴室走上長廊,再次體會到「戶戶透出亮光」予人的滿足感,比較不一樣的是我原先住的 207 房已經有別人進駐了。琦皓的房間在熱的那一側,但現在窗戶偶爾滲進沁涼夜意,仍然相當舒適。

--
明天就進辦公室看會計處的大家。

Labels:

2010/07/12

鬢角

我很討厭鬢角,因為毛毛的很不舒服,對我而言,沒削鬢角的話剪髮就失去意義了。高中和當兵時有很好的理由定期把鬢角處理掉,今天去理髮時小姐問明我已經退伍,就把鬢角留下來,我只好請她削掉。其實我不理解為什麼要留鬢角,海綿寶寶有一集裝大人,其中一個重點是裝上(假)鬢角,我實在看不懂。難道鬢角是大人的重要特徵?

--
Anyone? XD

Labels:

2010/07/02

遞移律

早上搭莊老師的車,將轉入中研院大門前的路上,看到路旁有位老先生,長得像 Knuth 又像火雲邪神。然後我發現這裡 transitivity 還成立,Knuth 挺像火雲邪神的(特別是 TAOCP 包裝紙上的照片 XD)。

--
不可能被當事人抓到吧 XD。

Labels:

2010/06/26

Messenger 退休吧

我覺得現在可以讓 MS Messenger 退休了。絕大部份保持連絡的朋友都在 facebook 上活動,我絕大部份的社交需求都可在 facebook 上滿足,相對地 Messenger 已經失去與他人保持聯繫的作用,掛在上面也沒什麼意義。所以 MS Messenger 就此退休啦,找我的人請上 facebook!(寄 email 當然也行。)

--
從 Dock 上移掉 XD。

Labels:

2010/06/19

Facebook

幾小時前加入 facebook。手機、email、MSN、blog,這些管道在 facebook 之前好像一下變成慢吞吞的古早手工藝。剛進入 facebook,五花八門的訊息讓我覺得好頭痛,有點像那次商業區大冒險那些人物高樓給我的快速紛亂感。而且才在 facebook 上貼幾則訊息,我就覺得 blog 不太會寫了!還是要多寫點 blog 維持一下「非單句」型式的寫作能力 XD。

--
I'd say this is still a temporary solution...

Labels:

MBP!

昨天上班讀點論文、和 scm 老師簡短討論一番之後,心情穩定很多,大概有事可做就沒空回憶了吧 XD。短期來看這解法應該不錯,長期就再說嘍。昨晚回家就和 Yen3 敲定新 MBP 的配備,挺夢幻的,差不多把我的存款出清了 XD。

--
"MBP" 不是 channel XD。

Labels:

2010/06/18

MBP?

日新月異的 Agda 永遠需要最新版本的 ghc 來編譯,那代表我老舊的 ghc-6.10.4 不能用了,必須跳到 6.12.3。今天凌晨網路奇蹟似地通車後,我立刻下載 ghc-6.12.3 開始編譯,睡醒一看,得到的訊息是 "ld: scattered reloc r_address too large for inferred architecture ppc",在 GHC Trac Ticket #3260 登錄有案,看來很難解決。或許真的是該換台 MBP 了吧…

--
預算是有啦 XD。

Labels:

2010/05/11

Leadership

站在被領導者的角度,領導關係式很容易找到最佳解:盡力配合就是了。站在領導者的角度,其實也有最佳解:把工作分配下去就對了 ─ 前提是下屬都擁有足夠的熱情與能力。我只看得到這個最佳解,因此我無法領導。

--
或許在學術界才能讓那前提比較輕易地滿足吧。還是說這只是我的一廂情願?XD

Labels:

2010/05/08

Effective communication

週三晚上迎新送舊,選在一家簡餐餐廳。因為是迎新送舊,所以新進學弟和待退學長的餐錢由其餘人分攤各人點的餐不同,又有複雜的折扣計算,可以預見收錢會相當複雜。有位同梯跳出來負責計算費用分攤然後收錢,但收錢採自助式,他下樓結完帳後回報少了大約一百塊,並提議再向大夥加收差額。我覺得這該用訂便當基金(或許說訂飲料基金更恰當,因為基金收入幾乎是訂飲料買五送一來的 ─ 精確一點講,佔了 97.63%)解決,正準備掏出一百塊,旁邊小我一梯的學弟已經丟出一百塊說由他墊就好了。我悄悄地遞出我的一百塊說這是訂便當基金。再來待退學長也掏出一百塊要墊。最後顯然我的錢最名正言順,所以同梯收下我的錢。出現一個問題,有各種方案提出,剛好我提的方案最合理,執行。這基本上是我看到的場景。

其他人看到的場景複雜得多。學弟丟出一百塊的速度十分迅速,同時說「好啦,一百塊給你,不要再吵了」之類的話。同梯剎時說不出話,他覺得那似乎暗示著他其實應該自行吸收一百塊,旁人不免把「貪財」形象套在他身上。後來另一位同梯在宿舍樓梯口和學弟爭辯此事,前者希望後者多體諒收錢者,畢竟收錢者跳出來收爛攤子是義務幫忙,如此對待他實在不妥;後者則強調他沒有惡意,也認為他再向眾人加收錢是合理的,只是他想盡快結束這場收錢的鬧劇。講到後來雙方已經不斷重複自己的論點,聲量逐漸拉高,我聽已經沒有什麼實質對話在進行,就離開了。不久之後學弟進我房間徵求我的看法,我就說看得出來他的反應很直覺沒有惡意,整件事情沒有什麼實質衝突。接著收錢的同梯也來了,話題不知怎麼轉到這兩人先前的幾場爭執,我扮演調解委員會的角色。聽著事件描述我總覺得是很單純的議題討論,但事件發生時似乎都摻著一些我已經不太能理解的情緒因素,使得討論到一半就斷了。最後兩人似乎都能接受我對他們這幾次爭執的看法 ─ 基本上就是兩邊的來往說詞沒對上線,語氣上又比較衝,就吵起來了。

經此一晚,我覺得我已經變得對情緒比較遲鈍。一方面這讓我保持理性,另一方面我也失去一些同情心。有些時候,我看情緒(特別是憤怒之類的爆發式情緒)的感覺好像腦科學家研究「人看到紅色」一樣有種間接感,能想像但其實不能感受,另一些時候我能感受但不強烈,至少沒強烈到讓我表現出來而阻斷理性對話。我向兩人提到為什麼我說話大都是慢吞吞、小小聲、缺乏說服力,因為語氣上的說服力正是我不要的東西,我要的是深思熟慮後清晰講出的話,不多也不少,特別要排除的就是雄辯技巧所加入的說服力。我沒向他們提到的是,我的一些其他說話習慣也都是為了有效溝通而養成,例如不輕易打斷人(予人機會完成他的論述)、重述對方意思請對方確認(透過來回對話修正歧義),並訓練自己不受情緒影響(但其實又不能忽視別人的情緒)。最後我給他們兩人的建議是講話慢~慢~講~ XD

小時候看過一本麥可安迪的童話《默默》,默默的鄰居只要有爭執就一塊去找她,默默就只是默默地聽,讓鄰居講著講著把道理講清楚,紛爭自解。那一晚我好像暫時成了默默的同業。

--
應該來提倡「慢語」運動?XD

Labels:

2010/04/20

爆炸星期二

好久沒過這麼刺激的一天。早上公文特別多,狀況也特別多,便當開一家眾人期盼已久的新便當店,量特別多又要提早叫。就在即將出清公文和便當訂購時間逼近時,在外面上課的科員剛好又打電話回來請我幫他開電腦補寄資料,三件 high-priority 的任務撞在一起,無法兼顧!那時唯一的念頭就是「要是有分身就好了」XD。中午,來查帳第二天的審計部人員吃便當,先是把蒲燒大雞腿飯送成蒲燒大排飯,然後去骨椒麻雞腿飯另外裝的主菜又忘了拿下去,讓我三、四樓間狂奔一陣。當然不要忘記發便當時社會司很用力在催一件會我們的緊急公文。下午接到教育部國際文教處的電話問我知不知道面試資訊並確認我是否參加,聽說面試很刁,我現在總覺得面試人會追打 Galois connections XD。下午相對平靜許多,因為不需要把「科長終於送走審計人員開始用力出清公文」算在內 ─ 處理這些出口公文主要會是明天的工作。儘管如此,看著科長桌上的公文高度還是隱隱驚恐,原理和 amortised analysis 是一樣的,科長桌上公文高度顯然就是 potential。欸,只有這樣就不是爆炸星期二了,回宿舍發現我的房間真的「爆炸」了:我們一致認為貓咪過胖應該停止供應中餐,但這代表貓咪會在籠子裡待一整天,當她終於受不了在籠子裡尿尿然後衝出籠子,我的房間就爆炸了。基本上貓咪該咬的餅乾巧拼衛生紙都咬到了,但勇者王和 Enterprise-D 竟然神奇地倖免於難。而我發現貓咪尿在籠子裡是當我把籠子拿起來、尿從籠子傾瀉而出的時候,那代表我的地板必須全擦一遍。身上沾尿的貓咪自然也得洗個澡,洗加吹至少一小時吧,吹的時候貓咪又特別掙扎,雖然她已經算是特別乖的貓了。餓到有點發暈,現在正在吃學弟買回來的麥當勞大麥克餐加四塊雞塊,希望這能結束我的爆炸星期二。

--
很久沒這麼刺激了 XD。

Labels:

2010/03/30

EMS

把 University College 要的 acceptance form 和 record form 用郵局的國際快捷(EMS)寄回去,這次跨週末卻還是只要四天就到,讓我對 EMS 的效率印象深刻 XD。之後還有 financial guarantee form 和 university contract 要寄,所以至少還有兩次。

上次讀 Mac Lane & Birkhoff 最後 category theory 部分的熟悉感似乎不是錯覺,真正讀 Mac Lane's Categories for the Working Mathematician 竟然真的看得懂了 XD。說看得懂其實是相對的,我大四時第一次從圖書館借出 Mac Lane 光 universal arrows 就看得頭昏眼花,後面那些 bijections between hom-sets 因為涉及 natural transformations 根本吞不下去。現在雖然可以勉力跟上,但要說操作得多熟練或是有很好的直覺就還差得遠了。我已經先略讀到 adjoint functors 完畢,該是回頭細讀的時候啦 XD。

--
不過現在是月底,每月作文要先寫完 XD。

Labels:

2010/03/17

超炫

Mac Lane 讀到 colimits,看到一句 "Let ‧←‧→‧ denote the category which looks just like that." 就笑出來了 XD。

--
很滑稽 XD。

Labels:

2010/03/14

To boldly go

還是買下了這架 Enterprise-D,春節前訂,上上週到貨。整體而言令人滿意,雖然細緻程度不比勇者王,但距離稍微一拉開,螢幕上的 Enterprise 馬上就跳出來了,效果奇佳。燈光效果倒是比原先想像的還要再差,除了窗戶不會亮的致命傷,warp nacelles 的光芒一團一團顯得很不均勻。音效其實也很差,但那不是重點 XD。

--
To boldly go where no one has gone before!

Labels:

2010/03/11

Transformed, but not yet so naturally

最近再次進攻 natural transformations 和 representations,已經不知道是第幾次嘍。每次讀都有新一層的體悟,或是該說隔閡變得更少了,像現在看到 "natural in X" 至少會有個圖像,不會那麼茫茫然。對於 natural transformations 我已經有 morphisms of functors 的直覺,但說它是 "natural" 就還不太了解 ─ 為什麼這樣的定義就隱寓那一系列的 mappings 是依循同一種方式定義呢?還是先把這問題擱著,今天對付一個特別難纏的 parameter theorem(如果一個 parameterised functor 對每個 parameter value 都有一個 representation,使得 representing object/natural bijection 也是 parameterised,那麼這個 parameterised representation 對於 parameter 也是 natural),準備轉進 adjoint functors 嘍。現在是跟著 Mac Lane & Birkhoff 的 undergraduate algebra 倒數第二章走,走過了再重新挑戰 Mac Lane!

已經收到兩封 email offer letters,一封來自 comlab,另一封今天剛收到,是 Clarendon Scholarship 的正式 offer letter。我先前寄的成績單老早就到英國了,果真是飛快:

Parcel number: EC331371631GB(JK 注:郵包號有變喔,從 TW 變成 GB!)
Status: Delivered
Signed for by: HAMBRIDGE P

Parcel tracks

DateTimeLocationTracking Event
04-03-201010:10Oxford DepotParcel delivered
04-03-201005:49Oxford DepotOut for delivery
04-03-201005:46Oxford DepotArrived at delivery depot
04-03-201001:31National HubScanned at Hub
03-03-201017:07International HubEn route to delivery depot
03-03-201017:07International HubArrived in destination country
02-03-201003:44Delivery Agent - TAIPEI - PTTLeft origin country

但 offer letter 紙本都還沒收到。我的 application 現在不知道落在哪家 college,來來往往大概還要再收個兩三封 offer letters 吧 XD。

Offer 永遠不嫌多,scm 老師在我破百當天來信邀我繼續玩一陣子 pi-calculus with dependent types,說他有新的想法。Sounds interesting! 而且我老早就在盤算退伍後回台北窩一下中研院的可能性,參加 FLOLAC '10、申請簽證、聽音樂會什麼的都方便很多。本來打算靠近一點再說,至少也等 scm 老師回國之後,結果被 scm 老師搶先一步,可以說整個被 scm 老師看透了呀!XD 不過這代表我得找短期租屋,租三個月應該勉強可以?

依三人成虎定理,我每次參加 FLOLAC 都會多一個讀牛津的人!XD

--
還積欠好多事情沒寫…

Labels: ,

2010/02/14

年假計畫

接下來漫長的一週假期預計完成兩件事:寫每月作文,內容寫「有窮與無窮」,目前想到的一些基本材料包括實數建構與極限、有窮與無窮維度的向量空間、計算步驟必須終止(包括 "productivity")這類東西,應該可以寫成滿輕量的科普;再來是準備《尋找腦中幻影》的會計處讀書會投影片,目前內容決定採用討論視覺認知機制與填補的第四、五章和討論否認症的第七章 ─ 談視覺是因為視覺填補的實驗(和身像的實驗相比)好做得多,而談否認症自然是為了引出「偉大演化旅程」當作結尾了 ─ 至於詳細怎麼安排以及要強調哪些東西還得再考慮。其他東西如 princial axis theorem 假期間就隨緣嘍。KDX 看習慣了,回家拿起實體書竟覺得有些不方便,剛剛翻《尋找腦中幻影》也覺得字體有點過細(這本我掃描後字體有加粗,在 KDX 上讀非常舒服)。

--
上海來的明信片我收到啦!感謝!XD

Labels:

2010/02/10

面試

剛才 8pm 在 Skype 上和 Jeremy Gibbons & Andrew Martin 面試。今晚突然有待退學長要請客,幸好有另一人也有事,正好兩個人一起提早走。六點多往餐廳路上 Jeremy 突然打電話來,因為太吵,雙方都聽不太懂對方在說什麼,最後終於聽出來是 Jeremy 算錯時間,兩小時後再相會。真正 interview 時就全部硬即興演出,而這顯然不是什麼好主意:我最近都很放鬆 (?) 在讀 bilinear forms/quadratic forms/inner product spaces,bidirectional programming 先丟一旁,所以問 proposal 相關問題時只能淺淺地摸一下;再來有問到替代役在做啥,我突然就開始講最長的一日工作內容,差點收不了尾;又問到為什麼你覺得你適合做研究,我猶豫了一陣不知道該單純陳述我對數學玩意的熱愛還是真的要從 Descartes 開始,最後還是覺得前者就很夠了。總之都給他東扯西扯又倒退嚕就對了啦(請試想電音三太子舞步)。最後要結束時他們說那邊聽我的聲音斷斷續續("keep losing your voice"),不知道真的是網路不穩還是我講話的方式對他們而言斷斷續續,總之我先不要再管這東西了。

--
還是讀線性代數輕鬆得多…「向量長度」這個 quadratic form 極化(polarised)之後就變成內積了耶!

Labels: