add ibus-rime 1.0 中洲韵输入法 debian 7 安装手记
Debian 安装 雅黑.Consolas 字体
SICP 练习 1.13 的证明过程
add support for math formula
进制、负数和补码