研究者総覧 - 紙名　哲生

カミナ　テツオ
紙名　哲生

所属大分大学理工学部知能情報システムプログラム

職種准教授

論文
論文	Vexa: Automated Configuration-to-Code Generation for On-Demand State Management in Vue.js Applications Companion Proceedings of the 10th International Conference on the Art, Science, and Engineering of Programming,26-38頁 2026/04/12
論文	Realizing Atomic Switch Operation for Distributed Update Propagation in Reactive Programming Journal of Information Processing 33,804-814頁 2025/11
論文	Towards Automation of Module Lazy Loading in Single-Page Web Applications 2024 31st Asia-Pacific Software Engineering Conference (APSEC),482-486頁 2025/04/25
論文	Consistent Distributed Reactive Programming with Retroactive Computation The Art, Science, and Engineering of Programming 10 (1),11:1-11:41頁 2025/02
論文	Evolution Language Framework for Persistent Objects The Art, Science, and Engineering of Programming 10 (1),12:1-12:39頁 2025/02
論文	A Method to Detect Structure Errors using a Model Program International Journal of Learning Technologies and Learning Environments 8 (1),1-16頁 2025/01
論文	Open AIにより生成された解答に基づくプログラ厶の構造的誤り箇所に対するヒントの提示手法ソフトウェア工学の基礎31 日本ソフトウェア科学会ソフトウェア工学の基礎研究会FOSE2024,139-144頁 2024/11
論文	Realizing Persistent Signals in JavaScript Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,25-30頁 2023/10/19
論文	Temporal Layers: Reactive Activation Scope of First-Class Layer Instances Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity,9-14頁 2023/07/17
論文	Distributed Persistent Signals: Architecture and Implementation Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,13-23頁 2022/11/29
論文	Implementing Micro Frontends Using Signal-based Web Components Journal of Information Processing 30,505-512頁 2022/08
論文	Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks 35th European Conference on Object-Oriented Programming (ECOOP 2021),19:1-19:30頁 2021/07
論文	An Approach for Persistent Time-Varying Values Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019) 2019
論文	TinyCORP: A Calculus for Context-Oriented Reactive Programming COP'19,1-8頁 2019
論文	Welcome from the chairs REBLS 2018 - Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Co-located with SPLASH 2018,III-VI頁 2018/11/04
論文	Proceedings of the 10th international workshop on context-oriented programming: Advanced modularity for run-time composition Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition, COP 2018 - Co-located with the European Conference on Object-Oriented Programming 2018/07/16
論文	Method safety mechanism for asynchronous layer deactivation Science of Computer Programming 156,104-120頁 2018/05/01
論文	Harmonizing Signals and Events with a Lightweight Extension to Java The Art, Science, and Engineering of Programming 2 (3),5:1-5:29頁 2018
論文	コードの編集履歴を用いた競合解決支援情報処理学会論文誌 59 (4),1120-1136頁 2018
論文	Push-based reactive layer activation in context-oriented programming Proceedings of the 9th International Workshop on Context-Oriented Programming, COPS 2017 - Collocated with the European Conference on Object-Oriented Programming,17-22頁 2017/06/19
論文	Detecting invalid layer combinations using control-flow analysis for android Proceedings of the 8th International Workshop on Context-Oriented Programming, COP 2016,27-32頁 2016/07/17
論文	Context-oriented software development with generalized layer activation mechanism Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9800,3-40頁 2016
論文	Generalized layer activation mechanism for context-oriented programming Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9800,123-166頁 2016
論文	Toward Fluent Module Interactions COMPANION PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MODULARITY (MODULARITY COMPANION'16),158-159頁 2016
論文	Method safety mechanism for asynchronous layer deactivation International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015,6:1-6:6 2015/07/04
論文	Type-safe layer-introduced base functions with imperative layer activation International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015,8:1-8:7 2015/07/04
論文	Generalized layer activation mechanism through contexts and subscribers ACM International Conference Proceeding Series 16-19-,14-28頁 2015/03/16
論文	Context holders: Realizing multiple layer activation mechanisms in a single context-oriented language FOAL 2014 - Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, Co-located with MODULARITY 2014 (Formerly AOSD),3-6頁 2014
論文	Context-oriented software engineering: A modularity vision MODULARITY 2014 - Proceedings of the 13th International Conference on Modularity (Formerly AOSD),85-98頁 2014
論文	On-demand layer activation for type-safe deactivation Proceedings of 6th International Workshop on Context-Oriented Programming, COP 2014,4:1-4:7 2014
論文	Unifying multiple layer activation mechanisms using one event sequence Proceedings of 6th International Workshop on Context-Oriented Programming, COP 2014,2:1-2:6 2014
論文	文脈指向プログラミングの要素技術と展望コンピュータソフトウェア 31 (1),3-13-13頁 2014
論文	A core calculus of composite layers FOAL 2013 - Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages,7-12頁 2013
論文	A unified context activation mechanism Proceedings of the 5th International Workshop on Context-Oriented Programming, COP 2013,2:1-2:6 2013
論文	Introducing composite layers in eventCJ IPSJ Online Transactions 6 (1),1-8頁 2013
論文	Mapping Context-Dependent Requirements to Event-Based Context-Oriented Programs for Modularity Workshop on Reactivity, Events and Modularity (REM 2013) 2013
論文	オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ コンピュータソフトウェア 30 (3),130-147 2013
論文	Bridging real-world contexts and units of behavioral variations by composite layers International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'12,4:1-4:6 2012
論文	ユースケースを用いた文脈指向ソフトウェア開発ソフトウェアエンジニアリングシンポジウム2011(SES2011) 2011/09
論文	EventCJ: A context-oriented programming language with declarative event-based context transition Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11,253-264頁 2011
論文	Featherweight EventCJ: A core calculus for a context-oriented language with event-based per-instance layer transition Proceedings of the 3rd International Workshop on Context-Oriented Programming, COP'11 - Co-located with the 25th European Conference on Object-Oriented Programming, ECOOP 2011,1:1-1:7 2011
論文	UcR-based spatial information framework Proceedings - 7th International Conference on Networked Computing and Advanced Information Management, NCM 2011,256-261頁 2011
論文	A Smooth Combination of Role-based Languages and Context Activation Ninth Workshop on Foundation of Aspect-Oriented Languages (FOAL 2010),15-24 2010/03
論文	Designing event-based context transition in context-oriented programming 24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 4:2nd International Workshop on Context-Oriented Programming, COP'10,4:1-4:6 2010
論文	Lightweight Nested Inheritance in Layer Decomposition 2010 International Workshop on Foundations of Object-oriented Languages (FOOL'10) 2010
論文	A Function Approximation Method for Images with Grading Regions International Journal of Images and Graphics 9 (1),101-119 2009
論文	Towards safe and flexible object adaptation International Workshop on Context-Oriented Programming, COP '09,a4 2009
論文	Embedding Legacy Keyword Search into Queries for the Ubiquitous ID Database NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS 5186,263-272頁 2008
論文	Flexible Object Adaptation for Java-like Languages 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008),63-76 2008
論文	Lightweight Dependent Classes GPCE'08: PROCEEDINGS OF THE ACM SIGPLAN SEVENTH INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING,113-123頁 2008
論文	Lightweight scalable components GPCE'07 - Proceedings of the Sixth International Conference on Generative Programming and Component Engineering,145-154頁 2007
論文	Verifying identifier-authenticity in ubiquitous computing environment 21ST INTERNATIONAL CONFERENCE ON ADVANCED NETWORKING AND APPLICATIONS WORKSHOPS/SYMPOSIA, VOL 2, PROCEEDINGS 2,403-+頁 2007
論文	A study on formulation of the ubiquitous cloud model Proceedings - IEEE International Conference on Mobile Data Management 2006 2006
論文	An Image Segmentation Method for Function Approximation of Gradation Image IASTED International Conference on Signal Processing, Pattern Recognition, and Applications (SPPRA 2006),238-243 2006
論文	Image Resolution Conversion by Optimized Adaptation of Interpolation Kernels IASTED International Conference on Signal Processing, Pattern Recognition, and Applications (SPPRA 2006) 520,274-279-279頁 2006
論文	Flexible method combination based on mixin subtyping Journal of Object Technology 4 (10),95-116頁 2005
論文	Selective method combination in mixin-based composition Proceedings of the ACM Symposium on Applied Computing 2,1269-1273頁 2005
論文	Mixin Layersへの総称型の導入ソフトウェア工学の基礎XI ソフトウェア工学研究会FOSE2004,197-208 2004/11
論文	A Core Calculus for Mixin-Types Foundations of Object-Oriented Languages (FOOL11) 2004/01
論文	McJava - A design and implementation of Java with mixin-types PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS 3302,398-414頁 2004
論文	ソフトウェア進化のためのMixin型を使ったプログラミング手法オブジェクト指向2003シンポジウム(OO2003),137-144 2003/08
論文	Loosely Connected RPC: An Approach for Extendable Interface of Web Services 1st International Workshop on Web Services: Modelling, Architecture and Infrastructure (WSMAI-2003),62-73 2003/04
論文	Lisp を基にした新しい XML プログラミングツール実現手法 2002年情報学シンポジウム講演論文集 2002,39-46-46頁 2002/01
論文	Embedding XML processing toolkit on general purpose programming language APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE,159-166頁 2002
論文	A Light-Weight Programming Interface for XML 第4回インターネットテクノロジーワークショップ (WIT2001),66-73 2001/09