01 Lexical Analysis
计算机是无法对程序语言的产生人一样的“理解”的，对于计算机一个程序只是一个字符串。因此要在计算机上运行一段程序就需要把程序语言转化为机器语言，这个过程就是“编译”。编译的第一步（通常称为前端）就是对程序语言做词法分析和语法分析 。
随机变量old
可测函数
05 镜像下降法 Mirror Descent
我们已经知道梯度下降的每一次迭代可以看作求的最小值，而的选取其实并不是唯一的，换言之我们不一定要选取二次函数。二次函数的特殊性（例如对称性）有时并不能很好的刻画原函数的几何特性，这可能使得梯度下降算法表现得不那么优秀。假设我们选取另一个函数（注意必须是凸函数），当然我们还是希望保证其线性部分是不变的，因此实际上我们关注的是这一项。这一项称…
03 有约束凸优化问题 Constrained Convex Optimization
在这一部分我们讨论有条件约束的凸优化问题。其中，根据凸优化问题的定义，约束必须是仿射的。
02 无约束凸优化问题 Unconstrained Convex Optimization
在这一部分我们的目标是求出凸函数的最小值。一般来说，只要我们能解出方程我们就能求出最小值点。然而很多时候这一方程的封闭解是不存在的，这要求我们用其它的手段来求最小值。
哥德尔完备性定理
Sequent Calculus
10 静磁学 Magnetostatics
作用于一电荷上的力不仅取决于它的位置，称为电力，还取决于它的运动速度，称为磁力。磁力具有一种奇怪的方向特性，它的大小和方向都取决于粒子的运动。另外，磁力又总是与空间中该点处某一固定方向垂直。所有这一切都可以通过定义磁场矢量来加以描述，于是可以把磁力写作，称为洛伦兹力。作用于电荷上的电磁力永远满足。
11 麦克斯韦方程组 The Maxwell Equations
麦克斯韦方程组
日语的变形规则
动词原形
tutu（TODO）
鳴り止まない悲劇もドラマにかえるの哭声久久回荡的悲剧也终会淡化成一出戏剧階段を駆（か）け上がる途中で在跑上楼梯的路上きらきらに手を伸ばして向闪烁光辉伸出手去白線から落ちた白线上掉落下摩耗してるdoll已经磨损的玩偶拾（ひろ）い上げた君の手你将其拾起的手棘（とげ）だらけのrose如同长满棘刺的玫瑰わたしの頬（ほお）かすめていく从我的脸颊边拂…