昨晚查资料查到2点，最后定下来今天去西面的megabox看变形金刚2

早上8点40起床，洗脸刷牙洗澡出门9点，坐上公交车，坐了一个钟才到，过了沙上，我就完全陌生了……

不过那车业不知道怎么开的就到西面。

到乐天百货商场下车，走路步行直走，大概10-15分钟左右就可以看到megabox了，不过在到megabox之前那一段路，街边的房子真破，我还差点以为我昨晚看的地图不对。

ps在去的路上见到iriver的专卖店了

进去那个大商场，电影院在6楼，不过在商场门口早上10点，问在擦玻璃的大妈，是不是这，大妈说上去6楼就是。才敢进去……那商场实在是没人。

电梯6楼上去，发现有电影院的感觉了呢，宽阔的大厅，全是凳子给人坐着等电影上映

不过我已经看了时间表有10点20和10点50的，买了10点20的

在24小时便利店买了水，口渴…早上吃面包和牛奶喝的口渴

进去看了下，座位还不错呢。虽然也是很小的场，比之前看终结者4的那个釜山剧场小很多，但是跟cgv那些场地比较的话，都差不多。

不知道我实验室小伙说megabox那地方好是好在哪里了。

坐了座位就开看

这次英文听不清楚和听的不是很懂的地方好多，跟上次终结者4完全不同的feel，还好还有韩文字幕，还有……我无敌的猜词。

看完12点55出门，找地方吃东西

算是正式的把西面那地方给逛了一圈，（西面就相当于广州的北京路上下九的地位），来韩国快4年了，今天是第一次正式的逛了一圈西面，以前来过一次跟着去一个韩国正统料理学院学做饭，还有一次跟人跑去买衣服，还有一次跟我认识的一韩国前辈请他吃饭。很多很多网状的街道，超晒。一些是酒吧一些是饭店，乱七八糟的各种特色的饭店，hmm 发现街上女生占多数，饭店里面倒是有一些男生。不过好多饭店下午4点才开门。

晃了一大圈，找了一家火锅店，吃了很薄片很薄片的牛肉。

换地铁回学校，地铁上人真暴多…

出地铁换校车，然后爬个小坡就到实验室鸟。

累死了，不过蛮好玩……

24号早上7点40起床

然后爬到学校，8点10分的样子

等到8点40，大家一块到楼下的地下停车场

一路开车到용원 안골

然后买票上车，一个人4.5k 车15k

先来个整个线路吧,红色的是去的路线，黑色的是回来的，黑色的从右下角到那个港口.有55km 红色的在那个岛上，估计开了3 . 4个小时的样子.

坐船去30分钟，回来坐了50分钟.回来的船大一些，马力好像也强劲很多.

去的路上的一小岛

跟在我们船后面的小海鸥，因为回来的时候见到了大海鸥

去的路上的看到的..

韩国最大的韩战(朝鲜战争)影视城，中午饭在这旁边吃的

멍계비빔밥

那个멍계 ,总之我好像是第一次吃的样子..好像味道很不错，很奇怪的味道，但是很不错

문동폭포1

문동폭포1

在房间拍我玩了半个多小时的石头块小塔.用一堆小石头堆起来…

 

第二天准备回釜山，出门看到一大妈

 

住的门口的海边

门口的小花

到渡口了，吃了一碗冷面，好贵5k一碗…

偷拍这棵树

 

上船的广告牌..八美..我只吃了 멍계비빔밥

 

等船来的车们

小狗..大狗..

上船……

这个船舱比较好玩,直接是干地板，没凳子的，可以躺下来睡觉，他们几个人在那玩扑克，我本打算拍一下，他们说千万别拍，玩扑克赌钱是违法的.虽然他们在玩100 200 300..韩元

 

船尾的大海鸥

海上的桥..把几个岛都连起来了..

又看到一.. 拍了再说

釜山新港,好大好大..不过船真不多..

 

釜山新港2.

桥墩..原来是做好了丢海里面去的..

 

在这个位置坐了3年半了，一晃眼还真久

桌上丢着新买的手机

                正面                   

 

                         翻盖

 

                                  放倒

 

              背面

 

我这500韩元的手机还不错吧，人民币2.6的样子 .lol

八卦帐，流水账半天..发现早上8点钟跑来学校还是很不错的，唯一就是实验室热的要命，还得开2个空调，开着窗，开着门换气大半天，不开灯，半黑着猫在一堆窗帘的实验室里面码字还是很不错的，我睡2个小时也是精神抖擞，原打算不睡觉，今晚好好睡，明天起床就出门玩的

今天问了人，说明天去巨济岛玩，那人说可以坐船去，有2条道，要么去南浦洞那边坐，2万块一个人坐一个多小时，要么去农村—> 金海旁边那边一个港口坐一个人4.5k 坐50分钟，还叫俺去金海那边坐呢，真是好人，不过俺们这回公款出去玩，教授们也去，说不定都去南浦洞那边坐2万块的了

相机已经准备好，就等着明天中午了

其他就啥也不说了，看naver的图吧

http://image.search.naver.com/search.naver?where=image&query=%B0%C5%C1%A6%B5%B5

昨晚半夜12点多，肚子饿跑出门吃东西，吃完回来

继续想写东西，发现上周写了小半页的东西，由于电脑内存莫名其妙的超过了不知道多少G使用量，电脑死机，东西，自然也没了，我后来又补了半天，想想，不能这么就算了，我得重新去想一下

后来坐那发了半天呆，肚子饱了果然就想躺着，快3点的样子，躺下，开始苦思冥想那个location，怎么处理怎么处理

hmm 再看表4点了，就想就L表示location吧T表示time，C表示content好了，然后就会有C1和C2之类的等等等等出现。于是就应该有L X T X C之类的conjunction关系式出来了，hmm 应该这样就算是扩张了吧。再看看表，还好才4点半，我顶个闹钟我9点起床好了。还可以睡5个小时

定完闹钟，肚子依然很饱，睡意一点都没，只能去数LTC三者是啥关系来把我弄晕了好去睡。

估计5点睡着? 因为我后来又在想今天下午见了教授该说啥，想了半天的韩语，后来想想不行，那教授见我，第一分钟内讲韩语，后来就开始跟我飚英文了，唉 我们duke毕业的教授实在是风格……很囧异，我又去想该如何说英文了，balalabalala 想了半天 step 1  step 2  shortpaper …etc.. 为了把教授弄的心花怒放，我也只好挖个大坑给教授钻了

早上7点半不到，醒了，躺床上继续想，发现那个L和T其实不是我所想象的那种conjunction关系…

L根据ip table来判断的话，比如near: new york 其实就是一个regular expression 纽约ip地址的过程… 如果按教授之前周一说的那样先把DB来个预处理的话,那也就没啥好说的了

然后是那个T,想了想不是单纯的纯粹的T，不是说含有T再含了C就perfect match..那个T 纯粹就是跟L一样，是个限定条件来的。其实也可以按照教授之前所说的对于Location这种玩意一样，对DB来个预处理，比如since:2009-06-20 那样的话，只取DB中从09年6月20日之后的数据即可..

那样T和L就没任何新鲜的意义了，其实就是多了个预处理，然后继续老样子。对于content本身来做linear logic。

但是周一拿教授07年写的论文讨论的时候，教授先拿我的笔在他的论文上，画了一个X。说这篇论文是错误的，我当时就震惊了，果然有duke毕业的风范…换韩国或者日本这些地方毕业的教授肯定不会这么主动承认自己的不足。

当然，今天下午找教授讨论的内容，主要还是围绕那个L和T如何处理比较可以linear logic，比如新颖点，而不是又是用regular expression这样的玩意来做。

但是这个预处理实在是…

下午再去好好的跟教授做一个关于T和L其实是限定条件的一个解释说明去，奇怪，为何教授一开头就直接认定这个T linear logic做不了…

^^

To build on the success of ACM Conference on Computer and Communications Security (CCS) and ACM Transactions on Information and System Security (TISSEC), the ACM Special Interest Group on Security, Audit, and Control (SIGSAC) formally established the annual ACM Symposium on InformAtion, Computer and Communications Security (ASIACCS). The inaugural ASIACCS was held in 2006. ASIACCS 2010 is the fifth conference of the series.
ASIACCS is a major international forum for information security researchers, practitioners, developers, and users to explore and exchange the newest cyber security ideas, breakthroughs, findings, techniques, tools, and experiences. We invite submissions from academia, government, and industry presenting novel research on all theoretical and practical aspects of computer and network security.

 

Important Dates

---

Submission deadline: ————–September 28, 2009
Author Notification: ——————-December 8, 2009
Camera-ready deadline: —————-January 8, 2010

 

http://www.dacas.cn/asiaccs2010/