由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Programming版 - [bssd]AI 实为computer science第2大分支?
相关主题
最近开始接触Objetive C,发现多年的愿望实现了简述一下常见语言的缺点
smalltalk 传奇[转载]Which language has the brightest future in replacement of C between D, Go and Rust? And Why?
码工如果只认准一种语言, 要想一辈子有工作保障是不可能现在的主流语言本质上还是Algol那一套
Intel Fortran 如何控制不换行?想念Pascal的writeln了anyone here using ruby?
Is Delphi dead?Block on mac os x
我现在常用语言是LABVIEW和ACCESS初学者 smalltalk 求助!
lisp跟r比起来有什么优势?有一事我一直就是不明白
语言区别question regarding effective c++ by Meyers
相关话题的讨论汇总
话题: ai话题: 分支话题: bssd话题: 实为话题: computer
进入Programming版参与讨论
1 (共1页)
g****t
发帖数: 31659
1
Turing Award 50多年,5次给了AI。最新一次是贝叶斯网.
语言更多. 其他的都是relative small 分支。
(ALGOL, Fortran,ML,SmallTalk,pascal,C...)
x****u
发帖数: 44466
2
图灵奖的5个AI加起来也不如深度学习一条腿值钱啊

【在 g****t 的大作中提到】
: Turing Award 50多年,5次给了AI。最新一次是贝叶斯网.
: 语言更多. 其他的都是relative small 分支。
: (ALGOL, Fortran,ML,SmallTalk,pascal,C...)

g****t
发帖数: 31659
3
我之前解释过了。定理机器证明其实是数字电路验证的常用工具的一部分了。因为太常
用所以不叫ai


: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊



【在 x****u 的大作中提到】
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
x****u
发帖数: 44466
4
问题不在于能否,而在于速度
图灵奖的那些手段,需要指数时间才能搞定日常问题

【在 g****t 的大作中提到】
: 我之前解释过了。定理机器证明其实是数字电路验证的常用工具的一部分了。因为太常
: 用所以不叫ai
:
:
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
:

g****t
发帖数: 31659
5
人家是开创者。约束的处理是engineer的活。


: 问题不在于能否,而在于速度

: 图灵奖的那些手段,需要指数时间才能搞定日常问题



【在 x****u 的大作中提到】
: 问题不在于能否,而在于速度
: 图灵奖的那些手段,需要指数时间才能搞定日常问题

1 (共1页)
进入Programming版参与讨论
相关主题
question regarding effective c++ by MeyersIs Delphi dead?
从今天开始起,学C++!我现在常用语言是LABVIEW和ACCESS
学objective-c难吗?lisp跟r比起来有什么优势?
这么好的帖子没人转?语言区别
最近开始接触Objetive C,发现多年的愿望实现了简述一下常见语言的缺点
smalltalk 传奇[转载]Which language has the brightest future in replacement of C between D, Go and Rust? And Why?
码工如果只认准一种语言, 要想一辈子有工作保障是不可能现在的主流语言本质上还是Algol那一套
Intel Fortran 如何控制不换行?想念Pascal的writeln了anyone here using ruby?
相关话题的讨论汇总
话题: ai话题: 分支话题: bssd话题: 实为话题: computer