第一周

说起来也是很神奇，上学期每天过着「穷极无聊」的生活，到了这学期反倒忙得停不下来。不过现在回过头来看，上学期的闲暇，是好事。因为在那段时光中，我收获了远比学问的知识更重要的东西，或许我现在可以称其为生活和人生的知识。（后面或许可以单独写一篇博客来讲，此处先不展开）

科研

自动机这边，读了一下 strong order 2 bygone state estimate 的内容，然后突然意识到最近都在读各种情况的状态估计的问题。不过感觉目前的知识面还是不够宽广，只是在对自动机这个领域管中窥豹罢了。以及，读完之后的遗忘，感觉也是很严重的问题，目前感觉还没有很好的办法解决。哎~

至于 CP 那边，倒是进展顺利。目前正在根据现有的 global constraint lib 完善 MiniZinc 的 lean 框架中。不过小问题仍然很多，只是没有时间去解决罢了0=0. 不过组会开多了，倒也开出了些名堂，至少目前感觉，自己已经算是一个还不错的汇报者了~

攀岩

这周感觉大部分的课余时间都被花在了攀岩上，虽然目前还在 v2 -> v3 的水平打转。周日蹭了一节免费的攀岩课，才发觉自己的技巧差得太多，现在很多时候还在大力出奇迹中。哎，仍然有好多东西需要学习！

杂事

剩下的时间基本上就在处理学校保研的一些事务了，以及上学期交换之后的一些遗留事项。中途也是抽空写了几篇和这些事情相关的博客，感觉写博客也是一种对大脑的按摩和放松。

寄语

希望新的一周，能把更多时间放在科研上。同时，也挤出更多的时间，好好读一读书。最后，不要再失眠~

第二周

科研

自动机这边，把 standard 版本的 bygone state opaque 过了一遍；

Minizinc 那边，把第一批 global constraints 中的 sorry 修了一下，主要是定义缺失导致的 sorry.

主页

稍微加工了一下主页，加上了评论和友链功能。以及，把作业改了一下。（改了一天，力竭了）

杂事

同样有不少学校的杂事QAQ

寄语

上周也是包含了一个中秋佳节，希望我的爸爸妈妈和哥哥，一切顺利，身体健康！以及，发现自己似乎在高精力和低精力状态中反复横跳？好像关键因素是睡得好不好lol