マイクロソフトリサーチ(Microsoft Research、MSR)は、計算機科学に関するさまざまな研究を行う機関。リチャード・ラシッド博士がマイクロソフトに入社する条件として、同研究所の設立と、その独立性を約束させ、1991年9月に設立された。
名称からもわかるようにマイクロソフトの関連機関ではあるが、完全に独立した研究機関であり、そこで行われる研究内容については、たとえマイクロソフト本社の首脳陣であっても一切の口出しは出来ないことになっている。
世界でも最も有力な研究機関の一つである。現在、チューリング賞受賞者のアントニー・ホーア、フィールズ賞受賞者のマイケル・フリードマン、ウルフ賞受賞者のラースロー・ロヴァース、マッカーサー・フェローに選定されたジム・ブリン、(ダイクストラ賞)受賞者のレスリー・ランポートらをはじめ、著名な物理学・計算機科学・数学の専門家たちが数多く参加している。
研究内容
- C# - プログラミング言語。
- (Polyphonic C#) / Cω - プログラミング言語。
- Spec# / Sing# - プログラミング言語。
- (Bartok)[1] - OSのカーネル開発にも使えるほど効率的なコンパイラおよび実行環境。
- Singularity[2] - オペレーティングシステム。
- (Bigtop) / (Gridline) - 分散システムの疎に結合したコンポーネントを開発するためのフレームワーク。
- F# - プログラミング言語。
- (Wallop) - ソーシャル・ネットワーキング・サービス。
- (BitVault)[3] - 分散ストレージプラットフォーム。
- (Allegiance)- コンピュータゲーム。
- SXM
- (Avalanche) - P2Pネットワーク。
- (MyLifeBits)[4]
- (Microsoft SenseCam)[5]
- (Group Shot)[6]
- (TouchLight)[7]
- (HoneyMonkey)[8]
- ClearType - 液晶ディスプレイ上で文字の見栄えをよくするためのアンチエイリアシング技術。
- (ConferenceXP)[9]
- (SenseWeb Project)[10]
- Strider GhostBuster Rootkit Detection(ルートキット検出)
- Strider URL Tracer / Strider Typo-Patrol Project[12](タイポスクワッティング対策)
- (Penny Black Project) - 対スパムプロジェクト[3]
- (Sideshow)
- (SLAM project)[13]
- TrueSkill - レーティングアルゴリズム。
- (ZenZui)[14] - モバイル向けのコンテント・ブラウザ。
- Microsoft Cognitive Toolkit - ディープラーニングフレームワーク
脚注
- ^ Research Areas
- ^ A Centre of Excellence in Scientific Research is founded in Trento 2007年7月4日, at the Wayback Machine.
- ^ “マイクロソフトのスパム撲滅計画「Penny Black」は効果なし--専門家が指摘”. CNET Japan (2004年6月7日). 2022年4月2日閲覧。
外部リンク
- Microsoft Research
- マイクロソフトリサーチ (MSR) について - アカデミック連携プログラム