2005年02月
也是目前能找到的最大质数：2^24036583-1。 这里有它的二进制表示，20多MB。Mersenne质数是形式为2^n-1的质数。一个叫做Lucas Lehmer Test的方法可以比较快地判定一个数是不是Mersenne质数。Chris Caldwell预测已知质数位数的对数和年份的增长成线性关系。每一对数单位的增长花费大概9年。也就是说，一个质数的位数每9年增长10倍（假设对数的底数是10）。这个关系简单优美（还有什么比线性关系更简单的？)，是不是意味着更深层的关系呢？不知道有没有什么统计理论可以解释这个现象。阅读全文>
发表于 @ 2005年02月27日 10:52:00|评论(loading...)|编辑
根据钱钟书先生的《论文人》胡改的。聊搏一笑，文责不负。
程序员是可嘉奖的，因为他虚心，知道上进，并不拿身分，并不安本分。真的，程序员对于自己，有时比旁人对于他还看得轻贱；他只恨自己是个程序员，并且不惜费话、费力、费时、费纸来证明他不愿意做程序员，不满意做程序员。在这个年头儿，这还算不得识时物的俊杰么？
所谓程序员也者，照理应该指一切写代码、维护代码、设计软件的人说。但是，在事实上，程序员一个名词的应用只限于为公司编写软件之类的作者，今人所谓“IT蓝领”、“写码猴子”、“一为程序员，便无前途”的就是。至于不事虚文，精通实学的系统管理员与架构师等专家，尽管也零零碎碎地写些程序，断乎不屑以无用程序员自居——虽然还够不上白领的资格。不以程序员自居呢，也许出于自知之明；因为屏幕上写代码，未必就算得程序。讲到有用，大概可分两种。第一种是废物利用，譬如牛粪可当柴烧，又象陶侃所谓竹头木屑皆有用。第二种是必需日用，譬如我们对于牙刷、毛厕之类，也大有王子猷看竹“不可一日无此君”之想。天下事物用途如此之多，偏有程序员们还顶着无用的徽号，对着&&, ||, if, else, while，自阅读全文>
发表于 @ 2005年02月27日 00:41:00|评论(loading...)|编辑
http://maps.google.com/, 还是Beta版。典型的Google风格。简单直观的界面，快得惊人的速度。方便的操作。和其它google服务一样，支持自然语言。比如说，要找从New York到Kansas的路，直接敲New York to Kansas就行了。地图可以用鼠标随意拖动。我们常用的键，PgUp, PgDn, +, －都能用来操作地图。没有Flash。JavaScript＋DHTML。Google最近推出的一系列服务，GMail, Google Suggest, 和Google Map，明显把Web UI的门槛提高了。JavaScript+DHTML+XMLHTTPRequest，让Web UI也能像传统UI那样实时和用户交互（好像中兴有个牛人去年也写了类似的东西），而且也支持丰富的鼠标操作。连我这个铁杆儿Server Guy都开始对Web UI感兴趣了。阅读全文>
发表于 @ 2005年02月09日 00:53:00|评论(loading...)|编辑
我把QQ的Tbrowser删掉了。QQ并没有报错或强行安装Tbrowser，而是自动把它的浏览器设置改成了我的缺省设置。这才叫体贴的说。和这一比，3721那帮孙子可以去上吊了。阅读全文>
发表于 @ 2005年02月06日 01:14:00|评论(loading...)|编辑
写了评论文章后，pingback就自动加在被评的文章上了。前段时间有人抱怨CSDN的Pingback不好用，现在CSDN就做了改进。从善如流，赞一下！
阅读全文>
发表于 @ 2005年02月06日 01:09:00|评论(loading...)|编辑
从afei的blog 看到的文章 谈谈我对攻读计算机研究生的看法[转自TIANYA\CSDN]，相当多的地方都是想当然地搞笑哈。随便点评一些（原文在【】内）：
【原文：所谓“有实际开发工作经验”是指你目前已经具备下列能力：1）你已经认为C++和汇编语言都是很简单的语言，并能够自如地运用；】
牛！一句话就让很多牛人现形了。 比如说 Alex Stepanov。他在1995年3月号的DDJ 访谈里说“(在开发泛型时)C++ is a complex language, so it is not always clear what a given construct means. Almost daily I called Andy or Bjarne to ask whether such-and-such was doable in C++ “。嗯，看来Alex不过是个缺乏开发经验的菜鸟。不对啊，连菜鸟都搞出了C++泛型，看来我们一把年纪都活到狗身上去了。Tony Goodhew在2000年Oreilly的访谈里说，“you can do everything in C++, 阅读全文>
发表于 @ 2005年02月06日 00:44:00|评论(loading...)|编辑
还忘了一条：学习理论能训练我们对直观想法的表述能力。形式化方法要求我们把直观的描述转换成严格的数学描述，或者把一种形式的语言转换为另一种形式的语言。有时一个想法的直观意义明显，但它的形式化描述却不容易。比如说，把非正则的语言{aibi | i > 0} 用Monadic Second Order Logic 表示为∃X ( X(min) ∧∀y∀z (S(y,z) => (X(y) !X(z))) ∧ !X(max))。与此类似，编程语言也是一种形式化的语言（最主要的特征：没有二义性，和严格受限的语素）。我们编程时也面临把心中想法转换成一行行程序的问题。至少对我来说，学习理论扩展了我对形式化语言的驾驭能力，让我相对轻松地把复杂的想法转化成精简的数学或算法语言描述。阅读全文>
发表于 @ 2005年02月05日 22:49:00|评论(loading...)|编辑
为什么要学CS理论呢？成天研究MSO＝MSO0一类的问题对一个程序员的职业发展到底有什么好处呢？知道Ranked Tree Automata和Unranked Tree Automata的互换又怎么样呢？ 不知不觉学习形式化方法一年多了，学了一大堆数理逻辑和自动机理论，可计算性和复杂性理论也多学了不少。 这些理论除了有趣，有没有什么实用的价值呢？我不过是一小小程序员，没有能力也没有打算在CS理论方面一展身手。既然这样，难道这一年多来在工作之余狂读论文不过是出于个人兴趣？我好像还没有那么纯洁吧？ 还好，随着学习的逐渐深入，我好像悟到了一些理论的现实意义：
1。学习理论能拓展我们总结一般规律的能力。一个优美的理论总能用很少的元素涵盖广泛的现象，包括理论产生时还没有出现的情况（实际上，合格的理论必须有预见能力）。比如虽然Lambda Calculus只有7条公理，但它的表达能力和图灵机等价。换句话说，实现了Lambda Calculus的编程语言（比如LISP)尽管句法简单，却能和基于图灵机的语言（比如C++)一样强大。而在程序设计方面，一个好的设计也应该能处理一般情况，而不是一堆特阅读全文>
发表于 @ 2005年02月04日 14:39:00|评论(loading...)|编辑