夜深了，我还不想睡

夜深了，我还不想睡

很久没在空间里更新日志了，或者说，没认真地写过日志了。今天当然也是，不是认真地写。为什么？只是最近失眠，睡不着···

昨天考完自然辩证法，查一下邮件就收到梅姐的催命书——交开题报告修改版。虽然她让我周四给她，但昨晚在实验室迷迷糊糊到2点钟搞定了发给她。我现在唯一能确定的是我进入了状态，搞论文搞着成瘾了，于是复习自然辩证法的时候还为了测试论文的想法写了N个小时程序，于是最近老失眠。

说起失眠这码事，其实本应与我无关——我一直都是一躺下就可以睡着的人，轻轻松松进入梦乡。说到发梦，就想起梦境的变化了。以前在华师那与我同年的宿舍睡觉，发的梦来来去去就那个几个，整得我老以为是不是梦到些不该梦的玩意了。现在倒好了，在中大这宿舍睡觉，每晚都做梦，还做得离奇古怪的梦，啥都有，就没带重复的了，让我不禁怀念从前那让人熟悉所以心安的几个老梦了。昨晚更甚，朦胧中好像睡着了，大脑回路却是在浮现扭曲的空间，仿佛是要自身突破3维了——TMD我没这么牛逼——估计就是自然辩证法+论文+与张大牛聊了一次天。说到大牛了，这中大还真多，比华师多很多，真的，虽然我还是很爱华师的。平时没什么杀气的人，到了这时候一问，都去什么腾讯微软实习去了，更别说那些平时被评头论足的ACM大牛们了。这一对比，实在找不出自己有什么竞争优势，理又不行，用又不行，缺这块缺那块，知识量实在少得不行。BTW，从辩证的角度讲，这并不显得我的思路会很窄，只是很多东西要花时间去理解，去体会，去成为感觉——我一直认为最高的境界在于理性转换的感觉。张大牛推荐了一本好书讲编程语言的，MIT的教材，忘记叫啥名字了，有时间找他要个电子版好好看一下。“不要以为在空中飞着了，其实你还在地面挣扎着。”我得这么对自己说。

于是今天和同学到广大ABC糜烂去了，出出力吼了几首歌，完了还去北区打桌球。

最近对糜烂的生活没有形容词。

可能压力真的大了。还是以前自由啊，不用考虑太多，想干啥干啥，大四下学期天天吃喝玩乐，天天打羽毛球，现在唱K都会想到论文的事情。能发一篇不错的论文的话，到以后要申请香港的学校读博的时候应该会轻松些。话说最近思维动荡，考虑毕业如果能找到在香港的工作的话就不读博了。一句话，我就是要到香港去而已。这就是压力。

再想压力的话就真的睡不着了，一点安全感都没有。没人能保证我一定能去香港，只有自己向自己保证。时间与生活都在催促我快点。快点啥？不知道，就是要快点。

见鬼了，又想到了论文的东西。

析取知识这部分目前只能做到由不确定知识推理出确定知识，复杂度初步估计还是不低，虽然实验数据还未能体现这一点，可能是量太少。还没考虑由析取推理析取，这个超级烦，得特殊化地思考一下。说到底，我就不希望在测试的时候要做推理，明明就是直接搜知识库的工作而已，权责不分明啊。可能引入SAT求解器来做好些。这析取知识太TM恼人了。

做预测动作规划的时候，常常会碰到没办法得到一棵完全的树，就是说不能保证一定成功，所以提出强弱的预测。

JIT不只在预测的时候要考虑，普通的动作的时候也要JIT保证，要不怎么能满足“所有上下文依赖的流的值都是知道的”这一限制呢？哎，想到就烦了，又得和梅姐讨论这个问题。

还有梅姐说可以通过流的定义式转换成产生式和破坏式，这个得问清楚了。还有，流的互斥的情况是否要做完全考虑？我想尽量做动作-更新的时候不需要动析取知识。

终于又困了，睡觉了，晚安，RalphCai。

【夜深了，我还不想睡】相关文章：

昨天，我还不懂作文11-19

夜深了作文08-04

夜深伤感的句子02-21

表示很困想睡觉的说说12-22

心情还不错的说说11-09

这还不够作文08-13

还不完的债作文08-24

年下可能还不在我的接受范围内。。。04-25

关于夜深的伤感说说11-11

夜深了睡不着的说说02-11