知財

OCaml向けのUnicode処理ライブラリ。文字コード変換・正規化・照合順序などの国際化機能を提供し、広く利用されています。

アシュアランスケースの図式記法GSNを操作するための純粋関数型プログラミング言語。演算順序に結果がよらない性質や、出力の妥当性が型システムにより保証されるなどの特長をもちます。

PGSNのためのグラフィカルエディタ。GSN図をブラウザ上で視覚的に作成・編集できます。卒業研究「Programmable GSN のためのグラフィカルエディタの開発」（2025年度）の成果として公開しています。