今天沒睡飽, 跑去圖書館看書提不起精神. 風雨大, 館內冷氣顯得更冷.

回去學校圖書館翻書,沒有Hoare的書,沒有Dijkstra的書,Bird的有一本FP簡介.

但最近在學的Pi Calculus有幾本,有這幾本就足以感動了:

1. Process algebra and timing

2. Algebraic and coalgebraic methods in the mathematics of program construction

3. Interactive theorem proving and program development: 這本在講Coq

這些書,在學校,有人看嗎?

於是, 即使資訊中心方面已經取走我的實體電腦與無線網路使用權, 在圖書館, 我仍能以舊有學生帳號登入查詢資料. 感謝, 再感謝!

http://freegame.com.tw/flash/pzg/pzg_p_070.htm

拖曳放置指令使小機器人走到正確位置,並點燈使藍色方塊全部轉為黃色方塊.

這東西應該很適合教小朋友寫程式. 可能比Ubuntu的Little Wizard或小海龜更適合引導學習.

有機會找我的甥女(8歲)測試一下.

今天被同學的喜事炸到,整個開心!

很久以前, 就很厭倦聽到一些宣告式的勵志話語, 大都是因為看到宣告者本身的榜樣的關係. 當你不斷地說這東西很簡單, 但列為課程, 你所得成績很差, 就不能說它簡單.

有人是勵志導向的. 不過, 雖然你滿腹志向, 但有沒有想過, 其他許多人都不需要喊什麼口號就直接平步青雲. 宣告多究竟什麼意義? 有沒有想過, 你所以為的高處對別人來說只是平地走兩步就到的位置.

我的志向一直存在心底, 志向是: 在平凡的生活中過得正常. 而且我做到了. 學校的成績直接反映我的生活態度, 因為只要進入課堂, 我的心就是在學習, 背誦, 吸收的狀態. 成績不是考前熬夜拼來的, 而是每天都得到點滴. 於是, 如果我生活差, 成績也會掉. 我覺得非常自然.

以往看過一些人想法很奇怪, 常說要去美國, 但是當下的生活與學習都很糟; 當下都不能夠正常生活, 去了美國就能正常生活嗎? 而我從來不打算出國唸書, 但我在這窮酸學校唸書唸得很自在, 英文書照樣唸.

學校那些電腦課打電腦遊戲或逛網路的人們, 能出什麼厲害角色呢? 以前帶實習課看到的那些人, 我仍然擔心他們.

我相信優秀的成果並不是來自於某種天賦神力加持. 立志再多, 或花了錢去美國, 但日子若不是這麼一回事, 志向能不能達成就要再看看. 不過, 若忠實面對當前自己的處境, 你內心早就確定自己已經達到目標了.

口號講太多會有誇大的嫌疑. 不要再用標語淹人了, 功成名就是往內求, 不是往外求.

工作真的非常特別, 是產業界的研究員. 渡過第一個月之後, 覺得似乎還不夠符合這個角色模型. 感覺我自己應該再多努力一點才是.

但是, 日子也是很重要啊!

不過, 想想許多職業的選擇, 有些錢多但是不太要用很多腦力, 例如一些軟體專案中寫程式的, 高薪, 用腦不多(不必讀什麼東西), 但刻工很細, 而且案子一趕就操到晚上十幾點鐘. 而我, 錢還不算多, 但腦力要很夠. (而在這位子能夠盡情閱讀實在很幸福.)

總之, 要像個學者, 我還需要努力達到挑燈夜戰, 而且好學並經常陷入學問的美妙化境, 而廢寢忘食. 此外, 因為是產業界的研究者, 我還要練習用實務和淺顯的說明方式表達一些重要概念與技術知識. (這是我認知到的角色模型, 但還沒實現.)