InfoQ ホームページ プログラミング に関するすべてのコンテンツ
-
IronFleet: 分散システム検証の方法論
Microsoftの研究者グループが論文“IronFleet: Proving Practical Distributed Systems Correct”の発表に合わせて，非自明な分散システムの正当性を安全性(safety)と活性(liveliness)の観点から証明することで，方法論をマシン上で証明するためのソースコードを公開した。
-
-
大規模システムの保守における技術的負債とチームのモラル
Agile Testing Days 2015において、Thomas Bradford氏はテストがなく大きな技術的負債のあるモノリシックなJavaベースのシステムの保守に関する経験について語った。 InfoQは、システムを保守する上での問題や作りこまれた技術的負債、なぜ別のアプローチをとったのか、どうやってチームのモラルを向上させたのかについて氏にインタビューした。
-
Rust 1.5が”cargo install”を備えてリリース
Rustコアチームが1.5をリリースした。700に近い変更点には，cargo installとメタデータサイズの20%縮小化が含まれている。
-
ソフトウェア業界の先駆者であるエド・ヨードンが死去
ソフトウェア業界の先駆者であり、多作な著述家、研究者、コンサルタント、そして写真家であったエドワード・ヨードン氏が、2016年1月20日に死去した。
-
モノのインターネット(IoT)でマイクロサービスを利用する
このインタビューではFred George氏が，モノのインターネット(IoT)でマイクロサービスをいかに活用するかを，それに伴う課題と対処とともに説明している。InfoQはさらに，モノのインターネットへのマイクロサービスの活用に関して，ソフトウェア業界へのアドバイスも合わせて氏に聞いた。
-
AndroidがOpenJDKを採用へ
Hacker Newsの伝えた Androidソースコードのコミットメッセージによると，GoogleのモバイルオペレーティングシステムのJavaライブラリ実装が，Harmonyをベースとしたオリジナル版からOpenJDKのものにスイッチされる模様だ。この移行に関しては，GoogleもVentureBeatで認めている。
-
FlutterでDartによるモバイルアプリのクロス開発を目指すGoogle
Flutterは，Dartの単一コードベースによるiOSとAndroidのクラスプラットフォーム開発を実現するためにGoogleが開発した，オープンソースの新フレームワークだ。両方のプラットフォームで，ハイパフォーマンスと60fsでジッタフリーなエクスペリエンスを提供することを目的とする。
-
Angular 2 ベータ版リリース
Angular 2の最初のベータ版がリリースされた。 仕上げの必要な点はいくつが残っているが，今回のベータ版は開発者がアプリケーション構築に着手する上で，確定した基盤を提供するものだ。
-
WSO2がIoT処理のオーケストレーション機能を強化
オープンソースミドルウェアベンダのWSO2が同社プラットフォームの新機能として，IoT(Internet of Things, モノのインターネット)のアプリケーション管理とデータ処理を発表した。今回の拡張にはMQTT(ライトウェイトなM2M/IoTパブリッシュ/サブスクライブ接続プロトコル)，Activiti BPM(Business Process Management)プラットフォーム，Open DataのOData 4.0プロトコルのサポートなどが含まれている。
-
OracleがJava 9提供スケジュールの遅延を認める
先日のメールで，OracleのJava Platform Groupでチーフアーキテクトを務めるMark Reinhold氏が，Project Jigsawの完成に要する追加期間を認めるために，Java 9の一般提供に6ヶ月の遅れが発生することを示唆した。これが審議を経て承認され，Java 9の一般提供は2017年3月と決定した。
-
Mozillaはペルソナを終了する
MozillaはWeb用のクロスブラウザログインシステムであるペルソナの終了を発表した。 MozillaのソフトウェアエンジニアRyan Kelly氏はMozillaのGoogle Groupへ2016年11月にpersona.orgをシャットダウンすると投稿した。
-
設計書を使わないスケーリングとアジャイルスケーリングサイクル
InfoQはStefan Roock氏にスクラムとXPの併用という話題でインタビューし，アジャイルフレームワークを組織設計の計画図として使用することが時期尚早な最適化であり，プラクティスよりも文化が原則が重要であるという，氏の意見について詳しく聞いた。インタビューの中で氏は，アジャイルスケーリングサイクル(Agile Scaling Cycle)について，その利用の方法を例をあげて説明するとともに，アジャイルのスケーリング手段として用いた場合のメリットと落とし穴について話してくれた。
-
"Dear GitHub…" — GitHubへのオープンレター
GitHubの最もポピュラーなプロジェクトも含み、その数を増やすオープンソースプロジェクトのメンテナーによるグループは、自分たちがGitHubの目に見えず、無視されていると感じていることについて、不満と苦情を伝えるためにオープンレターに署名した。InfoQはオープンレターの主唱者の1人であるJames Kyle氏にお話をうかがった。
-
Javaバージョン文字列がJava 9で改訂される
現在の形式になって２年，JavaのバージョンスキーマがJava 9から変更されることになった。今回の変更は，業界全体のソフトウェアバージョニングのベストプラクティスに従うものだ。Javaのバージョン文字列を使用，あるいは解析しているアプリケーションの開発者は，この変更による影響に注意する必要がある。