希腊神话一次次在地球上上演着。何时才能停止这些纷争?

posted @ 2012-01-02 02:05 YangNas 阅读(16) 评论(0) 编辑
哲学,就像一把鸟枪,往左打是科学,往右打是神学。
posted @ 2011-03-31 13:15 YangNas 阅读(26) 评论(0) 编辑

Monad就像个装数据的容器(黑盒子).

有两个基本的运算符:

1. 将容器里的东西倒出来 (操作符是 >>= )

2. 将东西再放回到容器里。(操作符是 return)

 

当初看Monad时被某几篇Paper给唬住了,留下了心理阴影。

posted @ 2011-01-31 21:41 YangNas 阅读(118) 评论(0) 编辑

 

    这是阿西莫夫在他的科幻史诗小说《基地》系列中对宇宙终极命运的回答,被美籍日裔物理学家加来道雄浓缩之后,放入他所著的《超越时空——通过平行宇宙、时间卷曲和第十维度的科学之旅》最后一章。每读一次都感动不已。

 

     故事发生在2061年。那时,巨型计算机已经通过设计太空中庞大的可以把太阳能发射回地球的太阳卫星,解决了地球的能量问题。模拟计算机非常巨大和先进,技术专家对它如何运行只有模糊概念。两个喝醉的技术专家用五美元打赌,问计算机,太阳最终的死亡是否可以避免,或就此而言,宇宙是否必然死亡。在静静地仔细思考了这个问题之后,模拟计算机回答道:数据不够充分,无法获得有意义的答案。

 

     此后数个世纪,模拟计算机解决了超空间旅行这一难题,人类开始移居数以千计的恒星系统。模拟计算机大得在每一颗行星上都占据数百平方英里的面积,它复杂得能进行自我维修和服务。一个年轻的家庭正借助模拟计算机的指引迅速穿越超空间,去新的恒星系统移居。当父亲因某种原因意识到这些恒星最终肯定会死亡时,孩子们变得歇斯底里起来。“不要让它们死。”孩子们恳求道。为了使孩子们平静下来,他问模拟计算机,熵是否可以逆转。父亲读着模拟计算机的反应,向孩子们担保:“看,它说没问题。”他安慰孩子们:“当那个时刻到来时,它会处理好一切的,不用担心。”他没有告诉孩子们,模拟计算机打印出来的结果是:数据不够充分,无法获得有意义的答案。

 

    数千年后,连星系也可移居。模拟计算机利用了星系的能量解决了不朽性难题,但是它必须找到新的星系供移居使用。模拟计算机非常复杂,等到有人弄明白它如何工作时,时间早就过去很久了。它不断重新设计和改进自己的电路。星系理事会的两个会员,每一个都有数百岁了,他们争论着寻找新的星系能源这样一个紧迫问题,并希望搞清宇宙本身是否正走向死亡。熵可以被逆转吗?他们问。模拟计算机的回答是:数据不够充分,无法获得有意义的答案。

 

     数百万年后,人类已经分散到宇宙的无数星系中。模拟计算机已经解决了使心智脱离躯体的最终问题。人的心智自由探索着数以百万计星系的广阔空间,而他们的躯体安全存放在一些被长久遗忘的行星上。两个心智在外层空间偶然相遇,它们想弄清在无数的星系中人类发源于何处。模拟计算机现在如此巨大,它的绝大部分不得不安放在超空间中。模拟计算机的回应是马上把它们传输到一个昏暗的星系上。它们很失望。这个星系像数以百万计的其他星系一样普通,而那颗原始的恒星已经死了很久。这两个心智都变得很忧虑,因为太空中数以十亿计的恒星都正在缓慢地迈向同样的命运。这两个心智问,宇宙本身的死亡可以避免吗?模拟计算机在超空间回答:数据不够充分,无法获得有意义的答案。

 

     数十亿年后,人类由万亿亿亿亿个不死的躯体组成,每一个躯体都与一台自动机相关。人类的集体心智凭自己的意愿自由漫游到宇宙任何地方,最终融合成单个心智,而这单个心智反过来又和模拟计算机融合在一起。问模拟计算机它由什么组成或它到底放在超空间的什么地方,都不再有意义了。“宇宙正奄奄一息,”人类共同认为。当恒星和星系一个一个停止生产能量时,整个宇宙的温度趋于绝对零度。人类绝望地问,寒冷和黑暗缓慢地吞噬星系是否意味着宇宙最终死亡。模拟计算机在超空间回答:数据不够充分,无法获得有意义的答案。

 

     当人类请模拟计算机收集必要的数据时,它做出响应:我正在做这件事。我已经做了一千亿年。我的祖先们已经就这个问题问过很多次了,但我所拥有的全部数据仍旧不充分。

 

     一段无始无终的时间过去了,宇宙终于抵达其终极死亡。在超空间中,模拟计算机永远在收集数据,沉思着最后的问题。最终,即使不再有人提问,模拟计算机还是发现了这个解。它细心编制了一个程序,然后开始了逆转“混沌”的过程。这过程收集冰冷的星际气体,使死星聚到一起,直到产生一个巨大的星球。

 

     当模拟计算机完成了这件事后,它在超空间大吼一声:让那里有光!

     于是就有了光——

     第七天,“他”安息了。

 

转载自: http://stupidyoyo.blogbus.com/logs/83777643.html

 

posted @ 2011-01-13 03:31 YangNas 阅读(164) 评论(0) 编辑

    最近在翻译一些英文技术文档,我发现每当我翻译到一个定语从句时总要思索半天这个句子该如何翻译,翻译难度陡然上升。我想很多搞过翻译的朋友都跟我有一些类似的经历吧。当深入分析两种语言句法的时候,我发现原来英语中的定语既可以放在被修饰词的前面(比如:a nice picture) ,也可以放在被修饰词的后面(比如:This novel, which I have read three times, is very touching.)。而在汉语中,定语却只能放在被修饰词的前面。

    这样,问题就来了。在科学或技术文档中有太多的专业名词,通常都比较难以形容,所以其定语往往比较长。如果是在英语中,这样很好解决——将定语独立成一个子句放在被修饰词的后面,也就是用定语从句的方式来表达。而如果是在汉语中,恰恰没有这种将定语放在被修饰词之后的文法。这样,我们就需要将要表述的事物分拆成两个独立的句子,或将定语提前来修饰这个事物。而分拆成两个句子之后,由于句子和句子之间的衔接不够紧密,往往导致我们将英语中的定语从句翻译成汉语后,语句的结构有了一些改变,从而导致最终翻译出来的文字要么是结构臃肿不便阅读(定语提前),要么是语句结构分散失去了原文的意味(分拆成两个独立的句子)。

    我想来想去又和网友沟通后发现,原来汉语的文法结构是有一定缺陷的,也就是没有从句的概念。汉语中的句子大多由一些短句子构成。短句子在口语中比长句子有一定优势,因为短句子比较短容易说而且能利用环境的优势来弥补语义上的不精确。

    综上,我觉得应该在现代汉语中引进一些类似于英语中定语从句那样的,有严格结构的长句子句法。虽然语法只是形式化的东西,但我觉得还是应该要有这样的结构。有了形式,才有内容嘛。

posted @ 2010-12-13 20:12 YangNas 阅读(79) 评论(0) 编辑
摘要: FIRST集的定义: 如果α是任意的文法符号串,则我们定义FIRST(α)是从α推导出的串的开始符号的终结符集合,即 FIRST(α)={a|α a… ,a是终结符}。如果α ε,则ε也属于FIRST(α)。 FOLLOW集的定义: 设A是一个非终结符,则定义FOLLOW(A)是包含所有在句型中紧跟在A后面的终结符a的集合,即FOLLOW(A)={a|S αAaβ , a是终结符}。注意,在推...阅读全文
posted @ 2010-11-20 22:54 YangNas 阅读(647) 评论(0) 编辑
摘要: 要求待消除的文法不含形如: 1. A –> … –> A (不含回路) 2. A –> ε (不含空产生式) 算法如下: 1. 以某种顺序将文法的非终结符排列A1,A2,…,An 2. for(i=1;i<=n;i++)     {         for(j=...阅读全文
posted @ 2010-11-20 14:46 YangNas 阅读(132) 评论(0) 编辑
摘要: 假设有产生式 X –> α ,它的翻译函数X为: X() { T(α) } 下表给出了每一种α的产生式形式,右栏给出了每种产生式对应的代码,即T(α)。   在给出表之前,先给出α的预测集D(α). 1. 如果 ,则D(α)=FIRST(α). 2. 反之,如果 ,则D(α)=(FIRST(α)-{ε})∪FOLLOW(X) 注意: 下表中的t为调用扫描器函数get...阅读全文
posted @ 2010-11-20 00:09 YangNas 阅读(62) 评论(0) 编辑
摘要: 1. 有二义性的文法(虽然考虑了运算符的结合性,但却忽略了优先级) expr -> expr + term | expr - term | expr * term | expr / term | term term -> NUMBER | ( expr ) 2. 有二义性的文法(虽然考虑了运算符的优先级,但却忽略了结合性) expr -> term + term | term - term | term term -> factor * factor | factor / factor | factor factor -> NUMBER | ( expr ) 3. 正确的但阅读全文
posted @ 2010-11-19 18:06 YangNas 阅读(74) 评论(0) 编辑
摘要: 推荐一个非常好的介绍红黑树的文章,地址如下:http://www.cs.princeton.edu/~rs/talks/LLRB/RedBlack.pdf这是红黑树的发明人对红黑树的描述,亮点是:以2-3-4树为引子来介绍,思路同CLRS完全不一样。在作者的描述中红和黑有了新的意义(相比CLRS)。个人觉得CLRS上红黑树的介绍部分非常混乱不堪,只给出了红黑满足的性质却不考虑这个树的由来,显的过于...阅读全文
posted @ 2010-10-10 05:35 YangNas 阅读(127) 评论(0) 编辑