本文为《自然语言处理》课程中“形式语言与自动机”一讲的整理。
这里我们要回答的一个基本问题是：语言能否被有限条规则精确刻画？形式语言理论给出了肯定的回答——用一套重写规则（文法）就能生成一个（可能是无限的）句子集合，而有限自动机则从识别一侧给出对应的机器模型。
本讲先建立文法与推导的形式定义，再给出 Chomsky 四型分类，最后落到有限自动机与正则文法之间的等价关系。
-
-
《终末地》UI设计分析
本文主要分析了游戏《明日方舟：终末地》（简称《终末地》）的 UI 设计原理与风格，旨在为复现这样的 UI 提供参考。 美工文化鹰角网络简直是平面设计的神！ 要想谈论这个游戏作品的 UI 设计，我们得先从它背后的游戏公司说起。鹰角网络在美工领域一直是行业的一个标杆，并且树立了自己的美工文化。 它早年发行的游戏《明日方舟》在 UI 设计上就已经展现了很高的水准，在我看来属于业内第一梯队的水平，丝毫不逊色于当时国内其他知名游戏公司的作品。而《终末地》作为 2026 年发行的续作，在 UI 设计方面与《明日方舟》具有相似之处，在后续章节中我们会详细对其展开讨论。 除了 UI 设计，鹰角网络在平面设计和视觉动效方面也有着非常高的水准，这里主要评价的是游戏的 PV 和 EP 视频。以较早一批发布的“莱茵生命”相关 PV 为代表，《明日方舟》的很多视频都在视觉设计方面可圈可点，并且其设计理念也在《终末地》中有所体现，我们后面也会进行分析。 整体而言，与其说我们在分析《终末地》的 UI 设计，不如说我们其实是在分析鹰角网络的整个美工文化的缩影。本文主要着重于解决三个问题：哪里设计得好？为什么好？... -
NLP：绪论
本文为《自然语言处理》课程中“绪论”一讲的整理。
自然语言处理（Natural Language Processing, NLP）研究如何让计算机处理人类的语言。它既是一门工程学科，也是一门交叉学科：向上要回答“机器能否理解语言”，向下要落成翻译、检索、问答等具体系统。
本讲先厘清语言与语言学的基本概念，再回顾 NLP 的发展脉络，随后铺开它的研究内容、基本问题与困难，最后落到理性主义与经验主义两种研究方法。
-
在大型软件项目中使用AI进行编码的经验
本文总结了本人近期对接的一个 B 端项目的相关经验，该项目为前后端开发项目，其中
99%100% 的代码由 AI 生成。如何在一个庞大的、时间跨度大的项目中重度使用 AI 进行编码，并最高限度地保证代码与需求的一致性和可维护性，是本文要讨论的核心问题。 -
分析与鉴赏那些令人一见钟情的旋律
本文鉴赏和分析了一些“听第一遍就让人印象深刻”的现代歌曲旋律，纯个人主观视角、纯业余分析，不代表任何专业意见。希望能给我们作曲带来一些新的见解。
-
Ubuntu创建分页文件
本文将介绍如何在 Ubuntu 系统中创建分页文件。
为什么需要
当系统的物理内存不足时，如果没有分页文件作为临时缓冲，系统可能会触发 OOM Killer 来终止一些进程以释放内存，这可能导致服务中断等异常情况。
分页文件则可以作为物理内存耗尽前的缓冲，将当前内存中不活跃的数据“交换”到文件系统中，从而给活跃进程留出更多的内存空间。
-
某即时通讯软件的逆向工程——数据库解密
本文记录了我对某个用于商家询盘的即时通讯（IM）软件的本地数据库的逆向工程过程。主要介绍了如何通过 IDA Pro 调试来分析其数据库文件的加密机制。
-
数学建模基础
本文是张文宇老师的数学建模培训课程的大纲整理。
认识数学建模
数学建模简介
数学建模（Mathematical Modeling） 是利用数学语言（符号、公式、图表等）来模拟并解决现实世界中实际问题的一种方法。它是一个将现实问题抽象化、简化，建立数学结构，并完成求解和分析的过程。
数学建模的本质是：
- 翻译（Translation）：将现实问题转化为数学问题；
- 求解（Solution）：利用数学工具和方法解决数学问题；
- 解释（Interpretation）：将数学结果带回现实世界成为解决方案。
数学建模通常用于理解物理世界规律、预测未来趋势、优化决策和控制过程等方面。参与数学建模要求具备跨学科综合应用能力、逻辑思维能力、团队协作能力和科研素养。
-
《终末地》CBT3逆向工程2：PCK文件解密
本文记录了我对 Unity 游戏《明日方舟：终末地》（简称《终末地》）全面测试版本中的 PCK 文件的逆向工程过程。