Vardi的见解| ACM的通信 - vwin德赢ac米兰合作,vwin德赢AC米兰官网网址

在计算研究协会(Computing Research Association) 2016年会议上的主题演讲中，富山健太郎(Kentaro Toyama)认为:“尽管硅谷有行善的言辞，但计算技术本身并不能解决系统性社会问题，这已不是秘密。”富山的观点是，持续的社会挑战没有以技术为中心的解决方案。查看全文

全球化，计算机及其政治影响
2016年11月

全球化和自动化给社会带来了巨大的好处，但它们的不利影响不能也不应该被忽视。技术不是命运，公共政策可以发挥关键作用。我认为，作为这一社会变革的参与者和受益者，我们的社会责任超越了我们的技术角色。查看全文

学术排名被认为有害!
2016年9月

一般来说，学术排名为个人的学术决策提供了极具误导性的信息。使用这样的排名来做学术决策就是让第三方商业利益影响我们的学术价值观。我认为学术排名是有害的。查看全文

学术单元评审的仪式
2016年7月

为什么被审评单位和审评委员会都付出了巨大的努力，但学术单位的审评却收效甚微?为什么我们要继续进行这些审查，尽管它们的结果微不足道?我认为有三个主要原因。查看全文

人工智能的道德责任
2016年5月

今年3月12日的重大新闻是，围棋人工智能系统AlphaGo在韩国首尔与18届世界冠军李世石(Lee Se-dol)进行的五场比赛中，赢得了第三场胜利。AlphaGo的胜利是一项惊人的成就，也是人工智能研究不可阻挡的前进道路上的又一个里程碑。查看全文

我们正在走向另一场全球科技泡沫破裂?
2016年4月

计算机相关本科学位课程的注册人数正在激增。推动招生热潮的无疑是全球科技热潮，其缩影就是“独角兽公司”在全球的崛起。然而，我们必须记住，我们在过去见证过这样的繁荣。查看全文

复杂性理论假设的道德风险
2016年2月

2015年11月，计算界因László Babai证明了图同构问题的消息而议论纷纷。如果Babai的结果经得起推究，它很可能成为过去几十年理论计算机科学中最著名的结果之一。查看全文

关于致命自主武器
2015年12月

我怀疑许多计算机科学家，像我一样，喜欢相信，总体来说，计算对人类有益。因此，让人不安的是，计算机也在为军事技术做出重大贡献。查看全文

如何应对计算机行业的性别多样性?很多!
2015年10月

2015格蕾丝·霍珀女性计算机大会旨在将女性在计算机领域的研究和职业兴趣带到前沿。今年的活动预计将有超过12000名计算机科学家聚集在一起，其中大部分是女性。但这一令人印象深刻的数字不应被视为性别多样性方面的一切顺利。远离它!查看全文

为什么ACM没有理论计算机科学SIG ?
2015年8月

1992年，尤里·古列维奇写道:“这太不可思议了……计算机科学，特别是理论计算机科学，在欧洲和美国有多大的不同。”这个部门在1980年代以前是不存在的。如此尖锐的分歧是如何产生的?查看全文

激励计算机研究的质量和影响
2015年5月

虽然人们普遍认为计算研究出版系统是“次优”的，但就该系统应该如何改变达成共识已被证明是极其困难的。计算研究协会已经在一份最佳实践备忘录中正面解决了这个问题，这可能是游戏规则的改变。查看全文

信息技术正在摧毁中产阶级吗?
2015年2月

自动化摧毁的工作岗位比它创造的更多吗?乐观者认为，尽管技术总是破坏工作，但它也会创造新的工作，而悲观者则认为，信息技术目前破坏工作的速度是前所未有的。查看全文

工业研究实验室的兴衰
2015年1月

去年9月，微软研究院(Microsoft Research)关闭硅谷实验室的消息突然传开。虽然具体细节可能令人惊讶，但这些行动完全符合工业研究实验室兴衰的历史模式。查看全文

图灵能通过图灵测试吗?
2014年9月

最近的一次图灵测试比赛中，一个俄罗斯聊天机器人假装成一个名叫尤金·古斯特曼的俄罗斯少年，赢得了冠军。媒体议论纷纷，声称一台机器终于能够通过图灵测试。然而，真正的问题是图灵测试到底是不是机器智能的一个重要指标。查看全文

开放主义，IPism，原教旨主义和实用主义
2014年7月

知识产权所有权正成为一个战场。一方面，“知识产权资本家”认为知识产权与有形财产无异。另一方面，“知识产权共产主义者”反对版权保护和软件专利，甚至主张软件应该免费。我认为，开放获取运动陷入知识产权共产主义阵营是令人遗憾的。查看全文

摩尔定律和沙堆悖论
2014年5月

我们中的许多人在整个职业生涯中都与摩尔定律相伴。我们知道，芯片上晶体管数量每隔几年翻一番的趋势不可能永远持续下去，但摩尔定律的终结似乎总是遥不可及。没有更多的。真正的问题不在于摩尔定律到底什么时候会消亡。真正的问题是现在会发生什么。查看全文

布尔可满足性:理论与工程
2014年3月

布尔可满足性问题(简称SAT)自从史蒂芬·库克在1971年证明了它的np完备性以来，就一直是计算机科学中的一个核心重要问题。同时，SAT是一个典型的约束满足问题，有许多应用，包括硬件和软件设计、运筹学、生物信息学等。查看全文

可伸缩的会议
2014年1月

2012年11月，在Schloss Dagstuhl举办了为期三天的透视研讨会，主题是“计算研究中的出版文化”。研讨会上得到的一个主要见解是计算研究出版生态系统——包括会议和期刊——根本无法随着该领域的增长而扩大规模。查看全文

美国电视网的终结
2013年11月

到目前为止，我们对美国国家安全局(U.S. National Security Agency)广泛的电话和互联网窃听和监视行动的了解是相当令人震惊的。我认为我们不能再相信美国政府是“互联网霸主”。我认为，问题在于我们是否能够拥有一个自由的互联网，或者至少比现在的互联网更自由，不受政府干预。查看全文

创新杯干涸了吗?
2013年9月

我们愿意认为，在过去70年里，我们一直在计算机创新的海啸中冲浪。然而，最近一些人开始质疑这种技术乐观主义。技术悲观主义者认为，我们的经济萎靡是创新赤字的一个迹象。技术乐观主义者对这种悲观情绪不屑一顾。那么到底是哪个方向呢?查看全文

机器人技术之争
2013年7月

最近，在经济学家中爆发了一场关于机器人和自动化对工作的影响及其可能性的重大辩论技术的失业率．现在，这个基本的争论已经从经济学转移到了计算机科学。机器人和自动化摧毁的工作岗位比它们创造的更多吗?查看全文

由摩擦产生的计算
2013年5月

我们的学科致力于减少摩擦。我们的目标是尽可能减少计算和通信的摩擦。摩擦的减少使互联网和Web得以实现，但零摩擦真的是我们的目标吗?查看全文

抵制还是不抵制
2013年3月

在过去的一年里，开放获取运动已经有了声音和愤怒。2011年12月，美国众议院提出了《研究工作法案》。该法案包含了禁止对联邦资助的研究开放获取的条款。许多学术出版商表示支持该法案。(ACM对该法案表示反对。)查看全文

谁生了计算?
2013年1月

图灵百年纪念展的迅猛发展已经成为过去，我们可以反思一下。在强调图灵的开创性贡献时，我们可能已经从庆祝变成了圣徒化。人们可能会认为图灵一手创造了计算机。这幅图过于简单，没有公正地描述计算机在1930年到1950年之间如何出现的丰富故事。查看全文

mooc会摧毁学术界吗?
2012年11月

先知以赛亚写道:“毁坏你的，毁坏你的，都必离开你。”在关注最近关于mooc话题的激烈讨论时，这句话突然出现在我的脑海中。查看全文

为什么ACM ?
2012年9月

“又一个抛弃ACM的理由，”在最近关于2011年美国国会提出的《研究工作法案》(Research Works Act)的辩论中，一位ACM成员在社交媒体上发帖怒斥道。拟议的立法禁止对美国资助的研究开放获取授权。尽管人们普遍对该法案深感担忧，但帖子中的恶劣语气让我感到惊讶。查看全文

掠夺性的学术出版
2012年7月

学术界和商业出版商之间曾经存在的伙伴关系已经从根本上破裂。虽然不是所有的商业出版商都是掠夺性的出版商，但它们的主要驱动力都是利润，这就造成了出版商和作者之间的利益冲突。查看全文

公平的访问
2012年5月

在过去的几个月里，开放获取运动已经有了声音和愤怒。我想重新审视开放获取的论点，这是我在2009年7月首次讨论的“打开，关闭，还是打开访问?”我想再次强调的一个基本问题是，ACM对于开放获取发布模型的立场应该是什么?查看全文

什么是算法?
2012年3月

去年7月在法国举行的第14届国际逻辑、方法论和科学哲学大会，包括了一个关于“什么是算法?”在图灵100周年纪念日前夕提出这个问题似乎有些奇怪，因为世界各地正在举行许多活动来庆祝这个纪念日。图灵不是果断地回答了这个问题吗?查看全文

人工智能:过去与未来
2012年1月

20世纪最具戏剧性的国际象棋比赛是1997年5月IBM超级计算机“深蓝”与世界冠军加里·卡斯帕罗夫(Garry Kasparov)之间的重赛，深蓝赢了。虽然机器战胜人的胜利被许多人认为是人工智能的胜利，但约翰·麦卡锡(John McCarthy)却对这一成就相当不屑一顾。麦卡锡不仅是人工智能的奠基人之一，而且创造了该领域的名称。查看全文

计算机对人类
2011年12月

戈特弗里德·威廉·莱布尼茨(Gottfried Wilhelm Leibniz)将计算设想为“一种增强思维能力的新仪器，其程度远远超过光学仪器增强眼睛的程度。”我相信，这个定义抓住了我们这个领域的精髓。一方面，我们的学科是技术学科，关注硬件、软件及其理论基础。另一方面，我们建造的人工制品是为了增强人类的思维。我们在去年10月失去的两位先驱见证了这一领域的二元性:史蒂夫•乔布斯和丹尼斯•里奇。查看全文

摩尔的派对结束了吗?
2011年11月

近50年来，我们一直遵循摩尔定律的指数曲线。哦，这是一段多么难忘的旅程啊!几十年来，没有任何一项技术以几何速度进步。这简直是一场疯狂的聚会。但指数增长的趋势最终总会放缓，“摩尔派对”的终结可能即将到来。查看全文

你在和我说话吗?
2011年9月

最近，我参加了一个相当理论化的计算机科学会议，按照我的习惯，我坐在了前排。演讲者试图传达一个相当复杂的数学结构的细节。我完全迷路了。查看全文

解决不能解决的
2011年7月

1902年6月16日，哲学家伯特兰·罗素(Bertrand Russell)给德国逻辑学家戈特洛布·弗雷格(Gottlob Frege)写了一封信，信中他认为弗雷格的逻辑体系是不一致的。这封信在数学领域引发了一场“基础危机”，引发了对数学正确基础的近乎痛苦的探索。查看全文

科技带来社会后果
2011年5月

会议计划委员会(PC)成员收到了一份论文供审查。他把手稿分发给他的研究小组，“征求他们对这篇论文的意见”。然后，研究小组将自己的论文提交到另一个会议上，他们的论文提交时间是在第一篇论文在会议上发表的三个月之前。令人惊讶的是，PC成员不知道提交会议论文构成了特权通信。对于审稿人来说，在自己的作品中使用这样的特权材料立刻就会产生明显的利益冲突。查看全文

摸索未来
2011年3月

摸索未来:施乐如何发明第一台个人电脑，然后被忽视这本书讲述了施乐公司如何在20世纪70年代发明了个人电脑技术，然后又“误判和不当处理”充分利用这一技术的机会的扣人心弦的故事。“摸索未来”从此成为讨论先进技术及其商业化的标准短语。这篇社论讲述了我是如何摸索未来的。查看全文

所有的车间都去哪儿了?
2011年1月

1979年，我参加了一个关于“逻辑和数据库”的研讨会，开始进入计算研究领域。我是唯一参加的研究生;我的研究生导师被邀请了，他得到了组织者的允许，带我一起去。尽管这次活动是非正式的，但我对出席的高级研究人员还是很敬畏的。查看全文

论P、NP和计算复杂度
2010年11月

八月的第二个星期是令人兴奋的一周。8月6日星期五，Vinay Deolalikar宣布了一项声称的证据，证明p# NP。8月7日和8日，slash网点博客发布了这一消息，突然间全世界都开始关注。理查德·利普顿8月15日在blog@CACM上发表的博客在一周内就有大约1万名读者浏览。数以百计的计算机科学家和数学家，在一个基于网络的大规模协作中，仔细分析了这个证明，试图验证它的有效性。查看全文

科学只有两条腿
2010年9月

科学最近长出了新的腿。科学方法的传统“支柱”是理论和实验。然后在2005年，美国总统信息技术咨询委员会发布了一份报告，称“计算科学现在构成了科学探究的‘第三支柱’。”这条腿最近又被“第四个范例”(或“腿”)扩充了。我发现科学每隔几年就会长出一条新腿，这让我很不舒服。查看全文

Hypercriticality
2010年7月

两年来，我们推出了振兴ACM通信在美国，我收到了数百封来自读者的电子邮件。这些反馈大多是正面的，但并非普遍如此。生活中没有什么是完美的。通信是一个正在进行的项目;持续改进是游戏的名称。与此同时，我也收到了相当数量的信件，里面尽是尖刻的批评。查看全文

软件的全球化和离岸外包重新审视
2010年5月

2003-2004年，美国的计算机界突然意识到，它已经失去了对软件的“垄断”。咨询公司的报告令人担忧地预测，数百万工作岗位将转移。针对这些担忧，ACM理事会于2004年委托成立了一个工作组，“研究IT快速全球化背后的事实”。专责小组于2006年2月发表报告。这份报告提出的见解是否仍然正确?查看全文

再论计算机研究中的出版文化
2010年3月

在我2009年5月的编辑信中，“计算机研究中的会议vs.期刊”，我谈到了我们领域的出版文化:“据我所知，我们是唯一一个把会议出版作为发表我们研究成果的主要手段的科学团体。”作为回应，Lance fornow写了一篇名为“计算机科学该成长了”的观点专栏，在文中他总结道:“计算机科学已经成长为一个成熟的领域，没有一个强大的计算机系，任何主要大学都无法生存。现在是计算机科学发展的时候了。”这两篇文章都在博客圈引起了大量关注。查看全文

更多讨论,请!
2010年1月

在1979年5月的通信由Richard a . De Millo、Richard J. Lipton和Alan J. Perlis撰写的一篇名为“定理和程序的社会过程和证明”的有力文章认为，程序的正式验证是“难以证明和管理的”。这篇文章没有引用1977年阿米尔·普纽利(Amir Pnueli)题为《程序的时间逻辑》(The Temporal Logic of Programs)的论文。到1979年，他的论文几乎没有引起人们的注意，但到1997年，它在普纽利1996年ACM A.M.的引文中被描述为“里程碑式的论文”图灵奖。查看全文

形象危机结束了吗?
2009年11月

21世纪初，计算机领域经历了一场完美风暴:网络公司和电信公司的崩溃、外包恐慌和研究资金危机。在经历了上世纪90年代末的辉煌之后，这一领域似乎已经失去了光彩。查看全文

金融危机和计算机
2009年9月

对我们许多人来说，过去的一年是我们一生中最不安的一年。2008年底，我们看到资本主义几近崩溃。全球经济几近崩溃的原因有很多。我想在这里提供另一种解释。我认为信息技术在这场危机中扮演了重要角色。查看全文

开放、封闭还是开放访问?
2009年7月

这是我经常听到的问题通信，以及关于ACM发布的一般内容，涉及到它的访问模型。有人问我:“你们为什么不采用开放获取模式?”好问题!我们为什么不?查看全文

计算机研究中的会议与期刊
2009年5月

有一个老笑话讲的是这样的:一个司机参加完一个派对，喝多了一杯，回家后从收音机里听到一个警告，说有一辆汽车在高速公路的错误一侧倾斜了。“汽车?”他大声问，“有很多汽车在路的另一边!”查看全文

是的，这是可以做到的
2009年3月

2008年的总统竞选口号“Yes, We Can”是美国农场工人联合会1972年的口号“Sí， se puede”的英文翻译，意思是“Yes, it Can do”。查看全文

我们做得怎么样?
2009年1月

有一个拉比的故事，一个愤怒的读者冲进报社，挥舞着当天的报纸，要求见讣告专栏的编辑。他在讣告上给他看了自己的名字。“你看，”他说，“我活得好好的。我要求撤稿!”查看全文

让我们-一起-让中美大学充满活力
2008年10月

我们推出“新”已经四个月了CACM“到现在为止，我希望我们的读者已经很清楚，改版后的ACM旗舰出版物已经经历了一个相当戏剧性的转变。查看全文

“你从哪里来?”你要去哪里?”
2008年7月

博思艾伦公司(Booz Allen Hamilton)最近发布了一份报告，列出了20世纪和21世纪世界上最持久的10家机构。比他们的发现更有趣的是他们列出的决定因素:创新能力;管理与领导力;信息流动;文化和价值观;适应性反应;风险结构;和合法性。查看全文

中美大学:过去，现在和未来
2008年1月

法国有句谚语:“加上ça改变，加上c'est la même chose”，也就是说，事物变化越多，它们就越保持不变。这句谚语在今天仍然适用。1964年4月24日向ACM委员会提交的一份报告说:“人们认为通信变得太像一本杂志了，重新评估是必要的。”我怀疑这需要重新思考CACM在可预见的将来都会和我们在一起。查看全文

瓦迪的见解