Live4thee

五一长假何处去，烟波江上小狼愁。

提交毕业论文，办理入沪户籍申请从上周日开始一直忙了五天。奔波
劳累，签名填表差点搞得神经质了。

礼拜天论文交到文印室，一个细微的格式问题耗了好多时间，还好文
印室的美眉比较耐心，以至于我有点内疚，但她也把我的项目符号给
弄丢了，于是有25页重新打了一次。周一上午拿到论文，下午准备户
籍申请材料。晚上论文交给老板签字。

周二上午顺利而幸运地交掉了自己的论文，沈哥的被打回来，因为少
了几个老板的签名。为户籍材料而奔走于就业办和学院之间，下午拿
回材料。盖了几个红头章。

周三上午帮阿爽打印论文，下午拿到论文并找老板签字，之后沈哥的
顺利提交。学院说阿爽的少了开题报告，于是急忙让阿爽重发一份，
打印之。下午江哥、阿伦把我们的户籍申请EMS回公司。

周四找老板签开题报告，并为需要的三个专家签名而厚着脸皮去敲门。
然后某老师又说阿爽的开题报告已经有了，问我拿着一份新的是不是
要改题，我ft，昨天还吼偶说某人没开题报告。郁闷。老大上午来打
印论文，中午拿到顺便找老板签字。一起吃了午饭，下午一起提交论
文，然后去喝茶，终于可以休息一下。

学院的办事效率实在不敢恭维，许多流程无法用合理来形容。本着谅
解的心情，只有忍者，用笑脸回应老师的批评。互相谅解总是好的，
我体会到自己实习时老哥帮我跑腿的辛苦，也体会到老板赶来赶去为
我们签字的辛苦。于是我很乐意帮兄弟们办理论文提交，就我一人在
学校，我不入地狱，谁入地狱？

The contrast between function and procedure is a reflection of the
general distinction between describing properties of things and
describing how to do things, or, as it is sometimes referred to, the
distinction between declarative knowledge and imperative
knowledge. In mathematics we are usually concerned with declarative
(what is) descriptions, whereas in computer science we are usually
concerned with imperative (how to) descriptions.

– SICP, 1.1.7 Example: Square Roots by Newton’s Method

计算机出身的应该很少有人不知道灰鸽子为何物，这几天打印论文、
相关资料，优盘感染了文印室的病毒，进而感染了我的电脑。

病毒进程无法在任务管理器里终止，只有祭出冰刃，斩杀之。虽然病
毒库更新得很勤快，可还是没能拦截之，形同虚设，而下了个灰鸽子
专杀居然没查到病毒！莫非是新的变体？

偶然发现网络防火墙居然没有开启，这应该不是偶然。论文已经打印
出来，虽然Linux下招行/工行的网银都无法登录，但无论如何XP不久
将离开我的硬盘了。

换换脑筋，放下6.828，重拾6.001 - SICP。裘老翻译的中文版放在了老鄢那，于是只好读e文。虽然慢一点，还是很有趣的，就像读散文。曾计划把Linux相关的一堆书籍看完，后来一想，这些或许以后还会接触，至于SICP，恐怕机会很少了。

就像巫师的学徒，学着挥舞魔棒，指挥计算机里的精灵。