摘要： 今天快递送来了喜马拉雅随车听，是我喜欢的红色，今天出门开车就可以听手机学英语了，期待中。。。 阅读全文

摘要： 裘老师退休后整理办公室书籍，把一些软件工程相关的书送给我，总共14本。其中绿色封皮的是:Using Z: Specification, Refinemeng and Proof, 作者是Jim Woodcock。最右边“数学巡礼”是裘老师的父亲翻译的一本数学科普书，送给我的女儿。另外，有两本是裘老师 阅读全文