知財

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

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

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