まだWebには掲載されていないようだが、審査委員長名(江崎玲於奈氏)のメールが配信されたらしいので正式発表だろう。おめでとうございます。 追記:プレスリリースは発表されていたらしい。 追記2:もう少し早く発表されていれば、あのチュートリアルにも人が入ったのだろうか… 追記3:PDFファイルの奥深くに埋もれているので引用。っていうかK先生のコメントで初めて存在に気づいた。 贈賞の理由:オブジェクト指向言語のための型理論 五十嵐氏は、オブジェクト指向プログラミング言語の基礎理論を展開するための枠組みを確立するとともに、現在最も広く用いられているプログラミング言語の一つである Java 言語の設計および実装の根幹に大きな影響を与える重要な理論的成果を挙げた。オブジェクト指向プログラミング言語は、データ抽象などの大規模ソフトウェア開発に適した機構を備えており、その重要性は今や広く認識されている。そ