Category Archives: 假正经

题设：相邻两质数（>=5)，两数之间只能夹一个数，比如（5，7），（11，13），（17，19）。证明这两质数之和总能被6整除。 证明：自然数可以写成如下的形式：6n+0，6n+1，6n+2，6n+3，6n+4，6n+5，n >= 0。 可以写成6n+{0,2,4}这三种形式的数，除了2之外都是偶数，它们都不是质数，排除。6n+3可以被3整除，排除。2和3是质数，不过题设要求>=5，所以不予考虑。 这样剩下来的就只有6n+1和6n+5这两种形式。假设p1 = 6n+5，p2=6(n+1)+1，p1和p2符合题目要求：只有6(n+1)+0夹在两数之间。p1+p2 = 6(2n+2)，很明显可以被6整除。 得证。 注：上面例子里的p1和p2不一定是质数。满足条件的自然数都能用上面的方法求证，那么两质数也当然不能例外。

对，你没有看错，标题不是“仙人掌”，也不是“先人墓”（快清明了，应景），确确实实是“先人牛”。没听说过这种牛？接着往下面看。 今天早上刚开始工作不久，Megumi将问我了我一个问题：“C和C++的区别”。答案我当然知道，可是答案在这个时候其实并不重要，重要的是这个问题激发起了同学们讨论的热情，于是我们相当愉快地度过了一个上午。 午饭的时候，已经趋于平静的我们突然又说到了一本关于C的书，《The C Programming Language》。任何时候说到这本书都不可能不提到K&R 。什么是K&R ？Brian W. Kernighan和Dennis M. Ritchie 是也。可是我想说的K不是此K，而是彼K——Ken Thompson。 Ken和Dennis就是标题上的那个“先人”所指的对象了，不过他们现在都还活得好好的。这里有一张从Wikipedia扒下来的照片： 从这张照片你至少应该可以看出来一点：他们的长相不得了。恩，我同意这一点。 不过，除了长相以外，他们也确实是十分了不起的人！Ken（左）, Dennis（右）和Douglas McIlroy三人在1969年的时候写了最早版本的Unix（应该是纯汇编）！然后在1972年的时候，Dennis把C写了出来。于是，他们又一起用C把Unix重写了一遍（注）！ 在了解完了这段历史之后，我相当的感慨。那时候的他们什么都没有——没有现成的理论，没有好用的工具，一切都要自己动手从零开始。不过感觉那时候的人说要做个什么就能做个什么出来，好像一点不费劲似的。再看看现在，理论别人已经研究出来了，工具别人也做好了，我们做出来的东西却不像个样子了。举个例子对比一下：Ken和Dennis做的系统叫Unix，好东西；前段时间某个软件公司做的系统叫Windows Vista，那是个什么东西？ 好了，打住，引用一句Dennis关于Unix的语录： “UNIX is basically a simple operating system, but you have to be a genius to understand the simplicity.”– … Continue reading →

自从装上了老弟送的日立硬盘之后，台式机噪音的分贝大增。最可恶的是那噪音的音量并不恒定－－它时高时低忽大忽小，犹如某种周期性曲线，让人是在忍无可忍。 分析了一下，我发现噪音是这么产生的：由于我现在这块主板ASUS P5B只有一个IDE接口，所以我的第二块硬盘和光驱就必须挂在同一根数据线上。可是由于机箱结构，主板布局和数据线的问题，硬盘和光驱被连得相当紧，不管谁动一下都会扯着对方一起动。大家都知道硬盘光驱工作的时候都是全身在抖，一个家伙抖还可以接受，两个家伙一起抖的话，那动静就太大了。 在享受了一个星期的高噪环境之后，我是在忍不下去了。不就80G吗？再说不放在机箱里，我外接不也将就用吗？所以我今天下午觉起来之后就立马把那硬盘给拆了。 现在它在外接硬盘盒里，几乎感觉不到它在工作（我好像没插电源…）。 我还是喜欢安静一点的世界。 柳树不落叶

虽然世界上有一万多（虚指，表示很多，我也不知道数字是从哪里来的）WordPress主题，可是要选到一个适合自己的还是很不容易。东西多了容易看眼花，这个也好，那个也好，就是不知道选哪个才好。还有就是当你忽然觉得要对自己的blog负责，下决心要好好经营一番的时候，用别人做的主题总是感觉有些别扭（二手货？）。因此，很多人便走上了一条做design的不归路 … 所以我是很幸运的，今天没花什么功夫就找到了一款叫“疯啦” （fauna）的主题。颜色布局装饰各方面感觉都不错，与我理想中的主题很接近。可以设置的功能不是很多，不像K2那么妖怪，不过对付我这种虫应该也是没有问题的了。目前感觉不合适的地方就是默认字号显示中文稍微小了一点，改天看不下去了改改。 今天没去上课，腰疼。 柳树不落叶