export EDITOR=vim
ctrl-x ctrl-e...
分类：
系统相关 时间：
2014-07-22 23:03:52
阅读次数：
347
前文介绍了如何用Maven构建Android工程，现在进一步介绍如何使用JDEE编写程序。Ubuntu 14.04 Android 使用Maven二 创建自己的Maven工程如何安装JDEE可以参考之前的文章：Emacs 24.3 配置JDEE首先要安装一个m2jdee的插件，能够根据maven的pom.xml中的配置生成jdee所需的prj.el文件。获取该项目：git clone git@gi...
分类：
移动开发 时间：
2014-07-22 22:59:56
阅读次数：
438
记得几年前开始使用Emacs，因为使用ctrl键太频繁了，所以上网查了下解决方案，看到这篇文章。把capslock和左ctrl交换，简直要泪流满面啊！立马照着做，从此在所有使用的电脑上都对此进行了设置，一直用到现在。windows上改键的软件有很多，比如小巧的remapkey。linux上使用xmo...
分类：
其他好文 时间：
2014-05-06 00:15:52
阅读次数：
397
首先用package system安装android-mode, 然后编辑~/.emacs.d/init.el文件，添加下面几行：(require 'android-mode)
(setq android-mode-sdk-dir "/opt/android-sdk-linux/")现在重新启动emacs，然后M-x 中运行命令android-start-emulator此时会提示输入Androi...
分类：
移动开发 时间：
2014-05-02 22:49:40
阅读次数：
561
原本想花点时间来学习下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
