Welcome to Jeju, Korea & 外一则

好吧,这次多贴图,少写字。

不多说,上图,首先是作为前奏的首尔,其实能逛的地方应该比济州更多吧。某同学也只是走马观花了一下。

09

好多小强走出来啦。不过这架势可比我朝现如今的演员们敬业多了。

10

11

然后,武将们的身后,自然还有后宫,恩,不对,是志愿者们。

13

光照四方,教化四方。

12

G20, 能看到Core吗?

好了,言归正传,开始济州岛吧。

东航飞机一如既往的晚点,到了济州,用Google Maps加比划,终于找到酒店。一觉醒来,第一天从济州出发逛城山日出峰。

14

海边的火山口。

15

觉不觉得是画出来的。。。城山港和牛岛。

16

另外一边的小寄生火山们。

17

典型的韩版海岸。草地上躺着就不想起来啊。

第二天本来打算爬山,结果下雨了,,然后打算逛E-Mart,结果中秋节,所有商店统统全天关门。于是只好早早的从济州到西归浦。晚上天气好了一些,很惊喜的发现西归浦港湾里有一片很漂亮的礁石。

18

夕阳下的礁石。

19

防波堤,灯塔和海里的独立岩。

20

港口的灯火。看完海港,回去吃石锅拌饭吧。

第三天,终于是个大晴天,一大早出门,目标是韩国第一高峰,汉拿山。。注意,是第一高峰,不是烤肉店。路上向和蔼的老伯问路,还是比划,和拼音“bus… to han na san”,然后热心的老伯就亲自带着我们穿过大街小巷到长途车站。还指着我们的短袖提醒我们,山上冷啊。

21

沿着三顺姐姐的足迹,我们从城坂岳山路入口处的海拔7xx米爬到19xx米的顶峰,单程9.6km山路。还有时间限制(如剧中所示)。盼星星盼月亮,盼着一个个石碑和路牌。标识海拔的石碑还是很有爱的。

22

其实山高也好,路长也罢,难道韩国人民都是山羊么?绳子围起来的火山岩块就是路吗?这样可没法吸引中国观光客啊。

23

山顶的白鹿潭,山下的济州市,大海,或许还能看到朝鲜半岛。比起三顺姐姐来,要走运多啦。三石同志确实没撒谎。

24

在山顶上吃一顿热乎乎的泡面或者盒饭,也是一种享受啊。

25

刚刚是怎么上来的呢??

终于活着下山,修整一晚,第四天的目的地是中文观光区。

26

济州的标志吧。是不是让你想起柚子茶瓶子? 后面是壮观的乐天酒店。

27

真人兽,复刻前面小牌子上的韩剧剧照。谁家的后院里要是有这么张看得到大海的椅子,一定很幸福吧。坐在那里就不想动了。

28

29

美丽的中文海水浴场。天气这么好,还不赶紧下水试试?游完泳,上岸来吃个炭烤黑猪肉,愉快的济州之旅就结束咯。

总结一下。其实济州这个小岛真的挺大,好玩的地方也很多。如果跟团,走马观花基本上什么也玩不到。不过如果自助的话,一个礼拜也不见得能玩完。本来还打算去走走偶来,看看带状节理,都因为睡懒觉放弃了。毕竟度假不是赶路,休闲才是真谛啊。遗憾就下次再弥补吧。

 

外一则,随手拍的米国见闻。

01 

不知道这样的文明,啥时候灰飞烟灭?

2

真羡慕狗熊,吃生鱼片的方法够豪爽。

03 

传说中的意大利大理石、奥地利水晶吊灯、俄罗斯切尔克斯核桃木家具。。。

04

有芯片钥匙链,自然就有主板画廊。

05

这车,够裸的吧。。

06

山顶的草原,金黄色的海洋。

07

好吧,其实明信片里的比上面这张好看多了。。Sedona

08

时常能在后院看到double rainbow的人们,应该都会很幸运吧。

ESP World Champion!!

after inter’s euro champion…

just like 07-08

我心甚慰

章鱼哥,真像帝!

ESP in the final!

 

That’s it!

Full time. Bayern Munich 0-2 Inter. We’re champions of Europe!!!!!!!!!!!!!! FORZA INTER FOREVER!!!!!!!!!!!!

PPT 语法高亮

1. 用GNU Source Highlight (ubuntu: source-highlight)把.*转成.html。

2. 打开html文件,复制到word, 然后再从word复制到PPT,改改字体啥的,完成。

彩云南现

Day0: 12月18日晚上九点的飞机离开北京,可是飞机却好像不太愿意离开,在停机坪排了半个小时的队。。。快凌晨一点的时候才到了昆明。结果飞机上某个乘客的手机丢了,然后整个飞机的人又在摆渡车上被堵了十多分钟。。。终于在差不多两点钟的时候抵达了昆明茶花青年旅舍(去旅舍的路上,出租车司机居然都猜到了我们接下来的行程,确实是相当的厉害)。茶花青旅其实就是茶花宾馆的一部分。正好青旅的房间在装修,于是就住到了旧楼的普通标间。两点多才睡~

Day1: 本日的计划是石林和昆明小吃。早上被闹钟叫醒,退房,然后体验了传说中的自助早餐。米线虽然很一般,不过水果,中西餐点都还是很丰富的,很对得起10块钱的价格。饱餐一顿,就觉得一天不吃东西也行啦~ 吃完存好行李,打个车到了火车站长途客运站。买到了5分钟后开车的到石林风景区班车票。从昆明出发的时候天看起来比较阴沉,不过到石林之后,就已经有晴天的迹象了,不由得暗自庆幸。(后来才真正意识到rp是多么高,之前看到天气预报中我们在昆明,版纳和成都的那几天应该都有雨的,结果却是晴天陪伴了我们整个行程)看介绍说石林新开辟了三个外围景区,加上大小石林一共是5个。本来想着5个小时的时间逛完一大圈完全没有问题,最后的结果却是整整一天大小石林都还没有逛完~ 当你真正走到石林的迷宫里的时候,会发现到处都有路,到处都是指向没去过的景点的路牌~ 好吧,感觉就像FF7从赌场里出来之后走的那个迷宫一样~ 然后,在林子里走过一段时间,基本上你就会什么一线天啊之类的东西审美疲劳啦~因为那种东西在石林实在是太多了,而比一线天更好看的各种天井也是很多的~ 不过觉得最好看的还是太阳出来之后的剑锋池,水中的石林显得更凌动(Atom™)。平静的水面倒影着如同剑锋般石柱,或者粼粼波光映照在石壁上,确实心旷神怡。

最后,盖章还是必须的,比如在传说中云南旅游logo阿诗玛同学处:太阳出来了,阿诗玛也笑了。不过时间也不早了~ 还没开完所有宝箱的我们,只好稍带遗憾的离开石林返回昆明啦~

回到昆明天已经快黑啦,不过离十点半去版纳的飞机还早着呢。回来的车上sourcing了一把。下车之后就直奔着建新园(宝善街店)的“云南名小吃”过桥米线去啦~ 很多很多人,很好吃很好吃的过桥米线,其他的看点评吧~ 可惜一碗米线下去就发觉吃多了,好吃的猪尾巴也吃不了了~ 那就打包吧~ 在步行街逛逛之后,就回到了两站路外的茶花旅舍。拿好包,这辈子第一回做公交车去机场啦(旅舍到机场6公里,有公交车直达~ 后面在版纳其实还能走到机场,不过忍了)旅途一切顺利,十一点的时候就到此行的第二站版纳啦~ 在零下十几度的北京回忆版纳,可以算是yy了吧~

出机场碰到一个刚好要收工回家的司机,10块钱把我们拉到了Many Trees。这是一家刚开业的YHA会员店,有一个很好听的英文名。为了明天早起不太难受,赶紧就结束了Day1~ 恩,好像还没说完:没睡着的时候听到外面“喵啊~喵啊~”,睡着了又听到窗外哗啦啦的大雨瓢泼~

 

////////////////////////////////////////////// 不怎么华丽的分割线 ////////////////////////////////////////////

 

Day2: 本日计划是版纳植物园。虽然GPS在手,早上出门还是走错了路。不过却遇到一间不错的早点店(那边叫“早晚点”,说明夜市很是火热的,的哥说夏天更是如此,白天大家都在家避暑,晚上的温度才稍适合人类活动~)。“云县小吃”一不小心被看成了“沙县小吃”~ 第一次吃到了这种地道local的米线。清汤的米线加鸡肉和血花,自助小菜摆了慢慢一桌~ 小米辣~ 折耳根~ 泡菜~ 辣酱~ 哇塞~ 堆了满满一碗,开心的吃到十分饱~ 一人四元。

总算是找到了别名翻胎厂的景洪长途车站,顺利搭上了去勐仑的班车,十几块钱来着,忘了。。跨过澜沧江,在山里转了几个圈,就到了兄弟单位—中国科学院西双版纳热带植物园。门口的菠萝两块一个,超级甜啊~ 木瓜也很好吃~ 然后,好吧,忍不住要做拍花的俗人啦~ 其实个是叶子花~ 好看的白色部分是叶子,花倒只有小小的一点~ 不过下面的就是真花啦~蓝天、白云、鲜花,哎呀呀,就俗一下吧~ 然后言归正传。xtbg分东西两个景区:西面是被罗梭江环抱的葫芦岛

插播一个从葫芦岛上往外拍的照片,当时觉得真的是人间仙境啊~ 东面是新开发的热带雨林景区。进门之后我们仍然是很有野心的计划通吃东西两院,呵呵,自然是又杯具了。园区内有电瓶车,20/人,不过如果要去东园,就得再加20。所以我们想想还是先把西园逛完吧。然后半天时间也没逛完~ 因为实在是太好看啦~ 虽然是人造景点,不过还是很爱这个喷泉~ 下午的时候天彻底放晴,却不忘留下几朵大大棉花糖~ 让人想一直坐在那里啊。 反正是满眼都是树啊花啊草啊,刚从石林出来,这回来到真的林子里啦~ 奇花异卉、药物、雨林、名木,再次让我对植物类景色审美疲劳。。有很多地方都可以用来发呆的啊,只要你不怕蚊子~ 或者不怕太阳~ 美景多多,时间有限~ 赶不上回景洪的班车就要从杯具升级到餐具了。只好在夕阳下踏着吊桥,离开了可爱的植物园走出老大门,就是勐仑镇,(的哥的科普二:傣语里勐是镇子名前缀,曼是寨子名前缀)一人一根冰棍,等上一会儿,就上了回景洪的车啦~ 一边回味美景,一边sourcing晚餐地点。下车之后决定先去找所谓傣式冰品~ 在GPS带领下,找到了点评上分最高的那家店,可惜人家装修歇业中。。。不过没关系,那就去正餐吧~ 很多攻略上提到的美美咖啡 地处类似景洪的酒吧街,多老外和本地小资,老板娘的英语说的真的很好~ (不过后来就见怪不怪了,觉得老谢家的服务员比她说的好~)点了云南咖啡、西番莲汁、一份傣式炒鸡肉和一份小米辣牛肉盖饭,不错不错~ 十一分饱。 吃饱了就睡觉啦,不表~

 

////////////////////////////////////////////// 不怎么华丽的分割线 ////////////////////////////////////////////

 

Day3: 本日计划曼飞龙白塔。因为只安排了两天行程,时间比较紧,加之在石林和植物园的经验,所以准备去个小一点的景点这样不容易留下逛不完的遗憾~ 所以就没去版纳其他景点,第二天出门吃完好吃的米线就去了汽车南站,还是十几块,到大勐龙。曼飞龙白塔也叫笋塔,是1988年国家重点文物单位,佛经里号称建于1204。窃以为比新开发的那些民俗景区更能看到傣族的历史,就去啦~ 在离大勐龙大概2公里的曼飞龙寨子下车,寨子里收每人五块的象征性门票。 看着她会不会想起西游记。。古老的东西,还是被信徒们保养的很好呢。塔周围还有佛堂和刚竖立起来的大佛像~ 播放着改编自流行歌曲的佛教音乐~一个宁静的地方~ 山下的寨子里也有一个和尚庙~ 然后搭车去了勐龙,真的在街上看到了骑自行车的小和尚~ 拜访了一个空无一人的寺庙。本以为庙里的佛塔就是传说中的勐仑黑塔了,结果路人遥指看不到的山顶~ 之后就是爬啊爬,爬啊爬,爬啊爬啊爬啊爬,终于见到了黑塔~ 白塔发黑,黑塔却是金色的。。。在黑塔后面,有一个小角落能看到山下的风光,可惜照片的光线效果没办法表现出当时的景色呢~ 两山之间一片美丽的谷地 逛完黑塔,差不多也该回景洪搭飞机了,一路上吃了好大一袋橘子还有一块傣式荷叶烤肉~

虽然嘎洒机场离景洪4公里,可惜没有公交车~ 嘿嘿。打车到机场,一切顺利,七点钟的时候就到丽江市区啦~

基本上丽江新市区就是一个普通小城市的感觉。还是根据点评按图索骥,找到了丽江口味头名的龙记斑鱼庄。生鱼片确实好吃啊,小米辣和姜酱蘸涮鱼皮也非常好吃啊,不过两斤六两的鱼对两个人来说稍大了点,十二分饱~ 扶着墙就出来啦~ 打车到古城派出所,好不容易找到了老谢车马店,丽江最hot的YHA店。服务员(就是前面提到的口语好听的那位~ 后来某日晒太阳的时候发现人家没事就抱着本厚厚的The Devil Wears Prada看呢~)和梅花一起热情的接待了我们。没错,她就是梅花~ 白天玩太累,晚上仍然是洗洗睡啦~

 

////////////////////////////////////////////// 不怎么华丽的分割线 ////////////////////////////////////////////

 

Day4: 本日无计划。在丽江的五天行程本来没怎么计划,只是想去虎跳、雪山、拉市海,束河啥的。对泸沽湖没什么兴趣,而香格里拉也不太适合在冬天去,所以就没安排这两个地方,而其他的行程就零时安排了。房间在车马点那个纳西族院子背阴的一楼,完全看不出来外面的亮度。所以一觉睡到快11点。。。外面已经是艳阳高照了。跟老板娘咨询了一下行程,正好说下午她有朋友去拉市海,就正好跟着一起去了。中午在古城吃了黄豆面和丽江粑粑,算是本次行程中最失败的一顿饭了。

拉市海就是一个高山湖泊,主要就是去骑马划船看候鸟。不过白天人太多,候鸟都飞走了。于是先骑马划船吧,150/人。一个师傅带着两个游客一共三匹马一组,在茶马古道的山林和草场上走两个多小时。蓝天下的草场还能隐约看到玉龙雪山 在山上转了一圈回来之后接着划船。水很清,满是水草,船慢慢的滑着,感觉很像是魔戒2里死亡沼泽的画面,就差从水草里伸出一只手啦~ 上岸之后又留恋了一下傍晚阳光里金色田野,还很幸运的看到了一队飞回来的候鸟。然后就很满足的回城咯。

丽江古城基本上就是一个迷宫,一个布满酒吧、客栈、商店的大市场。五一街、七一街,傻傻分不清楚~ 虽然有GPS也经不住Google Map标错位置,找了很久才找到了传说中的阿安酸奶香酥板栗饼肥肠粉。愉快的晚餐,结束了本日行程。

 

////////////////////////////////////////////// 不怎么华丽的分割线 ////////////////////////////////////////////

 

Day5: 本日无计划。早上起来仍然很晚。。。看通知是说中甸那边在修虎跳峡的公路,所以中虎跳只能徒步,下虎跳干脆去不了了。考虑到时间,也不想走往返的重复路,于是决定去报个团虎跳峡一日游好了。早餐午餐继续肥肠粉,逛了逛古城,然后回旅舍和梅花的孩子们一起晒太阳(没错,那只大黄狗生下一堆小黑) 晒舒服了之后转了古城内外的几家旅行社,报了个第二天8点的团,100/人。晚餐依然是迷宫探索,居然让我们找到了永霞小吃。坐落在当地菜场里的店里基本上都是游客,估计慕名而来的吧。杂锅菜味道一般。然后跟一家雕刻店的老板聊聊天啊,在旅舍的藏炉边喂梅花喝酸奶啊,这一天就悠闲的结束了~

 

////////////////////////////////////////////// 不怎么华丽的分割线 ////////////////////////////////////////////

 

Day6: 本日虎跳峡。跟团的行程显得很轻松,不用自己操心也挺好的。去虎跳的途中路过了长江第一湾。听听什么金沙江妹妹和玉龙哥哥、哈巴哥哥的故事,就到了虎跳峡口。丽江这边的虎跳峡景区也就是金沙江边一条两公里多的峡谷栈道。 大家走进去到虎跳石处盖章,然后再原路返回。慢慢靠近虎跳石,慢慢看着江水从平静到奔腾(Pentium),看牌子上的介绍,水深好几十米呢。出来吃完农家饭,早早的就回程了。一觉醒来,已经回到丽江。看时间尚早,就订了两张《丽水金沙》 的门票,看了场演出。负责任的说,还是很值得一看的。看完演出时间还早,就去吃圣诞大餐吧~ 因为是在大路上,所以象山市场还是挺好找的,不过诺大一个市场里,找到大佛腊排骨还是花了不少功夫,因为貌似有半个市场都是腊排骨火锅店。60的小锅,两个人再次吃到12分饱,还带回去好多。进门的时候,估计是还想喝酸奶的梅花很专业的把我们领到房间门口。在万恶的好奇心驱使下,我扔给她一只腊排骨。结果犯下了严重的错误。这姐姐之后就一直隐秘地趴在门口,时不时的还挠挠门。。。恐怖的平安夜呀~

 

////////////////////////////////////////////// 不怎么华丽的分割线 ////////////////////////////////////////////

 

Day7: 本日计划玉龙雪山。早上仍然起来很晚。看网上的说法是7路车(去雪山的公交)很少,怕是当天去不了,结果又去肥肠粉。。。 然后回来说去车站踩踩点吧。结果发现去玉龙的车还是蛮多~ 问问司机,说中午过去正好索道不用排队,于是说去就去,目的地玉龙雪山。索道170/人。不过觉得还是物有所值,落差就有一千多米啊~ 索道外就是冰川 从下索道的4506到栈道尽头的4680。慢慢的走,慢慢的喘气。 然后就可以在栈道的最高点遥看无法企及的顶峰了 移步山下的蓝月谷。终于发现这辈子见过的最清澈的河水。 此地比起九寨沟也不会太逊色哦,就是相机比较烂,没办法反映出眼睛所见的美景啊在快6点的时候有惊无险的搭上了一辆山寨7路车,快乐的结束了雪山之旅。晚上很费力地寻找吉利铺小吃,结果找到的时候发现关门了。。不过也流连了一下古城的夜景 没办法,继续肥肠粉和板栗饼~

 

////////////////////////////////////////////// 不怎么华丽的分割线 ////////////////////////////////////////////

 

Day8: 本日计划白沙、束河。早上继续去吉利铺打探,发现还是关着门(后来才知道人家10月份之后冬天就不营业啦)。回来的时候在一个巷口的老婆婆处买了三个粑粑。鸡蛋粑粑煎的实在是太香了,配上泡椒和油辣子两种酱,十分推荐!吃完早点在旅舍退房并租了两辆自行车,临出门的时候服务员说,哎呀,你们今天终于要出去啦,还以为你们这几天就没出门呢-_-

按照服务员给的地图,慢慢的骑行在通往雪山的道路上~ 云淡风清,很是惬意啊 先到白沙,再到束河,感觉就是两个缩小版的大研古城,特别是束河,其实就是另外一个大市场。 而白沙这个小小的村庄也满是挂满中英日三语招牌的店面。。。不过东西都比大研要便宜呢~ 于是满载而归 终于达成心愿,在新城区里吉利铺小吃的分店吃到了传说中的凉面和卤鸡爪,边吃还边听着老板娘的歌声。面条很不错,歌声也挺好听。吃完饭还车,然后就直奔机场啦~

飞行顺利,川航还送了两张熊猫卡,方便第二天免票游玩~ 不过从在成都落地开始,郁闷就接踵而至啦。。。

机上的广播说让去4-7号行李口取行李。我们在六号口上看到了我们航班的标识,然后等了半个小时也没见有行李,后来不知道是谁说了一句“行李在4号”大家连忙跑过去,这才明白了“到4-7号取行李”的意思。

快十二点的时候到了四号工厂,10天前成功订了标间,那天早上突然告诉我他们房间排错了,现在只剩没有独卫的两人间。好吧,那就两人间吧。专门问了一句,说公共浴室是24小时热水的。。按顿下来之后去洗澡,发现没热水。。。又被告知热水器坏了,烧水还得半个小时。。。那就第二天洗吧。第二天早上起来发现还是没热水。。再被告知是热水器彻底坏掉了。。。

Day9本日计划金沙遗址、武侯祠。虽然楼道里贴着“请低声通过,不要喧哗”早上天不亮还是有一堆人在楼下鬼叫。。。早上起来,退房。在贺水饺吃了碗红水饺。虽然是成都正宗川味吧,觉得完全没有巴国布衣的抄手味道好。吃完搭上公交车就去了金沙遗址博物馆—著名的太阳神鸟(中国文化遗产标志,08年在首博见过它)出土的地方。看了看探方和文物,就出来啦。

中午在蜀九香终于吃到了一顿北京吃不到的正宗成都火锅啦~ 不错不错~ 吃完之后杀奔武侯祠。结果发现大殿正在维修。。。好吧,在成都对郁闷的事情已经习惯啦。 飞机离开成都之后就感觉好很多啦~ 南海的大飞机很平稳,牛肉米饭和蔬菜沙拉也很丰盛~ 一顿好吃的空中晚餐,终于给此行画上了圆满的句号!

初雪

初雪之夜 新世界利莹百货 向不畏严寒仍然奋战在购物第一线的人们致敬~

外一则(zz

Liskov’s list of paper (ZZ)

(From LtU and others)

The list of papers that Liskov mentioned as having influence her to data abstraction and ACM Turing Award 2009.

start of quotation ====>

Djikstra – "Goto Statement Considered harmful" – which raised the
innovative claim that programs ought to be easy to reason about, and
language elements that made them hard to reason about were bad

Wirth – "Program development by stepwise refinement" – which pointed
out that a program is a series of design decisions, and these decisions
give rise to a family of related programs, corresponding to different
design choices.

Parnas – "Information Distribution Aspects of Design Methodology". 
I haven’t read this one!  I thought I had read all his papers.  It
sounded a lot like his modularity paper. "The connections between
modules are the assumptions that the modules make about each other."

Liskov – "A Design Methodology for Reliable Systems"

I can’t read my handwriting on the next one.

Balzer – Dataless Programming – I read this one a long time ago but I don’t remember it and ought to read it again

Dahl and Hoare – Hiearchical Program Structures", in "Structured
Programming" from 1972.  She said there were three very good papers in
this book.  I think I have a copy, but I don’t remember this paper. 

Morris – "Protection in Programming Languages" – I don’t think I read this one

Wolf and Shaw – "Global Variables Considerd Harmful"

Liskov and Zilles – "Programming with Abstract Datatypes"

Goodenough – "Exception Handling" Issues and a Proposed Notation"

<==== end of quotation

三叠飞瀑五老云海

总的来说:

去庐山啦,真高兴啊!山好美,水好美,云雾好美,然后就回来啦,啦啦啦~

具体的话:

研究了一段时间怎么利用一个周末的时间好好出去玩一次。发现隔的近的地方的也都要好几个小时的车程,索性就去远点的地方吧~ 因为可以在梦里赶路,夕发朝至的火车就是最节省时间的方式啦~ 然后在Z字列车可达的范围内,就选中了庐山。

原因嘛,山上有舒服的酒店、旅馆,玩累了能舒舒服服的洗个澡,睡个懒觉。山上有方便的观光车,几分钟就能在各个景点和驻地间往来,可以节省大把的时间。山上有一座城市,吃喝玩乐基本啥都有~ 足浴,KTV,菜场,从韩式烧烤到庐山名吃,还有Kappa专卖店。。。玩起来肯定不会太辛苦。加上五老峰,三叠泉天下闻名,能舒服的欣赏美景,确实是个不错的选择。

周四晚上8:30的Z67,北京西到九江,一觉起来就有乘务员mm过来换票啦~ 出门前有同事发来九江遭暴雨洪灾的新闻。不过关注了六七个天气预报的网站,一致的结论是,在下了一周雨之后,庐山周末是三个晴天。不过出车门之后的闷热空气和潮湿地面让人有种不好的预感。

有了九江汽车站边上的煌上煌,基本上可以不用带什么牛肉干之类的东西上山啦,鸭翅膀和牙签牛肉都是非常推荐的~ 没找到传说中的萝卜饼配清汤的早餐,就在某个排了很多人的包子铺买了几个包子当早餐。然后,买了点煌上煌的熟食,又在附近的超市买了点水,刚刚好赶上8:50上山的班车~

路上雾气很重,盘山路也不太好走,摇摇晃晃一个小时之后的某个时间,突然间阳光终于如约而至~ 再看窗外,就已经是一片云海啦。果然还是要相信科学,更要相信RP~ 进山需要门票,当然,观光车票也是非常有必要的。 大自然青年旅舍在一个叫做月照松林的景点附近。为啥叫月照松林呢,大概就是说晚上天气好的时候可以拍到像这样的照片吧:本来以为会是在一片松树林的边上,不过十点多到旅社的时候才发现其实是在一片住宅区中间的一栋房子~ 不过环境也还是挺不错的啦,起码的确是有松树。到了之后,预订的房间还没退,就先在公共的澡堂里洗了个舒服的澡~ 老板说当天从五老峰传来的消息是“很不错”。所以把包裹整理一下,带上水和各种春游小吃,就奔五老峰去啦~ 中途在含鄱口路过了一下。本着寻找太乙春花门的精神,上了一个莫名其妙的“太乙峰”。除此之外,含鄱口一片云雾缭绕,就听见导游们说着,下面没云的时候可以看到鄱阳湖~ 上面没雾的时候可以远眺五老峰~ 然而,什么也没看到的游人们脸上写的都是彷徨。。。

不过含鄱口的损失基本上都可以在植物园找回来啦~ 号称也是科学院的,一家亲嘛,所以很给面子的是一个很不错的园子。草地,花朵,溪流,弯曲的小径。很适合慢慢的散步,或者坐在草地上看身边的小溪慢慢流过,或者。。寻找蜘蛛精的巢穴~ 不过考虑到前面还有五老峰,走了一小段之后就在下一个车站(植物园站)上车啦。虽然庐山上人是相当的多,不过奇怪的是爬了一圈五老峰,最多见到了三四十个不同的人。。。估计大部分人都被导游忽悠到一些更奇妙的地方了吧。然后就很舒适的享受到了旅游的精髓~ 从一峰到二峰,从三峰到四峰,懒洋洋的坐在没什么人的峰顶上看着瞬息万变的云海,享受各种好吃的零食。大多数时候是看着远处的云彩拍打山崖,不过也有风大浪急的时候,会把海里的一小朵云彩吹到自己坐的这个崖上来,周围立刻雾蒙蒙的,能闻到云彩的气味,湿湿的,凉凉的。 运气不错,碰到个采药的同志在三峰上睡觉,于是有人上演盗仙草的好戏,偷偷的举着灵芝照相呢~

事实证明虽然五峰隔四峰比较远(1km?),但还是很值得一去的。五峰的最高处是一个亭子,亭子前面的山崖上聚集了非常多的蜻蜓。。。想了半天也没能解释这个现象~ 然后,为了不走回头路而选择从三叠泉方向下山,就更明智了。神奇的是整个从五峰到三叠泉3公里多的山路上,我们没有碰到一个人。只有哗啦啦的泉水陪我们一直走~ 终于在某个拐角处跟它打了个照面。然后,就咕噜~咕噜~~绝对要比农夫山泉甜多啦~ 六点多走到三叠泉车站,疲惫却也满足的回到了镇上。第一天走走停停,也有了六个多小时的行程吧。旅社老板说是五老峰轻轻松松两个小时。不过我们走走停停大概用掉了四个小时吧。游山玩水嘛,又不是赶路,多花点时间也是正常的嘛~ 哈哈

晚饭去了在网络上久负盛名的石牛酒家,人确实很多,老板娘总是说“再等一下下”。菜的分量还行,价钱也不贵,味道嘛,只能说一般啦~ 由于两天都是去他家,所以也不知道其他饭点的质量如何啦~

晚上舒舒服服的洗完澡,就听到外面的雨声啦~ 关了灯拉开窗帘想看看松林美景。。结果啥也没看到。。。然后就天亮啦~

旅社供应便宜的早餐(所以也不用带方便面之类啦,不过起的晚的人,比如我们,估计还是需要自己考虑早餐问题啦)虽然是住在山上,可是发现出门的时候又是十一点啦-_- 跟老板交流一下,也觉得应该趁天气好去三叠泉啦。大概不到十二点的时候,就已经在去往三叠泉的小路上啦~ 去三叠泉的路分为两段:前一半是山上的一段,比较平缓。后面一般就是传说中纯体力的14xx台阶啦~

再次很明智的选择了步行走下第一段路。因为很高兴的发现这条小路基本上就是跟着去三叠泉的泉水一路往下啦。走一段就可以去小溪边休息休息,看看水,也可以像下跳棋一样在溪中的石头上寻找向下游的路。

路上碰到的人不多,不过看到从下面上来的人个个都面色凝重。。。就知道前面的台阶们不是那么好对付啦。果然,第二段路的确是非常费体力和水的。。。痛苦的事情就不多说啦,不过其实觉得走得快的话,单程也就半个多小时的路吧~ 忍一忍就过去啦。毕竟三叠泉的风光确实不是一般的美啊~

往下走大概1000个台阶之后,就能从路边树丛的缝隙里看到三叠泉啦。不过真的感到它的壮观和美丽,也必须下到谷底呢。凭栏而立,感受着瀑布水气拂面而来。 数数看,确实是,一,二,三,三叠泉呢。到瀑布的下面,有不少大石头拦在溪流中,挑一个最大的,爬上去。向前可以仰望普遍,向后。。。就当了无数人的背景啦~ 也可以找个离水更近的小石头,脱掉鞋袜,把脚趾头伸进冰冷清澈的泉水里,好舒服~~为了让28xx级台阶更有意义,还是建议多在瀑布下休息休息哦。回程的时候还是会需要逆溪流而上,不过这时候为了节省时间并保存体力,我们选择做缆车回山上啦,步行可能需要接近一个小时的路程,缆车6分钟就到站啦~

从三叠泉回来,在镇上买了第二天回九江的班车票。事实证明,如果第二天临走再买,估计就比较危险了。买完票,看看时间还早,缆车也节省了一些体力,就决定继续去看看仙人洞、锦绣谷一线。不过比起来五老峰的云海,这里的风光基本上就觉得没什么意思啦,普普通通的山谷而已了。不过西线这边却是游人如织。。。到快走完整段行程的时候,回头却看到了夕阳和从山脚下涌上来的雾气。。本来想找个绝壁坐着看看夕阳。。可惜班车只到晚上七点。。太阳还是挺高的,就只好搭车回到镇上啦。 

这天晚上天气不错,吃过晚饭,回到旅社舒服的洗个澡,再出门的时候,天上就已经挂着一轮明月了。沿着旅社门口的湖北路一直走,虽然有路灯,不过脚底下经常还是有出来散步的蛤蟆跳来跳去,都在怀疑某些草丛更密一点的路段是否会有蛇出没呢。然后走了很久很久,终于才又碰到了一个人。然后经指点回到了大路~ 在大路上拍到了上面那张月照松林的照片~ 顺便抬头看时,发现虽然还是挺多云彩,不过星星们也不少。正好发现旅馆三楼阳台上舒服的躺椅。 就从房间里抱个枕头上楼看星星啦~ 一楼的墙上有有心人标记了旅馆的坐标。配合Homestar Portable的实时星图,很容易的就找到了牛郎、织女、天津四等知名的明星~可惜旁边的灯光还是稍微亮了些,要不然应该能看到更多更漂亮的小星星吧~ 相机确实比眼睛管用,照片里清楚的能看到这三颗亮星(左上的天鹰α牛郎,中下的天琴α织女,右中的天鹅α天津四),还有像天鹅的翅膀啊等等很多不那么亮的呢~ 能碰到一个晴朗的夜空,也算是好运气吧~

看星星看的比较晚,,所以第三天仍旧是十一点多才出门。。退房之后把行李放在旅社,就踏上了最后的一段行程。选择去走走西线剩下的大天池等等。又是让人觉得有运气的一段路吧~

从大天池站下车,没走几步路,就是一条林间小路。最美的地方在于这段路始终是在云雾之中。准确的说应该是在云中的一条小径吧。因为能看到白色的云在路中间飘过。呼吸到的空气中也会有云雾特殊的湿润。绝对是有置身仙境的感觉! 这么好的地方,就走走停停,到处坐坐,过一把小仙的瘾吧。 在这种路上散步,总觉得就是去拜访某位仙人啊。。。一不小心,就走到了下午啦~

四点半的车,五点半左右就回到了九江。从长途客运站出来,沿着浔阳路,很快就能找到在烟水亭附近的浔阳鱼味。没有辜负点评上比较高的分数,这顿晚饭吃得是相当的舒服~ 酸菜蚕豆丸子汤和猪手都特别的美味。吃饱饱之后就是跟九江说再见的时候啦~ 一觉醒来,就又是伟大祖国的首都了。。。运气十足,美景十足的庐山之旅,就告一段落啦~

可靠性与完备性

可靠性 Soundness (from Wikipedia)

In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics.

Soundness is among the most fundamental properties in mathematical logic. A soundness property provides the initial reason for counting a logical system as desirable.

完备性 Completeness (from Wikipedia)

In logic, semantic completeness is the converse of soundness for formal systems. A formal system is "semantically complete" when all tautologies are theorems whereas a formal system is "sound" when all theorems are tautologies.

E.g. 一个典型的非可靠不完备系统~

本产品可以过滤互联网上的不良信息,但不保证不良信息能完全被过滤,也不保证被过滤的信息完全是不良信息。

看到这句的行文风格就觉得很熟,托福又复习一下这两个定义啦~

另外一个说法:

本产品基于一套定义“互联网上不良信息”的推理系统。但该系统是不完备的,即并非所有的语义定义的“互联网上不良信息”都能通过该系统导出。同时,该系统也是不可靠的,即并非所有通过该系统推理导出的“互联网上不良信息”都是满足语义定义的“互联网上不良信息。”

 

just for fun…