プログラミング研究室

新規メンバー: Matthias Springer

Matthias Springerが国際大学院プログラム(A)博士課程学生として研究室に加わりました。

Robert Hirschfeld教授が当研究室を訪問

Hasso-Plattner InstitutのRobert Hirschfeld教授が9月14日から18日の間、当研究室を訪問し、文脈指向プログラミングとDesign Thinking Researchに関する講演を行いました。

THRESHERに関するソフトウェア科学会大会論文発表

Platz, Taeumel, Steinert, Hirschfeld, Masuharaによる論文”Unravel programming sessions with THRESHER: Identifying coherent and complete sets of fine-granular source code changes”が第32回日本ソフトウェア科学会大会にて発表されました。

NII湘南会議EASSy’15において文脈指向プログラミングの発表

NII湘南会議Engineering Adaptive Software Systems (EASSy)において増原が文脈指向プログラミングの発表を行いました

高校生が研究室訪問

東京工業大学附属科学技術高校2年生約20名が、同校の「サマーレクチャー」の一環として本研究室を訪問しました。研究室からはライブプログラミング・定理証明支援系によるプログラムの仕様検証・遅延評価関数型言語のデモや解説を行ったところ、熱心に話を聞き入ってくれました。

(さらに…)

Walter Binder先生が研究室を訪問

スイス・ルガノ大学(Università della Svizzera italiana)のWalter Binder先生が研究室を訪問し、 専攻談話会において”Accurate Profiling in the Presence of Dynamic Compilation” についてご講演されました。

文脈指向プログラミングに関する2本の論文がCOP’15で発表されます

以下の論文が文脈指向プログラミングに関するワークショップ (7th International Workshop on Context-Oriented Programming, co-located with ECOOP’15)で発表されます:

• “Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation” by Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara
• “Method Safety Mechanism for Asynchronous Layer Deactivation” by Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara and Atsushi Igarashi

GPGPUのための並行分離論理に関する論文が情報処理学会論文誌 プログラミングに採録

朝倉泉，増原英彦，青谷知幸による”GPGPUのための並行分離論理のCoqによる健全性証明”が情報処理学会論文誌 プログラミングに採録されました．

GPGPUのための並行分離論理のCoqによる健全性証明についての発表が情報処理学会プログラミング研究会で行なわれます

朝倉泉，増原英彦，青谷知幸による”GPGPUのための並行分離論理のCoqによる健全性証明”が第104回プログラミング研究会にて発表されました．