动态解析

增补上思维结构对应变化调整多。整来烦躁了。关机休息。

交替之间

冬至安康吉祥 ​日月季的积累 ​福报财运变量 ​积累才有变量

背脊生翼 无人可依夜沉沉， 身背潜生羽翼深。 不向人间求倚靠， 且将烈火炼初心。 千渊万壑凭飞跃， 一片孤光破暗阴。 回首向来辛苦处， 长空原是自家襟。

等结果

大冬天不能久坐久写材料，​坐一会就冷，一冷思路就断了。就这样将就着用，用用再改。

“当你觉得无人可依的时候，你的身体为了带你走出深渊，背脊之处才会主动长出翅膀，与其苦苦寻找依靠，不如狠狠的锤炼自己。”

周末慢慢悠悠刷论文

A1B6128模型一周基本确定框架，还不够精细。这周工作算是收尾。

2020-12-19摄影 ​2025-12-19学习 ​状态不同

篆刻

抓紧时间写

早间论文阅读是必须 ​依赖排序代数理论的幺半范畴 I：语法（A monoidal category of dependently sorted algebraic theories I: syntax） 研究背景与目标 本文是两篇系列论文的第一篇，核心目标是构造并研究广义代数理论范畴（按Cartmell意义）上的闭合幺半结构。作为起点，本文聚焦于语法层面，通过递归算法定义两个广义代数理论𝔸和𝔹之间的张量积𝔸⊗𝔹，并验证其能恢复已知结构（如Lawvere理论的张量积、依赖类型签名的"细胞"积等）。

开干

早间阅读完成

枣安

同年同月同日读书 ​读《我可能错了》（I May Be Wrong）一书，该书作者比约恩·纳提科·林德布拉德曾是一位成功的企业高管，后来辞去工作，远赴泰国出家成为一名森林僧侣，并在寺庙中生活了17年。 在观察和理解作者的人生“修行”过程中，我不自觉地带入了数学建模的视角。发现，这两者之间有着意想不到的契合点。禅修也给了数学建模很多启发。本文分享我的一些感受和理解。 模型即观照 在禅修中，强调“观照”自我的内心世界，观察自己的情绪、欲望、执念，直至这些内在活动如同云烟散去，只剩下一种纯然的“觉”。 比约恩在书中提到，他最初修行时，发现自己脑海中充满了各种思绪：过去的后悔、未来的担忧、现在的焦虑。而通过禅修，他逐渐学会放下这些杂念，直面自己的内在本质。 本质不是能轻易被发现的，细细去理，去花时间，去繁就简后才能看到问题的真实结构。数学建模中，我们也在进行一种“观照”，通过一种数学的方式抽离出现实背景，获得理性理解。 放下与简化 比约恩在森林寺庙的生活非常简单：没有手机、没有繁忙的工作，仅有每日的禅修和基本的生活需求。但正是在这样的简单中，他感受到了从未有过的深刻幸福。他写道：复杂是因为我们不愿面对简单，而简单才是直指本质的智慧。 知识的快速增加以及技术的更新迭代让我们的数学建模工具越来越多、“牵扯”越来越广，我们能否觉察到数学建模最本质的内容是识别复杂现象中哪些信息是必不可少的，哪些是可以忽略的。不要迷失在纷繁的建模技术和工具中，而要牢记：模型的使命是揭示简单的真理，而非堆砌复杂的形式。 超越“正确” 比约恩在书中坦言，他最初修行时，总是急于证明自己“修得更好了”，甚至在内心暗暗比较自己的进步。但后来他意识到，这种执着于“正确”或“优越”的心态本身就是一种障碍。他最终学会了接受自己的不完美，并发现，修行的真正意义并不在于“达到某个目标”，而在于“持续的觉知”。 禅修是一种长期的修行，而数学建模同样如此。一次成功的建模只是开始，它的生命力在于后续的改进与应用。比约恩在书中写道：“修行不是一蹴而就的，而是每天都需要践行的生活方式。”数学建模也一样，它不仅仅是一次性的竞赛任务或课题研究，而是一种可以融入日常学习、工作和生活的思维习惯。 比如，在面对生活中的复杂问题时，我们可以用“建模的眼光”去分析：问题的核心是什么？哪些因素是主要的？怎样用一个简单的框架描述它？这种思维不仅帮助我们解决问题，也让我们在问题中发现乐趣，学会从复杂的现实中提炼出智慧。

慢悠悠地回家，太平腌鸡打包

守到炉子吃

报恩寺 供三清元代木雕楼