Kyushu Institute of Technology · Unclassified · 教授

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 2024年度 プログラミング言語の基礎理論2024
• CUI on Web:ソフトウェア検証やテストCUIのためのモダンWebインターフェース枠組2021 · 日本ソフトウェア科学会大会講演論文集 38 2021年01月
• GSOL: A Confluence Checker for Haskell Rewrite Rules2021 · 日本ソフトウェア科学会大会講演論文集 38 2021年01月
• The System SOL version 20202020 · Proceedings of the 9th International Workshop on Confluence IWC 2020 81 - 81 2020年01月

• Official profile