InfoQ ホームページ プログラミング に関するすべてのコンテンツ
-
形式的手法を用いた正当性立証可能なソフトウェアの開発
ソフトウェアプログラム内の中核的なコミュニケーションと状態管理が論理的に100%正しいことを証明する手段として，コンピュータチェックモデルを利用する方法がある。同じようなモデルは，100%正確なソースコードの作成にも応用できる。このような形式的手法を利用することにより，市場提供のためのコストと時間を削減し，より信頼性の高いソフトウェア製品の提供が可能になる。
-
AppleがSwiftをオープンソース化
WWDC 2015でAppleは、Swift 2.0をパーミッシブライセンスでオープンソースにすると発表した。Swiftは昨年のWWDCでリリースされた言語だ。また、Linuxでも標準ライブラリとコンパイラが動作するようにする。さらに、開発者プログラムを簡素化して、開発者が同じメンバシップでiOSとOSXとウォッチOSのアプリケーションの開発ができるようにした。
-
-
-
Tabris.js: JavaScriptでネイティブモバイルアプリを作る
Tabris.jsはネイティブのiOSとAndoroidアプリを完全にJavaScriptで開発するためのオープンソースモバイルフレームワークだ。EclipseSourceによれば、高性能、高速な開発サイクルを実現し、Cordovaのようなサードパーティのプラグインをサポートする。InfoQはこのプロジェクトのリーダであるHolger Staudacher氏に話を聞いた。
-
Rustが製品開発可能な安定版に到達
Mozilla Researchから始まったプログラム言語Rustが，1.0のマイルストンに到達した。開発者がソフトウェア開発に着手可能な安定した基盤と，Rustプロジェクトチームによる"安定性の保証"が提供されている。
-
-
MozillaはFirefox Developer EditionのCSSアニメーションインスペクタをメジャーアップデートリリースした
Mozillaは、Firefox Developer Edition 40をリリースにおいて、CSSアニメーションインスペクタをメジャーアップデートした。FirefoxのエンジニアリングのディレクターであるDave Camp氏は、開発者が、ひとつの効果を与えるために複数のWebアニメーションを組み合わせることが一般的であると考え、選択したノードと子ノードのすべてのCSSアニメーションを見えることができるようになる。とInfoQに語った。
-
iOS/Android用ライブラリをCommon Lispで開発可能なLispWorks
LispWorks 7.0には，AndroidおよびiOSプラットフォーム用の新しいランタイムシステムが追加されている。ネイティブなモバイルアプリ用に，UIを持たないライブラリの開発が可能になる。
-
Microsoft: EdgeはChromeやFirefoxよりもパフォーマンスが改善している
この記事は、Chakraエンジンのパフォーマンス最適化結果の概要と、Edge, Chrome, FirefoxのOctaneとJet Streamベンチマークの結果に関する概要である。
-
Ionicが1.0をリリース，次期バージョンではAngular 2.0をサポート
Ionicは，実運用対応のバージョン1.0をリリースした。AngularJS 2.0上に構築される予定の次期バージョンの開発も，同時に開始している。Push，Deploy，Analytics，Packageといったモバイルサービスも近日中に公開される予定だ。
-
Clingは高性能C++ REPLを提供する
ClingはLLVMとClang上に構築された対話型C++インタープリタだ。コーディング-コンパイル-実行-デバッグというC++の通常のワークフローを超えることで、生産性を飛躍的に高める可能性がある。
-
Azul は OpenJDK ペースの Zulu Embedded をリリースした
Azul Systems は、OpenJDK ベースでオープンソースの Embedded JDK であるZulu Embedded をリリースした。Zulu Embedded はモバイルや IoT デバイス向けに組み込み Java 製品を保有している企業をターゲットにしている。ルータ、スイッチ、ATM 機器、アビオニクス、カーエレクトロニクス（automotive electronics）、Point of Sale (POS) システムが例として挙げられる。
-
Slick 3: Scalaで非同期データアクセスを実現するReactive Streams
TypesafeのScala用データベースクエリおよびアクセスライブラリであるSlickがバージョン3.0をリリースし，Reactive Streams APIを新たにサポートした。これによって非同期かつ非ブロックのデータベースクエリが可能になる。InfoQは同社技術リーダのStefan Zeiger氏から，新機能の詳細と今後の予定について話を聞いた。
-
Node.jsとio.js、Node Foundationのもと統合へ
io.jsのテクニカルコミッティが今度のNode Foundationに参加することを投票で決めた。プロジェクトの名前はNode.jsだが、io.jsのリポジトリがベースになる。