ようこそ

わたしたちはプログラミング言語とプログラミン環境を研究しています。プログラミング言語・環境の理論・設計・実現方式を追求することで「プログミングをもっと楽しく」することが研究室の大きな目標です。主な研究テーマには次のものがあります。

  • より良いモジュールのためのプログラミング言語の理論・設計・実現方式。特にオブジェクト指向・アスペクト指向・文脈指向プログラミング言語や自己反映計算。
  • 効率の良いプログラムをより簡単に記述するためのプログラミング言語とその最適化手法。部分計算やプログラム変換技術を用いてGPGPUや大規模並列計算機向けプログラムを書きやすくすることなどが目標です。
  • 巻き戻しデバッガやコード推薦システムのような、豊富な計算資源や先進的なプログラム解析技術を用いたソフトウェア開発環境のための機能。

これらに限らず、プログラミング言語・環境に関する色々な研究を行っています。詳しくは研究プロジェクトのページをごらん下さい。この分野に興味を持つ学生・研究者を歓迎しています

, April 1, 2000. Category: news.

CoqPL 2017で検証済み GPGPU 用 DSL についての発表

朝倉増原青谷による論文 “CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL” が CoqPL 2017 (POPL 2017と共同開催) で発表されます.論文はこちらからダウンロードできます.

APLAS 2016で GPGPU 用 DSL の形式検証に関するポスター発表

1-20161122_152834
朝倉増原青谷によるポスター “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” が APLAS 2016 で発表されます.

Pyrlang論文がTFP’16のPost-Proceedingsに採択

6月に開催された17th Symposium on Trends in Functional Programming (TFP’16).において発表した黄、増原青谷による論文”Improving Sequential Performance of Erlang based on a Meta-tracing Just-In-Time Compiler”が、会議のpost-proceedingsに採択されました。

(English) Paper presentation at NOOL

Aotani's talk at NOOL'16

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

IPSJ-PRO にて ライブプログラミング環境におけるユニットテスト機能の設計と実現方法 について発表

Imai's presentation at IPSJ PRO

第111回プログラミング研究会 にて 今井増原青谷により 「ライブプログラミング環境におけるユニットテスト機能の設計と実現方法」 という題で発表します。

本発表資料は 今井のホームページ よりダウンロードできます。

オープンクラス機構に関する論文が情報処理学会論文誌(トランザクション プログミング)に採録

Springer, Masuhara and Hirschfeldによる論文 “A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes” が情報処理学会論文誌 トランザクション プログラミング(Journal of Information Processingからも出版)に採録されました。

8月に情報処理学会プログラミング研究会/SWoPP’16で発表した論文です。

朝倉泉が情報処理学会コンピュータサイエンス領域奨励賞を受賞

Izumi Asakura receives IPSJ Computer Science Research Award for Young Scientists

朝倉泉情報処理学会コンピュータサイエンス領域奨励賞を受賞しました。 2015年の同会プログラミング研究会の発表「GPGPUのための並行分離論理のCoqによる健全性証明」が受賞対象となった論文です。

新規メンバーと修了者

Members as of September 2016

黄若塵が修士課程を修了しました。学位記授与式では情報理工学研究科の総代として学位記を受け取りました。

Ruochen Huang, “Pyrlang: A High Performance Erlang Virtual Machine Based on RPython“, Master Thesis, August 2016

ミュンヘ工科大学からの交換留学生Peter Wauligmann が研究室に加わりました。2017年2月まで研究室に滞在してIkraプロジェクトに参加します。

THRESHERに関する論文が「コンピュータソフトウェア」誌に採録決定

Taeumel, Platz, Steinert, Hirschfeld, and Masuharaによる論文 “Unravel programming sessions with THRESHER: Identifying coherent and complete sets of fine-granular source code changes” が日本ソフトウェア科学会論文誌「コンピュータソフトウェア」に採録決定しました。

IPSJ-PRO / SWoPP 2016にてOpen Classes機構に関する論文を発表

第110回情報処理学会プログラミング研究会/2016年並列/分散/協調処理に関する『松本』サマー・ワークショップ (SWoPP2016)にてSpringer, Masuhara, and Hirschfeldによる論文 “A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes” を発表しました。

更新情報: 改訂版が情報処理学会論文誌トランザクション プログラミング(Journal of Information Processingと同時出版)に採録されました。