InfoQ ホームページ ニュース
-
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を競合に差をつけている基盤フィーチャは、その土台のマルチテナント アーキテクチャである。
-
シンプルな IT - SOA の正しい適用
Steve Jones 氏は最新の記事で，「シンプルなIT」という考え方を提案している。それが示すのは，明確な定義と独立的な持続性を持つ，ビジネス指向の要素の集合体として構成される IT - すなわち，適切に設計された SOA システムだ。
-
合衆国政府のクラウドコンピューティングの評価認定に関する提案
2週間前、合衆国のCIO協議会のオフィスは合衆国政府のクラウドコンピューティングに対するセキュリティの評価認定に関する提案と題した90ページの提案書を発表した。この提案書は18ヶ月にわたるNIST、SA、ISIMC、CIO協議会の間で行われた作業の成果であり、合衆国政府のクラウドコンピューティングに対するセキュリティ管理と複数の評価認定モデルを審査するために作成されたものだ。
-
Moonlightがハードウェア・アクセラレーション対応ピクセル・シェーダーでSilverlightを大きく上回る
最近、David RevemanはNovelのMoonlightにかなりの量のハードウェア・レンダリングを追加した。Silverlightはハードウェア・レンダリングを限定的にしかサポートしないため、Moonlightの方が優勢である。
-
Microsoft のクラウド経済学
Microsoft の Rolf Harms，Michael Yamartino 両氏は先々週，「クラウドの経済学 (The Echnomics of the Cloud)」と題する白書を公開した。その中で氏らは，クライアント／サーバからAmazon AWS や Microsoft Azure に代表されるパブリッククラウドへの，IT 界の急激なシフトを予告する。勇敢なる新 Microsoft の，技術およびビジネスにおける計画をあざやかに描き出した資料である。
-
OASISがWS-I会員セクションのドアを開ける
OASISは、Web Services Interoperability会員セクションを開設し、最近閉鎖されることが決まったWS-Iからの寄贈を受け入れて引き継ぐことを発表した。グループの構造は、WS-Iの会員を反映してはいるものの、作業を先に進めるためにより広い参加者を求めている。
-
Evolve:コンポーネントを使って、依存注入を改善
Evolveは、Javaコンポーネントを生成、接続、実行する軽量ツールである。開発者は、Evolveを使ってグラフィカルにJavaBeansを記述でき、またオプションでsetterとgetterのJavaコードを生成できる。Andrew McVeigh 氏にツールについて聞いた。
-
アジャイル導入のよくある間違い
たくさんの解説者がアジャイル導入のよくある誤りとアンチパターンについて書いてきた。ツールの過信から特定のプロセスへの執着まで、いろいろな要因が効果的なアジャイル導入を妨げるものとして広く認識されている。このリストは心の糧となり、アジャイルを実践するときに注意すべきことのアドバイスになる。
-
HTML5 vs. Flash: Adobeの立ち位置はどこか？
昨年、AdobeはHTML5を受け入れて、製品戦略に取り込むかのように見えた。Adobe開発者カンファレンス(MAX)において、Lee Brimelow氏は彼の会社のHTML5に対する計画、特にFlashやFlexのように競合するプラットフォームについて、デスクトップとモバイルの両方において明確にすることを試みた。
-
Amazon AWSがISO 27001を認証
先週、AmazonはAmazonウェブサービス、AWSに対するISO/IEC 27001の認証を取得した。この認証が重要なのは、ISO 27001が具体的な管理制御と必須要件が満たされていることを命じているからだ。
-
RESTfulサービスにおいて部分的更新を実装する
Alex Scordellis氏は、リソースの部分的更新についてのクライアントとRESTfulサービスのインタラクションがどのようにモデル化され、デザインされ得るかについての記事を投稿した。リソースを適切にモデル化すれば、問題は容易に解決するようだ。多くの場合、ただリソースをCRUDをサポートするエンティティとして考えることによってそれは問題となる。リソースを"リソース"とサービスとしてモデル化することだ。
-
Yahoo!、リアルタイム分散処理プラットフォームのS4をリリース
今月、Yahoo!は新しいオー��ンソースフレームワークを発表した。このS4という名のフレームワークは絶えず変更されるデータに対する巨大な分散計算処理を実現する。InfoQはこのフレームワークのサンプルを調べた。また、S4とほかの技術との比較を行った。
-
iPhone 開発環境は Android より優れているか？
John Blanco 氏は，iPhone と Android の開発環境比較を公表した。氏はプログラム言語としての Java の優位性を認めつつも，Xcode と iPhone シミュレータが，Google の提供するツール類よりもはるかに優れているとしている。読者は賛同できるだろうか？