代码碎片即谜题线索?微软研究院发布编程学习

摘要: 用Codecademy学过写代码的人会知道,Codecademy在一边教学的时候会一边给出练习任务,做对了才算过关,机制和游戏很像。不过,今天微软研究院发布的编程学习游戏Code Hunt则要更刺激一

用Codecademy学过写代码的人会知道,Codecademy在一边教学的时候会一边给出练习任务,做对了才算过关,机制和游戏很像。不过,今天微软研究院发布的编程学习游戏Code Hunt则要更刺激一点。

Code Hunt几乎就是一个解密游戏,它会给你一点代码片断,以及最终的输出结果,让你猜测填入什么语句可以执行出这一结果(目前只支持Java和C#两种语言)。不仅如此,当你补充入语句执行程序后,它还会给你补充的语句打分,只有当你的代码是最精简、最高效地实现结果时,才会得到最高评分。

这个有趣的编程游戏是基于微软研究院的动态符号执行(dynamic symbolic execution)技术开发的,运行在Azure上,可以直接在浏览器里玩。它的开发者们还将开发心得以及背后的教育理念梳理成了一份paper。

时间: 2024-09-20 05:45:12

代码碎片即谜题线索?微软研究院发布编程学习的相关文章

今天微软研究院发布编程学习游戏Code Hunt

摘要: 用Codecademy学过写代码的人会知道,Codecademy在一边教学的时候会一边给出练习任务,做对了才算过关,机制和游戏很像.不过,今天微软研究院发布的编程学习游戏Code Hunt则要更刺激一 用Codecademy学过写代码的人会知道,Codecademy在一边教学的时候会一边给出练习任务,做对了才算过关,机制和游戏很像.不过,今天微软研究院发布的编程学习游戏Code Hunt则要更刺激一点. Code Hunt几乎就是一个解密游戏,它会给你一点代码片断,以及最终的输出结果,让

微软亚洲研究院发布了Bing系列产品微软小冰

摘要: 昨天,微软亚洲研究院发布了Bing系列产品微软小冰.发布会当天,很多人把注意力放在了微软实习产品经理奶茶妹妹身上.锐观察思考的是,这个微软机器人是怎么来的?它和别人有什 昨天,微软亚洲研究院发布了Bing系列产品"微软小冰".发布会当天,很多人把注意力放在了微软实习产品经理奶茶妹妹身上.锐观察思考的是,这个微软机器人是怎么来的?它和别人有什么不一样?通过和微软工程院高管沟通,锐观察得出一个结论:微软希望借助一个叫小冰的机器人来向海量的微信用户输出自己的产品,比如Bing搜索和B

专访微软研究院张正友:从“张氏标定法”到人机交互,20年视觉技术的探索

张正友博士,是世界著名的计算机视觉和多媒体技术的专家,ACM Fellow,IEEE Fellow.他在立体视觉.三维重建.运动分析.图像配准.摄像机自标定等方面都有开创性的贡献. 张正友带领的微软研究院视觉团队在学术研究上做了大量的工作,除了在顶尖会议(比如CVPR.ICCV.ACM Multimedia.ICME)上发表了大量文章和几部专著,而且在微软很多产品里都有团队的贡献,比如Windows.Office.Xbox.Kinect.Skype for Business.Office Len

微软紧急发布SMBv2安全漏洞补丁

[赛迪网讯] 微软紧急发布了上周初披露的SMB(服务器消息模块)v2安全漏洞的绕过措施,以便缓解Vista或者Windows Server 2008等产品用户遭到黑客攻击的风险. 微软在安全公告中增加的这个补丁旨在通过关闭SMBv2功能然后停止和启用这个服务器的服务向用户计算机提供一个阻止利用这个已知的安全漏洞远程执行代码的临时防御措施. 然而,微软警告称,关闭SMBv2功能可能会减缓Windows Vista和Windows Server 2008机器之间的SMB连接. 微软证实称,入侵测试公

微软下周发布2个关键级安全补丁 修9处漏洞

微软今天发布了2010年5月份安全补丁预告,下周二的例行补丁发布日微软将发布2个安全补丁,修复9处安全漏洞,涉及Windows. Office和Visual Basic for Applications.下周将发布的2个补丁中均为关键级别,将修复多个远程代码执行漏洞.在修复的9个漏洞中,有6个位高危级别,另外3个为重要级别.此次发布的安全补丁影响软件包括:Windows 2000.XP.Vista.Windows 7.Windows Server 2003.Windows Server 2008

微软研究院—下一个25年该往哪走?

微软研究院(Microsoft Research,英文缩写:MSR)是微软在1991年创立硏究不同的计算机科学主题与问题的分部,微软研究院称其坚持的一个目标为"支持长期的计算机科学硏究而不受产品周期所限". 上周在华盛顿州雷德蒙市,包括微软联合创始人比尔·盖茨在内的顶尖学者和研究科学家回顾了计算机科学在过去25年取得的成就,并且展望了未来25年他们对于微软研究院的期待. 第25届微软研究院周年纪念恰逢一年一度的职工峰会,这次大会共有600个前沿学者以及研究人员参加.作为目前世界顶尖的研

黑客利用IE关键bug,微软承诺发布补丁

 本文讲的是 :   黑客利用IE关键bug,微软承诺发布补丁 , [IT168 资讯]9月22日消息,微软今日表示,黑客们正利用存在于IE8与IE9之中尚未修复的某个关键性安全漏洞,目前公司的工程师们正在积极通过更新加以挽救. 与传统处理方式一样,微软对此次威胁采取了淡化处理. "报告中只列举了数量有限的几条针对IE8与IE9的攻击,不过该问题确实有可能影响所有IE版本,"Trustworthy Computing集团发言人Dustin Childs在上周二早晨的一篇博文中指出. &

微软研究院舵手Horvitz:AI让机器拥有自主意识

身为微软Building 99实验室的主任,Eric Horvitz送给每名员工一本David McCullough写的<莱特兄弟>."我对他们说看,'请认真阅读这本书里的每一个字.'"Horvitz边说边用手敲打着桌子,强调他的每个音阶. Horvitz希望他们通过莱特兄弟的故事明白,要创造一个新的行业所需要投入的精力和决心.从某种意义上讲,他本人在人工智能行业的职业发展也经历了类似的过程.在将近25年的时间内,Horvitz始终在努力让机器具备比肩人类的智能. 要实现这

微软研究院芮勇谈计算视觉:从感知到认知的长征

2016 CCF大数据与计算智能大赛于2016年9月24日在中国·北京梅地亚中心酒店开幕. 微软亚洲研究院常务副院长,著名人工智能专家芮勇在大会上带来了<计算视觉:从感知到认知的长征>的主题报告.芮勇理性分析了最近大热的人工智能和计算机视觉,并提出了计算机视觉发展的三大基石和未来可能的四大发展方向. 他认为,计算机视觉在从感知到认知的过程当中,想要做的更好需要靠三方面:一是机器学习算法的本身,第二个和具体应用相结合,三是获取更有意义的数据. 大数据文摘为您带来一手演讲实录,以下为芮勇演讲全文: