export EDITOR=vim
ctrl-x ctrl-e...
分类：
系统相关 时间：
2014-07-22 23:03:52
阅读次数：
347
原本想花点时间来学习下Vim或者emacs，结果在网上搜索到这篇文章骂战挺多的，但是也长见识http://bbs.csdn.net/topics/390306165下面是windows下的emacs学习教程，如果真想学习emacs我觉得还是找个Unix-like的操作系统（MAC
OSX和Linux...
分类：
其他好文 时间：
2014-05-01 14:51:38
阅读次数：
316
从计算的本质到编程语言，所谓计算，是构建在一套公理体系上的，并且在此基础上不断向上演化。
两大类型：数值计算-数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等；符号推导-符号推导包括代数与各种函数的恒等式、不等式的证明，几何命题的证明等；
两种范式：计算理论的研究：侧重于从数学角度证明表达能力和正确性，比较典型的图灵机、lambda演算、pi演算这些都属于这个范畴。计算模型的研究：侧重于对真实系统的建模和刻画；...
分类：
编程语言 时间：
2014-04-30 22:31:39
阅读次数：
571
