首页
社区
课程
招聘
[讨论]刘涛涛宣布,开发出世界上第一款"能读懂程序"的程序
发表于: 2011-11-16 12:19 53198

[讨论]刘涛涛宣布,开发出世界上第一款"能读懂程序"的程序

2011-11-16 12:19
53198
收藏
免费
支持
分享
最新回复 (104)
雪    币: 158
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
76
哈哈。听起来好强大呀。但是我不敢贸然的说出来。期待东西出来看看
2011-11-29 19:07
0
雪    币: 2503
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
77
不错 感觉 很不错!
2011-11-30 22:36
0
雪    币: 207
活跃值: (13)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
78
题目很强大,建议一步一步来
变量跟踪--算法辨识--功能识别
2011-12-4 19:19
0
雪    币: 322
活跃值: (113)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
79
期待中!!!
2011-12-4 19:43
0
雪    币: 437
活跃值: (383)
能力值: ( LV12,RANK:240 )
在线值:
发帖
回帖
粉丝
80
......123456
2011-12-4 19:45
0
雪    币: 245
活跃值: (93)
能力值: ( LV6,RANK:80 )
在线值:
发帖
回帖
粉丝
81
有demo吗?
2011-12-4 20:00
0
雪    币: 280
活跃值: (11)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
82
听起来挺强大的。
2011-12-5 01:24
0
雪    币: 2109
活跃值: (11)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
83
太阳底下没有新鲜事。

1. 帮程序员发现基础的代码问题:变量未使用,函数未使用等
2. 帮程序员发现基础的逻辑错误
3. 更进一步,发现代码的品质问题

最近在试用的 Parasoft C++test
http://www.parasoft.com/jsp/products/cpptest.jsp
http://en.wikipedia.org/wiki/Parasoft

========
4. 首创”编译源码到源码”的思想,程序员可以用自己喜欢的方式编程,
   不必受所选编译语言限制
5. 以一种语言为输入,自动输出为另一种计算机语言或平台

昨天找 metaprogramming 时找到的, 2010 年 12 月的问题:
http://stackoverflow.com/questions/4456556/
are-there-real-world-applications-that-use-metaprogramming

http://www.semanticdesigns.com/Products/DMS/DMSToolkit.html

========
6. 加源码级扭曲变换,可以抗破解,逆向

这个是前辈的原创没错。

========
7. 扩展C++功能,规避C++不良规范,最终发展为一门全新的计算机语言

c++ 我不熟。
========
8. 提高编程效率,彻底解决多语言多平台移植问题

我关注的是 metaprogramming

其他一些方案是:
http://en.wikipedia.org/wiki/Domain-Specific_Modeling
http://en.wikipedia.org/wiki/Visual_programming_language
2011-12-7 12:23
0
雪    币: 274
活跃值: (93)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
84
爬楼真辛苦,期待楼主进一步动态,83楼可以和楼主合作麻
2011-12-7 13:20
0
雪    币: 236
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
85
关注!
看看详细资料,应该是很大的创新!
2011-12-10 16:52
0
雪    币: 159
活跃值: (16)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
86
这么大胆的想法啊!
2011-12-12 14:44
0
雪    币: 166
活跃值: (94)
能力值: ( LV3,RANK:25 )
在线值:
发帖
回帖
粉丝
87
什么时候出trw的64位版本呢?
2011-12-22 16:34
0
雪    币: 268
活跃值: (28)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
88
支持,努力学习。
2011-12-22 19:21
0
雪    币: 271
活跃值: (2190)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
89
期待神级作品
2011-12-22 19:31
0
雪    币: 33
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
90
我又想到那个关于图灵机的悖论……没有任何编译器会检查死循环,因为会由于逻辑悖论而无法写出来:假设一个函数一直跟踪代码,检查是否会陷入死循环,如果陷入循环,也给出出错消息,如果没问题,则继续检查直到程序结尾。那么当这个检查函数检查类似自己结构的函数时就会产生矛盾:如果陷入循环,检查函数应该停止并打印错误,但这样一来恰恰说明了被检查函数(还是自己)是会停止的,因此不会陷入循环,因此检查函数会继续跟踪代码……这样一来悖论就产生了……其他的分析我不知道会不会出现这种悖论,不过我还是期待楼主的作品!
2011-12-22 21:27
0
雪    币: 200
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
91
怎么感觉很神秘。
2011-12-25 21:16
0
雪    币: 190
活跃值: (10)
能力值: ( LV3,RANK:20 )
在线值:
发帖
回帖
粉丝
92
请问什么叫懂,建立好语法数算懂吗, 但疼
2011-12-31 17:18
0
雪    币: 200
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
93
好东西,值得期待!
2012-1-3 13:46
0
雪    币: 199
活跃值: (40)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
94
刘涛涛大哥 请问您还在么?
2012-2-28 16:49
0
雪    币: 555
活跃值: (2360)
能力值: ( LV7,RANK:100 )
在线值:
发帖
回帖
粉丝
95
智能机器人即将产生
2012-4-2 01:02
0
雪    币: 341
活跃值: (153)
能力值: ( LV7,RANK:110 )
在线值:
发帖
回帖
粉丝
96
哈哈找到了极品思路
2013-3-27 13:24
0
雪    币: 2503
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
97
楼上的不容易啊 中午看到有人在寻找这个帖子 过了一个多钟头 你就找到了这个帖子 速度很开!
2013-3-27 13:43
0
雪    币: 1207
活跃值: (656)
能力值: ( LV3,RANK:30 )
在线值:
发帖
回帖
粉丝
98
人工智能,不过要做好确实很难!
2013-3-27 16:29
0
雪    币: 29911
活跃值: (2812)
能力值: ( LV3,RANK:20 )
在线值:
发帖
回帖
粉丝
99
其实读懂并不困难。难的是思考但又保证正确。
我的程序已经可以自我思考,但验证想法是否正确,目前仅能还是依赖逻辑推理,一直没有什么好办法。
2013-3-27 19:39
0
雪    币: 275
活跃值: (51)
能力值: ( LV3,RANK:30 )
在线值:
发帖
回帖
粉丝
100
这货不就是IDE、吗?
2013-3-27 19:58
0
游客
登录 | 注册 方可回帖
返回

账号登录
验证码登录

忘记密码?
没有账号?立即免费注册