研究者総覧 - 紙名　哲生 | 大分大学

（最終更新日 : 2026-07-30 03:29:07）

Visruth.jpg not found

researchmap

カミナ　テツオ
紙名　哲生

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

職種准教授

研究内容
●永続シグナルを持つリアクティブプログラミング言語の研究リアクティブプログラミング（RP）におけるシグナルとは、時間変化する値のことである。これを用いて、データストリームなどの発生し続けるデータを一つの変数として抽象化できる。別のシグナルに依存するシグナルの値は、依存元のシグナルの値が更新されると（新しいデータが発生すると）再計算されるため、シグナルを用いることでデータの流れを宣言的なプログラムとして記述することが可能になる。ここ数年、RPにおいて、以下に述べる永続シグナルを基軸とした独創的な研究を展開し、またRPに関する国際会議のプログラム共同委員長を務めるなど（2019年）、この分野の発展に寄与してきた。特に大きな貢献は、永続化されたシグナルの値更新履歴を一つの変数を用いて抽象化する永続シグナルの提案である。この仕組みは独自性が高く、以下に述べる独創性の高い一連の研究に繋がった。まず、永続シグナルを持つプログラミング言語SignalJを実現し、IoTやセンサデータなどを用いたシステム（時系列データを永続シグナルとして抽象化する）、耐障害性を持つシステム（永続化された値更新履歴から値を復元する）、時間旅行の機能などを、宣言的なRPの記述を用いて実現可能にした。永続シグナルの実体はネットワーク上にある時系列データベースであるが、ディレクトリサービスによりプログラム上での位置透過性を保つ仕組みを実現した。一方、分散環境においては、値更新情報の到達遅延や中間ノードの障害等によって、計算結果の値に不整合が生じる可能性がある。このような問題を解決するための分散RPの研究は数多くあるが、SignalJにおいては、永続シグナルが時刻印つきの時系列データであることを利用して、時刻印を用いて結果一貫性を保証する独自の仕組みを実現した。また、永続シグナルを用いたプログラムの改修に伴う時系列データのスキーマ変更を暗黙的に行うためのスキーマ進化言語を提案した。さらに、永続シグナル間のデータフローにおける値更新伝播において、強い一貫性レベルの保証が必要な部分のみを暗黙的に分散トランザクションとして実行する混在一貫性の仕組みを実現した。RP言語においては分散トランザクションそれ自体が新しいものであったが、永続シグナルにおいてはそれをデータベース上の仕組みにマップすることにより実現できた。 ●動的にモジュールを切り替えられるプログラミング言語の研究オブジェクト（クラス）の定義には、通常様々な関心事に関するコードが含まれる。「現在有効な関心事」はプログラム実行時に変わりうるため、これらのコードを動的に切り替えたい場合がある。この要求に向けたプログラミングパラダイムである文脈指向プログラミング（COP）が勃興してきた当時、モジュールの切り替えは命令的、あるいはブロック構造に基づくスコープによってソースコード上に直接記述されることが多かった。しかし、本来モジュールの切り替えは外部的な事象によって引き起こされるはずのものであり、予めソースコード上にその時点やスコープを定義しておくのでは無理がある。そこで、イベントに基づく新たなモジュール切り替えの機構と、それを実現したプログラミング言語EventCJを提案し、大きな反響を呼んだ。以後、動的なモジュール切り替え機構の洗練化や一般化、動的に追加される振る舞い（メソッド）の型安全な呼び出し機構、COPに基づくソフトウェア開発方法論など、COPに関する数多くの研究を行った。また、COPに関する国際会議のプログラム委員長を務めるなど（2018年）、COPの発展に寄与した。

アピールポイント
European Conference on Object-Oriented Programming (ECOOP) , Journal on the Art, Science, and Engineering of Programmingの一流の国際会議・論文誌で研究内容を発表することを継続している。指導学生の研究内容の多くが、論文誌や国際会議での発表として実を結んでいる。

学歴
～1999/03	国際基督教大学教養学部理学科
	東京大学博士（学術）
～2005/03	東京大学大学院総合文化研究科広域科学専攻
～2002/03	東京大学大学院総合文化研究科広域科学専攻

職歴
2005/04/01 ～ 2006/03/31	筑波大学先端学際領域研究センター・研究員
2006/04/01 ～ 2007/03/31	東京大学大学院人文社会系研究科・助手
2007/04/01 ～ 2010/03/31	東京大学大学院人文社会系研究科・助教
2010/04 ～ 2014/03	東京大学大学院教育学研究科特任助教
2010/04/01 ～ 2014/03/31	東京大学大学院教育学研究科・特任助教
全件表示（7件）

現在の専門分野
ソフトウェアキーワード(プログラミング言語、モジュラリティ、型システム、プログラミングパラダイム、ソフトウェア開発方法論)

所属学会
	ACM
	情報処理学会
	日本ソフトウェア科学会

論文
論文	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
全件表示（65件）

MISC
その他	A report on ECOOP 2019 Computer Software 37 (1),68-72頁 2020
その他	メソッド抽出リファクタリングにおけるテストコード生成電子情報通信学会技術研究報告 117 (465(KBSE2017 39-63)),55‐60 2018/02/22
その他	Javaにおける関数型インタフェースの拡張電子情報通信学会技術研究報告 116 (128(KBSE2016 7-23)),61‐68 2016/07/06
その他	Activation Order Analysis of Context-oriented Programs Based on Resource Usage Analysis 情報処理学会論文誌プログラミング（PRO） 6 (1),29-29頁 2013/01/24
その他	Introducing Composite Layers in EventCJ 情報処理学会論文誌プログラミング（PRO） 6 (1),1-8頁 2013/01/24
全件表示（7件）

学会発表
2025/09/03	Evolution Language Framework for Persistent Objects (日本ソフトウェア科学会第42回大会)
2017/11/24	イベントとシグナルの統合：プログラミング言語のアプローチ (第24回ソフトウェア工学の基礎ワークショップ(FOSE2017))
2017/09/01	メソッド抽出リファクタリングにおけるテストケースの自動生成 (ソフトウェアエンジニアリングシンポジウム2017(SES2017))
2016/11/02	Introducing Lightweight Reactive Values to Java (SPLASH'16 Companion: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Proceedings)
2016/07	Javaにおける関数型インタフェースの拡張 (情報処理学会第193回ソフトウェア工学研究発表会)
全件表示（24件）

研究課題・受託研究・科研費
2024/04/01 ～ 2029/03/31	高い抽象度レベルを持つ宣言的分散プログラミング言語の実現と高度化基盤研究(B)
2021/04/01 ～ 2025/03/31	仮想空間と現実世界の融合を支援する反応的計算基盤の構築基盤研究(B)
2021/04 ～ 2025/03	仮想空間と現実世界の融合を支援する反応的計算基盤の構築基盤研究(B)
2017/04 ～ 2022/03	環境と密に繋がるソフトウェアの開発を支援する新たなプログラミングの基盤技術基盤研究(C)
2013/04 ～ 2017/03	文脈指向プログラムの深化と応用に関する研究基盤研究(C)
全件表示（10件）

受賞学術賞
2015/09	日本ソフトウェア科学会第19回研究論文賞

担当経験のある科目
Computer and Programming （Ritsumeikan University）
Experiments in Computer Science 3 （Ritsumeikan University）
Graduation Research 1 （Ritsumeikan University）
Graduation Research 2 （Ritsumeikan University）
Graduation Research 3 （Ritsumeikan University）
全件表示（23件）

委員会・協会等
2019	COP 2019 PC member
2019	COP 2019 プログラム委員
2019	REBLS 2019 PC co-chair
2019	REBLS 2019 プログラム共同委員長
2018	COP 2018 PC co-chair
全件表示（41件）

ホームページ
http://plp-www.csis.oita-u.ac.jp/~kamina/index-j.html