InfoQ ホームページ プログラミング に関するすべてのコンテンツ
-
Java 7とJava 8のJSRが承認された
最近のJava JSRの結果は、受けが良く、全て承認された。ただし、Apacheだけが全て反対票をいれた。 Google と Tim Peierls氏は、Java SE 7 と Java SE 8の JSRに反対票を入れた。議論中のTCKのライセンス問題と現場での制限を支持してのことである。
-
Red HatがPaaSクラウドプロバイダMakaraを買収
今週、Red Hatは、クラウドベースのプラットフォームアズアサービス（PaaS）企業Makaraの買収を発表した。Makaraはそれ自身インフラをもっていないという意味で、PaaSプロバイダの中では珍しい存在である。InfoQでは、Makaraが他のプロバイダとどう違うのか、についての詳細をいくつか試している。
-
開発者は、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年の上半期にベータ版、下半期の早い時期には、出荷する予定である。開発者はすぐに印象と大量の質問を投稿し始めた。
-
Activiti 5.0 GA、Apache 2ライセンスの BPMN 2 Engine がリリース
Alfresco がApache2 ライセンスによるBPMN 2.0 の実装である、Activiti エンジンのバージョン5.0 Gaをリリースした。InfoQは、プロジェクトを率いている Tom Baeyens 氏に、新リリースについて聞いた。氏はまた、 jBPMプロジェクトのクリエータであり、以前のプロジェクト リーダーである。
-
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#開発者コミュニティとおおむね同等に成功を収めるために喜ぶべきニュースである。
-
Oracle の元を離れる Hudson
Hudson 開発者コミュニティが Oracle のソース管理インフラからソースコードを引き揚げた。さらにソースコードの分岐も検討中だが，Oracle は現在これを思いとどまるように求めている。関係悪化の理由は何なのか，そして Hudson は今後どうなるのか？
-
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を使えば、驚くほど簡単に使えるようになる。