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回プログラミング研究会にて発表されました．
Raffi Khatchadourian先生が研究室に滞在
ニューヨーク市立大学のRaffi Khatchadourian5月28日から6月10日まで研究室に滞在し、共同研究を行いました。6月2日の専攻談話会において”Open Problems in Automatically Refactoring Legacy Java Software to use New Features in Java 8″と題した講演も行っていただきました。(この滞在は本学の国際的な共同研究推進のための派遣・招へい支援プログラムによるものです。)
ACM SAC2015において履歴に基づくデバッガに関する論文の発表
ACM Symposium on Applied Computing (SAC 2015)において櫻井孝平、増原英彦による論文“The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs”が発表されます。 [PDF]
奥河、田屋、渡邉が卒研生として配属されました
田屋: プログラミング言語について知らないことをもっと知りたいです。
奥河: いろいろな本を読んでみたいです。
渡邉： もっとプログラミングしたいです。
Robert Hirschfeld教授が当研究室を訪問
Hasso-Plattner InstitutのRobert Hirschfeld教授が3月24日から4月7日の間、当研究室を訪問し、文脈指向プログラミングとDesign Thinking Researchに関する講演を行いました。