序

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

科研

自动机这边,把 strong 和 standard version 的 bygone state estimate opaque 的问题过了一遍,最后发现 strong 的 version 和 standard 的 version 是等价的0o0. 不过在这个过程中,还是感觉自己知道得太少了,还得多学!


至于 CP 那边,进展比较顺利,目前根据 global constraint lib 作为,已经添加了不少定义,这一批 benchmark 中发现的问题都解决得差不多了。

主页

稍微加工了一下主页,加上了评论和友链功能。

攀岩

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

杂事

这个月的杂事主要是保研相关的事务,以及上学期交换之后的一些遗留事项。然后接了个 TA 的活,平时还得改改作业。最后的话,就是国庆之前把小学期科研训练的答辩搞定了。

寄语

希望新的一个月,能更加律己(感觉纪律性不止在投资中很重要,对自己的日常生活也是很重要的指导,不然做什么都是三分钟热情)当然,良好的睡眠和健康的身体是一切的基础!以及,别忘记多读读「闲书」!(这也是纪律的一部分LOL)

此外,还有这个月的中秋佳节,「但愿人长久,千里共婵娟。」希望我的爸爸妈妈和哥哥,一切顺利,身体健康!