关于一个正在转码的数专生
你好，我是 Lock，一名在四川大学读信息与计算科学（俗称“数专”）的学生。
和很多前辈一样，我正走在从数学转向计算机的路上。这并非是放弃数学，恰恰相反，我希望将数学的抽象思维与计算机的实践能力结合起来，把那些停留在脑海里的想法，变成真正可以运行、可以与人交互的东西。
最近，我正忙着几件事：啃数学专业课的硬骨头，为数学建模比赛做准备，同时也在积极入门计算机，探索算法和 Agent 这些让我着迷的方向。
这个主页是我探索之路的起点和记录。很高兴能在这里与你相遇。
Lock
一个正在尝试转码的985数专生
- 四川大学 · 信息与计算科学
- 正在准备数学建模比赛
- 对算法与 Agent 感兴趣
关于我
数学主修课
已学 / 在读
下学期
作品
把学习中的想法做成可以打开、可以继续迭代的东西。
保持联系
想交流学习、项目或转码路线？
目前可以直接通过本页的数字分身开始聊天。它最了解我的数学学习、建模准备和个人主页项目；有具体合作或交流想法，也欢迎先在这里说明。
动态
最近动态
公开展示还没有动态。从第一条学习记录开始吧。
学习记录
记录最近的学习进度、练习和阶段性收获。
一致收敛专题复习
整理了函数项级数一致收敛的判别方法（M 判别、Dini 定理等），完成 12 道例题。
一阶方程解法总结
把可分离、齐次、一阶线性、伯努利方程整理成了一张速查表。
国赛真题复现
阅读去年国赛题目，复现了数据清洗与可视化部分流程。
一些还在推敲的观察和思考，暂时不求有标准答案。
从数学到计算机：异与同
两者都在解决问题：数学更关注结构与证明，计算机则把想法落成可以运行的东西。
学习不是线性的
遇到难点时，先绕开并不等于放弃；带着新问题回头看，往往会有新的理解。
建模前先问什么
在找模型前，先厘清数据能说明什么、哪些假设可以成立，往往比套公式更重要。
方便回顾的学习摘记，后续可直接把这里替换成自己的内容。
Agent 的一个简单理解
它不只是回答问题的模型，还需要根据目标拆分步骤、调用工具，并根据结果继续行动。
证明题的起步方法
先写清已知和目标，再尝试从定义、等价条件或常用定理中寻找可连接的部分。
数据清洗检查清单
先检查缺失、重复和异常值，再统一格式与量纲；每一步都保留原始数据和处理记录。
收集正在练习的题目与解答；内容仅供学习参考。
夏道行实变函数部分课后习题
夏道行实变函数部分课后习题及解答（可能有误）。
打开题目与解答 PDF以上均为示例内容，之后可直接在 index.html 中替换或继续添加。
数字分身
Lock 的数字分身
正在检测模型状态…
可以从这些问题开始：