形式化方法是一门研究如何用数学语言来描述和分析计算机系统的学科。它的目标是找到一种数学语言，能够描述计算机系统的所有方面，包括算法、数据结构、程序设计等。形式化方法的研究成果已经在计算机科学、人工智能、软件工程等领域得到了广泛应用。

经常遇到的module缺少问题的一个有效的解决方案

研一上的日常健身计划

针对期末pdf复习的提示词

配置文件：.tmux.conf、.vimrc

列举一些Git常用命令

根据y总算法基础课、算法提高课、Leetcode整理出来的算法模板，还在不断更新中…

记录自己部署自己的springboot项目到阿里云上的步骤心得