IP
Software developed through our research, and patents I have been involved with.
Software
-
Camomile
A Unicode library for OCaml, providing character encoding conversion, normalization, collation, and other internationalization features. Widely used in the OCaml ecosystem.
Repository / details ↗ -
PGSN
A purely functional programming language for manipulating GSN (Goal Structured Notation), the diagrammatic notation used to write assurance cases. Evaluation order does not affect results, and the type system guarantees the validity of its output.
Repository / details ↗ -
PGSN Editor
A graphical editor for PGSN, allowing GSN diagrams to be created and edited visually in the browser. Published as the result of the undergraduate thesis "Development of a Graphical Editor for Programmable GSN" (AY2025).
Repository / details ↗
Patents
-
JP4738951B2 (Lapsed)
A relay device that protects communication between production-line equipment and a remote management server through mutual authentication with digital certificates.
Inventors: K. Naito, Y. Fujitani, N. Hashiguchi, H. Kagatsume, K. Furuyama, H. Takagi, Y. YamagataApplicants: Ishida Co., Ltd., National Institute of Advanced Industrial Science and Technology