プログラミング研究室 – ページ 27 – 東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系

文脈指向プログラミングに関する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

2015-07-05.

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

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

Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani,Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq, Journal of Information Processing, 24(1)132-140, 2016. DOI: 10.2197/ipsjjip.24.132
PDF

2015-06-30.

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

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

2015-06-04.

Raffi Khatchadourian先生が研究室に滞在

ニューヨーク市立大学のRaffi Khatchadourian5月28日から6月10日まで研究室に滞在し、共同研究を行いました。6月2日の専攻談話会において”Open Problems in Automatically Refactoring Legacy Java Software to use New Features in Java 8″と題した講演も行っていただきました。(この滞在は本学の国際的な共同研究推進のための派遣・招へい支援プログラムによるものです。)

2015-05-28.

ACM SAC2015において履歴に基づくデバッガに関する論文の発表

ACM Symposium on Applied Computing (SAC 2015)において櫻井孝平、増原英彦による論文“The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs”が発表されます。 [PDF]

2015-04-14.

奥河、田屋、渡邉が卒研生として配属されました

田屋: プログラミング言語について知らないことをもっと知りたいです。

奥河:　いろいろな本を読んでみたいです。

渡邉：　もっとプログラミングしたいです。

2015-04-01.

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

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

2015-03-24.

文脈指向プログラミングのための一般化した層活性機構に関するMODULARITY’15国際会議論文

14th International Conference on Modularity (MODULARITY’15) において紙名哲生、青谷知幸、増原英彦による論文”Generalized Layer Activation Mechanism Through Contexts and Subscribers”が発表されます。[PDF]

2015-03-18.

PPL2015 でポスター発表をします

PPL２０１５でポスター発表をします

Pyrlang: RPythonを用いた高性能Erlang BEAM仮想機械 — 黄若塵、増原英彦、青谷知幸
ライブプログラミングにユニットテストを統合する機能の提案 — 今井朝貴、増原英彦、青谷知幸
GPGPUカーネル検証のための分離論理のCoqによる形式化 — 朝倉泉、増原英彦、青谷知幸
Haskellのモジュラリティと効率の両立のためのコンパイル時データ合成 — 桐山裕匡、増原英彦、青谷知幸
例外処理を分離するChop&Graftアドバイス機構の提案 — 藤田健太、増原英彦、青谷知幸

2015-03-04.

今井、桐山、藤田が学士論文を発表しました

今井朝貴、桐山裕匡、藤田健太が理学部情報科学科の卒業論文発表会で発表しました。

Shiranui: テストを統合したライブプログラミング言語環境 (今井朝貴)
Haskellのモジュラリティと効率の両立のためのコンパイル時データ合成(桐山裕匡)
大域的な制御フローを切り貼りできるアスペクト指向機構Chop&Graftの提案（藤田健太)

2015-02-13.

← Previous page