负暄琐话

我的email: rot47('649@ 6(hF+`hd"w=92vhG{>}G3"@l M >:&a...

非常规思考

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

2005-02-27 12:18:00

阅读数 1958

评论数 1

第42个Mersenne质数找到了

也是目前能找到的最大质数:224036583-1。 这里有它的二进制表示,20多MB。Mersenne质数是形式为2^n-1的质数。一个叫做Lucas Lehmer Test的方法可以比较快地判定一个数是不是Mersenne质数。Chris Caldwell预测已知质数位数的对数和年份的增长成线性...

2005-02-27 10:52:00

阅读数 2179

评论数 2

论程序员

根据钱钟书先生的《论文人》胡改的。聊搏一笑,文责不负。程序员是可嘉奖的,因为他虚心,知道上进,并不拿身分,并不安本分。真的,程序员对于自己,有时比旁人对于他还看得轻贱;他只恨自己是个程序员,并且不惜费话、费力、费时、费纸来证明他不愿意做程序员。不满意做程序员,在这个年头儿,这还算不得识时物的俊杰么...

2005-02-27 00:41:00

阅读数 2824

评论数 1

Google又推出了新服务, Google Map

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

2005-02-09 00:53:00

阅读数 1878

评论数 0

发现QQ一个体贴的地方

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

2005-02-06 01:14:00

阅读数 1914

评论数 1

才发现CSDN把pingback自动化了

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

2005-02-06 01:09:00

阅读数 1680

评论数 0

评论一篇搞笑文章

从afei的blog 看到的文章 谈谈我对攻读计算机研究生的看法[转自TIANYA/CSDN],相当多的地方都是想当然地搞笑哈。随便点评一些(原文在【】内): 【原文:所谓“有实际开发工作经验”是指你目前已经具备下列能力:1)你已经认为C++和汇编语言都是很简单的语言,并能够自如地运用;】牛!一句...

2005-02-06 00:44:00

阅读数 3647

评论数 6

补充:学习理论的意义

还忘了一条:学习理论能训练我们对直观想法的表述能力。形式化方法要求我们把直观的描述转换成严格的数学描述,或者把一种形式的语言转换为另一种形式的语言。有时一个想法的直观意义明显,但它的形式化描述却不容易。比如说,把非正则的语言{aibi | i > 0} 用Monadic Second Ord...

2005-02-05 22:49:00

阅读数 10749

评论数 1

学习理论的实用意义

为什么要学CS理论呢?成天研究MSO=MSO0一类的问题对一个程序员的职业发展到底有什么好处呢?知道Ranked Tree Automata和Unranked Tree Automata的互换又怎么样呢? 不知不觉学习形式化方法一年多了,学了一大堆数理逻辑和自动机理论,可计算性和复杂性理论也多学了...

2005-02-04 14:39:00

阅读数 12808

评论数 4

提示
确定要删除当前文章?
取消 删除
关闭
关闭