2005年02月_g9yuayon

原创非常规思考

最后一个框里应该放什么才符合逻辑？

2005-02-27 12:18:00 2075

原创第42个Mersenne质数找到了

也是目前能找到的最大质数：224036583-1。这里有它的二进制表示，20多MB。Mersenne质数是形式为2^n-1的质数。一个叫做Lucas Lehmer Test的方法可以比较快地判定一个数是不是Mersenne质数。Chris Caldwell预测已知质数位数的对数和年份的增长成线性关系。每一对数单位的增长花费大概9年。也就是说，一个质数的位数每9年增长10倍（假设对数的底数是10）

2005-02-27 10:52:00 2448 2

原创论程序员

根据钱钟书先生的《论文人》胡改的。聊搏一笑，文责不负。程序员是可嘉奖的，因为他虚心，知道上进，并不拿身分，并不安本分。真的，程序员对于自己，有时比旁人对于他还看得轻贱；他只恨自己是个程序员，并且不惜费话、费力、费时、费纸来证明他不愿意做程序员。不满意做程序员，在这个年头儿，这还算不得识时物的俊杰么？所谓程序员也者，照理应该指一切写代码、维护代码、设计软件的人说。但是，在事实上，程序员一个名词的应

2005-02-27 00:41:00 3278 1

http://maps.google.com/, 还是Beta版。典型的Google风格。简单直观的界面，快得惊人的速度。方便的操作。和其它google服务一样，支持自然语言。比如说，要找从New York到Kansas的路，直接敲New York to Kansas就行了。地图可以用鼠标随意拖动。我们常用的键，PgUp, PgDn, +, －都能用来操作地图。没有Flash。JavaScript

2005-02-09 00:53:00 1992

原创发现QQ一个体贴的地方

我把QQ的Tbrowser删掉了。QQ并没有报错或强行安装Tbrowser，而是自动把它的浏览器设置改成了我的缺省设置。这才叫体贴的说。和这一比，3721那帮孙子可以去上吊了。

2005-02-06 01:14:00 2065

原创才发现CSDN把pingback自动化了

写了评论文章后，pingback就自动加在被评的文章上了。前段时间有人抱怨CSDN的Pingback不好用，现在CSDN就做了改进。从善如流，赞一下！

2005-02-06 01:09:00 1837

原创评论一篇搞笑文章

从afei的blog 看到的文章谈谈我对攻读计算机研究生的看法[转自TIANYA/CSDN]，相当多的地方都是想当然地搞笑哈。随便点评一些（原文在【】内）：【原文：所谓“有实际开发工作经验”是指你目前已经具备下列能力：1）你已经认为C++和汇编语言都是很简单的语言，并能够自如地运用；】牛！一句话就让很多牛人现形了。比如说 Alex Stepanov。他在1995年3月号的DDJ 访谈里说“(

2005-02-06 00:44:00 4307 6

原创补充：学习理论的意义

还忘了一条：学习理论能训练我们对直观想法的表述能力。形式化方法要求我们把直观的描述转换成严格的数学描述，或者把一种形式的语言转换为另一种形式的语言。有时一个想法的直观意义明显，但它的形式化描述却不容易。比如说，把非正则的语言{aibi | i > 0} 用Monadic Second Order Logic 表示为∃X ( X(min) ∧∀y∀z (S(y,z) => (X(y) !X(z))

2005-02-05 22:49:00 11721 1

原创学习理论的实用意义

为什么要学CS理论呢？成天研究MSO＝MSO0一类的问题对一个程序员的职业发展到底有什么好处呢？知道Ranked Tree Automata和Unranked Tree Automata的互换又怎么样呢？不知不觉学习形式化方法一年多了，学了一大堆数理逻辑和自动机理论，可计算性和复杂性理论也多学了不少。这些理论除了有趣，有没有什么实用的价值呢？我不过是一小小程序员，没有能力也没有打算在CS理论方

2005-02-04 14:39:00 15342 4

负暄琐话