Guojian's Homepage
写
读
听
看
=
l
o
a
d
i
n
g
π
=
3
+
1
7
+
1
15
+
1
1
+
1
292
+
1
1
+
1
1
+
1
1
+
1
2
+
1
1
+
1
3
+
1
1
+
1
14
+
1
…
loading \\ \pi = 3 + \frac{1}{7 + \frac{1}{15 + \frac{1}{1 + \frac{1}{292 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{2 + \frac{1}{1 + \frac{1}{3 + \frac{1}{1 + \frac{1}{14 + \frac{1}{\dots}}}}}}}}}}}}}
l
o
a
d
in
g
π
=
3
+
7
+
15
+
1
+
292
+
1
+
1
+
1
+
2
+
1
+
3
+
1
+
14
+
…
1
1
1
1
1
1
1
1
1
1
1
1
1
X
写
读
听
看
关于
计算机科学
自动化技术、计算机技术
operating-systems: Three Easy Pieces
Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-dusseau
操作系统
计算机科学
Programming Language Pragmatics
Michael Scott
编程语言
计算机科学
Types and programming-languages
Benjamin C. Pierce
编程语言
类型系统
计算机科学
The Lambda Calculus: Its Syntax and Semantics: v. 103
H.P. Barendregt
计算机科学
数理逻辑
数学
函数式编程
Structure and Interpretation of Computer Programs, second edition
Harold Abelson, Gerald Jay Sussman, Julie Sussman
计算机科学
编程语言
Art of Computer Programming
Donald Knuth
计算机科学
软件工程
算法