第一周
主要是早上的时间感觉没有被充分地利用起来！以及，最开始制定的纪律也没有很好地执行，下周要看情况调整到一个更可行的计划。但是，一定要充分利用早上的时间喵~
总的来说，感觉就是需要进行一些取舍。不过基本的原则是，每天 2h 的科研，1h 的锻炼，语言学习和 1h 的阅读是必不可少的。（不禁感慨，高中只需要学习的日子，是真的花了很多时间在「考试的学习」上，等到真的需要自己来规划自己的生活时，才发觉除了学习，还有更多重要的事情需要完成。）以及，如果不能做到每天反思和总结当日所学，至少在下一次开始同样的任务之前，应该反思上一次执行这个任务所完成的事情。所以，写报告是必不可少的一环。
同时，如果时间安排得太紧凑，完全没有放松的余地，也是不好的。所以如果有任务提前完成的情况，多出的时间就用来休息了~但是记录的时候还是会记录原来计划中的完整时间。
科研
读了一点 SCDES 的历史，但是感觉如果没有事先了解这些概念的数学定义的话，很难去理解它的发展。
之后读了一篇 k-step Opacity 的论文。
再后来搜索了一下 lean 的 mathlib, 发现其中确实有关于自动机的基础定义和定理。以及，发现 OpenAI 发布的 722 篇手稿中，也有关于自动机的定理。
尝试用已经形式化的 Global Constraints 去解决 MiniZinc Challenge 的 benchmark, 但是发现已经形式化的部分仍然不太够，于是继续形式化更高层级的 Global Constraints. 对于整个 GC 库的翻译，大部分工作已经完成，但是仍有一部分 GCs 因为各种原因，仍需调整。以及，对于高层级的 GCs, 有的多类型语义还没有完全实现。
生活
持续学习英语和日语喵~（现在这个说话方式 Xenia 大概是要负一部分责任的LOL），然后中间抽空去健身和打网球了。不过或许是最近练习网球的时间少了，感觉动作有点变形，水平也有些退步了QAQ.