Hokkai-Gakuen University · Faculty of Engineering

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

• 「UNIXファイルシステムの形式化における不変性の拡張と一般化」, 北海学園大学工学部研究報告(53), pp.1-13, 2026年1月
• 「Optimizing mkbTT (System Description)」（共著：Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara）, 21st International Conference on Rewriting Techniques and Applications (RTA 2010), Edinburgh, UK, Jul 2010
• 「Discovering conditional properties of recursive functions in a proof assistant」（共著：Haruhiko SATO and Natsuo ISHII）, Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems (SCIS-ISIS), Dec 2020
• 「定理証明支援系Isabelleにおける関数検索機能の拡張」, 北海学園大学工学部研究報告(51), pp.35-48, 2024年1月

• Official profile