负暄琐话

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

祥林嫂精神恍惚痛苦呼唤之关于Suffix Tree

CSDN的大大们啊,行行好啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz在pongba的讨论组上看到一道Amazon的面试题:找出给定字符串里的最长回文。例子:输入XMADAMYX。则输出MADAM。这道题的流行解法是用后缀树(Suf...

2008-06-21 19:02:00

阅读数 156186

评论数 15

八卦一下模型验证(三)

 CSDN的大大们啊,求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz准备八卦Edmund等人算法时才想起,人1986年成名作是讨论用CTL (Computational Tree Logic) 作规范语言的模型验证算法,而第...

2008-06-14 15:58:00

阅读数 125729

评论数 8

采访Joe Armstrong的podcast

早上上班,听Software Engineering Radio对Joe Armstrong的访谈。Software Engineering Radio办得真不错。请来业界风云人物娱乐大众。访谈前主持人做了功课,提的问题颇为有趣,引得被采访着侃侃而谈。上期对Galen Hunt的访谈也挺精彩,把S...

2008-03-21 02:03:00

阅读数 22292

评论数 6

八卦一下模型检验(二)

接着八卦前先回答老大们直指灵魂的问题。不就是系统状态遍历的问题么?干嘛非得用什么时序逻辑、模型一类的形式化手段啊?搞得比陈凯歌还深沉。做人不能这么无耻不是?找个真正的程序员,放出手里的蝴蝶不就搞定了?嗯,很多程序的确可以靠程序达人强大的自觉和天才的排错能力搞定。问题是,模型检验的对象是高并发复杂系...

2008-03-18 10:34:00

阅读数 16184

评论数 13

八卦一下模型验证(一)

先穿渔网袜从珠穆朗玛峰上滚下来哭求CSDN的大大们看一下CSDN博客插件不能自动上传图片和排版的问题。人肉上传图片和排版真地很痛苦呐! 2007图灵奖和模型检验不知道长达半年的疯狂加班是否损害了自己的心理健康。回顾过去几个月,似乎除了工作嘛都没干。人仿佛颓了,觉得时光了无意义地飞逝,过去半年的泰半...

2008-03-03 11:00:00

阅读数 17972

评论数 9

编程范式的示意图

 从LtU上看到的。这张图根据CTM的思路,勾画了不同编程范式的特性和联系。方框代表某种编程范式。箭头边的黑体字表示箭头上方编程范式的代表性语言。以“+”为前缀的斜体小字是一种编程范式过渡到另一种编程范式需要的语言特性。CTM从阳春版的核心语言(kernel language)开始,逐步解释语言不...

2007-08-20 23:10:00

阅读数 7497

评论数 3

Lisp for Small Prices

 通过programming reddit,从这里看到的。Amazon.ca果然发飙了,软皮本才3.95加元。对比一下amazon.com上同样的书,50美元。怪不得冲到amazon.ca排行榜的第二。顺便扫了一眼排行榜,看到那本龌龊的The Secret居然排名第7,和amazon.com上一样...

2007-08-09 07:55:00

阅读数 7201

评论数 5

那就推荐一本消遣书吧

上学最宝贵的收获之一是结交学识过人的朋友。自己闷头学得山穷水尽时,高手轻轻一句点拨,眼前便峰回路转,柳暗花明。每次上完课,有幸和朋友小聚,请教弱智问题,听朋友妙语解惑,实在是难得的人生乐事。读The Little Schemer,也有同样的感受。读The Little Schemer的过程,就是被...

2007-07-27 15:01:00

阅读数 17365

评论数 8

关于C++ 0x 里垃圾收集器的讲座

好像最近C++标准地下工会在公司附近开会,所以我们上班时偶尔可以看到工会成员矫健的身影。我们也近水楼台,得以听到关于C++0x进展的一些科普报告。上次Bjarne Stroustrup做了关于泛型编程的讲座后,Symantec实验室的Michael Spertus也做了一个关于C++ 0x里垃圾收...

2007-07-23 11:56:00

阅读数 12325

评论数 9

做习题的境界

就是把习题当成项目来做。十年寒窗。半世煎熬。习题做完,世界随之改变。例子:A = B这本200来页的书(免费下载。作者是好心银啊),解决了《编程的艺术》上一道难度系数为50的习题:自动化多维几何级数的求和。如果有封闭解,则自动找到该解。不然自动证明无解。这好比20年前Wolfman的Mathema...

2007-07-14 00:52:00

阅读数 12283

评论数 3

与Scheme共舞

 发表在《程序员》2007年7月刊上。不log上写帖子不用考虑版面限制,所以这里的帖子比发表的啰嗦点。赵健平编辑,Jacky,和刘未鹏都给了我很多帮助,在这里一并谢了。免费的Scheme实现很多。我用的是PLT Scheme,可以到这里下载。PLT Scheme的IDE(Dr. Scheme)支持...

2007-07-03 13:49:00

阅读数 47192

评论数 20

贝叶斯理论

为什么大家一放假(还不是我放), 俺就跟打了鸡血一样兴奋,拼命灌水嗫?Coding Horror(这哥们儿惊人高产,估计每天直接向血管注射Espresso)的新帖子科普了一把贝叶斯理论和Markov链。这两年机器学习的成功应用越来越多,人们对它的依赖也越来越重。毕竟现在信息太多,而我们真正需要的是...

2007-05-02 01:13:00

阅读数 9888

评论数 11

翠花儿,上代码

上篇帖子里聊到Sussman认为构造出健壮软件需要我们的系统支持continuation, 回溯,和生成-测试的方法。生成-测试最直观简单的方式是为系统提供多项结果。系统一个一个地测试这些结果,并接受符合要求的一个。Sussman举了一个例子:平方根函数通常返回正根,而抛弃那个负根。那按照生成-测...

2007-04-23 14:00:00

阅读数 8496

评论数 9

牛人的好文章

什么是牛人灌水的榜样?看看这篇Peter Norvig在飞机上写的灌水文章就知道了。20行Python代码,直观应用贝叶斯定理,一个阳春版的Google拼写纠错就出来了。80%到90%的准确率。当然,当然,单词的模型也是一个大头,不过这不影响这篇文章的价值。作者反复强调建立对问题的直观理解也值得注...

2007-04-10 12:23:00

阅读数 8307

评论数 1

排列组合算法1:生成全部有序列b

对推导不感兴趣的老大们可以通过搜索”def”直接跳到代码实现部分。不过有闲心还是瞧瞧推导过程的好。我们可以看见好的算法并非无迹可寻,完全依赖某位大牛的灵光闪现,而是通过观察、归纳、试验、迭代改进,逐步雕琢而成。另外,我们时常感叹,要是有时间学习算法就好了。要是有时间仔细读读TAOCP就好了。其实呢...

2007-04-10 04:16:00

阅读数 10119

评论数 1

计算机科学经典论文

从Jao的Programming Musing 看到的:Babar Kazar 整理了一堆经典论文。Jao强烈建议每个严肃的程序员读每篇论文,说它们都或多或少有意思。粗粗扫了一下,很多论文都没读过。挑了些俺多少知道一点的介绍。· An axiomatic basis for computer pr...

2007-02-23 04:25:00

阅读数 41339

评论数 6

Lambda算子5b:How of Y

Lambda算子5b:How of Y  其实是这篇文章的意译。有些东西省了。添了点私货。就有了下面的帖子。虽然Y相当神奇。对它的推导也不完全是天外飞仙般无迹可寻。基本上我们为了解决让没有名字的函数能自我引用,一步一步抽象出了Y。所以知道Y的推导过程对我们程序员还是很有意义的:毕竟编程的过程也是抽...

2006-09-24 14:28:00

阅读数 14485

评论数 9

新的免费CS理论书籍

普林斯顿两个教授把一本关于计算复杂性理论的教材初稿放到网上了。很多人学习复杂度理论时用伯克力牛人Papadimitriou的那本经典教材。P老大那本教材写于1993年。13年过去,复杂性理论的进展还是非常显著的。显著到我这个外行都知道一些。从目录看。这本新书和P老大的经典覆盖的基础部分都差不多,但...

2006-09-18 07:59:00

阅读数 8848

评论数 0

lamdba算子4:布尔值和选择

Lambda算子里的布尔值和选择原文在这里。既然Lambda算子里有了数的概念,我们想进行任意的计算就只需要两件东西了:怎么表示选择,和怎么表达重复操作。我们先聊聊怎么表示布尔值(也就是非真即假的二元集合)和选择,然后再讨论重复和递归(友情预告:人见人爱的Y Combinator终于可以出场了)。...

2006-08-27 08:55:00

阅读数 7038

评论数 4

lambda算子3:阿隆佐.丘齐(Alonzo Church)的天才

lambda算子3阿隆佐.丘齐(Alonzo Church)的天才:Lambda算子里的数前面建立了lambda运算的基本规则,就可以用lambda算子做点有意思的东西了。开始前为方便计,我们先来点语法糖花差花差,用来命名函数。这些语法糖可以让复杂的公式好写一点。我们用"let"...

2006-08-14 14:47:00

阅读数 6634

评论数 3

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