atppp’s Blog

手头有一本 1979 年修订的新华字典，偶然翻到“黑”字，是这么解释的：

黑：煤或墨那样的颜色，跟‘白’相反。

继续查：

煤：黑色矿物。
墨：黑色颜料。

循环定义了……还好还有“白”字可以查：

白：雪或乳汁那样的颜色。
雪：白色结晶体。
乳：白色奶汁。

又循环了……其实这种循环在字典里很常见，不过可以肯定的是如果外星人光捡到一本新华字典是做不出外星语和中文的翻译机的，bootstrap 需要依赖别的手段。

看古时候的字典是一件很有意思的事情。比方那时候的解释：

股份：旧指集合资金的一份。
嫖：旧社会中玩弄妓女的腐化堕落行为。

对比现在的新华字典，“旧指”、“旧社会”等词已经去掉，后面的解释并没有多大变化。

Geotagging，一般指给数字化的内容打上地理信息标签，常见的一种形式就是给数码相片加经纬度信息（JPEG 的 GPS tag 属于 EXIF 标准的一部分，不过 GPS tag 在数据结构上和 EXIF 头是并列的关系，嗯……不深究无聊的细节问题了）。现在比较高级的相机都带 GPS 或者 GPS 接口了，对于没有 GPS 功能的相机，一张一张加 geotag 是不可能的，所以一般的做法是随身另带一个 GPS 记录位置/时间（GPS tracklog），然后回家之后把 GPS tracklog 和相片自动同步（两者都带有时间信息）打上 geotag。相机的时间需要预先对准，不过后期也可以用软件调，有些人的做法是对着 GPS 接收器拍一张照片用作后期处理时计算相机和 GPS 的时间差。

前几天出去玩带的是一个 WAAS-enabled GPS，最好的地方显示 5.5 feet（1.7 米）的精度，不过回来把 GPS tracklog 放到卫星图上看貌似有 4 米左右的误差，不知道是卫星图定位有问题还是我这个 GPS 说大话了……后期软件是土鳖的免费的 EasyGPS 和 PhotoMapper，同类软件貌似还有很多。把 GPS tracklog 和同步后的照片缩略图放进 Google Earth 的效果图见上。听说还有人在 GPS tag 里加入照相机朝向的信息（有些 GPS 带电子罗盘，所以这也可以自动同步），真是 geek 到家了。不过给照片加上这么精确的位置信息有什么用呢？似乎也没有什么大用，对我来说就是因为实在太容易搞，所以不搞白不搞。Geotag 的概念倒是不错，有名的旅游景点在 Google Earth 里都有很多网友上传照片，所以无聊的时候可以在里面环游世界（我的虚拟阳光宅男形象呈现出来了……）。

做一个花粉过敏后陷入死循环的人，日子真苦！

花粉过敏，hay fever，主要是由于空气里漂浮的花粉进入人体后，人体免疫系统排异反应过度所致。典型症状有：打喷嚏，流鼻涕，眼睛瘙痒等。

/**********

附送另一类死循环：

发信人: sls (cadillac), 信区: Joke
标  题: 同事死循环了
发信站: 水木社区 (Fri Mar 21 14:24:31 2008), 站内

去卫生间洗手，听见水龙头放水的声音就有xuxu的意思了，xuxu完又去洗手…

**********/

另外，hutuworm 同学发给我看 Twenty-Five Moves Suffice for Rubik’s Cube，解魔方最多只要 25 步（作者还号称正在研究 24 步是否可能）！这个结果太新了，不知道正确与否，不过最多只要 26 步是去年 ISSAC 大会上的报告，应该是靠铺的……还有，世界各地经常有各类奇奇怪怪的魔方比赛，牛人平均 11 秒就能搞出六面，想来我从小到大只能搞一面的，实在是太土了（不过两年前学了一套规则，现在勉强能按秘籍搞定六面）。

Knuth 在 1984 年发过一片研究厕纸问题的论文（The Toilet Paper Problem，后收入 Selected Papers on the Analysis of Algorithms）。在很多卫生间都可以看到如右图所示的双卷卫生纸架，以防一卷用完时出现尴尬情景。Knuth 研究的问题就是一卷用完时另一卷平均还剩几张的问题。他论文里写道：世界上有两种人，喜欢从大卷里用纸的和喜欢从小卷里用纸的；但是无论是谁，如果碰到两卷都用完了，那就有麻烦了！（很多人都说 Knuth 是因为自己碰到过这个事情所以才写了这篇文章）。Knuth 在 Mathematical Writing 第 31 页 15. Excerpts from class, October 30 提到发表这个论文时遇到的麻烦。杂志编辑对这个图灵奖得主的论文评价是“在我们杂志上讲笑话是危险的！”。Knuth 最后同意修改有粪便学双关含义的论文章节标题，但是论文题目死活不肯改了，因为 Knuth 号称已经用这个题目做过两次演讲。最后编辑只好说：Your toilet paper is accepted！

Knuth 推导出的结果如上图所示（憎恨数学者请跳过此段） 。n 是厕纸初始张数（张的含义是单个人 D.B. 后使用的厕纸数量），p 是大卷厕纸爱好者的比例，M_n(p) 为一卷用完时另一卷剩余的张数。结果很符合逻辑：如果 p 很小，大部分人都用小卷厕纸，最后剩下的一卷肯定很大；而大卷厕纸爱好者一旦占优（p > 50%），则最后很有可能出现两卷厕纸差不多一起用完的情形（M_n(p) 极小）。一个细节问题是这篇论文里面的 Catalan 数定义略有不同，论文里的 C_i 是通常定义下的 C_i-1。

Knuth 推导出公式之后感叹：When a formula turns out to be so simple, it must have a simple explanation. But the author hasn’t been able to think of any direct proof.（统计学里常见，很多时候确实可以找到简单方法）Knuth 一直很追求简单性，写 TAOCP 里很多算法都要斟酌词汇找到最有效的表达方法，不过在厕纸问题上却碰了个钉子，于是直接把郁闷的心情写进了论文。Knuth 在厕纸问题论文最后感谢：I wish to thank the architect of the computer science building at Stanford University for implicitly suggesting the problem… 大牛是不是都喜欢搞笑，想起诺贝尔物理学奖得主 Ramsey 大师在巨著 Molecular Beams 的参考书目里有一条是这样的：RAM50e N. F. Ramsey, private communications and lectures (1950)。囧，private communication 一般表示和别的大牛私人通信，他居然自己和自己私人通信……

Knuth 更多八卦可以看收入水木精华区的 helloooo 的文章。Knuth 中文名字是高德纳，我们一般叫他高老头，高老头非常可爱，几个月会出来讲个学（Computer Musings 有视频）。

上面这俩是啥？是新的厕纸设备，只有使用完第一卷时才能使用第二卷（图片来源）。这么看来，Knuth 那篇论文完全是在自娱自乐，有统计学上的价值却不能解决实际问题。现在新厕所都用上面这类新装置了，（啊，我终于回到我写这篇文章的起因了）不过上个月我上厕所，发现两卷居然都被人用光了！看来这种新装置也不靠铺。当时我身上一没手机二没女朋友照片三没人民币，连选择的条件都没有，只好等有老大爷进来求他给我送点纸。更奇怪的是，过去了两天居然还没有人装上新厕纸，资本主义的效率是不是就是这么低啊？看来我碰到的恐怕不是什么小概率事件，而是清洁工罢工了……

说到资本主义的低效率，我住的公寓楼地下室的垃圾箱要维护，这一维护，居然就维护了三个多月，搞得垃圾通道完全停用，门口的临时垃圾箱一到周末就会满出来。据说他们把垃圾箱拆开了才发现少零件……零件来了每天叮叮咚咚敲一会儿就收工了，晕啊，修个垃圾桶就能修三个月，这就是资本主义！

这篇文章思维好跳跃，我最近逻辑有点乱……

某人说，Blog 再不更新就长草了。我常常和某人说，Blog 就是有事写点，没事不用写。或者反过来也可以，有事忙了就不写，没事空了就写点。Blog 不是为了别人而写的，更不是为了留言和访问量而写的，Blog 是为了促进自己思考而写的。

这么一篇空洞无意义的文章实在是很浪费大家时间，于是我贴一张图吧。这是上周末在我阳台上拍的，定时每分钟一张，一共 29 张照片合成，动画速度是真实速度的一千倍。短短半个小时云行千里，请大家珍惜生命，远离博客，去看看大自然，哈哈。

技术信息：相机 Canon A570IS，使用 CHDK 脚本定时拍摄。土鳖低端相机也能用 Intervalometer，呵呵呵。

换夏令时啦！丢了一个小时。每年都要调两次时间，每次调时间，都会出点事。

（标题引自 chen3feng 留言）最早认识到夏令时的邪恶是多年前改夏令时那天我刚好赶早班飞机，人还在外地完全没想起来要调时间，幸好我临睡前突然想起来，需要再提早一个小时出发，后来到机场的时候只剩 20 分钟就起飞了，真是后怕……

早期不知道是 samba 还是 windows 有问题，总之调时间以后两边看共享目录的时间会差一小时。有一次我几 TB 的数据被自动重新同步了一次，真衰。

有人在 crontab 里放了两点半执行的命令，结果调夏令时那天事务流程完全乱掉…… crontab man page 专门在 BUGS 一节指出：

If you are in one of the 70-odd countries that observe Daylight Savings Time, jobs scheduled during the rollback or advance will be affected. In general, it is not a good idea to schedule jobs during this period.

因为有了一些教训，有同事写程序开始用 UTC 时间，这样就不会受到本地时间调整的影响。去年不知道哪个土鳖提出来把调夏令时的日子提前一个月，各类操作系统都需要更新过才能正确调整夏令时。有位同学没更新操作系统，看时间不对就直接把电脑时钟拨快了一个小时，结果反而那些先进的用 UTC 时间的程序出错了（因为没有调整时区，所以电脑的 UTC 时间就错了）……

sigh，到底是用本地时间，还是 UTC 时间写程序？

为什么要执行夏令时？？不是说夏令时不省能源反而费吗？？？

下面这个材料转载自 Guide to LaTeX（第四版 146 页 7.5.1 节）。如果你直接看第三列，可能会觉得有点别扭，但又不一定说的上来哪里别扭；事实上，别扭的是有些符号之间的水平间距不理想。而第二列则是微调过水平间距的，看起来比第三列好看一些。熟悉 LaTeX 的可以仔细看第一列里相应的水平间距微调命令（这材料很有名，很多 LaTeX 书里都有，如果你看见过不要说我 TOOOOOLD！）。举例来说，第一行根号 2 和后面那个 x 之间需要稍微有点空隙；如果不留空隙（如第三列所示） ，看起来就比较难看。

如果你没觉得第二列比第三列好看，甚至没看出来两列有什么不一样，这很正常，不要觉得自己有问题！即便是每年成千上万屁挨着地用 LaTeX 生产出来的博士论文里，也只有极少数专门美化了这个水平间距问题，而这里面德国人占了大多数。为什么德国人这么注重形式？我也不知道，可能和他们民族严谨的作风有关。事实上，上面那本葵花宝典 Guide to LaTeX 的作者 Helmut Kopka 和 Patrick W. Daly 就是俩德国人。

说起德国人的严谨，我倒也认识一位严谨的德国物理学家。他光是让别人设计个 FPGA，就要专门写一个 RFC。这可不是拿 RFC 做个标题而已，而是严格按照标准 RFC 格式和风格书写，并且写完了那个 XHTML Strict 文档他还专门去 W3C 通过了验证。他把这个 RFC 发给同事们，结果半个月过去还没有人理他。于是他召集开会，说我老早就 request for comments，你们怎么一点 comments 都没有？你想啊，这么一群笨蛋物理学家，有谁会知道他电子邮件标题里的缩写 RFC 就是要 comments 的意思啊。

该德国仁兄给实验组建了一个内部 wiki，服务器装的是 Debian。在那个 wiki 的某个小角落里，他写了一大段使用 Debian 的理由，其中的废话包括：我最爱 Debian；Debian stable 很 stable；我装的，当然我选！等等……是因为有人和他争论哪个 Linux 发行版好的无聊问题么？不，事实上，整个实验组只有他一个人懂 Linux……

是严谨？还是形式主义呢？

学校某个楼电梯里贴的讲座预告被人画了个猪头，于是系里发电子邮件通报批评，大意如下：

海报是非常严肃的！

乱涂乱画可不是闹着玩的！！

这是对演讲者的侮辱！！！

演讲者要是看到了会觉得很尴尬！！！！

每一张海报都凝结着心血！！！！！

制作海报的小蜜很生气，后果很严重！！！！！！