Wallop
Wallop最初是微软研究院开发的一款基于Flash技术的社交网络平台。在其运营期间（包括β测试阶段），该平台采用类似早期Gmail的邀请制注册机制。尽管曾获得微软及多家风投机构1300万美元的注资，但随着Facebook等社交平台的崛起，Wallop最终于2008年终止社交网络服务，转型为其他社交平台开发应用程序。 目前的Wallop 新的Wallop Beta創立於2006年中，介面均不同於原本的MyWallop。MyWallop網…
标签：#微软研究院
共 12 篇文章
F♯
F#是由微软发展的为.NET语言提供运行环境的程序设计语言，是函數程式語言（FP，Functional Programming），函數程式語言最重要的基礎是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML函数程式语言。有時F#和OCaml的程式是可以交互編譯的。 F#支援高阶函数、柯里化、惰性求值、续体、模式匹配、闭包、列表推导式和元编程。这是一个用于显示.NET在不同编程语言间互通的程序设计，可以被.NET…
F*
F（读作“F star”）是一个由微软研究院和INRIA主导开发的、基于ML的依赖类型函数式程序语言，主要用于程序的形式化验证。 F的类型系统十分丰富，支持依赖类型、单子化效用（monadic effects）和细化类型（refinement types）。这使其能够准确地用于表述程序的形式化规范，包括功能正确性和安全性。 F的类型检查器通过检查手写的证明和SMT自动求解来确保程序符合规范。 使用F书写的程序可被编译到OCaml、F#或…
Lean
Lean是一款在含歸納類型的構造演算基礎上所開發的電腦證明助手和函數式編程語言。Lean最初由在微軟研究院下研發，目前以開源合作計劃的形式刊登在GitHub上。2023年成立的非盈利Lean集中研究組織（，縮寫Lean FRO）支持Lean的持續開發。 歷史 2013年，當時在微軟研究院工作的萊昂納多·德·莫拉發佈函數式編程語言Lean。早期版本（後來被稱為Lean 1和2）純粹為實驗版本，當時支援的同倫類型論數學基礎在後來的版本中不再…
微軟研究院
微軟研究院（，縮寫为MSR）是微軟公司在1991年創立之分部，任務是硏究不同的计算机科学主題與問題。微軟研究院其中一個固定的目標為「支持長期的電腦科學硏究而不受產品週期所限」。 微軟研究院是目前世界頂尖的研究中心之一，有很多在電腦科學、物理學、數學受到高度公認的專家及許多著名科學獎項得主在微軟研究院，包括圖靈獎得主東尼·霍爾、詹姆斯·尼古拉·格雷，菲爾茲獎得主迈克尔·弗里德曼，沃爾夫獎得主洛瓦茲·拉茲洛，麦克阿瑟奖得主吉姆·布林與迪科斯…
微软亚洲研究院
微软亚洲研究院（）是微软公司在亚太地区设立的研究机构，成立于1998年，位于北京市海淀区中关村丹棱街5号微软大厦2号楼12层至14层。它是微软研究院之一，也是微軟在美国本土之外规模最大的研究院，同时也是微软在亚洲的第一個研究院。2004年被麻省理工学院《技术评论》称为“世界上最火的计算机实验室” 。 经过多年的发展，微软亚洲研究院拥有超过200名全职研究员、工程师与超过300名访问学者与实习生 。 管理团队 院长： 李開復（1998年1…
Singularity
Singularity，一種實驗性操作系统，在2003年至2015年間由微软研究院設計與開發。该操作系统的核心、驅動程式以及应用程序都以「受控代碼」写成。系统“Singularity”在设计上完全改头换面，不再以其性能為標準，而以系統稳定性作为首要标准。 Singularity操作系统會在系统构建、編寫程式等应用微软最先进的技术，例如Singularity的核心技术之一：软件独立进程（Software Isolated Processe…
HomeOS
HomeOS是由微软研究院正在开发的家庭自动化操作系统的暂定名称，由微软研究院於2010年公布该项目。 概要 HomeOS可运行于专门的电脑上，其他各类家庭设备能方便地接入HomeOS，无需作特殊修改。依照设计，使用者只需从系统的应用商店HomeStore中下载相应的应用，就可实现如远程监控、设备控制、面部识别等功能。HomeOS的开发白皮书中曾明确提出了其使用C#和.Net Framework4.0。 沿革 在2010年，当时微软的研…
小冰
小冰是微软亚洲互联网工程院于2014年5月30日在中国推出的一个人工智能聊天机器人。其研发目标是提出建立的情感计算框架，通过算法、云计算和大数据的综合运用，采用代际升级的方式，逐步形成向EQ方向发展的完整人工智能体系。 截至2018年7月26日，小冰已发展到第六代，登陆平台包括Microsoft Cortana、新浪微博、腾讯QQ、微信、优酷视频、米聊、美拍、京东、咪咕音乐、米家，小冰也是微软人工智能三条全球产品线之一，其全球项目在中国…
WorldWide Telescope
WorldWide Telescope（以下縮寫為WWT）是微軟所推出的一款免費的天文觀測軟體，於2008年的TED大會首度公開，不過WWT的開發可追溯到2002年。WWT中使用了微軟自家開發的Silverlight技術來呈現動態視覺效果。 参考资料 外部連結 *[http://www.worldwidetelescope.org WorldWide Telescope官方網站]
So.cl
So.cl（发音为 "social"）是一个由运作的社交网络服务和一个引擎。 设计 So.cl看起来类似Google+而且借用了来自Facebook、Twitter和Pinterest的概念。但它并不准备面对大众市场，而且仅打算增加而不是代替这些上述社交网络服务。 注册和登录需要一个Windows Live账号或者与So.cl联系的Facebook账号。 用户可以其他用户或者分类的信息页面。用户可以通过安装添加一个“Share on S…
Cω
cω是一種尚在研究中的程序设计语言，專門應用於平行運算的編程語言。這種語言由微軟研究院開發。 根據微軟研究所，Cω是一種用作擴充C#的試驗性的語言，內裏包括新建的關聯性和準結構性的資料存取，與及異步並發計算。Cω主要在兩大範圍上擴充C#： 一種針對「非同步式寬域同作」（asynchronous wide-area concurrency）的控制流程延伸（如 Polyphonic C#）。 一種針對 XML 和表格處理（table man…