一般のグラフ構造は，代数的データ型（リストや木構造）よりも複雑な構造をもち，それ故に既存のプログラミング言語では安全かつ簡潔な表現が困難である．例えば，C言語のようなポインタを扱える言語であれば，ポインタの接続構造としてグラフを表現することができるが，依然として不正なポインタが発生する危険性がある．

そこで，グラフを第一級オブジェクトとしてもち，それを書き換えることによって計算を表現する，グラフ書換え言語というパラダイムが提案されている．中でもLMNtalは，アトム（ノード）やルール（書換え規則）といった最小限の言語要素からなる言語である．

LMNtalプログラムはwell-formedであるかぎり，不正なポインタを含まない．この意味で，LMNtalは言語仕様のレベルで不正なポインタを排除しており，ポインタ安全といえる．一方で，LMNtalには静的型の概念がないため，書換えの結果がプログラマの意図しないものとなることがある．グラフ書換え言語では，関数型言語で扱える代数的データ構造よりも広範な構造を扱えるため，計算対象となるグラフの型の定式化は自明でない．

そこで我々は，グラフ文法に基づく型定義手法を提案し，ユーザー定義のグラフ型を用いてパターンマッチを記述できる拡張機能を導入することで書換え規則の表現力を向上するとともに，書換え規則の静的型検査手法を確立することを目的としている．2023年度は，まず局所的な接続関係の整合性に着目した型検査手法であるLMNtypeの定式化を行うとともに，既存の拡張言語であるCSLMNtalとの技術交流を行った．また，グラフ文法に基づくグラフ型検査にtoken passingの手法を用いることにより最適化する研究にも参画した．