2025/01/05

与上一篇博客相距四年多。时间总是过得快，不可思议。希望在蛇年即将来临之际，思考一个零零星星随笔写作的计划，阵地就在这里。计划总会有变化，看看可以多久。

2024年上半年围绕职称问题付出诸多心力，不过总算是一个好结果，工作也算稳定了下来。去年暑期最大的收获就是香港。三次入港，各方面其实有很多想说，让我再想想从哪儿说起。现在倒是观察香港的好时候，当一件事、一个物发生巨大的变化，变化之前的样子在这时也许看得会更清楚。下半年有两篇文章分别发表在《哲学研究》与《科学技术哲学研究》；有一篇书评至今还在《逻辑学研究》在审：时隔三个月有余。真是气人。

去年年末开始至今，一直在做这么几件事：

1.学习latex写作。光看教材入门提高有限，需要真写一篇论文来用，才是真上手。用这个软件一直缺乏勇气，我也觉得可笑。

2.筹备一篇文章，关于言语行为在证明（特别是自然演绎证明）中的作用。一步步学习证明论的内容不是一件容易的事。开拓自己的知识荒地，就像熊明所说，要bit by bit。

3.备课集合论。下学期就要给研究生讲授集合论。可谓师生共进共学，边教边学。

寒假好像已经来临，虽然官方假日是2025年1月23日开始。不过现在已进入自己的时间。

PS₁：今天申请的港澳人才签注，可以一年多次往返。可以更多的观察港澳。

PS₂：今晚要去听Katazyna Borek的生日音乐会与生日派对。应该是热闹的一晚。