InfoQ ホームページ Microsoft に関するすべてのコンテンツ
-
ASP.NET MVC 3が動的型けをサポート
１０年ぐらい前に、Microsoftは、WebFormと静的な型づけに大きく賭けた。ダイヤルは目一杯回されて、完全な暗号化まで行ってしまい、各ページがまるでプログラムのように扱われていた。その間、業界は、概ね別方向に行き、暗号化への関心は無くなり、初期結合より遅延結合が好まれている。今ではMicrosoftも同じことをやっている。
-
NHibernate 3.0 公開
NHibernate 3.0 は人気 ORM の一年ぶりとなるメジャーリリースである。今回のリリースでは，CLR のバージョンが .NET 3.5 に変更されている。これに伴って QueryOver API が実現され，これまでの文字列ベースの ICriteria 式が，強く型付けされた lambda 式に置き換えられる。これはビルトインされた LINQ プロバイダの付加機能である。
-
ずっと必要だったVS 2010のサービスパックがほぼ完成
Visual Studio 2010の最初のサービスパックがほぼ完成している。Brian Harry氏によると、.NET 4 SP1, VS 2010 SP1, そして TFS 2010 SP1 のベータは、合わせて800～1000のバグ修正がある、という。新しいヘルプ システムとSilverlight, x64,.NET 3.5へのサポートも含まれている。
-
Microsoft，タイプセーフなオペレーティングシ���テム Verve を発表
Microsoft Research は Singularity プロジェクトから派生したオペレーティングシステムである Verve のリリースを発表した。TAL (Typed Assembly Language，型付きアセンブリ言語) と Hoare 論理の採用を前提とすることで，最高レベルのセキュリティと安全性を実現する。
-
開発者は、Visual C++の将来に不安を抱いている
昨日、コミュニティで関心が持たれている、その将来についてVisual C++ Blogにビデオが投稿された。この投稿にVisual C++チームからまだ回答がないことがC++コミュニティの気に障っている。
-
Orleans: マイクロソフトリサーチによるクラウドコンピューティングのためのオブジェクトフレームワーク
今週のはじめに、マイクロソフトリサーチはクラウドコンピューティングのためのフレームワーク、コードネームOrleansについての論文を発表した。このフレームワークは、PC、スマートフォン、組み込みデバイスといったクライアントを用いて利用するクラウドコンピューティングに狙いを定めたものだ。
-
GPU.NETでGPUが使える
GPU.NETは、.NET開発者向けに Visual Studio 2010に統合されているマネージド ソリューションで、GPU用の計算集中型アプリケーションを作成するが狙いである。
-
Silverlight 5のタイムラインと多くの質問
昨日マイクロソフトは、Silverlight FireStarterイベントにおいて、2011年のSilverlight 5に関するタイムラインについてアナウンスした。Silverlight 5は、Scott Guthrie氏のキーノートのメインテーマであり、マイクロソフトは、たくさんの新しい機能と能力についてデモを行った。Silverlight 5は2011年の上半期にベータ版、下半期の早い時期には、出荷する予定である。開発者はすぐに印象と大量の質問を投稿し始めた。
-
Window Azure で動作する NCBI BLAST
Microsoft は同社 Windows Azure プラットフォーム上で NCBI BLAST の提供を開始した。NCBI BLAST は米国保健社会福祉省の一部門である国立生物工学情報センタに勤務する研究者グループによって開発された。NCBI では BLAST について，タンパク質およびDNA 連鎖の “配列間の局所的類似性を検索” するツールである，と説明している。
-
アナウンス：Windows Phone 7がVisual Basicにも開かれた
11月29日、Visual BasicチームはWebへのリリースバージョンのVisual Basic for Windows Phone Developer Toolsをアナウンスした。これは、多くのVisual Basic開発者がWindows Phone 7のアプリケーション開発のC#開発者コミュニティとおおむね同等に成功を収めるために喜ぶべきニュースである。
-
Prism 4 Finalがリリース
Karl Shifflett 氏は、Prism 4の最終版を11月12日にMSDNへリリースした。同時に氏は、またVisual Studio 2010内で使うことができるマルチメディア トレーニング シリーズ、In the Box の第一回もリリースした。
-
OSリリース: Pyxis2ベータ2
先週の水曜日、Thomas Holtq氏は Pyxis2のベータ2を発表した。Pyxis2.0は.NET Micro Frameworkデバイス向けのオペレーティングシステムだ。
-
マイクロソフトのWebMatrixは、PHP 5.3とPEARを内包してリリースされた。
PHPのサポートが大幅に向上された、マイクロソフトのWebMatrix IDEの3番目のベータが先月リリースされた。これでは、PHP 5.2と5.3を選択できるオプションと、PEAR(PHP Extension and Application Repository)のサポートが提供された。
-
LINQ to Z3、世界最速の定理証明器
マイクロソフトリサーチは、Z3は、世界最速の定理証明器であると宣言した。Z3は、ほかのアプリケーションへの低レベルツールとして設計されており、単独では動作しない。定理証明器のホストは、 Spec#/Boogie、Pex、Yogi、Vigilante、SLAM、F7、SAGE、VS3、FORMULA、HAVOCを含む数多のプロジェクトで使用されている。Bart De Smet氏のLINQ to Z3を使えば、驚くほど簡単に使えるようになる。
-
SQL Azure アーキテクチャ － 競争力のある差別化
2週間前、SQL Azure がどのようにしてスケーラビリティと高可用性を実現しているかに焦点を当てた、SQL Azure 内部に関するホワイトペーパーを Kalen Delaney氏が出した。SQL Azureを競合に差をつけている基盤フィーチャは、その土台のマルチテナント アーキテクチャである。