学会などの活動歴 | 外部研究資金 | 論文

  • 大分大学理工学部 准教授。1999年、国際基督教大学教養学部理学科卒業。東京大学大学院総合文化研究科広域システム科学系修士課程、博士後期課程をそれぞれ2002年、2005年に修了、それぞれ修士（学術）、博士（学術）の学位を取得。2005.4-2006.3: 筑波大学先端学祭領域研究センター 研究員（CREST）。2006.4-2007.3: 東京大学大学院人文科学系研究科 助手。2007.4-2010.3: 東京大学大学院人文社会系研究科 助教。2010.4-2014.3: 東京大学大学院教育学研究科 特任助教。2014.4-2018.2: 立命館大学情報理工学部 講師。
  • 東洋大学総合情報学部 非常勤講師（2012-2013年）
  • YRPユビキタス・ネットワーキング研究所非常勤研究員（2006年4月－2010年3月）

学会などの活動歴（Academic Activities）

外部研究資金（Research Funds）

  • 研究代表者:
    • 科研費 基盤研究(B): 高い抽象度レベルを持つ宣言的分散プログラミング言語の実現と高度化 (2024-2028年度)
    • 科研費 基盤研究(B): 仮想空間と現実世界の融合を支援する反応的計算基盤の構築 (2021-2023年度)
    • 公益財団法人 栢森情報科学振興財団 平成30年度研究助成: 時間変化する値を扱うデータベースシステムの実現法に関する研究 (2019-2020年)
    • 科研費 基盤研究(C): 環境と密に繋がるソフトウェアの開発を支援する新たなプログラミングの基盤技術 (2017-2020年度)
    • 科研費 基盤研究(C): 文脈指向プログラムの深化と応用に関する研究（2013-2015年度）
    • 科研費 若手研究(B): 動的モジュールを持つプログラミング言語におけるソフトウェア検証機構 (2011-2012年度)
    • 科研費 若手研究(B): 効率的な高信頼性ソフトウェア開発のためのプログラミング言語の研究 (2008-2010年度)
  • 研究分担者:
    • 戦略的情報通信研究開発推進制度（SCOPE）：ユビキタスID技術の相互運用性に関する研究開発（2009-2010年度）
    • 科学研究費補助金 基盤研究(A): 生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究 (2007年度)
  • 連携研究者:
    • 科学研究費補助金 基盤研究(A): ポスト・アスペクト指向時代の階層的分割と横断的分割を統合するモジュール化の研究 (2010-2013年度)
    • 科学研究費補助金 基盤研究(A): 生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究 (2008-2009年度)

論文（Papers）

Refereed

  1. Y. Mei and T. Kamina, Towards Automation of Module Lazy Loading in Single-Page Web Applications, In APSEC 2024, to appear.
  2. D. Hidaka and T. Kamina, Realizing Persistent Signals in JavaScript, In REBLS 2023, pages 25-30, 2023.
    [Link to publication]
  3. T. Kamina, Temporal Layers: Reactive Activation Scope of First-Class Layer Instances, In COP 2023, pages 9-14, 2023.
    [Link to publication]
  4. T. Kamina and S. Ueno, Distributed Persistent Signals: Architecture and Implementation, In REBLS 2022, pages 13-23, 2022.
    [Link to publication]
  5. Y. Nishizu and T. Kamina, Implementing Micro Frontends using Signal-based Web Components, Journal of Information Processing, Vol.30, pages 505-512, 2022.
    [Link to publication]
  6. T. Kamina, T. Aotani, and H. Masuhara, Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks, In ECOOP 2021, LIPIcs vol.194, pages 19:1-19:30, 2021.
    [Link to publication]
  7. T. Kamina, T. Aotani, and H. Masuhara, Managing Persistent Signals using Signal Classes, In 7th Workshop on Reactive and Event-based Languages & Systems (REBLS 2020).
    [online]
  8. T. Kamina and T. Aotani, An Approach for Persistent Time-Varying Values, In Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019), pages 17-31, 2019.
    [pdf. This is the author’s version of the work. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/3359591.3359730.]
  9. T. Kamina and T. Aotani, TinyCORP: A Calculus for Context-Oriented Reactive Programming, In COP’19, pages 1-8, 2019.
    [pdf. This is the author’s version of the work. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/3340671.3343356.]
  10. T. Hikosaka, T. Kamina, and K. Maruyama, Visualizing Reactive Execution History using Propagation Traces, In REBLS’18, 6 pages, 2018.
    [pdf.]
  11. T. Kamina, and T. Aotani, Harmonizing Signals and Events with a Lightweight Extension to Java, The Art, Science, and Engineering of Programming, Vol.2, No.3, Article 5, 29 pages, 2018.
    [Link to publication]
  12. T. Kamina, T. Aotani, H. Masuhara, and A. Igarashi, Method Safety Mechanism for Asynchronous Layer Deactivation, Science of Computer Programming, Vol.156, pages 104-120, 2018.
    [ScienceDirect]
  13. T. Kamina, T. Aotani, and H. Masuhara, Push-based Reactive Layer Activation in Context-Oriented Programming, In Proceedings of the 9th International Workshop on Context-Oriented Programming (COP’17), pages 17-21, 2017.
    [pdf. This is the author’s version of the work. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/3117802.3117805.]
  14. T. Aotani and T. Kamina, Towards Automatic Decoration, In Proceedings of the -1th Workshop on New Object-Oriented Languages (NOOL) 2016.
    [pdf.]
  15. T. Kamina, Introducing Lightweight Reactive Values to Java, In SPLASH’16 Companion: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Proceedings, pages 27-28, 2016.
    [pdf. This is the author’s version of the work. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2984043.2989215.]
  16. T. Kamina, T. Aotani, and H. Masuhara, Generalized Layer Activation Mechanism for Context-Oriented Programming, LNCS Transactions on Modularity and Composition, Volume 9800 of LNCS, pages 123-166, 2016.
    [preprint. The definitive version was published in SpringerLink.]
  17. T. Kamina, T. Aotani, H. Masuhara, and T. Tamai, Context-Oriented Software Development with Generalized Layer Activation Mechanism, LNCS Transactions on Modularity and Composition, Volume 9800 of LNCS, pages 3-40, 2016.
    [preprint. The definitive version was published in SpringerLink.]
  18. N. Suzuki, T. Kamina, and K. Maruyama, Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android, In Proceedings of the 8th International Workshop on Context-Oriented Programming (COP’16), pages 27-32, 2016.
    [pdf. This is the author’s version of the work. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2951965.2951970.]
  19. T. Kamina, T. Aotani, and H. Masuhara, Toward Fluent Module Interactions, In Companion Proceedings of the 15th International Conference on Modularity (MODULARITY Companion’16), pages 158-159, 2016.
    [pdf. This is the author’s version of the work. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2892664.2892689.]
  20. T. Aotani, T. Kamina, and H. Masuhara, Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation, In Proceedings of the 7th International Workshop on Context-Oriented Programming (COP’15), article No.8, 2015.
    [pdf (ACM DL)]
  21. T. Kamina, T. Aotani, H. Masuhara, and A. Igarashi, Method Safety Mechanism for Asynchronous Layer Deactivation, In Proceedings of the 7th International Workshop on Context-Oriented Programming (COP’15), article No.6, 2015.
    [pdf. This is the author’s version of the work. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2786545.2786550.]
  22. T. Kamina, T. Aotani, and H. Masuhara, Generalized Layer Activation Mechanism Through Contexts and Subscribers, In Proceedings of the 14th International Conference on Modularity (MODULARITY’15), pages 14-28, 2015.
    [pdf. This is the author’s version of the work. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2724525.2724570.]
  23. T. Kamina, T. Aotani, and A. Igarashi, On-Demand Layer Activation for Type-Safe Deactivation, In Proceedings of the 6th International Workshop on Context-Oriented Programming (COP’14), article No.4, 2014.
    [pdf. (c) ACM, (2014). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2637066.2637070.]
  24. T. Aotani, T. Kamina, and H. Masuhara, Unifying Multiple Layer Activation Mechanisms Using One Event Sequence, In Proceedings of the 6th International Workshop on Context-Oriented Programming (COP’14), article No.2, 2014.
    [pdf (ACM DL)]
  25. T. Kamina, T. Aotani, H. Masuhara, and T. Tamai, Context-Oriented Software Engineering: A Modularity Vision, In Proceedings of the 13th International Conference on Modularity (MODULARITY’14), pages 85-98, 2014.
    [pdf. (c) ACM, (2014). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2577080.2579816.]
  26. T. Aotani, T. Kamina, and H. Masuhara, Context Holders: Realizing Multiple Layer Activation Mechanisms in a Single Context-Oriented Language, In Proceedings of the 2014 International Workshop on Foundations of Aspect-Oriented Languages (FOAL’14), pages 3-6, 2014.
    [pdf (ACM DL)]
  27. T. Kamina, T. Aotani, and H. Masuhara, Mapping Context-Dependent Requirements to Event-Based Context-Oriented Programs for Modularity, In Proceedings of the Workshop on Reactivity, Events and Modularity (REM 2013).
    [pdf.]
  28. T. Kamina, T. Aotani, and H. Masuhara, A Unified Context Activation Mechanism, In Proceedings of the 5th International Workshop on Context-Oriented Programming (COP’13), article No.2, 2013.
    [pdf. (c) ACM, (2013). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2489793.2489795.]
  29. T. Kamina, T. Aotani, and H. Masuhara, A Core Calculus of Composite Layers, In Proceedings of the 2013 International Workshop on Foundations of Aspect-Oriented Languages (FOAL’13), pages 7-12, 2013.
    [pdf. (c) ACM, (2013). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2451598.2451601.]
  30. T. Kamina, T. Aotani, and H. Masuhara, Introducing Composite Layers in EventCJ, IPSJ Transactions on Programming, Vol.6, No.1, pages 1-8, 2013.
  31. T. Kamina, T. Aotani, and H. Masuhara, Bridging Real-World Contexts and Units of Behavioral Variations by Composite Layers, In Proceedings of the 4th International Workshop on Context-Oriented Programming (COP’12), article No.4, 2012.
    [pdf. (c) ACM, (2012). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/2307436.2307440.]
  32. T. Aotani, T. Kamina, and H. Masuhara, Featherweight EventCJ: A Core Calculus for a Context-Oriented Language with Event-Based Per-Instance Layer Transition, In Proceedings of the International Workshop on Context-Oriented Programming (COP’11), article No.1, 2011.
    [pdf (ACM DL)]
  33. K. Shindo, T. Kamina, N. Koshizuka, and K. Sakamura, ucR-based Spatial Information Framework. In Proceedings of the 7th International Conference on Network Computing and Advanced Information Management (NCM2011), pages 256-261, 2011.
  34. T. Kamina, T. Aotani, and H. Masuhara, EventCJ: A Context-Oriented Programming Language with Declarative Event-based Context Transition. In Proceedings of the 10th Annual Aspect-Oriented Software Development Conference (AOSD.11), pages 253-264, 2011.
    [pdf. (c) ACM, (2011). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/1960275.1960305.]
  35. T. Kamina and T. Tamai, Lightweight Nested Inheritance in Layer Decomposition. In Proceedings of the 2010 International Workshop on Foundations of Object-oriented Languages (FOOL’10), in conjunction with SPLASH/OOPSLA 2010.
    [pdf.]
  36. T. Kamina, T. Aotani, and H. Masuhara, Designing Event-based Context Transition in Context-oriented Programming, In Proceedings of the International Workshop on Context-oriented Programming (COP’10), in conjunction with ECOOP 2010, article No.4, 2010.
    [pdf. (c) ACM, (2010). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/1930021.1930023.]
  37. T. Kamina and T. Tamai, A Smooth Combination of Role-based Languages and Context Activation, In Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented Languages (FOAL 2010), in conjunction with AOSD 2010, pages 15-24, 2010.
    [pdf.]
  38. T. Kamina and T. Tamai, Towards Safe and Flexible Object Adaptation, Proceedings of the International Workshop on Context-Oriented Programming (COP09), in conjunction with ECOOP 2009, article No.4, 2009.
    [pdf. (c) ACM, (2009). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/1562112.1562116.]
  39. K. Miyamoto, T. Kamina, T. Sugiyama, K. Kameyama, K. Toraichi and Y. Ohmiya, A Function Approximation Method for Images with Grading Regions. International Journal of Images and Graphics, Vol.9, No.1, pages 101-119, 2009.
  40. T. Kamina and T. Tamai, Lightweight Dependent Classes. Proceedings of the 7th ACM International Conference on Generative Programming and Components Engineering (GPCE’08), ACM Press, pages 113-124, 2008.
    [pdf. (c) ACM, (2008). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/1449913.1449932.]
  41. T. Kamina, N. Koshizuka, and K. Sakamura, Embedding Legacy Keyword Search into Queries for the Ubiquitous ID Database, Proceedings of the 2nd International Conference on Network-Based Information Systems (NBiS2008), Volume 5186 of LNCS, Springer-Verlag, pages 263-272, 2008.
    [pdf. (c) Springer-Verlag Berlin Heidelberg 2008. This is the author’s version of the work. The definitive version was published in www.springerlink.com.]
  42. T. Kamina and T. Tamai, Flexible Object Adaptation for Java-like Languages, Proceedings of the 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008), in conjunction with ECOOP 2008, pages 63-76, 2008.
    [pdf]
  43. T. Kamina and T. Tamai, Lightweight Scalable Components, Proceedings of the 6th ACM International Conference on Generative Programming and Components Engineering (GPCE’07), ACM Press, pages 145-154, 2007.
    [pdf. (c) ACM, (2007). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/1289971.1289996]
  44. T. Kamina, T. Aoki, Y. Eto, N. Koshizuka, J. Yamada, and K. Sakamura, Verifying Identifier-Authenticity in Ubiquitous Computing Environment. Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia (UCI-07), Vol.2, IEEE CS, pages 403-408, 2007.
    [pdf. The original paper is available at http://doi.ieeecomputersociety.org/10.1109/AINAW.2007.368.]
  45. S. Kawasaki, M. Niwa, T. Kamina, D. A. Wu, H. Murakami, and M. Ohashi, A Study on Formulation of the Ubiquitous Cloud Model. Proceedings of the 1st Workshop on Tools and Applications for Mobile Contents (TAMC), in conjunction with IEEE MDM’06, 2006.
  46. K. Miyamoto, T. Kamina, T. Sugiyama, K. Kameyama and K. Toraichi, An Image Segmentation Method for Function Approximation of Gradation Image. Proceedings of the IASTED International Conference on Signal Processing, Pattern Recognition, and Applications (SPPRA 2006), pages 238-243, 2006.
  47. A. Fujii, K. Kameyama, T. Kamina, Y. Ohmiya and K. Toraichi, Image Resolution Conversion by Optimized Adaptation of Interpolation Kernels. Proceedings of the IASTED International Conference on Signal Processing, Pattern Recognition, and Applications (SPPRA 2006), pages 274-279, 2006.
  48. T. Kamina and T. Tamai, Flexible Method Combination based on Mixin Subtyping. Journal of Object Technology, Vol.4, No.10, pages 95-116, 2005.
    [pdf. The definitive version was published in http://www.jot.fm/.]
  49. T. Kamina and T. Tamai, Selective Method Combination in Mixin-Based Composition. Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC 2005), Santa Fe, New Mexico, March 13-17, pages 1269-1273, 2005.
    [pdf. (c) ACM, (2005). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, http://doi.acm.org/10.1145/1066677.1066965]
  50. T. Kamina and T. Tamai, McJava – A Design and Implementation of Java with Mixin-Types. Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004, Volume 3302 of LNCS, Springer-Verlag, pages 398-414.
    [pdf. (c) Springer-Verlag Berlin Heidelberg 2004. This is the author’s version of the work. The definitive version was published in www.springerlink.com.]
  51. T. Kamina and T. Tamai, A Core Calculus for Mixin-Types. Proceedings of the Foundations of Object-Oriented Languages (FOOL11), In conjunction with POPL 2004, Venice, Italy, January 2004.
    [pdf]
  52. T. Kamina and T. Tamai, Loosely Connected RPC: An Approach for Extendable Interface of Web Services. Proceedings of the 1st International Workshop on Web Services: Modelling, Architecture and Infrastructure (WSMAI-2003), In conjunction with ICEIS2003, pages 62-73, Angers, France, April 2003.
  53. T. Kamina and T. Tamai, Embedding XML Processing Toolkit on General Purpose Programming Language. Proceedings of the 9th Asia Pacific Software Engineering Conference (APSEC2002), IEEE CS, pages 159-166, Gold Coast, Australia, December 2002.
    [pdf. The original paper is available at http://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1182985.]

Refereed (in Japanese)

  1. 西村雄一, 紙名哲生, 丸山勝久. コードの編集履歴を用いた競合解決支援, 情報処理学会論文誌, Vol.59, No.4, pages 1120-1136, 2018.
  2. 紙名哲生．文脈指向プログラミングの要素技術と展望．コンピュータソフトウェア, Vol.31, No.1, pages 3-13, 2014．（解説論文）
  3. 青谷知幸, 紙名哲生, 増原英彦. オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ. コンピュータソフトウェア, Vol.30, No.3, pages 130-147, 2013.

Refereed (Domestic Conferences)

  1. 神野翔太, 紙名哲生, Open AIにより生成された解答に基づくプログラ厶の構造的誤り箇所に対するヒントの提示手法, 第31回ソフトウェア工学の基礎ワークショップ (FOSE2024), to appear.
  2. 中井亮佑, 紙名哲生, 模範解答を用いたコンパイルエラー箇所指摘の高精度化. ソフトウェアシンポジウム2022, 2022年6月.
  3. 有村徳崇, 紙名哲生, クラス名における命名バグの検出手法. ソフトウェアシンポジウム2021, 2021年6月.
  4. 紙名哲生, 青谷知幸, 増原英彦, 玉井哲雄. ユースケースを用いた文脈指向ソフトウェア開発. ソフトウェアエンジニアリングシンポジウム2011(SES2011), 2011年9月.
  5. 紙名哲生, 玉井哲雄. Mixin Layersへの総称型の導入. ソフトウェア 工学の基礎XI ソフトウェア工学研究会FOSE2004, 近代科学社, pages 197-208, 2004年11月.
  6. 紙名哲生, 玉井哲雄. ソフトウェア進化のためのMixin型を使ったプロ グラミング手法. オブジェクト指向2003シンポジウム(OO2003), 近代科学社, pages 137-144, 2003年8月.
  7. 紙名哲生, 玉井哲雄. Lisp を基にした新しい XML プログラミングツール 実現手法. 2002年情報学シンポジウム講演論文集, pages 39-46, 日本学術会議(東京), 2002年1月.
  8. T. Kamina, T. Yuasa and T. Tamai. A Light-Weight Programming Interface for XML. 第4回インターネットテクノロジー ワークショップ (WIT2001), pages 66-73, 稚内, 2001年9月.

Others

  1. Y. Mei and T. Kamina, Toward Automation of Module Lazy Loading in SPA, 日本ソフトウェア科学会第41回大会, 2024年9月12日.（ポスター）
  2. J. Ishikawa and T. Kamina, Programming with Screen State Trangition for Smartphones, 10th Edition of the Programming Experience Workshop (PX/24), March 2024.
  3. 中井 亮佑, 紙名 哲生, 模範解答を用いた構造エラー箇所の指摘手法, 第147回情報処理学会プログラミング研究発表会, 2024年1月12日.
  4. 上野 颯太, 紙名 哲生, 分散リアクティブプログラミングにおける値更新と干渉しないswitch処理の提案, 第147回情報処理学会プログラミング研究発表会, 2024年1月11日.
  5. 上野颯太, 紙名哲生, 永続時変値の分散化に向けた基盤システムの試作, 研究報告ソフトウェア工学（SE）, 情報処理学会, 2022-SE-210, 7:1-7:8, 2022.
  6. 日高大地, 紙名哲生, JavaScriptにおける永続時変値の実現法の提案, 研究報告ソフトウェア工学（SE）, 情報処理学会, 2022-SE-210, 5:1-5:8, 2022.
  7. 西津佑真, 紙名哲生, シグナルに基づくマイクロフロントエンドアプリケーションの実現法, 第137回情報処理学会プログラミング研究発表会, 2022年1月12日.
  8. 紙名哲生, リアクティブプログラミングに基づく分散計算基盤の実現に向けて. ソフトウェアシンポジウム2021, 2021年6月. (Future Presentation)
  9. 紙名哲生, 青谷知幸. リアクティブプログラミングにおけるシグナルの永続化. ソフトウェアエンジニアリングシンポジウム2019(SES2019), 2019年8月. (ポスター)
  10. 三宅皐, 紙名哲生, 丸山勝久. メソッド抽出リファクタリングにおけるテストコード生成. 信学技報, vol. 117, no. 465, KBSE2017-48, pp. 55-60, 2018年3月.
  11. 紙名哲生, 青谷知幸. イベントとシグナルの統合：プログラミング言語のアプローチ. 第24回ソフトウェア工学の基礎ワークショップ(FOSE2017), 2017年11月. (ポスター)
  12. 三宅皐, 紙名哲生, 丸山勝久. メソッド抽出リファクタリングにおけるテストケースの自動生成．ソフトウェアエンジニアリングシンポジウム2017(SES2017), 2017年8月.
  13. 西村雄一, 紙名哲生, 丸山勝久. ソースコード編集履歴を用いた競合解決支援ツール. 第23回ソフトウェア工学の基礎ワークショップ(FOSE2016), 2016年12月.
  14. 三宅皐, 紙名哲生, 丸山勝久. Javaにおける関数型インタフェースの拡張. 研究報告ソフトウェア工学（SE）, 2016-SE-193(10), pages 1-8, 2016年7月.
  15. 三宅皐, 紙名哲生, 丸山勝久. Javaにおける関数型インタフェースの拡張. 第22回ソフトウェア工学の基礎ワークショップ(FOSE2015), 2015年11月. (ポスター)
  16. 鈴木紀之, 紙名哲生, 丸山勝久. 層の組み合わせを考慮した文脈指向プログラミング支援. 第22回ソフトウェア工学の基礎ワークショップ(FOSE2015), 2015年11月. (ポスター)
  17. T. Kamina, Generalized Layer Activation Mechanism in Context-Oriented Programming. In 6th Asian Joint Workshop on Information Technologies (RU-DUT Joint Workshop), October 2014.
  18. 紙名哲生, 青谷知幸, 増原英彦, 玉井哲雄. COSE: 文脈に依存した振る舞いをモジュール化するソフトウェア開発手法. 第20回ソフトウェア工学の基礎ワークショップ(FOSE2013), 2013年11月.（ポスター）
  19. 紙名哲生, 青谷知幸, 増原英彦. JavaCat: Realizing Context as Fluent. 第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013), 2013年3月.（ポスター）
  20. 青谷知幸, 紙名哲生, 増原英彦. 文脈指向プログラムの資源利用解析に基づく層活性解析法. 情報処理学会第89回プログラミング研究発表会:2012-1-(4), 2012年6月.
  21. 紙名哲生, 青谷知幸, 増原英彦. 文脈指向言語EventCJへの合成層の導入. 情報処理学会第89回プログラミング研究発表会:2012-1-(3), 2012年6月.
  22. T. Kamina, T. Aotani, and H. Masuhara, Modeling Context Changes and Layers: A Use Case Driven Approach. In 4th International Workshop on Context-Oriented Programming (COP’12), June 2012.
  23. T. Kamina, T. Aotani, H. Masuhara, and T. Tamai, COSE: Context-Oriented Software Engineering with Use Cases and Event-Based Context Transition. In AOAsia/Pacific’11, October 2011.
  24. T. Aotani, T. Kamina, and H. Masuhara, Towards optimizing EventCJ programs. In AOAsia/Pacific’11, October 2011.
  25. 青谷知幸, 紙名哲生, 増原英彦. オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ. 日本ソフトウェア科学会第28回大会, 2011年9月.
  26. T. Kamina, T. Aotani, and H. Masuhara, EventCJ: Realizing Declarative Event-based Context Transition. In AOAsia/Pacific’10, September 2010.
  27. 五十嵐淳，紙名哲生. レイヤー合成のための型理論. 組木シンポジウム –ソフトウェアのコンポジション技術の最前線–, 2009年11月.
  28. 紙名哲生. トリプルによるユビキタスIDシステムの実現. Lispチュートリアル&事例紹介セミナー. 2008年11月.
  29. 紙名哲生, 小林真輔, 越塚登, 坂村健. 汎用的ユビキタス基盤による場所識別子に基づくキャンパスツアー. FIT2007 一般講演論文集 第4分冊, pages 259-260, 2007年9月.
  30. T. Kamina, Y. Ohmiya, K. Katagishi and K. Toraichi, Secure Transmission for Fluency Still Images. The 2nd US-Japan Experts Workshop on Critical Information Infrastructure Protection (CIIP), Tokyo, Japan, June 2005 (Poster).
  31. 紙名哲生, 玉井哲雄. Mixin型を持つプログラミング言語の小さな計算体系 Core McJava の提案. 日本ソフトウェア科学会第20回大会(2003年度) 論文集, pages 426-430, 2003年9月.
  32. 紙名哲生, 玉井哲雄. Lispの拡張によるパターンマッチを用いたXML 文書処理系. オブジェクト指向2003シンポジウム(OO2003), 近代科学社, pages 193-194, 2003年8月.
  33. 紙名哲生, 岡崎光隆. APSEC2002 参加報告. 情報処理学会研究報告 2003-SE-140, pages 139-144, (社)情報処理学会, 2003年3月.
  34. 紙名哲生, 玉井哲雄. LispへのXML文書構造変換言語の埋め込みとそれ のシャッフル表現への拡張. 情報処理学会研究報告 2002-SE-136, pages 127-134, (社)情報処理学会, 2002年3月.
    ソフトウェア工学研究会 学生研究賞受賞
  35. 紙名哲生. S 式を用いた XML サーバプログラミングツール. 平成12年度 未踏ソフトウェア創造事業成果論文集, 情報処理振興事業協会, 2001年.
  36. T. Kamina and N. Nakamura. A QoS Mapping in RSVP over ATM. 実時間処理に関するワークショップ (RTP’99), 豊橋技術科学大学, 1999年3 月.

Dissertations

  1. T. Kamina, A Design and Implementation of Mixin-Based Composition in Strongly Typed Object-Oriented Languages. Ph.D. Thesis, Graduate School of Arts and Sciences, The University of Tokyo, 2005.
    [pdf]
  2. 紙名哲生．新しいXMLプログラミングツールの実現法に関する研究． 東京大学大学院 総合文化研究科 広域システム科学系 修士論文，2002年．