KAMINA Tetsuo 紙名哲生

Researcher Number	90431882
Other IDs
Affiliation (Current)	2025: 大分大学, 理工学部, 准教授
Affiliation (based on the past Project Information) *help	2017 – 2024: 大分大学, 理工学部, 准教授 2015 – 2016: 立命館大学, 情報理工学部, 任期制講師 2014: 立命館大学, 情報理工学部, 講師 2013: 東京大学, 教育学研究科(研究院), 助教 2012: 東京大学, 大学院・教育学研究科, 特任助教 … More 2011 – 2012: 東京大学, 教育学研究科(研究院), 特任助教 2010: The University of Tokyo, 大学院・教育学研究科, 特任助教 2008 – 2009: Gunma University, 大学院・人文社会系研究科, 助教 Less
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software Except Principal Investigator Software
Keywords	Principal Investigator リアクティブプログラミング / 分散システム / 言語設計 / 理論化 / プログラミング言語 / 計算体系 / 文脈指向 / モジュラリティ / プログラミングパラダイム / マイクロフロントエンド … More / SignalJ / シグナルクラス / 永続シグナル / オープンアーキテクチャ / 時刻印方式 / id解決 / 分散永続シグナル / 時系列データベース / チェックポイント / 整合性 / サーバレス / 分散リアクティブプログラミング / トランザクション / ソフトウェア開発効率化 / ソフトウェア学 / 永続化 / 時系列データ / 文脈指向プログラミング / 方法論 / 暗黙的モジュール合成 / イベント駆動 / 操作的意味論 / プログラム変換 / EventCJ / 合成層 / モジュール合成 / モジュール化 / 型システム / ソフトウェア工学 / プログラム言語論 … More Except Principal Investigator ソフトウェア開発効率化・安定化 / 型システム / モジュール化 / プログラミング言語 / ソフトウェア学 / 文脈指向 / アスペクト指向 / オブジェクト指向 / ソフトウェア・モジュール化 / ソフトウェア開発効率化、安定化 / ディスペンダブル、コンピューティング / ディペンダブル・コンピューティング / プログラム言語 / ディスペンタブル・コンピューティング / 要求工学 / 形式手法 / UML / ディスペンダブル・コンピューティング / ソフトウェア工学 / セキュリティ / アスペクト指向プログラミング Less

高い抽象度レベルを持つ宣言的分散プログラミング言語の実現と高度化Principal Investigator
- Principal Investigator
  
  紙名哲生
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Oita University
仮想空間と現実世界の融合を支援する反応的計算基盤の構築Principal Investigator
- Principal Investigator
  
  紙名哲生
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Oita University
Development of programming languages and practices for software that intensively interacts with its surrounding environmentPrincipal Investigator
- Principal Investigator
  
  KAMINA Tetsuo
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Oita University
Deepening Study on Context-Oriented ProgrammingPrincipal Investigator
- Principal Investigator
  
  KAMINA Tetsuo
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Ritsumeikan University
  The University of Tokyo
Verification mechanism in programming languages with dynamic modulesPrincipal Investigator
- Principal Investigator
  
  KAMINA Tetsuo
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era
- Principal Investigator
  
  CHIBA Shigeru
- Project Period (FY)
  2010 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
  Tokyo Institute of Technology
Programming Language for Effective and Reliable Software DevelopmentPrincipal Investigator
- Principal Investigator
  
  KAMINA Tetsuo
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
  Gunma University
Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety
- Principal Investigator
  
  TAMAI Tetsuo
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo

[Book] REBLS 2019: Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems2019
- Author(s)
  Guido Salvaneschi, Wolfgang De Meuter, Patrick Th Eugster, Francisco Sant’Anna, Lukasz S Ziarek, Tetsuo Kamina, Hidehiko Masuhara
- Total Pages
  41
- Publisher
  Association for Computing Machinery
- ISBN
  9781450369862
- Data Source
  KAKENHI-PROJECT-17K00115
[Journal Article] Temporal Layers: Reactive Activation Scope of First-Class Layer Instances2023
- Author(s)
  Kamina Tetsuo
- Journal Title
  
  COP 2023: Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
  
  Volume: 1 Pages: 9-14
- DOI
  10.1145/3605154.3605852
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K21656
[Journal Article] Realizing Persistent Signals in JavaScript2023
- Author(s)
  Hidaka Daichi、Kamina Tetsuo
- Journal Title
  
  REBLS 2023: Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
  
  Volume: 1 Pages: 25-30
- DOI
  10.1145/3623506.3623576
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K21656
[Journal Article] Implementing Micro Frontends Using Signal-based Web Components2022
- Author(s)
  Nishizu Yuma、Kamina Tetsuo
- Journal Title
  
  Journal of Information Processing
  
  Volume: 30 Issue: 0 Pages: 505-512
- DOI
  10.2197/ipsjjip.30.505
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K21656
[Journal Article] Distributed Persistent Signals: Architecture and Implementation2022
- Author(s)
  Kamina Tetsuo、Ueno Sota
- Journal Title
  
  REBLS 2022: Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
  
  Volume: 1 Pages: 13-23
- DOI
  10.1145/3563837.3568341
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K21656
[Journal Article] Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks2021
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  35th European Conference on Object-Oriented Programming (ECOOP 2021)
  
  Volume: LIPIcs 194
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K21656
[Journal Article] Managing Persistent Signals using Signal Classes2020
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  7th Workshop on Reactive and Event-based Languages & Systems (REBLS 2020)
  
  Volume: 1 Pages: 1-7
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00115
[Journal Article] TinyCORP: A Calculus for Context-Oriented Reactive Programming2019
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani
- Journal Title
  
  COP '19: Proceedings of the Workshop on Context-oriented Programming
  
  Volume: 1 Pages: 1-8
- DOI
  10.1145/3340671.3343356
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
[Journal Article] An Approach for Persistent Time-Varying Values2019
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani
- Journal Title
  
  Onward! 2019: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
  
  Volume: 1 Pages: 17-31
- DOI
  10.1145/3359591.3359730
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
[Journal Article] Visualizing Reactive Execution History using Propagation Traces2018
- Author(s)
  Takumi Hikosaka, Tetsuo Kamina, Katsuhisa Maruyama
- Journal Title
  
  5th Workshop on Reactive and Event-based Languages & Systems
  
  Volume: 1 Pages: 1-6
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00115
[Journal Article] Harmonizing Signals and Events with a Lightweight Extension to Java2018
- Author(s)
  Kamina Tetsuo、Aotani Tomoyuki
- Journal Title
  
  The Art, Science, and Engineering of Programming
  
  Volume: 2 Issue: 3
- DOI
  10.22152/programming-journal.org/2018/2/5
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
[Journal Article] Method safety mechanism for asynchronous layer deactivation2018
- Author(s)
  Kamina Tetsuo、Aotani Tomoyuki、Masuhara Hidehiko、Igarashi Atsushi
- Journal Title
  
  Science of Computer Programming
  
  Volume: 156 Pages: 104-120
- DOI
  10.1016/j.scico.2018.01.006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033, KAKENHI-PROJECT-17H01723
[Journal Article] Push-based reactive layer activation in context-oriented programming2017
- Author(s)
  Kamina Tetsuo、Aotani Tomoyuki、Masuhara Hidehiko
- Journal Title
  
  Proceedings of the 9th International Workshop on Context-Oriented Programming (COP'17)
  
  Volume: 9 Pages: 17-21
- DOI
  10.1145/3117802.3117805
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
[Journal Article] Context-Oriented Software Development with Generalized Layer Activation Mechanism2016
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai
- Journal Title
  
  LNCS Transactions on Modularity and Composition
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Invalid Layer Combinations Using Control-Flow Analysis for Android2016
- Author(s)
  Noriyuki Suzuki, Tetsuo Kamina, and Katsuhisa Maruyama
- Journal Title
  
  Proceedings of the 8th International Workshop on Context-Oriented Programming (COP'16)
  
  Volume: 1 Pages: 27-32
- DOI
  10.1145/2951965.2951970
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Generalized Layer Activation Mechanism for Context-Oriented Programming2016
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
- Journal Title
  
  LNCS Transactions on Modularity and Composition
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Toward Fluent Module Interactions2016
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
- Journal Title
  
  Companion Proceedings of the 15th International Conference on Modularity (MODULARITY Companion'16)
  
  Volume: 1 Pages: 158-159
- DOI
  10.1145/2892664.2892689
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Introducing Lightweight Reactive Values to Java2016
- Author(s)
  Tetsuo Kamina
- Journal Title
  
  SPLASH'16 Companion: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Proceedings
  
  Volume: 1 Pages: 27-28
- DOI
  10.1145/2984043.2989215
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation2015
- Author(s)
  Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara
- Journal Title
  
  Proceedings of the 7th International Workshop on Context-Oriented Programming (COP'15)
  
  Volume: 1 Pages: 1-7
- DOI
  10.1145/2786545.2786553
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Generalized Layer Activation Mechanism Through Contexts and Subscribers2015
- Author(s)
  Tetsuo Kamina, Tomoyuki Anotani, and Hidehiko Masuhara
- Journal Title
  
  In Proceedings of the 14th International Conference on Modularity (MODULARITY'15)
  
  Volume: 1 Pages: 14-28
- DOI
  10.1145/2724525.2724570
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Method Safety Mechanism for Asynchronous Layer Deactivation2015
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Atsushi Igarashi
- Journal Title
  
  Proceedings of the 7th International Workshop on Context-Oriented Programming (COP'15)
  
  Volume: 1 Pages: 1-6
- DOI
  10.1145/2786545.2786550
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Context-Oriented Software Engineering: A Modularity Vision2014
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai
- Journal Title
  
  In Proceedings of the 13th International Conference on Modularity (MODULARITY'14)
  
  Volume: 1 Pages: 85-98
- DOI
  10.1145/2577080.2579816
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] 文脈指向プログラミングの要素技術と展望2014
- Author(s)
  紙名哲生
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 31
- NAID
  130004549331
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Unifying Multiple Layer Activation Mechanisms Using One Event Sequence2014
- Author(s)
  Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara
- Journal Title
  
  In Proceedings of the 6th International Workshop on Context-Oriented Programming (COP'14)
  
  Volume: 1 Pages: 1-6
- DOI
  10.1145/2637066.2637068
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Context Holders: Realizing Multiple Layer Activation Mechanisms in a Single Context-Oriented Language2014
- Author(s)
  Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara
- Journal Title
  
  In Proceedings of the 2014 International Workshop on Foundations of Aspect-Oriented Languages (FOAL'14)
  
  Volume: 1 Pages: 3-6
- DOI
  10.1145/2588548.2588552
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] On-Demand Layer Activation for Type-Safe Deactivation2014
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
- Journal Title
  
  In Proceedings of the 6th International Workshop on Context-Oriented Programming (COP'14)
  
  Volume: 1 Pages: 1-7
- DOI
  10.1145/2637066.2637070
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ2013
- Author(s)
  青谷知幸, 紙名哲生, 増原英彦
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 30
- NAID
  40020659193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] A Core Calculus of Composite Layers.2013
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara.
- Journal Title
  
  In FOAL'13
  
  Pages: 7-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700029
[Journal Article] Introducing Composite Layers in EventCJ2013
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
- Journal Title
  
  IPSJ Transactions on Programming
  
  Volume: 6 Pages: 1-8
- NAID
  130003370005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700029
[Journal Article] A Unified Context Activation Mechanism2013
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
- Journal Title
  
  In Proceedings of the 5th International Workshop on Context-Oriented Programming (COP'13)
  
  Volume: 5 Pages: 1-6
- DOI
  10.1145/2489793.2489795
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330078
[Journal Article] Introducing Composite Layers in EventCJ.2013
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara.
- Journal Title
  
  IPSJ Transactions on Programming
  
  Volume: 6(1) Pages: 1-8
- NAID
  130003370005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700029
[Journal Article] Bridging Real-World Contexts and Units of Behavioral Variatios by Composite Layers.2012
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara.
- Journal Title
  
  In COP'12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700029
[Journal Article] Bridging real-world contexts and units of behavioral variations by composite layers2012
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  Proceedings of the Workshop on Context-Oriented Programming (COP'12)
  
  Volume: 4 Pages: 1-6
- DOI
  10.1145/2307436.2307440
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300006, KAKENHI-PROJECT-23700029
[Journal Article] A core calculus of composite layers2012
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  Proceedings of Foundations ofAspect-Oriented Languages (FOAL2013)
  
  Volume: 12 Pages: 7-12
- DOI
  10.1145/2451598.2451601
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300006, KAKENHI-PROJECT-23700029
[Journal Article] Featherweight EventCJ A Core Calculus for a Context- Oriented Language with Event-Based Per- Instance Layer Transition.2011
- Author(s)
  Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara.
- Journal Title
  
  In COP'11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700029
[Journal Article] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Transition.2011
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  In Proceedings of the 10th Annual Aspect-Oriented Software Development Conference (AOSD. 11)
  
  Pages: 253-264
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Transition2011
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  Proceedings of the 10^<th> Annual Aspect-Oriented Software Development Conference (AOSD'11)
  
  Pages: 253-264
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition2011
- Author(s)
  Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
- Journal Title
  
  Proceedings of the Workshop onContext-Oriented Programming (COP'11)
  
  Volume: 3 Pages: 1-6
- DOI
  10.1145/2068736.2068737
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300006, KAKENHI-PROJECT-23700029
[Journal Article] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Transition2011
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  Aspect-Oriented Software Development 2011
  
  Pages: 21-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22240002
[Journal Article] A Smooth Combination of Role-based Languages and Context Activation2010
- Author(s)
  Tetsuo Kamina
- Journal Title
  
  Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented Languages(FOAL2010)
  
  Pages: 15-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Designing Event-based Context Transition in Context-oriented Programming2010
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  Proceedings of the International Workshop on Context-oriented Programming (COP'10)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] A Smooth Combination of Role-based Languages and Context Activation2010
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented Languages(FOAL 2010)
  
  Pages: 15-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Lightweight Nested Inheritance in Layer Decomposition.2010
- Author(s)
  Tetsuo Kamina. Tetsuo Tamai
- Journal Title
  
  In Proceedings of the 2010 International Workshop on Foundations of Object-oriented Languages (FOOL'10)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Lightweight Nested Inheritance in Layer Decomposition2010
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  Proceedings of the 2010 International Workshop on Foundation of Object-Oriented Languages
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Designing Event-based Context Transition in Context-oriented Programming2010
- Author(s)
  Tetsuo Kamina, Tetsuo Aotani, Hidehiko Masuhara
- Journal Title
  
  In Proceedings of the International Workshop on Context-oriented Programming (COP'10) article No.2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] A Smooth Combination of Role-based Languages and Context Activation2010
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  In Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented Languages (FOAL 2010)
  
  Pages: 15-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Towards Safe and Flexible Object Adaptation2009
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  Proceedings of the International Workshop on Context-Oriented Programming (COP09) article No.4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Towards Safe and Flexible Object Adaptation2009
- Author(s)
  Tetsuo Kamina
- Journal Title
  
  Proceedings of the International Workshop on Context-Oriented Programming(COP09) (articl no.4(電子出版))
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Towards Safe and Flexible Object Adaptation2009
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  Proceedings of the International Workshop on Context-Oriented Programming(COP09)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Lightweight Dependent Classes2008
- Author(s)
  Tetsuo Kamina
- Journal Title
  
  Proceedings of the 7th ACM International Conferenceon on Generative Programming and Components Engineering
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Flexible Object Adaptation for Java-like Languages2008
- Author(s)
  Tetsuo Kamina
- Journal Title
  
  Proceedings of the 7th ACM International Conferenceon on Generative Programming and Components Engineering
  
  Pages: 113-124
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Lightweight Dependent Classes2008
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  Proceedings of the 7th ACM International Conference on Generative Programming an Components Engineering (GPCE'08)
  
  Pages: 113-124
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Flexible Object Adaptation for Java-like Languages2008
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  Proceedings of the 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008)
  
  Pages: 63-76
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Lightweight Dependent Classes.2008
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  Proceedings of the 7th ACM International Conference on Generative Programming and Components Engineering (GPCE'08) ACM Press
  
  Pages: 113-124
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700022
[Journal Article] Lightweight Dependent Classes, Proceedings of the 7th ACM Int'l Conf2008
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  on Generative Programming and Components Engineering
  
  Pages: 113-124
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Lightweight Scalable Components, Proceedings of the 6th ACM Int'l Conf2007
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Journal Title
  
  on Generative Programming and Components Engineering
  
  Pages: 145-154
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Lightweight Scalable Components2007
- Author(s)
  Tetsuo Kamina
- Journal Title
  
  Proceedings of the 6th ACM International Conference on Generative Programming and Components Engineering
  
  Pages: 145-154
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200001
[Presentation] 分散リアクティブプログラミングにおける値更新と干渉しないswitch処理の提案2024
- Author(s)
  上野颯太, 紙名哲生
- Organizer
  第147回情報処理学会プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-23K21656
[Presentation] 永続時変値の分散化に向けた基盤システムの試作2022
- Author(s)
  上野颯太, 紙名哲生
- Organizer
  研究報告ソフトウェア工学（SE）
- Data Source
  KAKENHI-PROJECT-23K21656
[Presentation] シグナルに基づくマイクロフロントエンドアプリケーションの実現法2022
- Author(s)
  西津佑真, 紙名哲生
- Organizer
  第137回情報処理学会プログラミング研究会
- Data Source
  KAKENHI-PROJECT-23K21656
[Presentation] JavaScriptにおける永続時変値の実現法の提案2022
- Author(s)
  日高大地, 紙名哲生
- Organizer
  研究報告ソフトウェア工学（SE）
- Data Source
  KAKENHI-PROJECT-23K21656
[Presentation] リアクティブプログラミングに基づく分散計算基盤の実現に向けて2021
- Author(s)
  紙名哲生
- Organizer
  ソフトウェアシンポジウム2021
- Data Source
  KAKENHI-PROJECT-17K00115
[Presentation] リアクティブプログラミングにおけるシグナルの永続化2019
- Author(s)
  紙名哲生, 青谷知幸
- Organizer
  ソフトウェアエンジニアリングシンポジウム2019(SES2019)
- Data Source
  KAKENHI-PROJECT-17K00115
[Presentation] Harmonizing Signals and Events with a Lightweight Extension to Java2019
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-17K00115
[Presentation] Harmonizing Signals and Events with a Lightweight Extension to Java2018
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani
- Organizer
  <Programming> 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00115
[Presentation] イベントとシグナルの統合：プログラミング言語のアプローチ2017
- Author(s)
  紙名哲生, 青谷知幸
- Organizer
  第24回ソフトウェア工学の基礎ワークショップ(FOSE2017)
- Data Source
  KAKENHI-PROJECT-17K00115
[Presentation] Javaにおける関数型インタフェースの拡張2016
- Author(s)
  三宅皐, 紙名哲生, 丸山勝久
- Organizer
  第193回ソフトウェア工学研究発表会
- Place of Presentation
  北海道立道民活動センター（北海道札幌市）
- Data Source
  KAKENHI-PROJECT-25330078
[Presentation] ソースコード編集履歴を用いた競合解決支援ツール2016
- Author(s)
  西村雄一，紙名哲生，丸山勝久
- Organizer
  日本ソフトウェア科学会 FOSE2016
- Place of Presentation
  ことひら温泉琴参閣（香川県仲多度郡琴平町）
- Data Source
  KAKENHI-PROJECT-25330078
[Presentation] 層の組み合わせを考慮した文脈指向プログラミング支援2015
- Author(s)
  鈴木紀之, 紙名哲生, 丸山勝久
- Organizer
  第22回ソフトウェア工学の基礎ワークショップ(FOSE2015)
- Place of Presentation
  山形県天童市ほほえみの宿滝の湯
- Year and Date
  2015-11-27
- Data Source
  KAKENHI-PROJECT-25330078
[Presentation] Generalized Layer Activation Mechanism in Context-Oriented Programming2014
- Author(s)
  Tetsuo Kamina
- Organizer
  In 6th Asian Joint Workshop on Information Technologies (RU-DUT Joint Workshop)
- Place of Presentation
  立命館大学（滋賀県）
- Year and Date
  2014-10-11
- Data Source
  KAKENHI-PROJECT-25330078
[Presentation] COSE: 文脈に依存した振る舞いをモジュール化するソフトウェア開発手法2013
- Author(s)
  紙名哲生, 青谷知幸, 増原英彦, 玉井哲雄
- Organizer
  第20回ソフトウェア工学の基礎ワークショップ(FOSE2013)
- Place of Presentation
  加賀温泉
- Data Source
  KAKENHI-PROJECT-25330078
[Presentation] Mapping Context-Dependent Requirements to Event-Based Context-Oriented Programs for Modularity2013
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
- Organizer
  Workshop on Reactivity, Events and Modularity (REM 2013)
- Place of Presentation
  Indianapolis, USA
- Data Source
  KAKENHI-PROJECT-25330078
[Presentation] JavaCat: Realizing Context as Fluent2013
- Author(s)
  紙名哲生,青谷知幸,増原英彦.
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)
- Place of Presentation
  会津若松
- Year and Date
  2013-03-05
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] 文脈指向言語EventCJへの合成層の導入2012
- Author(s)
  紙名哲生,青谷知幸,増原英彦.
- Organizer
  情報処理学会第89回プログラミング研究発表会
- Place of Presentation
  小樽
- Year and Date
  2012-06-21
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] Modeling Context Changes and Layers: A Use Case Driven Approach2012
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara.
- Organizer
  In COP'12
- Place of Presentation
  Beijing, China.
- Year and Date
  2012-06-01
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] 文脈指向プログラムの資源利用解析に基づく層活性解析法2012
- Author(s)
  青谷知幸, 紙名哲生, 増原英彦
- Organizer
  情報処理学会第89回プログラミング研究発表会
- Place of Presentation
  小樽
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] Modeling Context Changes and Layers: A Use Case Driven Approach2012
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Organizer
  International Workshop on Context-Oriented Programming (COP'12)
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ2011
- Author(s)
  青谷知幸,紙名哲生,増原英彦
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業センター
- Year and Date
  2011-09-28
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] Towards optimizing EventCJ programs2011
- Author(s)
  Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara
- Organizer
  AOAsia/Pacific'11(招待講演)
- Place of Presentation
  上海交通大学（中国）
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Transition.2011
- Author(s)
  紙名哲生, 青谷知幸, 増原英彦
- Organizer
  PPL2011
- Year and Date
  2011-03-11
- Data Source
  KAKENHI-PROJECT-20700022
[Presentation] ユースケースを用いた文脈指向ソフトウェア開発2011
- Author(s)
  紙名哲生,青谷知幸,増原英彦,玉井哲雄.
- Organizer
  ソフトウェアエンジニアリングシンポジウム2011(SES2011)
- Place of Presentation
  東京女子大学
- Year and Date
  2011-09-13
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] COSE: Context-Oriented Software Engineering with Use Cases and Event-Based Context Transition2011
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai
- Organizer
  AOAsia/Pacific'11(招待講演)
- Place of Presentation
  上海交通大学（中国）
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Trantsition2011
- Author(s)
  紙名哲生
- Organizer
  AOSD'11
- Place of Presentation
  Porto de Galinhas Pernambuco, Brzsil
- Year and Date
  2011-03-24
- Data Source
  KAKENHI-PROJECT-20700022
[Presentation] Lightweight Nested Inheritance in Layer Decomposition2010
- Author(s)
  紙名哲生
- Organizer
  FOOL'10
- Place of Presentation
  Reno, Nevada, USA
- Year and Date
  2010-10-17
- Data Source
  KAKENHI-PROJECT-20700022
[Presentation] EventCJ : Realizing Declarative Event-based Context Transition.2010
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Organizer
  In AOAsia/Pacific'10
- Year and Date
  2010-09-24
- Data Source
  KAKENHI-PROJECT-20700022
[Presentation] COSE: Context-Oriented Software Engineering with Use Cases and Event-Based Context Transition2010
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai
- Organizer
  In AOAsia/Pacific'11
- Place of Presentation
  上海交通大学(中国)
- Year and Date
  2010-10-17
- Data Source
  KAKENHI-PROJECT-23700029
[Presentation] A Smooth Combination of Role-based Languages and Context Activation2010
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Organizer
  FOAL 2010
- Place of Presentation
  Rennes, France
- Year and Date
  2010-03-15
- Data Source
  KAKENHI-PROJECT-20700022
[Presentation] Towards Safe and Flexible Object Adaptation2009
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Organizer
  COP'10
- Place of Presentation
  Genova, Italy
- Year and Date
  2009-07-07
- Data Source
  KAKENHI-PROJECT-20700022
[Presentation] レイヤー合成のための型理論2009
- Author(s)
  五十嵐淳, 紙名哲生
- Organizer
  組木シンポジウム-ソフトウェアのコンポジション技術の最前線-
- Year and Date
  2009-11-25
- Data Source
  KAKENHI-PROJECT-20700022
[Presentation] Lightweight Dependent Classes2008
- Author(s)
  Tetsuo Kamina, Tetsuo Tamai
- Organizer
  GPCE'08
- Place of Presentation
  Vashville, USA
- Year and Date
  2008-10-19
- Data Source
  KAKENHI-PROJECT-20700022

1. MASUHARA Hidehiko (40280937)

# of Collaborated Projects: 5 results

# of Collaborated Products: 19 results
2. TAMAI Tetsuo (60217172)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
3. NAKAJIMA Shin (60350211)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. CHIBA Shigeru (80282713)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. UBAYASHI Naoyasu (80372762)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. IGARASHI Atsushi (40323456)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. 青谷知幸 (20582919)

# of Collaborated Projects: 2 results

# of Collaborated Products: 13 results
8. MARUYAMA Katsuhisa

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
9. SUZUKI Noriyuki

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

KAMINA Tetsuo 紙名 哲生

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of programming languages and practices for software that intensively interacts with its surrounding environmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Deepening Study on Context-Oriented ProgrammingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verification mechanism in programming languages with dynamic modulesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Programming Language for Effective and Reliable Software DevelopmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] REBLS 2019: Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems2019

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Temporal Layers: Reactive Activation Scope of First-Class Layer Instances2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Realizing Persistent Signals in JavaScript2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Implementing Micro Frontends Using Signal-based Web Components2022

Author(s)

Journal Title

DOI

ISSN

Language

Data Source

[Journal Article] Distributed Persistent Signals: Architecture and Implementation2022

Author(s)

Journal Title

DOI

Data Source

KAMINA Tetsuo 紙名哲生