失之交臂
今天到中研院聽 2007 Turing Award 得主之一 Edmund M. Clarke 教授講他與 state explosion problem 奮戰 27 年的經驗。講完稍後 scm 老師告訴我 Oxford 有個計畫正在找博士生,可是今年末就要上工,因為兵役問題所以我完全沒得考慮。唉,那個計畫的內容非常吸引人呢。
--
令人扼腕…
Labels: 雜記
Let's see how far we can go.
今天到中研院聽 2007 Turing Award 得主之一 Edmund M. Clarke 教授講他與 state explosion problem 奮戰 27 年的經驗。講完稍後 scm 老師告訴我 Oxford 有個計畫正在找博士生,可是今年末就要上工,因為兵役問題所以我完全沒得考慮。唉,那個計畫的內容非常吸引人呢。
--
令人扼腕…
Labels: 雜記
塞翁失馬,焉知非福
你要不要查看看你手動過刀要不要當兵呀@@
查過了耶,最極端情況也是替代役吧 XD。
<< 回到主頁