遥远：

夜里零点，站在山顶向东边望去，那边是一望无际的太平洋。天气晴朗，海面和天空黑成一体。参宿七在正东闪着光，在它下方是模糊的M24星团。突然想起昨天一位朋友的文章里提到了猎户座，而这个时间南半球的猎户座只能看到一半。

头顶上还高悬着御夫座那小得几乎看不见的四颗星。

小时候，城里的天空还很干净。老爸带着我坐在操场上，教我认星座。觉得最有意思的是拿着望远镜看土星的卫星，天气好的时候用40倍的可以看到四颗。

曾经也为了那么小的事而高兴，一切都如这些星座般遥远了。

Catso  发表于 2004-09-11 23:05  阅读全文| 评论(7)| 引用Trackback(0)| 编辑  

头绪：

忙忙乱乱，一星期又过去了。最近的论文资料整理工作初见成效，通过文献库已经可以比较方便地做交叉索引了。副导师早年在德国留学，深谙德国人严谨的学术作风。加之他自己也是几大学术期刊的审稿人，所以对于学术写作要求极严，从他那里学到了许多重要的东西。专业化、正规化、系统化和版权意识是四个基本要求，为什么我们国家的论文在国际上没有什么影响力？我想正是由于这四个方面做得太差。在论文上保持严谨是对别人知识的尊重，也是对自己知识的尊重。

纠缠：

下午开会时继续讨论了几个星期以来许多人一直都没能弄清的论文，关于谈判的让步与适应模型。让我难以理解的是为什么在一致性与非一致性、结论与闭包、特征函数、模型、蕴含等极其基本的问题上一直有人纠缠不休？看来有必要为整理这些概念专门讨论一次了。

看来离散数学在这边普及得很差。

熬夜：

熬夜成了习惯。每天凌晨4点睡，上午10点起已经成了一种规律。如果在凌晨3点喝500毫升带泡茶就可以48小时不睡，但是办事效率极低，思维总是开小差。

想去爬山又懒得动。

Catso  发表于 2004-09-10 21:15  阅读全文| 评论(8)| 引用Trackback(0)| 编辑  

慵懒：

今天真是慵懒的一天。

这几天一直都有些昼夜颠倒，今天一直睡到中午12点才起床。我住在山顶，推门出去发现就山顶这一片在下雨，山下却是阳光普照。慢慢逛到SITACS准备开会，结果却被告知取消了。搭别人的顺风车回来，下午的阳光透过车窗暖烘烘地照在身上，房屋、树从窗外很快地掠过，突然觉得这个地方很空旷，而且鸟叫得太难听了。我蜷缩在车后座里，不知怎么的又昏昏欲睡起来。看来晒太阳的坏处就在这里了。

好像习惯了深夜才开始工作，而这里的夜没有一点声音。

Catso  发表于 2004-09-08 22:21  阅读全文| 评论(4)| 引用Trackback(0)| 编辑  

进化：

最近的一篇报告（也许是三篇论文的开头）想写一下软件进化方面的东西。从面向过程到面向对象、到面向组件、再到面向主体、最后到面向系统。按导师的话来说这是“扯出来的一条线”。其工业意义我已明瞭，但其理论意义和框架还需探寻。先结构化（使用软工方面的一些工具）、再规范化（使用代数系统或逻辑工具）、最后量化（使用统计分析工具）是初步的计划。

月亮：

此刻月龄21天15时40分，可见面积49%，在9月11日那一天到达距地球405289公里的远地点。从那一天后再过4天就见不到它了。

Catso  发表于 2004-09-06 23:52  阅读全文| 评论(0)| 引用Trackback(0)| 编辑  

悲剧：

今天在图书馆翻看一本Chang & Lee的Symbolic Logic时突然从里面掉出来一张纸片，上面用铅笔模模糊糊的写着泰戈尔的The Most Remote Distance：

the most remote distance
isn't
survival and death
whereas
here am i standing ahead you face to face
however you don't know i wanna be your matched

the most remote distance
isn't
here am i standing ahead you face to face
however you don't know i wanna be your matcheds
whereas
mutual affection is realized
but can't be together

the most remote distance
isn't
mutual affection is realized
but can't be together
whereas
can't keep out this miss
however have gotta pretend never ever put you in heart in the least

the most remote distance
isn't
can't keep out this miss
however have gotta pretend never ever put you in heart in the least
whereas
assume own heart ruthlessly
against the person you fall in love
dig a great gulf fixed

没想到看这书的人也会有这种闲情雅致，记起这些悲伤的诗句。关于爱情的悲剧情结几千年来在人类中弥漫，对此我总是倾向于机械的、动物论的解释。原来与人谈起这些，按我的解释，大部分人都会觉得我的想法过于冷酷了一些，所以现在不谈了。

Catso  发表于 2004-09-05 20:07  阅读全文| 评论(6)| 引用Trackback(0)| 编辑  

怀旧：

不知怎么的，最近总有些怀旧，有人说这是衰老的表现，可我不以为然。人的意识就象海洋，我只是喜欢时常潜入水中罢了。今天一天小雨不断，懒得出门，在家里无聊地翻出了一本国内带来的离散数学来看。打开书，一股好熟悉的油墨味道飘了出来，这边的书是闻不到这种味道的。这香味一直可以追溯到小学拥有第一本课本时，还有那塞满各种油印考卷的中学时代。人如果很久不回忆往事，突然回忆起来的话，就容易有如丢了魂一般。仿佛一回首还可以看到小时候的自己正在不远处玩耍。

一直以为许多事会记一辈子，但没想到童年竟然就这样模糊起来。依稀的还有那些高大的梧桐，水杉，捉虫子的苗圃还有野猫出没的宿舍楼。还有一群玩伴，现在已散落他乡，不知何日才能重逢，重逢时是否还会记得对方。

果然，独居易念旧。

感谢：

原来给别人写的关于如何快乐的东西，今天翻了出来复习一下。

我的快乐源自我的感谢：

我感谢赐予我生命的父母，感谢让我得以行走的土地，感谢让我得以生存的空气、水以及食物。
我感谢帮助我的人，因为他们给我以指引让我不至被困苦压垮。
我感谢阻挠、反对以及污辱我的人，因为他们给我以锻炼，给我机会以认清社会的全貌。
我感谢喜欢我、爱我的人，因为他们给我以最宝贵的温暖的感情，使我不至于孤独，使我的情感高贵而坚强。
我感谢仇视、痛恨我的人，因为他们使我的存在更加清晰而真实，并使我不至迷失于一时的快乐中。
......
我感谢我自己，为对我所感谢的一切都抱有兴趣，使我一生注定于观察者与参与者的幸福感中沉迷。

假使你不快乐了，就从身边把快乐找回来。

Catso  发表于 2004-09-04 20:14  阅读全文| 评论(7)| 引用Trackback(0)| 编辑  

路边的花
开出黑暗的馨香
夜行
抛下沉默的灯
成群伫立后方

风跟着跑
裹紧了衣的人
夜行
奔过无数的门
有些永不开放

窥探那些窗
都是别人的欢喜悲伤
夜行
不知倒毙在什么地方
等我的头枕到你膝上

Catso  发表于 2004-09-03 21:45  阅读全文| 评论(9)| 引用Trackback(0)| 编辑  

复习：

从哥德尔在1931年提出的两个不完全性定理可得出任一形式数论系统，如果它是一致的，那么它就一定是不完全的；如果它是完全的，那么它就一定是不一致的。这更加动摇了我对形式化方法的信心。

集合论从诞生之日起，就无法摆脱各种各样的悖论。其创始人康托尔的努力以及罗素等人提出的形式逻辑公理体系，都无法成功的甩掉那些悖论。而且最近在读许多东西时都面临着对穷竭原则的理解，但是迄今为止，还没有一种对穷竭原则比较好的理解方法。

今天要早睡。

Catso  发表于 2004-09-02 20:22  阅读全文| 评论(2)| 引用Trackback(0)| 编辑  

选择：

在AgentSpeak里用到了三个选择函数，在3APL里试图用元语言来实现选择函数。无论怎样，这些都还是只停留在概念与形式化的阶段。

最近对这一段时间的工作产生了疑问。到底是选择形式化还是选择结构化的方法呢？其实自己内心觉得结构化的方法更贴近于实践一些，更加实用一些。而且从面向对象方法学的发展前景来看，把它适当扩展后用作这一领域的描述工具不失为一种极好的方法。但是从另一方面来说，形式化的方法似乎又更贴近于所谓“科学”一些。而且用起来比较好玩。

两位导师在这个问题上也有分歧。一个是热衷于形式化、另一个倾向于结构化，我也有些徘徊了。

Catso  发表于 2004-09-01 20:23  阅读全文| 评论(9)| 引用Trackback(0)| 编辑  

八月：

八月的最后一天，上午晴、下午雨。想起来我已经过了二十几个八月了呢。前些年这个时候都在校园里逛着，夏天的尾巴还可以被闻得到。接着就暑热尽退，树叶披黄了。接着就是开学，看着学生们陆陆续续地返校。教室里自习的身影、自行车、树下相拥的情侣......大家都在享用着青春的时光。初秋时，时间是早晨透过薄雾的阳光和傍晚淡淡的凉意。

在这里，此刻，却是夏天的开始。

梦：

这几天看了不少别人的梦，自己竟然也作了个梦。很长，好像在梦中过了一生。记忆不甚清晰，早上还记得一些，现在几乎忘光。梦被解析后无非也就是自己没被注意到的一些想法而已，但单独来看它却有一种迷离的美。所以有时候梦仅仅是梦更好一些。

海边：

再过段时间天就热了，海边的时间就来了。

这一天已结束。

Catso  发表于 2004-08-31 18:52  阅读全文| 评论(11)| 引用Trackback(0)| 编辑