@@ -3,37 +3,38 @@ title: Forever young
 ---
 
 - [Overview](#overview)
-- [Folders with clear dependencies (math)](#folders-with-clear-dependencies-math)
 - [Notation](#notation)
-  - [1. Math Symbols](#1-math-symbols)
-  - [2. Logic Symbols](#2-logic-symbols)
-  - [3. Computer Symbols](#3-computer-symbols)
+  - [Math Symbols](#math-symbols)
+  - [Logic Symbols](#logic-symbols)
+  - [Computer Symbols](#computer-symbols)
 - [友链](#友链)
 
 # Overview
 
-此博客源于学习中的个人笔记，也是我试图搭建的一座可检索、可回溯的「知识仓库」。
-
-此博客的目的为：
-
-1. 整理定义与性质，理清依赖链条，使自己确信其正确性，从而安心地使用这些知识。
-2. AI 辅助证明。
-
-# Folders with clear dependencies (math)
-
-这里，“有清晰的依赖”是指：以朴素集合论为起点，沿依赖关系可到达当前节点。
-
-- linear-algebra
-- 数学分析
-- 抽象代数
-- 数理逻辑
-- 朴素集合论
-- 测度论与概率论
-- 点集拓扑
+- 故事
+  - [故事](故事/index.md)
+- 计算机
+  - [计算机](计算机/index.md)
+  - [机器学习](机器学习/index.md)
+- 数学
+  - 可回溯的：对于下面这些目录里的内容，从任意一个节点出发，沿着“前置”依赖路径可回溯到“朴素集合论”。
+    - [linear-algebra](linear-algebra/index.md)
+    - [数学分析](数学分析/index.md)
+    - [抽象代数](抽象代数/index.md)
+    - [数理逻辑](数理逻辑/index.md)
+    - [朴素集合论](朴素集合论/index.md)
+    - [测度论与概率论](测度论与概率论/index.md)
+    - [点集拓扑](点集拓扑/index.md)
+
+  - 零散的：下面这些目录里的内容，是一些的零散的数学知识，尚未形成清晰的依赖关系。
+    - [复分析](复分析/index.md)
+    - [微分方程](微分方程/index.md)
+    - [流形](流形/index.md)
+    - [范畴论](范畴/index.md)
 
 # Notation
 
-## 1. Math Symbols
+## Math Symbols
 
 - Vector is denoted as bold lowercase letter, e.g. $\mathbf{a}$, Matrix is denoted as bold capital letter, e.g. $\mathbf{A}$, $a_i$ means the $i$th element of $\mathbf{a}$, $a_{ij}$ means the $(i,j)$th element of $\mathbf{A}$
 - All vectors are column vectors
@@ -65,7 +66,7 @@ title: Forever young
 - $\nabla \cdot \phi(\mathbf{x})$: $\phi: \mathbb{R}^d \to \mathbb{R}^d $ 的散度
 - $\nabla \cdot \phi(\mathbf{x})$: $\phi: \mathbb{R}^d \to \mathbb{R}^{d \times d} $ 逐行散度所组成的列向量
 
-## 2. Logic Symbols
+## Logic Symbols
 
 - Little letters (e.g. $p,q,r$) are used to represent propostional variables
 - $\neg$ is used to represent negation
@@ -79,7 +80,7 @@ title: Forever young
 - $\mathscr{L}$ is used to represent a first-order language
 - `mathscr` upper letters (e.g. $\mathscr{A},\mathscr{B},\mathscr{C}$) are used to represent the formulas (well-formed formulas,wfs) of a language $\mathscr{L}$ and $\mathscr{L}_0$
 
-## 3. Computer Symbols
+## Computer Symbols
 
 - Local network is denoted as capital letter, e.g. $A$,$B$,$C$
 - Host in local network is denoted as small letter, e.g. $a$,$b$,$c$ located in local network $A$,$B$,$C$
 
@@ -126,9 +126,9 @@ flowchart TD
     H --> I["确认已实现盈亏"]
 ```
 
-## 股价的确定与变动
+## 价格的确定与变动
 
-交易软件显示的“当前股价”通常是最新成交价（Last Traded Price），即最近一笔成交采用的价格。不过，不同软件也可能显示买价、卖价、中间价或延迟行情，因此应以行情字段的具体定义为准。
+交易软件显示的“当前价格”通常是最新成交价（Last Traded Price），即最近一笔成交采用的价格。不过，不同软件也可能显示买价、卖价、中间价或延迟行情，因此应以行情字段的具体定义为准。
 
 ### 微观
 
@@ -153,11 +153,11 @@ flowchart TD
 
 #### 1. 信息与预期重估
 
-股票代表对企业未来经济利益的权利。财报、产品进展、行业政策、利率和经济数据等新信息，会改变市场对未来现金流及其风险的判断。交易者据此调整估值和订单，价格则在成交中寻找新的平衡。由于参与者掌握的信息和使用的模型不同，市场不会自动得到唯一的“合理价格”。
+资产价格反映市场对其未来经济利益及风险的判断。财报、产品进展、行业政策、利率和经济数据等新信息，会改变这一判断。交易者据此调整估值和订单，价格则在成交中寻找新的平衡。由于参与者掌握的信息和使用的模型不同，市场不会自动得到唯一的“合理价格”。
 
 #### 2. 资金流与供需冲击
 
-即使企业基本面没有明显变化，资金流也可能改变短期供需。例如，基金申购会带来买入需求；基金赎回、指数调仓、风险限额收紧或强制平仓则可能产生集中卖出。订单规模相对于市场深度越大，价格冲击和滑点通常越明显。
+即使基本面没有明显变化，资金流也可能改变短期供需。例如，基金申购会带来买入需求；基金赎回、指数调仓、风险限额收紧或强制平仓则可能产生集中卖出。订单规模相对于市场深度越大，价格冲击和滑点通常越明显。
 
 #### 3. 情绪与行为反馈