斯坦福,麻省理工,伯克利,卡内基梅隆大学在计算机方面的研究方向有什么不同?

能否介绍一下他们的最新进展
关注者
892
被浏览
76,259

7 个回答

我cmu的plt真是黑天黑地黑空气,bob天天上课就是,这个java和c啊,连个option type都不懂,导致每次使用pointer都需要check null。。。这个oop啊 和abt是等价的。。根本就不存在oop更好的说法。。这个python里的type根本就不是type 而是class。。。这个dynamic language 不做静态检查效率低的一b啊 而且run time failure不是一个feature啊 。。。这个haskell的lazy是个错误。。。lazy的natural是个coindictive type根本就无法mathemtically well-defined 。。也没法做数学归纳啊。。。。 这个工业界的的程序语言都在相信各种个人魅力,崇尚权威,各种随机的feature满天飞。。。根本就和理论差了几十年,就swift最近用了enum还像个样子。。。哦 还有这个图灵机啊。。。是很差的计算模型。连type都无法表现。。lambda calculus才是正途。。。Plt才是master theory of computation

“我不是针对java,我是说,这些oop语言都是。。”
“”
“it is so common, it is pervasive and completely stupid because of the ignorance of sum type”
"if you care about performance, dynmiac is slow, i am a conceptual guy . it just offend me...disgusting...rubbish..."
当bob谈到dynamic language
继续浏览内容
知乎
发现更大的世界
打开
浏览器
继续
我大CMU作为CS四校之一居然被忽略了。。。。。
赤裸裸的鄙视啊。。。。。。

好吧,还是尝试回答一下你的问题:
这是USNews的看法:
Artificial Intelligence:
#1 Stanford University
#2 Carnegie Mellon University
#3 Massachusetts Institute of Technology
#4 University of California—​Berkeley

Programming Language
#1Carnegie Mellon University
#2 University of California—​Berkeley
#3 Stanford University
#4 Massachusetts Institute of Technology

Systems
#1 University of California—​Berkeley
#2 Massachusetts Institute of Technology
#3 Stanford University
#4 Carnegie Mellon University

Theory
#1 University of California—​Berkeley
#2 Massachusetts Institute of Technology
#3 Stanford University
#4 Princeton University
#5 Carnegie Mellon University

好吧,估计会有很多Researcher说:我靠! USNews说的你都信! 但不管怎么说,USNews还是北美参考人数最多的排行。

就个人经验而言,Stanford是和工业界最紧密的,多数研究项目都与工业界合作,最著名的是Andrew Ng 搞的 Google Brain; Berkeley无疑是System最强的,早年的BSD,最近很火的Apache Spark都是Berkeley出的; 我早年想申密码学的方向,MIT对我的印象一直是密码学第一,另外MIT在量子计算方面也是第一;至于我大CMU,除了世界上作业最多的大学之外,机器学习和自然语言处理方面极强, 同时CMU也最擅长交叉学科, 将CS成果用于工程和社会科学研究。

总而言之,计算机科学是一门非常系统的科学,四校在各个子学科上都相差无几,几乎不可能出现“偏科”现象。

至于最新进展么。。。。。。子学科实在太多了,你问哪方面的?
继续浏览内容
知乎
发现更大的世界
打开
浏览器
继续