Updated on 2026/03/10

写真a

 
MASUHARA HIDEHIKO
 
Organization
School of Computing Professor
Title
Professor
Homepage
http://prg.is.titech.ac.jp/people/masuhara/
External link

Degree

  • Doctor of Science ( The University of Tokyo )

Research Interests

  • プログラミング言語

  • Programming Languages

Research Areas

  • Informatics / Software

Research History

  • Institute of Science Tokyo (formerly Tokyo Institute of Technology)   Department of Mathematical and Computing Sciences, School of Computing   Professor

    2013.4

    　 More details

  • The University of Tokyo   Graduate School of Arts and Sciences   Associate Professor

    2002.4 - 2013.3

    　 More details

  • University of British Columbia, Canada   Department of Computer Science   Visiting Professor

    2001.10 - 2002.9

    　 More details

  • The University of Tokyo   Graduate School of Arts and Sciences   Lecturer

    2000.4 - 2002.3

    　 More details

  • The University of Tokyo   College / Graduate School of Arts and Sciences   Assistant Professor

    1995.8 - 2000.3

    　 More details

Professional Memberships

Committee Memberships

  • 日本ソフトウェア科学会   副理事長  

    2018.6   

    　 More details

    Committee type：Academic society

    researchmap

  •   SSR 産学戦略的研究フォーラム 運営委員  

    2015 - 2016   

    　 More details

  •   情報処理学会 プログミング研究会 幹事  

    2014.4   

    　 More details

  •   日本ソフトウェア科学会 理事  

    2013.6   

    　 More details

  •   Aspect-Oriented Software Association steering committee  

    2006.3   

    　 More details

Papers

▼display all

Books

  • Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY'15). Reviewed

    Laurie Hendren, Hidehiko Masuhara, Mary Sheeran, Jan Vitek（Proceedings of ACM SIGPLAN 2nd International Workshop on Libraries, Languages and Compilers for Array Programming）

    2015.6  （ ISBN:9781450335843 ）

    　More details

    Language：English   Book type：Scholarly book

    researchmap

  • Lecture notes in computer science, LNCS

    Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Etsuya Shibayama, Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa（Concurrent Objects and Beyond）

    Springer-Verlag  2014.9 

    　More details

    Language：English   Book type：General book, introductory book for general audience

    researchmap

  • 情報科学入門―Rubyを使って学ぶ

    増原 英彦, 東京大学情報教育連絡会（ Role： Joint author）

    東京大学出版会  2010.6  （ ISBN:4130624520 ）

    　More details

  • 情報: 東京大学教養学部テキスト

    川合 慧

    東京大学出版会  2006.1  （ ISBN:4130624512 ）

    　More details

  • Reflection in Concurrent Object-Oriented Languages

    Formal Methods for Distributed Processing: An Object Oriented Approach (Cambridge University Press)  2001 

    　More details

  • Reflection in Concurrent Object-Oriented Languages

    Formal Methods for Distributed Processing: An Object Oriented Approach (Cambridge University Press)  2001 

    　More details

▼display all

MISC

  • (少し)反転してみた Reviewed

    増原英彦

    コンピュータソフトウェア   Vol. 35 ( No. 2 )   85--86   2018.5

    　More details

    Language：Japanese   Publishing type：Article, review, commentary, editorial, etc. (scientific journal)  

    researchmap

  • A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes

    Matthias Springer, Hidehiko Masuhara, Robert Hirschfeld

    10 ( 2 )   2017.2

    　More details

    Language：English  

    CiNii Books

    researchmap

  • Declaring Constraints on Object-oriented Collections

    Tim Felgentreff, Robert Hirschfeld, Maria Graber, Alan Borning, Hidehiko Masuhara

    9 ( 4 )   2016.9

    　More details

    Language：English  

    CiNii Books

    researchmap

  • Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq

    Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani

    8 ( 4 )   2015.12

    　More details

    Language：English  

    CiNii Books

    researchmap

  • Rubyの20年, Rubyのこれから

    松本行弘, 加藤和彦, 千葉滋, 増原英彦, 小野寺民也, 笹田耕一, 高橋征義

    情報処理学会会誌   Vol. 56 ( No. 12 )   1192 - 1197   2015.12

    　More details

    Language：Japanese   Publishing type：Article, review, commentary, editorial, etc. (scientific journal)   Publisher：情報処理学会  

    researchmap

  • OCommand: A Domain Specific Language for Type Safe Shell Programming in OCaml

    Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani

    7 ( 5 )   14 - 14   2014.12

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    This presentation proposes We proposes a domain-specific language (DSL), called OCommand, for executing shell commands from within OCaml programs in a type safe way. OCommand takes a command specification consisting of types of output columns from the command and effects of command options on the types of the columns, and generates an OCaml module that contains a command-executing function and a set of values representing the command options. The command-executing function takes options as arguments, runs the command, parses the output lines, and returns them as a list of records. In order to statically-check existence and types of fields of the output record that can be changed by command options, we used generalized algebraic data type. With our implementation constructed by using Camlp4, we successfully handle typical Unix commands like ls and ps by using OCommand.

    CiNii Books

    researchmap

  • Aspect Interfaces: Towards Separate Type-checking of Aspect-oriented Programs with Inter-type Declarations

    Manabu Toyama, Tomoyuki Aotani, Eric Bodden, Hidehiko Masuhara, Eric Tanter

    6 ( 4 )   79 - 79   2013.12

    　More details

    Language：English  

    CiNii Books

    researchmap

  • Introducing Composite Layers in EventCJ

    Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

    6 ( 1 )   1 - 8   2013.1

    　More details

    Language：English  

    CiNii Books

    researchmap

  • Activation Order Analysis of Context-oriented Programs Based on Resource Usage Analysis

    Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara

    6 ( 1 )   29 - 29   2013.1

    　More details

    Language：English  

    CiNii Books

    researchmap

  • EventCJ : a context-oriented language with declarative per-object layer transitions

    28   1 - 11   2011.9

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • Context-Oriented Software Development with Use Cases

    2011   1 - 8   2011.9

    　More details

    Language：Japanese  

    researchmap

  • Traceglasses: A Trace-based Debugger for Realizing Efficient Navigation

    3 ( 3 )   1 - 17   2010.6

    　More details

  • A Framework for Defining and Compiling User-Defined Program Analysis in AOP

    Tomoyuki Aotani, Hidehiko Masuhara

    23 ( 2 )   109 - 109   2006.4

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • ASB : A Framework for Implementing Extensible Aspect - oriented Programming Languages

    Naoyasu Ubayashi, Hidehiko Masuhara, Tetsuo Tamai

    45 ( 12 )   98 - 98   2004.11

    　More details

    Language：English   Publisher：Information Processing Society of Japan (IPSJ)  

    Mechanisms in aspect-oriented programming (AOP) can be characterized by a join point model consisting of the join points, a means of identifying the join points, and a means of effecting at the join points. Each of current AOP languages is based on a few fixed set of join point models. Many different join point models have been proposed, and they are still evolving so that they could better modularize various crosscutting concerns. There are several AOP systems, such as AspectJ, Hyper/J, and Demeter, that deal with different kinds of crosscutting concerns. Moreover, there are crosscutting concerns specific to certain kinds of user applications, and these concerns may not be modularized with current join point models. Extensible AOP languages are needed to address this problem. In this paper, a framework for implementing extended join point models is proposed. The framework, called X-ASB (eXtensible Aspect Sand Box), is based on a common framework for modeling different join point models proposed by Masuhara and Kiczales. Using X-ASB, programmers can rapid-prototype new join point models for designing and evaluating new AOP languages. We believe that clarifying programming interfaces for extending join point models is an important milestone towards computational reflection for AOP.

    CiNii Books

    researchmap

  • Reasoning-conscious Meta-object Design of a Reflective Concurrent Language

    MASUHARA Hidehiko, YONEZAWA Akinori, Hidehiko Masuhara, Akinori Yonezawa, Depertment of Graphics and Computer Science University of Tokyo, Depertment of Information Science University of Tokyo

    15 ( 4 )   342 - 346   1998.7

    　More details

  • A Compilation Technique for Parallel Reflective Language Systems Using Partial Evaluation

    MASUHARA Hidehiko, MATSUOKA Satoshi, YONEZAWA Akinori

    Transactions of Information Processing Society of Japan   37 ( 7 )   1290 - 1298   1996.7

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    Meta-programmability of parallel reflective language systems is beneficial for parallel applications to describe optimizations, etc. On the other hand, their execution model based on interpretation is an obstacle to efficient implementation. We propose a compilation technique for parallel reflective languages using partial evaluation. The technique, which effectively eliminates program interpretation, includes partial evaluation extended for side-effects, and several program transformation techniques. Benchmarks on a MPP show that parallel applications with meta-level optimizations can be executed with small overhead.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00013611/

  • Implementing Parallel Language Constructs Using a Reflective Object-Oriented Language

    MASUHARA Hidehiko

    Reflection'96 Conference, San Francisco, California   1996

    　More details

  • Meta-Level Architecture of ABCL/f and its Use in Parallel Programs

    Masuhara Hidehiko, Matsuoka Satoshi, Yonezawa Akinori

    IPSJ SIG Notes   95 ( 82 )   65 - 72   1995.8

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    Meta-level programming via computational reflection has come to be recognized as beneficial for parallel applications. Whether we can clearly program practical meta-programs greatly depends on the design of the language's meta-architecture. This paper presents a design of the meta-architecture of ABCL/f, an object-oriented concurrent reflective language. Its features are customization via the meta-interpreters and the meta-objects, annotations that serve as directives that are implemented by the meta-programs, re-use via inheritance in meta-programs, etc. The effectiveness of the architecture is examined through examples from several parallel programs.

    CiNii Books

    researchmap

  • An Object-Oriented Concurrent Reflective Language for Dynamic Resource Management in Highly Parallel Computing

    Masuhara Hidehiko, Matsuoka Satoshi, Yonezawa Akinori

    94 ( 65 )   57 - 64   1994.7

    　More details

    Language：English   Publisher：Information Processing Society of Japan (IPSJ)  

    Irregular parallel applications, whose data and communication patterns are determined only at run-time, often requires good dynamic resource management (DRM) tailored to the application and/or hardware architecture for efficient execution. To easily provide such DRM system, this paper proposes an object-oriented concurrent reflective language ABCL/R3. In ABCL/R3, various DRM systems including scheduling, object allocation, and load balancing, can be realized by modifying/extending abstracted meta-level of the language in an encapsulated way. This paper also shows preliminary evaluation of the language including a basic cost of reflection and a simple DRM system, developed in a prototype system running on a multicomputer AP1000.

    CiNii Books

    researchmap

  • Design and Implementation of an Object-Oriented Concurrent Reflective Language ABCL/R2.

    MASUHARA Hidehiko, MATSUOKA Satoshi, WATANABE Takuo, Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, Department of Information Science The University of Tokyo., Department of Information Science The University of Tokyo:(Present address) Department of Mathematical Engineering The University of Tokyo, Department of Information Science The University of Tokyo:(Present address) School of Information Science Japan Advanced Institute of Science and Technology

    11 ( 3 )   175 - 192   1994.5

    　More details

  • IMSA'92国際リフレクションワークショップ

    松岡 聡, 増原 英彦, Satoshi Matsuoka, Hidehiko Masuhara, 東京大学理学部情報科学科, 東京大学理学部情報科学科, Department of Information Science the University of Tokyo., Department of Information Science the University of Tokyo.

    コンピュータソフトウェア = Computer software   10 ( 4 )   364 - 370   1993.7

    　More details

    Language：Japanese   Publisher：日本ソフトウェア科学会  

    CiNii Books

    researchmap

    Other Link： https://projects.repo.nii.ac.jp/?action=repository_uri&item_id=287545

▼display all

Presentations

  • デザインレシピに基づいた初学者のための学習環境

    能勢純哉, 叢悠悠, 増原英彦

    第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）  2022.3 

    　More details

    Event date： 2022.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • エラー生成クイズの提案と実施様子の観察結果の紹介

    角田和広, 増原英彦, 叢 悠悠

    第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）  2022.3 

    　More details

    Event date： 2022.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion) International conference

    Shouki Tsuyama, Youyou Cong, Hidehiko Masuhara

    WITS 2022  2022.1 

    　More details

    Event date： 2022.1

    Language：English   Presentation type：Poster presentation  

    researchmap

  • Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages

    Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara

    First Workshop on the Implementation of Type Systems (WITS 2022)  2022.1 

    　More details

    Event date： 2022.1

    Language：English   Presentation type：Oral presentation (general)  

    Venue：Philadelphia, PA  

    researchmap

  • 型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて

    津山勝輝, 叢悠悠, 増原英彦

    日本ソフトウェア科学会第38回大会  2021.9 

    　More details

    Event date： 2021.9

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • エラーを起こさせる初学者向けプログラミングドリルの提案

    角田和広, 増原英彦, 叢 悠悠

    日本ソフトウェア科学会第38回大会  2021.9 

    　More details

    Event date： 2021.9

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language

    Fumi Takeuchi, Hidehiko Masuhara, Raffi Khatchadourian, Youyou Cong

    2021.9 

    　More details

    Event date： 2021.9

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe International conference

    Junya Nose, Youyou Cong, Hidehiko Masuhara

    The Scheme and Functional Programming Workshop (Scheme '21)  2021.8 

    　More details

    Event date： 2021.8

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • Contextual Polymorphism Meets Bidirectional Effects International conference

    Kazuki Niimi, Youyou Cong, Hidehiko Masuhara, Jonathan Immanuel Brachthäuser

    The 6th Workshop on Type-Driven Development (TyDe 2021)  2021.8 

    　More details

    Event date： 2021.8

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • Koka言語に対するエフェクト割り当て最適化

    古殿 直也, 叢 悠悠, 増原 英彦

    第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）  2021.3 

    　More details

    Event date： 2021.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • デザインレシピに基づいたプログラミングための開発環境の構築に向けて

    能勢 純弥, 叢 悠悠, 増原 英彦

    第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）  2021.3 

    　More details

    Event date： 2021.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明

    池守 和槻, 叢 悠悠, 増原 英彦

    第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）  2021.3 

    　More details

    Event date： 2021.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • An Interpreter Design for Supporting Different JIT Compilations in RPython Framework

    伊澤侑祐, 増原英彦, 叢悠悠

    第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）  2021.3 

    　More details

    Event date： 2021.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • 汎言語的ライブプログラミング環境のためのデータ構造解析手法

    高橋 修祐, 伊澤 侑祐, 増原 英彦, 叢 悠悠

    第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）  2021.3 

    　More details

    Event date： 2021.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach International conference

    Junya Nose, Youyou Cong, Hidehiko Masuhara

    10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021)  2021.2 

    　More details

    Event date： 2021.2

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • デザインレシピに基づいたプログラミング環境の実装に向けて

    能勢純哉, 叢悠悠, 増原英彦

    日本ソフトウェア科学会第37回大会  2020.9 

    　More details

    Event date： 2020.9

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • デザインレシピに沿ったプログラミング環境の実装

    能勢純哉, 叢悠悠, 増原英彦

    第22回プログラミングおよびプログラミング言語ワークショップ（PPL 2020）  2020.3 

    　More details

    Event date： 2020.3

    Language：Japanese   Presentation type：Poster presentation  

    Venue：佐賀  

    デザインレシピとは、プログラミングの手順を示したものである。このアイディアに基づいた環境は既にいくつかあるが、プログラムの構造の決定と網羅性の高いテストの作成へのサポートが不十分である。これらの問題を解決するために、本研究では、データ構造の分析を誘導し、その結果を使って場合分けやテストの作成を行う。また、今後の展望として、プログラム合成を用いたフィードバック機能について検討する。

    researchmap

  • RPythonを用いたErlang仮想機械PyrlangにおけるJITコンパイル方針の改良

    Ruochen Huang, 増原英彦, 青谷知幸

    第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)  2016 

    　More details

    Event date： 2016.3

    Language：Japanese   Presentation type：Poster presentation  

    Venue：岡山県玉野市  

    researchmap

  • 多次元的文脈指向言語Korzのメソッドディスパッチの改善

    渡邉恵大, 増原英彦, 青谷知幸

    第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)  2016 

    　More details

    Event date： 2016.3

    Language：Japanese   Presentation type：Poster presentation  

    Venue：岡山県玉野市  

    researchmap

  • Context-oriented programming and units of adaptation

    Hidehiko Masuhara

    NII Shonan Meeting on Engineering Adaptive Software Systems(EASSy)  2016 

    　More details

    Event date： 2015.9

    Language：English   Presentation type：Oral presentation (general)  

    Venue：Kanagawa, Hayama  

    researchmap

  • Toward a Multi-Language and Multi-Environment Framework for Live Programming International conference

    Hidehiko Masuhara, Shusuke Takahashi, Yusuke Izawa, Youyou Cong

    LIVE 2020  2020.11 

    　More details

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • On Teaching Type Systems as Macros International conference

    Youyou Cong, Naoya Furudono, Hidehiko Masuhara

    The Scheme and Functional Programming Workshop (Scheme '20)  2020.8 

    　More details

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • Automated Refactoring of Legacy Java Software to Default Methods

    Raffi Khatchadourian, Hidehiko Masuhara

    2018.9 

    　More details

    Language：English   Presentation type：Oral presentation (invited, special)  

    researchmap

  • CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ

    朝倉泉, 増原英彦, 青谷知幸

    2017.9 

    　More details

    Language：Japanese   Presentation type：Oral presentation (general)  

    researchmap

  • ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究

    今井朝貴, 増原英彦, 青谷知幸

    2017.3 

    　More details

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究

    奥河諒, 青谷知幸, 増原英彦

    2017.3 

    　More details

    Language：Japanese   Presentation type：Oral presentation (general)  

    researchmap

  • プログラミング言語へのバージョンの導入の研究

    田辺裕大, 青谷知幸, 増原英彦

    2017.3 

    　More details

    Language：Japanese   Presentation type：Oral presentation (general)  

    researchmap

  • Iterative Stencil Computations in Ruby on GPUs

    Matthias Springer, Peter Wauligmann, Hidehiko Masuhara

    2017.3 

    　More details

    Language：English   Presentation type：Poster presentation  

    researchmap

  • 実用的なライブプログラミングに向けて

    増原英彦

    2017.9 

    　More details

    Language：Japanese   Presentation type：Oral presentation (invited, special)  

    researchmap

  • Automated Refactoring of Legacy Java Software to Default Methods

    Raffi Khatchadourian, Hidehiko Masuhara

    2017.9 

    　More details

    Language：English   Presentation type：Oral presentation (invited, special)  

    researchmap

  • メタ混合JITコンパイラの提案

    伊澤侑祐, 増原英彦, 青谷知幸

    2017.3 

    　More details

    Language：Japanese   Presentation type：Oral presentation (general)  

    researchmap

  • Kani-CUDAによるGPGPUプログラムの合成

    蟹暁, 朝倉泉, 増原英彦, 青谷知幸

    2017.3 

    　More details

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • 検証済みコンパイラCertSkelによるGPGPUプログラム開発

    朝倉泉, 増原英彦, 青谷知幸

    2017.3 

    　More details

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Kanonライブプログラミング環境を用いたデータ構造のプログラミング

    岡明央, 増原英彦, 今井朝貴, 青谷知幸

    2017.3 

    　More details

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

▼display all

Awards

  • 第19回研究論文賞 (2014年度)

    2015.9   日本ソフトウェア科学会  

    　More details

  • Best paper award

    2013.9   Japan Society of Software Science and Technology  

    Malte Appeltauer, Robert Hirschfeld, Michael Haupt, Hidehiko MASUHARA

    　More details

  • Best paper award

    2011   Information Processing Soceity of Japan  

    Kohei Sakurai, Hidehiko MASUHARA, Seiichi Komiya

    　More details

  • The Young Scientists' Prize, The Commendation for Science and Technology

    2009   Minister of Education,Culture, Sports, Science and Technology  

    　More details

    Country：Japan

    researchmap

  • Best tutorial paper award

    2008   Japan Society for Software Science and Technology  

    　More details

    Country：Japan

    researchmap

  • Best paper award

    1996   Information Processing Soceity of Japan  

    　More details

    Country：Japan

    researchmap

▼display all

Research Projects

  • 高い抽象度レベルを持つ宣言的分散プログラミング言語の実現と高度化

    Grant number：24K02922  2024.4 - 2029.3

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    紙名 哲生, 青谷 知幸, 増原 英彦

    　 More details

    Grant amount：\18590000 （ Direct Cost: \14300000 、 Indirect Cost：\4290000 ）

    researchmap

  • High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks

    Grant number：23H03368  2023.4 - 2028.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

    　 More details

    Grant amount：\18460000 （ Direct Cost: \14200000 、 Indirect Cost：\4260000 ）

    researchmap

  • 仮想空間と現実世界の融合を支援する反応的計算基盤の構築

    Grant number：21H03418  2021.4 - 2025.3

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    紙名 哲生, 増原 英彦

    　 More details

    Grant amount：\12740000 （ Direct Cost: \9800000 、 Indirect Cost：\2940000 ）

    researchmap

  • 仮想空間と現実世界の融合を支援する反応的計算基盤の構築

    Grant number：23K21656  2021.4 - 2025.3

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    紙名 哲生, 増原 英彦

    　 More details

    Grant amount：\12740000 （ Direct Cost: \9800000 、 Indirect Cost：\2940000 ）

    永続シグナルを、Webフロントエンドから利用できるようにした。特に、前年度において構築したJavaScript内の永続シグナルDSLにおける問題点（永続シグナルが多プロセス間（ネットワーク上の他ホスト含む）で共有されたときに、他プロセスで更新される永続シグナルの値更新時の即時的な計算ができない）を解決し、JavaScriptにおける永続シグナルの仕組みを、SignalJのそれと同等なものとした。これにより、永続シグナルはバックエンド／フロントエンドの区別無く利用するものとなり、本研究が目指すものは多層プログラミング言語からサーバレスな言語へと変貌した。
    <BR>
    また、分散永続シグナルの理論や実装の精緻化に取り組んだ。実装としては、ある時点以前の永続シグナル間の内容を整合させるチェックポイント機構を実現した。理論としては、初年度に取り組んだSignalJの核言語を基に、個々の永続シグナルをプロセスとしてモデル化したプロセス計算（永続シグナル間の値伝播を表現）をその核言語に統合し、シングルスレッド抽象（SignalJユーザの視点）に並行プロセスとしての永続シグナル（値伝播の視点）を取り入れた新たな計算体系を実現した。この体系において、チェックポイント機構の整合性（チェックポイントとして記録された時刻印以前の値伝播の記録は、永続シグナルの定義と必ず整合する）を保証する定理を証明した（投稿中）。
    <BR>
    永続シグナルは時系列データベースを内包する仕組みであるが、その存在は暗黙的であるため、永続シグナルを定義する際に時系列データベースを意識することはない。そのため、永続シグナルの定義を変更する際には、時系列データベースのスキーマが暗黙的に変わらなければならない場合がある。それを実現するため、既存のデータベーススキーマ進化言語をもとに、永続シグナルのための進化言語について、理論的な検討を行った（投稿中）。

    researchmap

  • Raffi Takvor KHATCHADOURIAN

    2021 - 2022

    Others  外国人研究者招へい（再招へい）プログラム

    　 More details

  • Multi-Platform and Ployglot Live Programming Framework

    Grant number：20K21790  2020.7 - 2023.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Challenging Research (Exploratory)

    　 More details

    Grant amount：\6110000 （ Direct Cost: \4700000 、 Indirect Cost：\1410000 ）

    researchmap

  • 汎用性と高性能を両立するハイブリッド型実行時コンパイラ

    2020 - 2022

    Sponsored Research Program (Governmental)  戦略的創造研究推進事業・個人型研究（ACT-X)

    　 More details

  • High-Productivity GPU Programming Languages

    Grant number：18H03219  2018.4 - 2023.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

    　 More details

    Grant amount：\17160000 （ Direct Cost: \13200000 、 Indirect Cost：\3960000 ）

    researchmap

  • Code recommendation system with developer's background information

    Grant number：26330078  2014.4 - 2018.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    MASUHARA Hidehiko, AOTANI Tomoyuki, SAKURAI Kouhei, HIRSCHFELD Robert, IMAI Tomoki, KHATCHADOURIAN Raffi, MURAKAMI Naoya, OKA Akio

    　 More details

    Grant amount：\4680000 （ Direct Cost: \3600000 、 Indirect Cost：\1080000 ）

    We focused on interaction between developers and development environment, and achieved the following research results. (1) We proposed a method to improve code recommendation by estimating the developer's intention from editing history. (2) We proposed and implemented a refactoring algorithm that modifies global program structures. (3) We proposed a method that correlates fine-grained editing history and developer's tasks. (4) We proposed a novel debugger that finds relevant code when a program omits some of the programmer's intentions. (5) We proposed novel features to live programming environments that integrate unit-testing features, and also data structure visualization. We also carried out a user study to observe developer's behavior with a live programming environment.

    researchmap

  • スーパーコンピューティングのための動的言語処理系

    2013 - 2016

    Sponsored Research Program (Governmental)  戦略的創造研究推進事業チーム型研究(CREST)

    　 More details

  • A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era

    Grant number：22240002  2010.4 - 2015.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (A)

    CHIBA Shigeru, TAMAI Tetsuo, NAKAJIMA Shin, UBAYASHI Naoyasu, MASUHARA Hidehiko, IGARASHI Atsushi, KAMINA Tetsuo

    　 More details

    Grant amount：\49530000 （ Direct Cost: \38100000 、 Indirect Cost：\11430000 ）

    Software modularization is a key component of modern software development. This work studied language constructs supporting both hierarchical and crosscutting modularization. The two kinds of modularization had been supported by separate constructs. The aim of this work was develop post-aspect orientation through comprehensive study on the topic. This work mainly studied language constructs based on predicate dispatching and context-oriented programming and thereby it developed constructs that can deal with both hierarchical and crosscutting decomposition in a unified way. The work also studied the constructs from the viewpoints of theoretical foundation and modeling.

    researchmap

  • Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety

    Grant number：18200001  2006 - 2009

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (A)

    TAMAI Tetsuo, NAKAJIMA Shin, CHIBA Shigeru, UBAYASHI Naoyasu, MASUHARA Hidehiko, IGARASHI Atsushi, KAMINA Tetsuo

    　 More details

    Grant amount：\48620000 （ Direct Cost: \37400000 、 Indirect Cost：\11220000 ）

    We conducted a research project titled "Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety" in the fiscal years from 2006 to 2009. In the project, we developed a theory and tools for validating type-safety of aspect-oriented models, designed a new aspect-oriented language with highly advanced features and built a language processor that has high performance as well as flexible usability. We also applied our method to security validation of Web services written in BFPL and constructed a software development methodology for employing aspect-oriented technologies.

    researchmap

  • Foundational models of aspect-oriented languages and their applications

    Grant number：18680004  2006 - 2008

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Young Scientists (A)

    MASUHARA Hidehiko

    　 More details

    Grant amount：\7410000 （ Direct Cost: \5700000 、 Indirect Cost：\1710000 ）

    researchmap

  • Wide Range Application of Status Evaluation Function

    Grant number：17500086  2005 - 2006

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    KAWAI Satoru, YAMAGUCHI Kazunori, MASUHARA Hidehiko, KANEKO Tomoyuki

    　 More details

    Grant amount：\3500000 （ Direct Cost: \3500000 ）

    The main and final target of this research is the automatic construction of evaluators by learning, integrating state evaluation by learning, concept formation, and creation of efficient evaluators. Main results of the component researches follow.
    1. Automatic construction of evaluation functions
    The evaluation functions are constructed, without human preparation, only from the basic rules and framework of the target field. The essential part of this construction is the automatic creation of simple data sets for state evaluation, followed by the selection based on the appropriateness of the data. Construction process is speed-up by the factor of 100,000, enabling many iteration of evaluation. Precise evaluation functions are obtained by the analysis of bulk data for states evaluation.
    2. Concept formation and structure analysis
    The structure of Galois lattices, based on a partial order defined among the set of simple piecewise statuses, is studied as a framework of concepts. In this research, semistructured data, frequently found in the real world, is also studied. The "summary structure" can be extracted from such "non-well ordered structure" by an analytical method.
    3. Reflection and aspects
    In the target system of this research, a lot of software agents for state evaluation are to be prepared by the method of reflection. These agents are expected to act optimally in the real evaluation referring the concept database. In this research, the framework of aspect oriented programming is studied for interclass function increments. Some results in support. systems and theoretical framework in aspect oriented programming are obtained.

    researchmap

  • Acquisition of Evaluation Function of high precision by Learning

    Grant number：15500084  2003 - 2004

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    KAWAI Satoru, YAMAGUCHI Kazunori, MASUHARA Hidehiko, KANEKO Tomoyuki

    　 More details

    Grant amount：\3900000 （ Direct Cost: \3900000 ）

    The main and final target of this research is the automatic construction of evaluators by learning, integrating state evaluation by learning, concept formation, and creation of efficient evaluators. Main results of the component researches follow.
    1.Automatic construction of evaluation functions
    The evaluation functions are constructed, without human preparation, only from the basic rules and framework of the target field. The essential part of this construction is the automatic creation of simple data sets for state evaluation, followed by the selection based on the appropriateness of the data. Following some preparatory studies carried out in 2001 and 2002, more precise evaluation functions are obtained by the analysis of bulk data for states evaluation.
    2.Concept formation and structure analysis
    The structure of a Galois lattice, based on a partial order defined among the set of simple piecewise statuses, is studied as a framework of concepts. In this research, semistructured data, frequently found in the real world, is also studied. The "summary structure" can be extracted from such "non-well ordered structure" by an analytical method.
    3.Reflection and aspects
    In the target system of this research, a lot of software agents for state evaluation are to be prepared by the method of reflection. These agents are expected to act optimally in the real evaluation referring the concept database. In this research, the framework of aspect oriented programming is studied for interclass function increments. Some results in support systems and theoretical framework in aspect oriented programming are obtained.

    researchmap

  • High Reliability Component-Based Software Engineering

    Grant number：13224013  2001 - 2005

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research on Priority Areas

    TAMAI Tetsuo, SHIBAYAMA Etsuya, NAKAJIMA Shin, UBAYASHI Naoyasu, MASUHARA Hidehiko, IGARASHI Atsushi

    　 More details

    Grant amount：\136200000 （ Direct Cost: \136200000 ）

    The major objectives of this research were:
    1. to conquer the structural complexity of software components and their composites, and
    2. to conquer the behavioral complexity of software components and their composites.
    We achieved these objectives as follows.
    1. The structural complexity is addressed by creating models and languages that support clear and flexible modularization of components and constructing systems based on those components.
    2. The behavioral complexity is addressed by applying formal validation techniques to behaviors of components and devising methods for proving that they satisfy desirable properties and will not run into failure or bring undesirable phenomena.
    As a final product, we integrated methods and tools developed during the four and half year project under an integrated software development environment. Some characteristics of the research product are as listed below.
    -We proposed a role based model named Epsilon and a language to implement the model, EpsilonJ that supports a flexible architecture defining and combining components.
    -We developed a fundamental aspect oriented model framework to compare and analyze a wide variety of aspect oriented programming languages.
    -To ensure performance, we devised a method for automatically generating code that fits to the environment where components are deployed.
    -We proposed a new systematic method for weaving in abstract aspects designed at the earlier stage of software development.
    -We proposed a new type system that supports mutually recursive classes.

    researchmap

  • Automatic Construction of State Evaluation Functions and its Dynamic Evaluator

    Grant number：13680434  2001 - 2002

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    KAWAI Satoru, MASUHARA Hidehiko, YAMAGUCHI Kazunori

    　 More details

    Grant amount：\3600000 （ Direct Cost: \3600000 ）

    The main target of this research is a systematic treatment of the three components; state evaluation by learning, concept formation, and the automatic construction of efficient evaluators. In the first year of the research, a set of evaluation elements (features) with reasonable calculation efficiency is successfully constructed. A thorough analysis of the features, extraction of useful concepts, and a research of making realistic evaluators are performed in the following (and the final) year. Main results follow.
    ・・Advanced research with respect to evaluation functions
    In the field of the automatic construction of evaluation functions, both rapid generation of large sets of functions and efficient processing of these functions are inevitable, beside the theoretical clearness of generation and processing. We show some satisfactory results for these topics with the use of evaluation networks and geometrical patterns.
    ・・Preparatory works for the framework of concept formation
    Works in the field of semistructure data is carried out for the structuring of evaluation features. Some mathematical methods of automatic categorization of concepts are investigated. A process algebra which allows the concept of simultaneous events is proposed, with a clear mathematical soundness.
    ・・Construction of runnable evaluator
    Each evaluator corresponding to evaluation features are to be implemented, in our research, in Java language by the use of specialization in the level of byte code programs. Some reflective methods for this implementation are investigated.
    The results of our research are believed to show the applicability to practical problems in the fields of, for example, money market and data mining, not restricted to 2-players games which we used as a workout example.

    researchmap

  • Secure Programming Languages Based on Mobile Code

    Grant number：12133203  2000 - 2003

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research on Priority Areas

    YONEZAWA Akinori, OYAMA Yoshihiro, MASUHARA Hidehiko, TAURA Kenjiro

    　 More details

    Grant amount：\37800000 （ Direct Cost: \37800000 ）

    We studied secure programming languages based on mobile code. We worked on essential research issues in security of programming languages and system software from both theoretical and practical aspects. First we gave a systematic solution to problems in programming languages, which is the most important element in software development. The solution is not ad-hoc but based on a solid theory. Furthermore, we addressed research issues in system software with a systematic solution based on deep understanding of target systems. The results of this research include a secure compiler for the C programming language (Fail-Safe C), an interface definition language for Fail-Safe C, an operating system that guarantees security using type systems (Kernel Mode Linux), a system that defends networks against distributed denial of service attacks (MovingFirewall), cryptographic lambda calculus, regular expression types for string operations, self-repairing reference monitors, a fine-grain access control mechanism between program modules, programming languages that support the description of mobile code (JavaGO and JavaGoX), object usage analysis for Java, efficient regjon-based memory management for a dynamical ly-typed programming language Scheme, and a type system for access control in distributed computation. The results are highly evaluated by internat ional communit of computer science. This research had a significant impact on academic and industrial fields by releasing three software and publishing about 30 refereed papers. We received four prestigious awards including the best paper award from Japan Society for Software Science and the best technology award from Nikkei Business Publications Inc.

    researchmap

  • Adaptive Software Substrate for High Performance Wide Area Computing

    Grant number：12308012  2000 - 2002

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (A)

    YONEZAWA Akinori, MASUHARA Hidehiko, SUMII Eijirou, TAURA Kenjirou, KOBAYASHI Naoki

    　 More details

    Grant amount：\41120000 （ Direct Cost: \36200000 、 Indirect Cost：\4920000 ）

    The objective of this project was to establish foundations for building adaptive runtime systems, which behave well under various resource conditions (of CPU, memory, and network) that reveal at runtime. Main results are as follows, (1) We established an efficient access control (e.g., mutual exclusion) method for shared data, which adapts to the degree of parallelism in the application (published in ACM PaCT). (2) We proposed a framework in which parallel applications can migrate from a set of resources to another at runtime, depending on resource conditions (published or to be published in ACM PPoPP and ACM/IEEE CCGrid). (3) We tackled the resource selection problem in which the system, given computation/communication requirements of the application and computation/communication capacity of available resources, tries to select good resources for the application automatically. It proposed the problem formulation, an algorithm assuming resource requirements and conditions do not change over time, and conducted a simulation. (4) We established a dynamic memory management scheme that can trade thread-level locality of allocated memory and the total memory requirements. (5) We achieved a very short pause time (less than 10ms) for conservative garbage collectors, which have been considered to be difficult in the community (published in ACM ISMM).

    researchmap

  • 自己反映言語による並列・分散アプリケーション記述の改善

    Grant number：11780196  1999 - 2000

    日本学術振興会  科学研究費助成事業  奨励研究(A)

    増原 英彦

    　 More details

    Grant amount：\2100000 （ Direct Cost: \2100000 ）

    自己反映言語を効率的に実行するための技術である部分計算について研究を進めた。具体的には、部分計算の一種である実行時特化について生成されるコードをより効率的なものとする、バイトコード特化(BCS)の枠組を提案し、Java仮想機械を使ったプロトタイプを構築した。
    この技法では、機械語上で特化を行うかわりに、一度仮想機械語上で特化を行い、それを最適化された機械語命令列へ変換することでより効率的なプログラムを生成する。また、コンパイルされた仮想機械命令列を直接解析して特化器を作成することで、ソース言語に依存しない技術となっている。
    今年度は特に、作成したプロトタイプを用いて、実行時に特化されたプログラムの性能評価を行い、特化に要する基本的なコストおよびアプリケーション全体の性能の向上の程度を測定することができた。測定対象のアプリケーションとしては、数式を対話的に入力し、それをもとにマンデルブロ集合を描画するものを用いた。
    Sun Microsystems社製のJava SDK 1.2をSun Enterprise 4000上で実行した場合の実験では、
    ●特化対象となるメソッドは、提案したシステムによって約3〜4倍高速化された。
    ●実行時に特化されたメソッドと予めソース言語レベルで特化されたメソッドは、ほぼ同じ性能を示す。
    ●特化に要するオーバーヘッドは約2.7〜3.1ミリ秒であった。さらに特化されたメソッドをJITコンパイルするための1.3〜150ミリ秒のオーバーヘッドがかかる。
    ●特960〜72,000回(使用するJITコンパイラに依存する)の繰り返し実行によって上記オーバーヘッドと特化による速度向上が均衡する。
    といったことが分かり、提案した手法の有効性と問題点が明らかになった。

    researchmap

  • 多様な並行オブジェクトモデルをサポートする言語処理系の研究

    Grant number：09780243  1997 - 1998

    日本学術振興会  科学研究費助成事業  奨励研究(A)

    増原 英彦

    　 More details

    Grant amount：\2100000 （ Direct Cost: \2100000 ）

    本研究の目標は、ネットワーク環境や、ワークステーションクラスタ等を対象とした並列・分散プログラミング言語において見られる、様々な並行オブジェクトのモデルを容易にサポートするような言語処理系の作成であった。
    この目標に対し、昨年度までに、自己反映計算(リフレクション)を利用することを提案している。この提案では、オブジェクトの排他制御やメソッド探索といった機能を、メタレベルのプログラムによって与えることで、異なった「並行オブジェクトのモデル」を拡張・変更可能にするというものである。
    この提案にもとづき、本年度は、(1)処理系を試作し、(2)その処理系上で実際にメタレベルプログラミングを行って、拡張性を確めることと、(3)それらのプログラムの実行効率を測り、同時に提案している効率的な実行方式の有効性を調べるという研究を行った。
    処理系は、東京大学の田浦・大山らが開発した並行オブジェクト指向言語Schematicをベースとして、東京大学の浅井が開発したScheme向け部分計算機を利用したコンパイラを作成した。このコンパイラでは、メタレベルの定義を適切に変換することにより、解釈実行のない効率的なプログラムを生成する。
    メタレペルプログラミングに関しては、いくつかの単純なアプリケーションとともに、ガード付きメソッドなどの並行オブジェクトの同期モデルを、メタレベルプログラミングによって提供できることを示した。
    また、効率に関しては、部分計算によるコンパイルによって、従来の(拡張性がない)最適化コンパイラによる実行と比べて1.1〜3倍程度のオーバーヘッドしかかからず、これまでのインタプリタによる実行と比べて約6倍の高速化が得られることが示された。

    researchmap

  • StackThreads/MP : Integrating Futures into Calling Standards

    Grant number：08408008  1996 - 1998

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (A)

    YONEZAWA Akinori, MASUHARA Hidehiko, KOBAYASHI Naoki, MATSUOKA Satoshi, TAURA Kenjiro

    　 More details

    Grant amount：\34600000 （ Direct Cost: \34600000 ）

    An implementation scheme of fine-grain multithreading that needs no changes to current calling standards for sequential languages and modest extensions to sequential compilers is implemented. Like previous similar systems, it performs an asynchronous call as if it were an ordinary procedure call, and detaches the callee from the caller when the callee suspends or either of them migrates to another processor. Unlike previous similar systems, it detaches and connects arbitrary frames generated by off-the-shelf sequential compilers obeying calling standards. As a consequence, it requires neither a frontend preprocessor nor a native code generator that has a builtin notion of parallelism. The system practically works with unmodified GNU C compiler (GCC). Desirable extensions to sequential compilers for guaranteeing portability and correctness of the scheme are clarified and claimed modest. Experiments indicate that sequential performance is not sacrificed for practical applications and both sequential and parallel performance are comparable to Cilk, whose current implementation requires a fairly sophisticated preprocessor to C. These results show that efficient asynchronous calls (i.e., future calls) can be integrated into current calling standard with a very small impact both on sequential performance and compiler engineering.

    researchmap

  • 並列計算のための自己反映オブジェクト指向言語処理系

    Grant number：08780247  1996

    日本学術振興会  科学研究費助成事業  奨励研究(A)

    増原 英彦

    　 More details

    Grant amount：\1000000 （ Direct Cost: \1000000 ）

    本研究では、自己反映並列オブジェクト指向言語ABCL/R3の言語設計および、インタプリタ処理系の作成を行い、従来のものより、より記述が容易で効率的な実行が可能となる言語処理系作成のための方向付けが得られた。具体的には、以下のとおりである。
    (1)ABCL/R3の言語設計、特にメタオブジェクトプロトコルに関しては、継承と委譲(delegation)による拡張を念頭に置き、細分化されたメソッド群によって定義を行った。特にこの細分化は、部分計算による実現を前提とすることで、プログラマが利用しすい形で定義することが可能になっている。そのため、報告者らがこれまで設計・実現を行ってきたABCL/R./R2に比べて、メタオブジェクトの拡張に継承機構が利用でき、再利用性を向上させている。
    また、メタインタプリタ設計に関しては、新しく委譲にもとづいた設計を行った。これによって、インタプリタ実行時にインタプリタ定義を拡張することが可能になり、動的かつ局所的な変更を容易にしている。さらに委譲オブジェクトは、関数定義への変換できるように制限されているため、部分計算を用いたコンバイルを容易にしている。
    (2)Schemeの並列オブジェクト指向拡張であるSchematicをもとにして、ABCL/R3のインタプリタ処理系を作成した。現在のところ、メタレベルの変更を含めた簡単なサンプルプログラムが動いている。Schematic処理系は、並列環境に対応しているため、ABCL/R3処理系を並列に動作させることは容易であると思われる。
    また、コンパイル方法については、メタオプジェクトを部分計算した結果を、他のオブジェクトと同様に扱うための枠組が必要であることが分かり、現在はその解決方法を新たな研究課題として検討している。

    researchmap

  • Reflective Computation

    　 More details

    Grant type：Competitive

    researchmap

  • 高速な部分計算

    　 More details

    Grant type：Competitive

    researchmap

  • 自己反映計算

    　 More details

    Grant type：Competitive

    researchmap

  • プログラミング環境

    　 More details

    Grant type：Competitive

    大量文書処理技術を応用した新しいプログラミング支援環境の構築

    researchmap

  • 先進的なプログラミング言語システム

    　 More details

    Grant type：Competitive

    researchmap

  • アスペクト指向プログラミング

    　 More details

    Grant type：Competitive

    アスペクト指向プログラミングの基礎モデル、言語拡張、実行方式に関する研究

    researchmap

  • Advanced Programming Language Systems

    　 More details

    Grant type：Competitive

    researchmap

  • High-Speed Partial Evaluation

    　 More details

    Grant type：Competitive

    researchmap

▼display all

Social Activities

  • Modularity'16 Workshop on Live Adaptation of Software Systems(LASSY 2016)

    University of Malaga, Spain  2016.3

    　More details

    Audience： Scientific

    researchmap

  • Constrained and Reactive Objects Workshop(CROW 2016)

    Role(s)： Organizing member

    University of Malaga, Spain  2016.3

    　More details

    Audience： Scientific

    researchmap

  • Foundations of Aspect-Oriented Languages(FOAL 2016)

    Role(s)： Organizing member

    2016.3

    　More details

    Audience： Scientific

    researchmap

  • International Conference on Modularity(Modularity 2016)

    Role(s)： Organizing member

    University of Malaga, Spain  2016.3

    　More details

    Audience： Scientific

    researchmap

  • International Workshop on Language Modularity A La Mode(LaMoD'2016)

    Role(s)： Organizing member

    University of Malaga, Spain  2016.3

    　More details

    Audience： Scientific

    researchmap

  • The 2016 International Workshop on Modularity Across the System Stack(MASS2016)

    University of Malaga, Spain  2016.3

    　More details

    Audience： Scientific

    researchmap

  • Asia-Pacific Software Engineering Conference(ASPEC2015)

    Role(s)： Organizing member

    New Delhi, India  2015.12

    　More details

    Audience： Scientific

    researchmap

  • 日本ソフトウェア科学会 第22回ソフトウェア工学の基礎ワークショップ（FOSE2015)

    Role(s)： Organizing member

    山形県天童市  2015.11

    　More details

    Audience： Scientific

    researchmap

  • Special Session on Intelligent Systems and Software Engineering Advances(ISSEA) at the 21st International Conference on Information and Software Technologies(ICIST)

    Role(s)： Organizing member

    Kaunas University of Technology, Lithuania  2015.10

    　More details

    Audience： Scientific

    researchmap

  • 7th International Workshop on Context-Oriented Programming(COP 2015)

    Role(s)： Organizing member

    Prague Mariott Hotel, Czech Republic  2015.7

    　More details

    Audience： Scientific

    researchmap

  • 2nd International Workshop on Libraries, Languages and Compilers for Array Programming(ARRAY'15)

    Role(s)： Organizing member

    Oregon Convention Center, Oregon, USA  2015.6

    　More details

    Audience： Scientific

    researchmap

  • ACM SAC track on Programming for Separation of Concerns(SAC PSC 2015)

    Role(s)： Organizing member

    University of Salamanca, Spain  2015.4

    　More details

    Audience： Scientific

    researchmap

  • FOAL'１５（International Workshop on Founadations of Aspect-Oriented Languages) Organizing Committee

    Role(s)： Organizing member

    Colorado State Univerisity  2015.3

    　More details

    Audience： Scientific

    researchmap

  • ICSR’15(International Conference on Software Reuse) Program Committee

    Role(s)： Organizing member

    Florida, USA  2015.1

    　More details

    Audience： Scientific

    researchmap

  • AOAsia/Pacific 2014, 9th International Workshop on Advanced Modularization Techniques, Organizing Committee

    Role(s)： Organizing member

    Hong Kong, China  2014.11

    　More details

    Audience： Scientific

    researchmap

  • 東京大学教養学部非常職講師「情報科学」

    Role(s)： Lecturer

    東京大学  東京大学駒場キャンパス  2014.10 - 2015.2

    　More details

    Audience： College students

    researchmap

  • FOOL'14, 21th International Workshop on Foundations of Object-Oriented Languages, Program Committee

    Role(s)： Organizing member

    2014.10

    　More details

    Audience： Scientific

    researchmap

  • ECOOP 2014, European Conference on Object-Oriented Programming, External Review Committee

    Role(s)： Organizing member

    2014.7 - 2014.8

    　More details

    Audience： Scientific

    researchmap

  • Modularity 2014(International Conference on Modularity), Program Committee

    Role(s)： Organizing member

    University of Lugano  2014.4

    　More details

    Audience： Scientific

    researchmap

  • FOAL'14(International Workshop on Foundations of Aspect-Oriented Lanaguages Organizing Committee

    Role(s)： Organizing member

    2014.4

    　More details

    Audience： Scientific

    researchmap

  • 情報処理学会論文誌 プログラミング

    Role(s)： Editer

    2014.4

    　More details

  • 日本ソフトウェア科学会 編集委員

    Role(s)： Organizing member

    日本ソフトウェア科学会  2008.4

    　More details

    Audience： Scientific

    researchmap

  • Aspect Oriented Software Association、Steering Committee

    Role(s)： Organizing member

    2006.3

    　More details

    Audience： Scientific

    researchmap

▼display all