Hiroaki Inoue

1 About Myself

  • I finished Ph.D course at Igarashi Laboratory, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University.
  • I also finished Kyoto University Design School.
  • Background (経歴):
    • 岡山県立倉敷青陵高等学校 (2005.4 - 2008.3)
    • 京都大学工学部情報学科 (2009.4 - 2013.3)
    • 京都大学大学院情報学研究科 博士前期過程 (2013.4 - 2015.3)
    • 同 博士後期課程 (2015.4 - 2018.3)
  • GitHub account: https://github.com/h-inoue

2 Research

2.1 Research Interest

My research interests are

  1. New programming language constructs or abstractions, that help programmers to develop software easily.
  2. Type system of a programming language, that guarantees safety of software reasonably.

Keywords of my research are Context-Oriented Programming (COP), Reactive Programming and Type System.

2.2 Projects

2.2.1 ContextWorkflow

A DSL for compensable and interruptible program executions. https://github.com/SoftwareFoundationGroupAtKyotoU/ContextWorkflow

2.2.2 Foundations of Context-Oriented Programming

We develop a type system for JCop language, which is a major implementation of Context-Oriented Programming on top of Java. A prototype implementaion is available at https://github.com/h-inoue/JCop.

2.2.3 Foundations of Reactive Context-Oriented Programming

Some COP languages such as Flute (E.Bainomugisha et.al '12) have reactive context activation mechanism (or implicit layer activation). (Here, we call Reactive COP language as a language with reactive context activation mechansim). I believe this mechanism is a good abstraction to develop context-dependent software such as mobile applications or reactive systems.

In this project, we try to implement Reactive COP as DSL of Scala, which has a static type system. A prototype implementation is available at https://github.com/h-inoue/gear.

We also develop new language constructs to enhance safety of Reactive COP.

3 Outcome

3.1 Papers

  • Hiroaki Inoue, Tomoyuki Aotani and Atsushi Igarashi. ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions, accepted at ECOOP 2018.
  • Hiroaki Inoue and Atsushi Igarashi. A type system for first-class layers with inheritance, subtyping, and swapping, November 2017. Submitted for publication
  • Hiroaki Inoue, Tomoyuki Aotani and Atsushi Igarashi. A DSL for Compensable and Interruptible Executions, in Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and EventBased Languages and Systems (REBLS'17), Vancouver, Canada, October 2017. [DOI]
  • Hiroaki Inoue and Atsushi Igarashi. A Library-Based Approach to Context-Dependent Computation with Reactive Values, in Proceedings of the Constrained and Reactive Objects Workshop (CROW 2016), Malaga, Spain, March 2016. [DOI]
  • Hiroaki Inoue and Atsushi Igarashi. A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers, in Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS 2015), Pohang, Korea, November 2015. [DOI]
  • Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, and Robert Hirschfeld. Towards type-safe JCop: A type system for layer inheritance and first-class layers. In Tomoyuki Aotani, editor, Proceedings of the International Workshop on Context-Oriented Programming (COP'14), Uppsala, Sweden, July 2014. [DOI]

3.2 Posters

  • 井上 裕昭, 青谷 知幸, 五十嵐 淳 「ContextWorkflow: 中断と償いのため のDSL」第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018), 2018年3月
  • 井上 裕昭, 五十嵐 淳 「文脈指向言語 JCop への型検査器の構成と実装」 第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014), 2014年3月
  • 井上 裕昭, 五十嵐 淳, Robert Hirschfeld, 増原 英彦 「動的レイヤー合 成のための型システム」 第15回プログラミングおよびプログラミング言語 ワークショップ (PPL2013), 2013年3月
  • 市村 賢士郎, 井上 裕昭, 太田 裕通, 岡 隆之介, 楠見 孝 (2014) 「学習 環境の選択に及ぼす物理的要因の明確化の効果」 日本認知心理学会第 12 回大会, 仙台

3.3 Others

  • 井上裕昭 「デザイン学論考」 デザイン学論考 Vol.1, 35-49, (2014)

4 Other Works

4.1 Teaching Assistants

  • 2013.3 - 2013.7 Programming Languages(プログラミング言語)
  • 2014.4 - 2014.7 Programming Languages(プログラミング言語)
  • 2014.10 - 2014.1 Design Methodology(デザイン方法論)
  • 2015.4 - 2015.7 Introduction to Programming(プログラミング入門)
  • 2015.10 - 2015.1 Compiler(コンパイラ)
  • 2016.4 - 2016.7 Introduction to Programming(プログラミング入門)

4.2 Research Assistant

  • 2015.4 - Research Assistant of Kyoto University Design School

5 Contact

hinoue at fos.kuis.kyoto-u.ac.jp
Dept. of Communications and Computer Engineering
Graduate School of Informatics, Kyoto University
Yoshida-Honmachi, Sakyo-ku
Kyoto 606-8501, Japan

Author: Hiroaki Inoue

Created: 2018-04-28 Sat 22:58