一介扯夫

Comments (0)

五一

长假没了，大星期也不错。睡个好觉，到近郊走走，舒心惬意。不要长途跋涉了－－玩，有时候很累的。

昨天得知两位天才同学在1964那年的五一，成功地运行了第一个Basic程序。从此计算机语言走下神坛，飞进平常百姓家！

下面是这两位同学的靓照：

John G. Kemeny (left) and Thomas E. Kurtz made a truly Basic contribution to computer science in 1964.
Courtesy Dartmouth Library

想到当年参加“奥计”（计算机奥林匹克，全国青少年信息学奥林匹克）复赛的时候，我居然不知道Basic里Sub为何物 …

特此纪念。

柳树不落叶

Comments (0)

一道数学证明题

题设：相邻两质数（>=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不一定是质数。满足条件的自然数都能用上面的方法求证，那么两质数也当然不能例外。

Comments (0)

先人牛

对，你没有看错，标题不是“仙人掌”，也不是“先人墓”（快清明了，应景），确确实实是“先人牛”。没听说过这种牛？接着往下面看。

今天早上刚开始工作不久，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.”
– Dennis Ritchie

所以，这篇文章的标题不能连着读，连着读就不知所云了，要这么读：先人，牛！

柳树不落叶

注：传说是这样的，不过我认为Unix和C应该是同时一起发展的。因为从它们的发展痕迹来看，C在当时更像是为Unix服务的一个工具。当工具在一定程度上已经够用的情况下，正式的工程就可以开始了。在工程展开得同时我们对工具不断进行修改和优化以满足工作的需要。这样，当正式工程完成之后，我们用的工具也基本上完成了。之后需要对工具做的工作就是把它一般化，使它面向更加普遍的问题，而不光是我们自己的问题。当这最后一阶段的修改完成之后，我们可以说这个工具是general purpose的，公开发布给大众使用了。

Comments (0)

终于忍不住动手了

自从装上了老弟送的日立硬盘之后，台式机噪音的分贝大增。最可恶的是那噪音的音量并不恒定－－它时高时低忽大忽小，犹如某种周期性曲线，让人是在忍无可忍。

分析了一下，我发现噪音是这么产生的：由于我现在这块主板ASUS P5B只有一个IDE接口，所以我的第二块硬盘和光驱就必须挂在同一根数据线上。可是由于机箱结构，主板布局和数据线的问题，硬盘和光驱被连得相当紧，不管谁动一下都会扯着对方一起动。大家都知道硬盘光驱工作的时候都是全身在抖，一个家伙抖还可以接受，两个家伙一起抖的话，那动静就太大了。

在享受了一个星期的高噪环境之后，我是在忍不下去了。不就80G吗？再说不放在机箱里，我外接不也将就用吗？所以我今天下午觉起来之后就立马把那硬盘给拆了。

现在它在外接硬盘盒里，几乎感觉不到它在工作（我好像没插电源…）。

我还是喜欢安静一点的世界。

柳树不落叶

Comments (0)

疯啦，这个主题还可以

虽然世界上有一万多（虚指，表示很多，我也不知道数字是从哪里来的）Wordpress主题，可是要选到一个适合自己的还是很不容易。东西多了容易看眼花，这个也好，那个也好，就是不知道选哪个才好。还有就是当你忽然觉得要对自己的blog负责，下决心要好好经营一番的时候，用别人做的主题总是感觉有些别扭（二手货？）。因此，很多人便走上了一条做design的不归路 …

所以我是很幸运的，今天没花什么功夫就找到了一款叫“疯啦” （fauna）的主题。颜色布局装饰各方面感觉都不错，与我理想中的主题很接近。可以设置的功能不是很多，不像K2那么妖怪，不过对付我这种虫应该也是没有问题的了。目前感觉不合适的地方就是默认字号显示中文稍微小了一点，改天看不下去了改改。

今天没去上课，腰疼。

柳树不落叶

Comments (0)

Hello world!

Hello啊everyone，扯夫要回归网络为世界继续创造内容（垃圾？？？）了！ 本科最后一年了嘛，需要留下点什么才对得起这已经快看不见了的青春年华。

昨天发现方哥方文山的生日是1月26号，我是1月25号。按照星座五行命理里面普遍的解释来说，既然我们生日接近，他在文字上颇有造诣，那我应该在文字上很有才华才对！

恩，所以我很有信心了。

柳树不落叶