Rchr
J-GLOBAL ID:200901008310822395   Update date: Mar. 13, 2024

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 (56):
  • 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
more...
MISC (6):
  • 三宅皐, 紙名哲生, 丸山勝久. 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
  • 紙名哲生, 亀井靖高, 青谷知幸. MODULARITY:aosd.2012参加報告. 研究報告ソフトウェア工学(SE). 2012. 2012. 10. 1-6
more...
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)
more...
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):
  • Ph.D. (The University of Tokyo)
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):
  • 2019 - REBLS 2019 PC co-chair
  • 2019 - COP 2019 PC member
  • 2019 - REBLS 2019 プログラム共同委員長
  • 2019 - COP 2019 プログラム委員
  • 2018 - REBLS 2018 PC member
Show all
Awards (1):
  • 2015/09 - 日本ソフトウェア科学会 第19回研究論文賞
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