InfoQ ホームページ 言語 に関するすべてのコンテンツ
-
/articles/new-groovy-20/ja/smallimage/article logo.JPG)
Groovy 2.0の新機能
新しくリリースされたGroovy 2.0は、この言語に静的型チェックや静的コンパイルといった重要な静的機能を導入します。Project Coinのシンタックス拡張や新しいJVM命令"invokedynamic"のサポートといったJDK 7対応の改良も取り入れられ、また、以前に比べよりモジュール化されています。この記事ではこれらの新機能をより詳しく見ていきます。
-
/articles/java-8-vs-scala/ja/smallimage/Article_logo_1.jpg)
Java 8 vs Scala: 特徴を比較する
この記事ではJava 8の新しい特徴を、構文のドラフトとScalaとの比較を交えながら紹介します。ラムダ式や高階関数、並列コレクション、仮想拡張メソッド、traitなどを紹介します。さらに、Java 8が取り込んだ新しいパラダイムについても考察します。
-
Scala Days 2012 リポート
Scala Daysというイベントをご存知でしょうか。Scala Daysはプログラミング言語Scalaの国際的な技術 イベントです。2010年から開催され、今年で三回目を迎えます。筆者はこれまですべてのScala Daysに参加・発表してきました。本記事では、Scala Days 2012の様子やScala Daysというイベントの雰囲気等を 写真を交えて紹介したいと思います。この記事を読んで、来年のScala Daysに参加したいという読者が増えれば幸いです。
-
大規模データ技術の現状と今後の方向性
クラウドコンピューティングを前提とした大規模データ技術が利用可能となってきています。Big Dataが一過性のブームで終わるかどうかにかかわらず、スケーラブルな分散アーキテクチャーの基盤はデータベース技術に主導されつつあります。RDBとORM主体のエンタープライズシステムは、HadoopやNoSQLとの組み合わせにより複合的なデータモデルに発展しました。こうしたアーキテクチャーの革新を最適化し、複雑さを隠ぺいするためにデータタイプやデータモデルを導入する新たな動きが起こっています。また、Hadoopの多方面への発展の軸を見ることで、大規模データ技術の発展の方向性を占うことが可能です。
-
「Groovy & Grails eXchange 2011」in London 参加レポート（1/3）
2011年12月8日～2011年12月9日に、ロンドンのSkills Matter eXchangeにて開催された「Groovy & Grails eXchange 2011」の参加報告を、日本Grails/Groovyユーザーグループのメンバーが３回に渡って紹介します。
-
GAE開発の落とし穴
Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します
-
イベントレポート：「Coqチュートリアル#1」
去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。
-
/articles/neal-gafter-on-java/ja/smallimage/images_han1.jpg)
Javaの未来についてのNeal Gafter氏とのディスカッション
Java SE 4と5の言語拡張の設計と実装を行った人物であり、現在はMicrosoftで.NETプラットフォームの言語に関する仕事をしている、MicrosoftのNeal Fafter氏は、OracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#は比較について話をしてくれた。
-
/articles/google-dart/ja/smallimage/article icon dart.jpg)
Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate
GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式
-
CSPベースのモデル検査ツール「Process Analysis Toolkit」
本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の１つとして注目されている手法である。
-
Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~
前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。
-
書籍『抽象によるソフトウェア設計－Alloyではじめる形式手法－』の紹介
Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』（「Alloy本」）を紹介する。