g*a
2 楼
和蔡国庆的
咱们老背心，今儿真高兴，真呀高兴，真呀高兴，真呀高兴，高兴～
高兴～ 高兴～ 高兴～
垃圾歌还被翻唱一回
咱们老背心，今儿真高兴，真呀高兴，真呀高兴，真呀高兴，高兴～
高兴～ 高兴～ 高兴～
垃圾歌还被翻唱一回
g*t
3 楼
Turing Award 50多年，5次给了AI。最新一次是贝叶斯网.
语言更多. 其他的都是relative small 分支。
(ALGOL, Fortran，ML，SmallTalk，pascal，C...)
语言更多. 其他的都是relative small 分支。
(ALGOL, Fortran，ML，SmallTalk，pascal，C...)
a*n
4 楼
可以，和申请父母差不多。看置顶说明。
【在 s******o 的大作中提到】
: 我想申请哥哥一家来美探亲,可以吗? 怎样办呢？Thanks!
【在 s******o 的大作中提到】
: 我想申请哥哥一家来美探亲,可以吗? 怎样办呢？Thanks!
l*y
5 楼
你懂个屁。。
【在 g*****a 的大作中提到】
: 和蔡国庆的
: 咱们老背心，今儿真高兴，真呀高兴，真呀高兴，真呀高兴，高兴～
: 高兴～ 高兴～ 高兴～
: 垃圾歌还被翻唱一回
【在 g*****a 的大作中提到】
: 和蔡国庆的
: 咱们老背心，今儿真高兴，真呀高兴，真呀高兴，真呀高兴，高兴～
: 高兴～ 高兴～ 高兴～
: 垃圾歌还被翻唱一回
x*u
6 楼
图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
【在 g****t 的大作中提到】
: Turing Award 50多年，5次给了AI。最新一次是贝叶斯网.
: 语言更多. 其他的都是relative small 分支。
: (ALGOL, Fortran，ML，SmallTalk，pascal，C...)
【在 g****t 的大作中提到】
: Turing Award 50多年，5次给了AI。最新一次是贝叶斯网.
: 语言更多. 其他的都是relative small 分支。
: (ALGOL, Fortran，ML，SmallTalk，pascal，C...)
g*a
7 楼
你说对了
【在 l*y 的大作中提到】
: 你懂个屁。。
【在 l*y 的大作中提到】
: 你懂个屁。。
g*t
8 楼
我之前解释过了。定理机器证明其实是数字电路验证的常用工具的一部分了。因为太常
用所以不叫ai
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
【在 x****u 的大作中提到】
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
用所以不叫ai
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
【在 x****u 的大作中提到】
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
x*h
9 楼
根背景的大头娃, 很配
x*u
10 楼
问题不在于能否，而在于速度
图灵奖的那些手段，需要指数时间才能搞定日常问题
【在 g****t 的大作中提到】
: 我之前解释过了。定理机器证明其实是数字电路验证的常用工具的一部分了。因为太常
: 用所以不叫ai
:
:
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
:
图灵奖的那些手段，需要指数时间才能搞定日常问题
【在 g****t 的大作中提到】
: 我之前解释过了。定理机器证明其实是数字电路验证的常用工具的一部分了。因为太常
: 用所以不叫ai
:
:
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
:
i*l
11 楼
同感
蔡国庆，谢晓东，孙悦终于有接班人了。
蔡国庆，谢晓东，孙悦终于有接班人了。
g*t
12 楼
人家是开创者。约束的处理是engineer的活。
: 问题不在于能否，而在于速度
: 图灵奖的那些手段，需要指数时间才能搞定日常问题
【在 x****u 的大作中提到】
: 问题不在于能否，而在于速度
: 图灵奖的那些手段，需要指数时间才能搞定日常问题
: 问题不在于能否，而在于速度
: 图灵奖的那些手段，需要指数时间才能搞定日常问题
【在 x****u 的大作中提到】
: 问题不在于能否，而在于速度
: 图灵奖的那些手段，需要指数时间才能搞定日常问题
O*N
13 楼
就为了恶心鸟叔
让他们说孔子 端午节 连你妈宇宙都是他们的思密达
【在 g*****a 的大作中提到】
: 和蔡国庆的
: 咱们老背心，今儿真高兴，真呀高兴，真呀高兴，真呀高兴，高兴～
: 高兴～ 高兴～ 高兴～
: 垃圾歌还被翻唱一回
让他们说孔子 端午节 连你妈宇宙都是他们的思密达
【在 g*****a 的大作中提到】
: 和蔡国庆的
: 咱们老背心，今儿真高兴，真呀高兴，真呀高兴，真呀高兴，高兴～
: 高兴～ 高兴～ 高兴～
: 垃圾歌还被翻唱一回
相关阅读
问题论Flutter is the next GWTTALENT自由工匠弄不了formal verificationnode.js 要不要从require换成import ?我怀疑现有的物理学单位系统不是图灵完备的python统计程序怎么转成C++或者golang？买了本 Elements of ClojureJava的这些Facade, Proxy, Service等等真恶心guvest == hci一个道家理论为啥我发的cs/ds比较帖被删了？国内哪里找label图像的vendor水木最新的講國內無人駕駛文章，什麼都有开源成为贸易战的受害者马公如何能做到老vert.x能火起来吗？小尺寸图像分类用什么技术好？李彦宏百度AI开发者大会现场被人泼水屌丝DS这行业也是骗子行业，长不了 (转载)