Redian新闻
>
[bssd]AI 实为computer science第2大分支?
avatar
[bssd]AI 实为computer science第2大分支?# Programming - 葵花宝典
s*o
1
我想申请哥哥一家来美探亲,可以吗? 怎样办呢?Thanks!
avatar
g*a
2
和蔡国庆的
咱们老背心,今儿真高兴,真呀高兴,真呀高兴,真呀高兴,高兴~
高兴~ 高兴~ 高兴~
垃圾歌还被翻唱一回
avatar
g*t
3
Turing Award 50多年,5次给了AI。最新一次是贝叶斯网.
语言更多. 其他的都是relative small 分支。
(ALGOL, Fortran,ML,SmallTalk,pascal,C...)
avatar
a*n
4
可以,和申请父母差不多。看置顶说明。

【在 s******o 的大作中提到】
: 我想申请哥哥一家来美探亲,可以吗? 怎样办呢?Thanks!
avatar
l*y
5
你懂个屁。。

【在 g*****a 的大作中提到】
: 和蔡国庆的
: 咱们老背心,今儿真高兴,真呀高兴,真呀高兴,真呀高兴,高兴~
: 高兴~ 高兴~ 高兴~
: 垃圾歌还被翻唱一回

avatar
x*u
6
图灵奖的5个AI加起来也不如深度学习一条腿值钱啊

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

avatar
g*a
7
你说对了

【在 l*y 的大作中提到】
: 你懂个屁。。
avatar
g*t
8
我之前解释过了。定理机器证明其实是数字电路验证的常用工具的一部分了。因为太常
用所以不叫ai


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



【在 x****u 的大作中提到】
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
avatar
x*h
9
根背景的大头娃, 很配
avatar
x*u
10
问题不在于能否,而在于速度
图灵奖的那些手段,需要指数时间才能搞定日常问题

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

avatar
i*l
11
同感
蔡国庆,谢晓东,孙悦终于有接班人了。
avatar
g*t
12
人家是开创者。约束的处理是engineer的活。


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

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



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

avatar
O*N
13
就为了恶心鸟叔
让他们说孔子 端午节 连你妈宇宙都是他们的思密达

【在 g*****a 的大作中提到】
: 和蔡国庆的
: 咱们老背心,今儿真高兴,真呀高兴,真呀高兴,真呀高兴,高兴~
: 高兴~ 高兴~ 高兴~
: 垃圾歌还被翻唱一回

相关阅读
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。