TETSUO KAMINA

カミナテツオ | TETSUO KAMINA

Affiliation and department：
Homepage URL (1)： http://plp-www.csis.oita-u.ac.jp/~kamina/index-j.html

Research field (1)： Software

Research keywords (1)： Programming languages, Modularity, Type systems, Programming paradigm, Software development methodology

Research theme for competitive and other funds (8)：

2021 - 2025 仮想空間と現実世界の融合を支援する反応的計算基盤の構築
2017 - 2022 Development of programming languages and practices for software that intensively interacts with its surrounding environment
2013 - 2017 Deepening Study on Context-Oriented Programming
2010 - 2015 A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era
2011 - 2012 Verification mechanism in programming languages with dynamic modules

Show all

Papers (59)：

Daichi Hidaka, Tetsuo Kamina. Realizing Persistent Signals in JavaScript. Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. 2023. 25-30
Tetsuo Kamina. Temporal Layers: Reactive Activation Scope of First-Class Layer Instances. Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity. 2023. 9-14
Tetsuo Kamina, Sota Ueno. Distributed Persistent Signals: Architecture and Implementation. Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. 2022. 13-23
Yuma Nishizu, Tetsuo Kamina. Implementing Micro Frontends Using Signal-based Web Components. Journal of Information Processing. 2022. 30. 505-512
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara. Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks. 35th European Conference on Object-Oriented Programming (ECOOP 2021). 2021. 19:1-19:30

ｍore...

MISC (7)：

Tetsuo Kamina, Tomoyuki Aotani. A report on ECOOP 2019. Computer Software. 2020. 37. 1. 68-72
三宅皐, 紙名哲生, 丸山勝久. Automatic Test Code Generation for Extract Method Refactoring. 電子情報通信学会技術研究報告. 2018. 117. 465(KBSE2017 39-63). 55-60
三宅皐, 紙名哲生, 丸山勝久. Javaにおける関数型インタフェースの拡張. 電子情報通信学会技術研究報告. 2016. 116. 128(KBSE2016 7-23). 61-68
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara. Activation Order Analysis of Context-oriented Programs Based on Resource Usage Analysis. 2013. 6. 1. 29-29
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara. Introducing Composite Layers in EventCJ. 2013. 6. 1. 1-8

ｍore...

Lectures and oral presentations (23)：

イベントとシグナルの統合:プログラミング言語のアプローチ
(第24回ソフトウェア工学の基礎ワークショップ(FOSE2017) 2017)
メソッド抽出リファクタリングにおけるテストケースの自動生成
(ソフトウェアエンジニアリングシンポジウム2017(SES2017) 2017)
Introducing Lightweight Reactive Values to Java
(SPLASH'16 Companion: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Proceedings 2016)
Javaにおける関数型インタフェースの拡張
(情報処理学会第193回ソフトウェア工学研究発表会 2016)
層の組み合わせを考慮した文脈指向プログラミング支援
(第22回ソフトウェア工学の基礎ワークショップ(FOSE2015) 2015)

ｍore...

Education (3)：

- 2005 The University of Tokyo Graduate School of Arts and Sciences Department of General Systems Studies
- 2002 The University of Tokyo Graduate School of Arts and Sciences Department of General Systems Studies
- 1999 International Christian University College of Liberal Arts Division of Natural Sciences

Professional career (1)：

Work history (7)：

2018/03 - 現在 Oita University Faculty of Science and Technology Associate Professor
2014/04 - 2018/02 Ritsumeikan University College of Information Science and Engineering, Department of Information Science and Engineering Lecturer
2010/04/01 - 2014/03/31 Graduate School of Education, the University of Tokyo, assistant professor
2010/04 - 2014/03 University of Tokyo Graduate School of Education Assistant Professor
2007/04/01 - 2010/03/31 Graduate School of Humanities and Sociology, the University of Tokyo, assistant professor

Show all

Committee career (41)：

Show all

Awards (1)：

Association Membership(s) (3)：

ACM , JSSST , IPSJ

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page