顧城詩選–一代人

剛好看到這首詩,覺得蠻不錯的,又短短的
———-

黑夜給了我黑色的眼睛

我卻用它來尋找光明

Christmas trip: Frankfurt

一開始到了法蘭克福,沒想到坐接駁車的時間還比坐飛機長,尤其是車中的暖氣有夠熱的,不過一看到外面都是積雪,就覺得德國比瑞典冷,中間還經過法蘭克福國際機場,真的是有夠大的,到了市區後也已經快10點了,幸好我們的旅館還蠻近的,走一下就到了,一進去旅館,感覺還不錯,還有電視可以看,因為只有三張床,所以我很可憐的跟L擠一張床,晚上睡覺的時候,伴隨著磨牙聲入睡…XD

隔天一早吃著旅館附的早餐,感覺很不錯,我們大概快九點出門,發現這真是一個錯誤阿,那時候跟本也沒什麼店開著,而且很冷,大概是-5度吧,我又忘了帶手套, 手凍到不行,我們沿著河岸走,路上都是一些長的很奇怪的樹,兩旁就是各式高樓大廈,不愧是歐洲的金融中心,到處是大樓林立,歐洲央行也在這邊,前面還有個大大的歐元標誌呢!我們走到最熱鬧的羅馬區,路上有一對兔子人,原來是在賣口香糖阿,看到他們就覺得好暖喔XDD,再裡面有個大教堂,附近有一個很像是聖誕市集的,不過關了,走著走著就飄雪了,幸好在教堂裡面有給熱茶喝,雖然我不信教,不過還是感謝教堂~

長像怪異的樹

大歐元

中午要找東西吃,我們往回走,結果走回去的路上反而沒什麼東西吃,結果我們就在一間中國餐廳吃了,這間店的服務生人蠻不錯的,看到moon吃不飽,還多給她上一碗湯喝,看起來就蠻會做生意的,不過法蘭克福的確是像其它人說的,沒有什麼好玩的,大部分都是商業大樓, 而且聖誕假期,大家都不太出門吧~

我們預計只在這邊待到中午,就準備坐ICE到Nuremberg去了,不愧是ICE很穩!現在歐洲高鐵大體上都坐過了,Euro star, TGV, ICE..哈哈~~

ICE

conflict?!

一個人在的時候,就想著跟一群人在一起,但是一群人在一起,卻又覺得好累,不是自己很想要的,生活就在這樣的矛盾當中前進,蹉跎時光,總是坐這山望那山,永遠不滿足現狀,什麼都想要嘗試,但是又沒有勇氣走出自己的圈子迎接別的事物。

現在的時間,腦中只有一件事情,等待是漫長的…

Career?!

今天跟老闆開會,她問了一下我們有沒有留下來的意願,可惜我得回去當兵,而且她給我們的機會真的是蠻難得的,她希望我們利用一年的時間先熟悉環境,一年後再轉到其他職務,她說這對於新人是蠻難得的,她也說一年後我當完兵後,如果想要的話,在告訴她吧,要是還有位子的話…

不過雖然如此,我還是很感謝有這樣的機會到這樣的大公司作我的論文,而且我跟著我partner做的過程當中,我從他身上學到不少,他做事的態度,為人處世方面,都讓我感到自身的不足, 沒有他,我大概就會慢慢的混,慢慢的作吧~~

總結而言,我覺得自己的運氣很好,碰到好的partner跟supervisor,人生阿,總是要什麼東西都嘗試,準備回去當兵吧,或許又有不一樣的際遇!

Thesis report

I think writing report is more difficult than programming… Now i am writing the report for my thesis work and I found out that it’s really hard to write. Because you need to consider the reader didn’t know anything and you need to make the sentences clear instead of put codes. I got headache when I writing the report…It’s still a long road for me….

[PL] untype lambda calcus

最近在看Types and programming language, 利用haskell寫了一個來實做, 會自動轉成de Bruijn terms.

ex:

lambda x. lambda y. x y x; -> lambda . lambda . 1 0 1
lambda x. x; -> lambda . 0
(lambda x. x) (lambda x. x x); -> (lambda . 0 0 )
lambda x.(x x); -> (lambda . 0 0 )

BNF-converter 的grammar:


entrypoints Program;
Prog. Program::=[Def];separator Def ";" ;
TermDef. Def::= Term;

AbsTerm. Term::= “lambda” Ident “.” Term;
AppTerm. Term1::=Term1 Term2;
IdTerm. Term2::= Ident;
coercions Term 2;

for more detail code
haskell code

我覺得我阿

我覺得我不笨,但是很遲鈍,很多東西都很難感覺到,都是事後聽到才知道,不過沒想到被認為是裝的…難道太單純就會被誤會嗎…|||

跟我熟的人應該都知道我就是那種很沒sensitive的人吧…