2012.02.12 大溪花海農場
Feb 11, 2012
Photos: 36
2012.02.05 小兔遊101
Feb 5, 2012
Photos: 10
2011.12.09 APLAS+CPP Day 5 小灣沙灘
Dec 9, 2011
Photos: 25
2011.12.08 APLAS+CPP Day 4
Dec 8, 2011
Photos: 15
2011.12.07 APLAS+CPP Day 3 - Howard Villa
Dec 7, 2011
Photos: 19
2011.12.06 APLAS+CPP Day 2
Dec 5, 2011
Photos: 40
2011.12.05 APLAS+CPP Day 1
Dec 4, 2011
2011.12.04 APLAS+CPP Day 0 小灣、船帆石、砂島、鵝鑾鼻
Photos: 122
2011.12.03 高鐵左營、墾丁福華
Dec 3, 2011
Profile Photos
Album for profile photos
Nov 26, 2011
Photos: 2
Scrapbook Photos
Album for scrapbook photos
Jul 9, 2011
Photos: 5
2011.05.01 花博圓山站
Apr 30, 2011
Photos: 27
2011.03.26-2011.04.03 ETAPS 2011 @ Saarbrucken, Germany
Apr 6, 2011
Photos: 145
2011.02.03 中興新村
Feb 3, 2011
Photos: 82
2010.12.25 馬偕130週年抽獎豆漿機一台
Dec 25, 2010
Photos: 3
2010.12.19 桃園大溪老街
Dec 19, 2010
Photos: 33
2010.10.03 擎天崗
跟第一次和笨笨到擎天崗一樣，下雨......
Oct 2, 2010
Photos: 37
2010.09.25 內湖白石湖吊橋、碧山巖
Sep 25, 2010
Photos: 46
2010.09.12 汐止夢湖
Sep 11, 2010
Photos: 58
2010.08.11-2010.08.16 CIAA 2010@Winnipeg, Canada
Aug 11, 2010
Photos: 61
2010.07.10-2010.07.21 FLoC 2010
今年的 FLoC 在 Edinburgh 舉辦，共包括 LICS、CAV、ITP、CSF、SAT、IJCAR、ICLP、RTA 八個國際會議，總註冊人數超過千人。這一次是第一次參加 FLoC ，應該也是到目前為止台灣最多人參與在國外舉辦驗證相關國際會議的一次，共有七人，連家眷一起算的話有十一個人。同時這是第一次在轉機點與停留點都遇到班機延誤起飛，第一次遇到飛機引擎有問題（兩次延誤起飛的原因），第一次遇到航班取消。好多的第一次......
Jul 9, 2010
Photos: 240
2010.05.15 司馬台長城
May 15, 2010
Photos: 175
2010.04.24-2010.04.25 北京清華99年校慶
Apr 23, 2010
Photos: 66
2010.03.02-2010.06.03 北京生活雜記
Mar 12, 2010
Photos: 31
2010.03.06 嘉和裕京公寓火鍋聚餐
嘉和裕京公寓因為土地被徵收所以要拆了，同一棟的住客們吃火鍋聚餐一下。
Mar 6, 2010
Photos: 17
2010.01.13-2010.01.24 Paris, Madrid
主要行程是到 Madrid 參加 POPL 2010 ，途中順道再次拜訪位於 INRIA Saclay 的 ProVal Group 。這次跟上次一樣住在 Gif-sur-Yvette ，不過是在 Citea 對面的一家旅館。
Jan 14, 2010
Photos: 95
2010.01.10 政大爬山
Jan 9, 2010
Photos: 13
2010.01.01 宜蘭礁溪
騎機車經北宜公路到宜蘭閒晃，結果只在礁溪買了亦順軒的四條奶凍卷跟一個蔥麵包。
Dec 31, 2009
Photos: 20
2009.11.10 關西 Day 8 - Go Home
本日行程： なんば駅 南海電鐵 -> 關西空港 飛機 -> 桃園機場
Nov 10, 2009
Photos: 26
2009.11.09 關西 Day 7 - 奈良
本日行程： なんば駅 走路 -> 近鐵奈良駅 近鐵奈良線 -> 奈良（奈良公園、春日大社、東大寺） 近鐵奈良線 -> 近鐵奈良駅 走路 -> なんば駅
Nov 9, 2009
2009.11.08 關西 Day 6 - 姫路、神戶
本日行程（適合使用 JR West Rail Pass）： なんば駅 大阪市營御堂筋線 -> 梅田駅 走路 -> 大阪駅 JR東海道本線新快速 -> 姫路駅（姫路城） JR東海道本線新快速 -> 舞子駅（明石海峽大橋） JR東海道本線新快速 -> 三ノ宮駅（北野異人館） JR東海道本線新快速 -> 大阪駅 走路 -> 梅田駅 大阪市營御堂筋線 -> なんば駅
Nov 8, 2009
Photos: 187
2009.11.07 關西 Day 5 - 稻荷大社、金閣寺
本日行程： なんば駅 大阪市營御堂筋線 -> 梅田駅 走路 -> 大阪駅 JR東海道本線新快速 -> 京都駅 南5公車 -> 伏見稻荷大社 南5公車 -> 京都駅 205公車 -> 金閣寺 205公車 -> 京都駅 JR東海道本線新快速 -> 大阪駅 走路 -> 梅田駅 大阪市營御堂筋線 -> なんば駅
Nov 7, 2009
Photos: 96
2009.11.06 關西 Day 4 - 大阪環球影城
本日行程： なんば駅 大阪市營御堂筋線 -> 梅田駅 走路 -> 大阪駅 JR環狀線 -> 西九条 JRゆめ咲線 -> ユニバーサルシティ JRゆめ咲線 -> 西九条 JR環狀線 -> 大阪駅 走路 -> 梅田駅 大阪市營御堂筋線 -> なんば駅
Nov 6, 2009
Photos: 148
2009.11.05 關西 Day 3 - 嵐山
本日行程： なんば駅 大阪市營御堂筋線 -> 梅田駅 走路 -> 大阪駅 JR東海道本線新快速 -> 京都駅 JR嵯峨野（山陰）線 -> 馬崛駅 走路 -> トロック龜岡 嵐山小火車 -> トロック嵐山 走路 -> 天龍寺、竹林步道 走路 -> 渡月橋 走路 -> 嵯峨嵐山駅 JR嵯峨野（山陰）線 + JR東海道本線新快速 -> 大阪駅 走路 -> 梅田駅 大阪市營御堂筋線 -> なんば駅
Nov 5, 2009
Photos: 173
2009.11.04 關西 Day 2 - 清水寺、祇園
本日行程： なんば駅 大阪市營地下鐵御堂筋線 -> 梅田駅 走路 -> 大阪駅 JR東海道本線新快速 -> 京都駅 100公車 -> 清水寺 走路 -> 二年坂 走路 -> 高台寺 走路 -> 衹園 100公車 -> 京都車駅 JR東海道本線新快速 -> 大阪駅 走路 -> 梅田駅 大阪市營地下鐵御堂筋線 -> なんば駅
Nov 4, 2009
Photos: 132
2009.11.03 關西 Day 1 - なんば、心齋橋
本日行程： 桃園機場 飛機 -> 關西空港 南海電鐵 -> なんば 走路 -> Hotel Vista Grande Osaka
Nov 3, 2009
Photos: 41
2009.11.01 結婚喜宴
Oct 31, 2009
Photos: 85
2009.10.25 台北市聯合婚禮
Oct 24, 2009
Photos: 104
2009.10.08 Orna Grumberg
Oct 7, 2009
2009.08.23 羅山、六十石山、小野柳
Aug 22, 2009
Photos: 60
2009.08.22 初鹿牧場、鹿野高台
Aug 21, 2009
Photos: 89
2009.08.18 與 Seth Fogarty 遊淡水
隨手用 iPhone 上的 ToyCamera 拍的
Aug 18, 2009
Photos: 6
2009.07.19 二叭子植物園
很短暫的一次旅程，因為笨笨一直抱怨很熱腳很痠，只好在入口處沒多遠的地方就折返。
Jul 18, 2009
Photos: 16
2009.06.21 台大農場安康分場
Jun 20, 2009
Photos: 48
2009.06.01 陽台上意外的客人
某天在陽台上看到的，一直盯著我看。
Jun 1, 2009
2009.05.31 內湖圓覺步道
好熱的一天
May 30, 2009
Photos: 74
2009.05.24 仙跡岩
May 23, 2009
2009.05.17 八里
到八里騎腳踏車，第一次騎協力車，以後再也不騎了，笨笨騎前面的時候好可怕～～～
May 16, 2009
Photos: 12
2009.04.19 石碇二格
本來從 iPhone 上看氣象預報應該會下雨，沒想到竟然給我出太陽。害我們不能好好爬山，只有去石碇二格看一下步道入口。
Apr 19, 2009
2009.04.12 十分鳥瀑布
這已經是第二次到十分想看瀑布了，第一次去因為要收很貴的門票，所以沒看。過了一段時間，聽說政府要業者開放免費參觀，結果這次去還是看不到，因為業者被勒令停業了。只能看到圍牆跟一堆抗議的布條。
Apr 12, 2009
2009.03.23-2009.03.29 ETAPS 2009, York, UK
Mar 23, 2009
Photos: 134
2009.03.01 碧潭自行車之旅
好久沒運動了，來騎騎自行車吧
Mar 1, 2009
Photos: 22
2009.02.28 自來水園區
本來自來水園區也是我們拍婚紗地點的選擇之一，雖然婚紗拍完了，不過還是很好奇自來水園區裡面如何。
Feb 28, 2009
Photos: 53
2009.02.25 婚紗照
Feb 25, 2009
Photos: 23
2009.02.21 皇帝殿步道
本來想到皇帝殿稜線的，不過山上風大，加上前一天下雨路滑，所以走到一半就回來了。
Feb 21, 2009
2009.01.31 高中同學會
Jan 31, 2009
Photos: 9
2009.01.10 富陽自然生態公園、虎山
Jan 10, 2009
Photos: 45
2008.08.17-2008.12.xx Pittsburgh
Aug 18, 2008
Photos: 42
2008.07.18-2008.07.30 Paris
Jul 17, 2008
Photos: 623
2008.07.08-2008.07.14 CAV 2008, Princeton University
the 20th International Conference on Computer Aided Verification (CAV 2008)
Jul 10, 2008
Photos: 182
2008.07.06 政大後山
相當熱的一天，政大後山有很多蝴蝶飛舞，可惜的是很難遇到蝴蝶在花上長佇，照片老是拍不好。
Jul 6, 2008
Photos: 115
2008.06.24 北海岸、陽明山
Jun 24, 2008
Photos: 109
2008.06.22 烏來
好熱的一天， Panasonic FZ-18 的首拍。
Jun 22, 2008
Photos: 52
2008.05.04 擎天崗
May 4, 2008
2008.03.27-2008.04.08 Budapest
Mar 28, 2008
Photos: 239
2008.03.01 深坑
Mar 1, 2008
2008.02.24 三峽老街、清水祖師廟
Feb 24, 2008
2008.02.17 鶯歌陶瓷老街
一開始到鶯歌時，只有發現陶瓷博物館，不太清楚老街的位置，以為就只有這麼一點東西。後來才發現原來到老街要走一小段路，而相對於陶瓷博物館，老街則是熱鬧多了。 不過還是很不喜歡鶯歌這個地方，因為很多地方都沒有人行道或騎樓，行人都是走在馬路上與車爭道。而且也常常沒有行人通行馬路的指示號誌，或是只有一邊有，另一邊則完全看不到是否行人可以通行了。
Feb 17, 2008
Photos: 14
2008.01.09 與 Stephen 遊野柳
這次天氣比上次好，應該可以拍的比較清楚。
Jan 9, 2008
2007.12.22 平溪
Dec 22, 2007
Photos: 86
2007.12.15 野柳
好久沒去野柳看看女王頭了，都已經忘記第一次去是什麼情況。
Dec 15, 2007
Photos: 81
2007.12.08 潭腰、石碇老街
太無聊了，去一些冷門景點消磨時間。
Dec 8, 2007
2007.12.02 指南宮、貓空纜車
Dec 2, 2007
2007.11.17 內雙溪森林公園
Nov 17, 2007
Photos: 21
2007.10.28 淡水
閒晃
Oct 28, 2007
Photos: 7
2007.10.21-2007.10.27 ATVA 2007, Tokyo, Japan
ATVA 2007, 1st Omega Workshop
Oct 20, 2007
2007.10.07 Simon's Farm
Fall activities!
Oct 7, 2007
Photos: 47
2007.09.08 Sintra and Cabo da Roca, Portugal
Cabo da Roca 是歐洲大陸的極西之地，有天涯海角之稱。 Sintra 是從 Lisbon 搭火車往 Cabo da Roca 的最終站，從 Sintra 搭 403 公車可以前往 Cabo da Roca ，搭乘其他公車還可以前往在 Sintra 的城堡跟皇宮。
Sep 8, 2007
Photos: 135
2007.09.07 Campo Pequeno and Baixa, Lisbon, Portugal
CONCUR 2007 最後一天傍晚，搭地鐵到市中心晃晃
Sep 7, 2007
Photos: 55
2007.09.03 Hotel VIP Berna and Fundacao Calouste Gulbenkian, Lisbon, Portugal
CONCUR 2007 in Lisbon
Sep 3, 2007
Photos: 43
2007.08.19 PNC Park
到 PNC Park 觀看匹茲堡海盜隊與費城費城人隊的比賽
Aug 19, 2007
2007.07.31-2007.08.14 Marktoberdorf Summer School
Jul 30, 2007
Photos: 448
Screenshot
各式各樣的抓圖
Jul 29, 2007
Photos: 186
2007.07.24 貓空品茗、搭纜車
Jul 24, 2007
2007.07.14 九份、金瓜石
好久沒出去玩了
Jul 14, 2007
Photos: 56
2007.05.27 木柵動物園
好熱的一天，動物園裡面的動物也都懶洋洋的。
May 27, 2007
Photos: 39
2007.03.24 內湖採草莓
Mar 24, 2007
Fate/Stay Night
Mar 1, 2007
2007.02.25 Cathedral of Learning
Feb 25, 2007
2007.02.24 Schenley Park
這天閒來無事，就從 McKee Pl 的另一邊繞到 CMU ，順便經過 Schenley Park 逛逛。
Feb 24, 2007
Photos: 30
2007.02.17 Seven Springs 滑雪場
剛好 CMU 學校有辦滑雪活動，價錢比較便宜，就跟 Stephen 去滑雪了。這是第一次滑雪，真的很好玩，一直摔也不會痛，不過一直滑有點累。
Feb 17, 2007
Photos: 32
2007.02.10 Pittsburgh Downtown 與 Grove City Prime Outlet
柏均從 Penn State 開車過來帶我們去市中心晃晃，還特地花一兩個小時的時間去 Prime Outlet 採購一番，不過回程時我都在打瞌睡，真是對不起柏均阿。
Feb 10, 2007
2007.02.05 低溫特報
已經快到華氏零度了，冷阿。
Feb 5, 2007
2007.02.04 自製起士蛋土司
Feb 4, 2007
2007.02.03 公寓往 CMU 的週邊景觀
這是兩天拍的，一天是往 CMU 途中，繞去 Fifth Avenue 拍 University of Pittsburgh 。另一天是下大雪的時候，從公寓往 CMU 的路途。
Feb 3, 2007
Photos: 57
2007.01.28-2007.02.28 在 Pittsburgh 期間吃到的一些餐點
Feb 1, 2007
2007.01.31 CMU 校園內尋找餐車
Jan 31, 2007
Photos: 28
2007.01.28 Taipei-Osaka-Detroit-Pittsburgh
搭飛機好累
Jan 28, 2007
Photos: 24
2007.01.10 帶 Stephen 遊台北
Jan 10, 2007
Photos: 8
2006.12.10 東京七日遊 Day 7 - 京王飯店、成田機場
Dec 10, 2006
RSS
