写点啥吧

Twitter的存在让这个blog显得有些多余，平常的一些小事情，用Twitter就可以发布了，花不了1分钟。现在学习也比较忙，也没啥时间弄些长篇大论什么的。

考完两门以后，等着我的是两个作业。AI作业做Resolution Theorem Proving。这个挺有意思，大概就是给出一些一阶逻辑的短语（公理），一个结论短语，看公理是否能够推导出结论。Algorithms作业有DFS的题，MST的题，还有最短路径，不少是CLRS上的原题，还是很有难度的。本来时间挺紧的，后来两个作业都往后延了3天，不错，可以喘息一下了。

另外，今天又是2点起床的，比预计的还要晚很多...这样搞下去怀疑身体会被搞坏...嗯，得出门运动运动了。那么好的Gym不用真是浪费...