海归论坛 :: 阅读跟帖 - 你这么喜欢讨论，那么我再给你丢几块砖头吧！

会员列表
收藏夹
论坛帮助

论坛首页 | 排行榜 | 在线私聊 | 专题 | 版规 | 搜索 | RSS | 注册 | 活动日历


主题: rationese语言----计算机语言的终结者，新文明的开端

海归论坛首页 -> 海归商务 -> 项目找投资与合作焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙

分屏

表形显示

阅读上一个主题 :: 阅读下一个主题

作者

rationese语言----计算机语言的终结者，新文明的开端

所跟贴

唉，终于来了。 -- uda1341 - (1898 Byte) 2010-12-18 周六, 01:26 (749 reads)

Sarakawa

头衔: 海归准将
声望: 教授

加入时间: 2006/04/07
文章: 797

海归分: 134579

标题: 你这么喜欢讨论，那么我再给你丢几块砖头吧！ (648 reads) 时间: 2010-12-18 周六, 02:13

作者：Sarakawa 在项目找投资与合作发贴, 来自【海归网】 http://www.haiguinet.com

你的解释还是不够清楚，疑点重重啊。看下面这句：

“也许你会觉得记录所有历史状态代价过高，但有一种方法可以让这种代价几乎降为0，因为对于一段代码，如果你给定确定的输入，那么它在未来任何时候的状态，都是可以计算出来的，这也是语义分析的应用。 ”

怎么让记录历史状态的代价几乎降为零？你的解释是：给定确定的输入，它在未来的状态是可以计算出来的，这么说没错！但是我觉得代价却不太可能为零，相反可能很高。因为你必须记录每一历史瞬间的输入吧？然后还得耗费资源在根据这些记录来计算某个时点的状态上吧？这个代价可不小啊！尤其是当你的语言正式被使用之后，使用者会养成对过去状态任意引用（嵌套）的习惯（因为他们不会去关心你底层实现的代价大小的），那么程序运行的时间越长，那个计算量可能就很大，以致最后超过机器的存储和计算能力，程序跑不动了。

更糟糕的是，如果一个程序当前的计算结果取决于过去某些时刻的结果，那么我怀疑会有一些古怪的现象出现，比如：

1）如果计算时间相对不是小到可以忽略的话，对时序的强调会导致一些逻辑上的混乱，就是说用这种语言编出来的程序，在运算速度高的计算机上跑的结果和在很慢的计算机上跑的结果会不一样（假设输入是一样的）。

2）计算和存储过程中小小的误差会导致最后结果的巨大改变，程序运行时间越长，差异越大；

2）多线程的困难。因为时序很重要，那么多线程就会变得很古怪和困难，因为各个线程在时间上很难协调（取决于硬件，也取决于操作系统的支持），可是时序在你的语言里是很重要的。双胞胎谁来当哥哥，是个大问题。 Laughing

不知道我的理解对不对？

作者：Sarakawa 在项目找投资与合作发贴, 来自【海归网】 http://www.haiguinet.com

上一次由Sarakawa于2010-12-18 周六, 02:29修改，总共修改了5次

相关主题
北京intel总部英文文档工程师职位（熟练翻译中英文计算机术语）	IT	2012-11-16 周五, 23:59
北京intel总部英文文档工程师职位（熟练翻译中英文计算机术语）	外语翻译	2012-11-16 周五, 23:57
[原创]中国信息大学招骋英语、计算机教师--北京	海归职场	2007-12-26 周三, 09:30
电子计算机、机器人与人类最伟大的宇宙精神/罗国正	艺术鉴赏	2016-4-21 周四, 12:01
[转帖][教学]为维护国家安全中国限制出口无人机和高性能计算机	项目找投资与合作	2015-8-04 周二, 22:19
三星通信研究院招聘计算机视觉与模式识别算法工程师	海归招聘	2015-1-12 周一, 11:18
[转帖] 中央机关采购计算机禁装Win8	海归主坛	2014-5-20 周二, 14:33
帮朋友晒个项目给给归坛子捧捧场 >> 乳腺计算机辅助诊断系统...	海归主坛	2014-4-26 周六, 11:21

返回顶端

rationese语言----计算机语言的终结者，新文明的开端 -- uda1341 - (1285 Byte) 2010-12-16 周四, 22:49 (5795 reads)

怎么解决逻辑规则的完整性？ -- coko - (17 Byte) 2010-12-18 周六, 02:10 (617 reads)

封闭性的含义是自洽？可判定？能否多给点提示 -- uda1341 - (0 Byte) 2010-12-18 周六, 02:16 (539 reads)

好像uda的头很痒，很渴望拍砖的样子，那我就来拍一个吧！ -- Sarakawa - (521 Byte) 2010-12-18 周六, 00:43 (795 reads)

唉，终于来了。 -- uda1341 - (1898 Byte) 2010-12-18 周六, 01:26 (749 reads)

好想法，应用领域颇多，比如现在最热的网络安全主动监控。 -- 绽铃子 - (58 Byte) 2010-12-19 周日, 01:56 (501 reads)

你这么喜欢讨论，那么我再给你丢几块砖头吧！ -- Sarakawa - (728 Byte) 2010-12-18 周六, 02:13 (648 reads)

看得这么认真啊，连这点马虎眼都抓住了 -- uda1341 - (515 Byte) 2010-12-18 周六, 02:29 (624 reads)

我觉得引入时态可能会很要命。 -- Sarakawa - (86 Byte) 2010-12-18 周六, 02:56 (652 reads)

历史数据量大得不得了，怎么分析。所以，还是一个贝叶斯网络的应用。 -- 绽铃子 - (9 Byte) 2010-12-19 周日, 11:25 (635 reads)

看帖不认真，我还是打比方吧，最后一招了。 -- uda1341 - (364 Byte) 2010-12-19 周日, 14:37 (535 reads)

有没有前途不知道，给uda点儿精神支持吧！ -- Sarakawa - (159 Byte) 2010-12-19 周日, 12:27 (677 reads)

就你提到的这个，我有点兴趣 -- uda1341 - (397 Byte) 2010-12-19 周日, 14:55 (663 reads)

你现在还在空想社会主义阶段，连多线程都还没考虑 -- Sarakawa - (68 Byte) 2010-12-19 周日, 23:57 (579 reads)

细节在我几十篇日记和十万多字的笔记还有一堆验证代码里面，你要看不？ -- uda1341 - (118 Byte) 2010-12-20 周一, 00:34 (623 reads)

大家找找乐子就好了，太hard core的看下去会要命的。 -- Sarakawa - (63 Byte) 2010-12-20 周一, 11:56 (648 reads)

有一种说法：不懂FPGA的，不是计算机科学家。快速处理大量数据，非要上FPGA这个神器不可。 -- 绽铃子 - (0 Byte) 2010-12-19 周日, 13:49 (598 reads)

补充：宝刀不老的John McCarthy -- uda1341 - (158 Byte) 2010-12-18 周六, 01:40 (524 reads)

搞得玄之又玄，说明你还没有想清楚。 -- 绽铃子 - (10 Byte) 2010-12-17 周五, 19:57 (703 reads)

跟贝叶斯网络半毛钱关系都没有。 -- uda1341 - (0 Byte) 2010-12-17 周五, 20:21 (525 reads)

奇怪了，为啥没有CS的小牛大牛冒泡开展批斗呢 -- uda1341 - (311 Byte) 2010-12-17 周五, 18:45 (714 reads)

不是三缺一，是一缺三。 -- tutu - (70 Byte) 2010-12-17 周五, 21:16 (633 reads)

好吧。 -- uda1341 - (16 Byte) 2010-12-17 周五, 21:22 (675 reads)

怎么赚钱？投资多少？什么时候开始有成品卖？谁买？ -- tutu - (0 Byte) 2010-12-17 周五, 22:24 (580 reads)

附耳过来 -- uda1341 - (163 Byte) 2010-12-18 周六, 15:02 (672 reads)

买小作坊，等于带钱过来打工 -- tutu - (20 Byte) 2010-12-18 周六, 18:22 (608 reads)

这不你说投资投资，我觉得这方案才勉强靠谱。 -- uda1341 - (369 Byte) 2010-12-18 周六, 19:03 (614 reads)

可是前面说：“我要靠这个赚大钱，o(╯□╰)o ”，没见说到怎么赚大钱啊 -- tutu - (0 Byte) 2010-12-18 周六, 19:14 (604 reads)

不可说不可说，说什么都是假的，都是让你给逼的 -- uda1341 - (66 Byte) 2010-12-18 周六, 19:18 (599 reads)

有个小作坊那是好事 -- tutu - (154 Byte) 2010-12-19 周日, 08:35 (508 reads)

[转帖]有人说，世界上有了统一的语言，这个世界就会毁灭，是吗？ -- nanonano - (38 Byte) 2010-12-17 周五, 13:48 (766 reads)

有个著名的日本国际电气通信基础技术研究所（ATR）听说过吗？有过这个研究课题 -- 禾乃才 - (11 Byte) 2010-12-17 周五, 10:49 (1000 reads)

不知道，莫非有关日本曾经的第五代计算机计划？ -- uda1341 - (44 Byte) 2010-12-17 周五, 12:17 (605 reads)

ur sample code looks very much like python -- Ah-lei - (24 Byte) 2010-12-17 周五, 04:45 (720 reads)

怪哉啊，怎么看见代码了？还没确定语法呢 -- uda1341 - (46 Byte) 2010-12-17 周五, 04:57 (594 reads)

yeah, ur right. It's ur pseudo-code... -- Ah-lei - (2 Byte) 2010-12-17 周五, 05:25 (555 reads)

看不太明白，好像很cool，给你加颗星。 -- Sarakawa - (57 Byte) 2010-12-17 周五, 01:42 (467 reads)

可并列海龟网三大项目:新CPU, 新网络(ipv9)，新编程语言 -- tchs - (0 Byte) 2010-12-17 周五, 01:13 (566 reads)

区别在哪？ -- tutu - (0 Byte) 2010-12-17 周五, 21:17 (448 reads)

顶！想法不错，细节需要定下来。 -- 黄埔半期 - (0 Byte) 2010-12-17 周五, 00:35 (430 reads)

民科 -- Llong - (0 Byte) 2010-12-17 周五, 00:18 (490 reads)

谢谢，本来就是民科哇。 -- uda1341 - (181 Byte) 2010-12-17 周五, 18:27 (452 reads)

如果兄台能解决不同人类语言之间的机器翻译问题,那rationese就会是“中级语言” -- xmen03 - (0 Byte) 2010-12-16 周四, 23:02 (539 reads)

人类语言是个火坑，等价于强人工智能。 -- uda1341 - (76 Byte) 2010-12-16 周四, 23:06 (520 reads)

显示文章:

海归论坛首页 -> 海归商务 -> 项目找投资与合作焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙

所有的时间均为北京时间

您不能在本论坛发表新主题, 不能回复主题, 不能编辑自己的文章, 不能删除自己的文章, 不能发表投票, 您 不可以 发表活动帖子在本论坛, 不能添加附件可以下载文件,

热门标签

更多...

论坛精华荟萃

更多...

博客热门文章

更多...