（翻译自Why you should uninstall Windows right now，基于GPL协议分发）
作者：yxnan
利用留数定理计算实变函数定积分
留数定理
我们知道，留数定理可以将复变函数的回路积分转化为被积函数在回路所围区域上各奇点的留数之和，即
$$
\oint_lf(z)dz=2\pi i\sum_{j=1}^nRes\,f(b_j)
$$
量纲分析入门
相对论中的 Lorentz 变换与四维矢量
内积空间的正交投影与极小化问题
Haskell学习笔记（三）——高阶函数
Haskell学习笔记（二）——函数与递归
primes = filterPrime [2..]
where filterPrime (p:xs) =
p : filterPrime [x | x <- xs， x ´mod´ p /= 0]
维数定理及其可推广性的探究
\begin{aligned}
|A\cup B|&=|A|+|B|-|A\cap B|\\
dim(V_1+V_2)&=dimV_1+dimV_2-dim(V_1\cap V_2)
\end{aligned}
Haskell学习笔记（一）——类型与类
Lisp——超越时代的语言
Lisp 的起源
John McCarthy于1960年发表了一篇非凡的论文，他在这篇论文中对编程的贡献有如欧几里德对几何的贡献。他向我们展示了，在只给定几个简单的操作符和一个表示函数的记号的基础上，如何构造出一个完整的编程语言。麦卡锡称这种语言为 Lisp, 意为 List Processing，因为他的主要思想之一是用一种简单的数据结构表 (list) 来代表代码和数据。