News

2025.10.01

情報学部計算機科学科の馬谷誠二准教授が、日本ソフトウェア科学会第41回大会において、高橋奨励賞を受賞しました。

研究テーマ：拡張性の高い遷移系を記述可能な領域特化言語

本研究では、遷移システムの動作を記述するための新しいツールを提案しまし

た。状態変化を「ルール」として定義し、これを簡単に拡張・再利用できるよ

うに設計しています。複雑な遷移ルールを柔軟に記述・整理し、また，複数の

状態遷移候補を効率良く処理する仕組みを実現しました。特に、遷移ルールを

モジュール化して管理できるため、たとえば異なるプロジェクト間でのルール

の再利用も容易に行えます。

受賞のコメント：

この度、高橋奨励賞を受賞できたことを大変光栄に思います。このような素晴

らしい賞をいただき、研究活動へのモチベーションが一層高まりました。日々

の研究において支えてくださった多くの方々に心から感謝申し上げます。

年別一覧