Niigata University · Research Faculty of Education / Faculty of Education · 教授

Research keywordsterm rewriting systems・conditional rewriting・confluence proofs・rewriting induction・nominal rewriting・regular tree unification・automata for rewriting・coinductive theorem proving

Research fieldsFundamental theory of informatics・Informatics・Software・Theory of informatics・情報科学・Integrated Science and Innovative Science・Integrated Disciplines・Comprehensive Fields

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

• フラット項書き換えシステムにおける正規形の一意性に関する性質の決定不能性2021 · 情報処理学会論文誌プログラミング（PRO） 14 ( 2 ) 15 - 24 2021年
• 圏論に基づく正則項上の単一化の形式化2021 · 情報処理学会論文誌プログラミング（PRO） 14 ( 2 ) 1 - 14 2021年
• Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium(ICTAC)2021 · 論文
• 対話的定理証明器Isabelle/HOL上での書き換え帰納法の形式化2020 · コンピュータ ソフトウェア

• 情報社会工学概論2025 · 2025年 - 現在 機関名： 新潟大学
• 計算論: 計算可能性の理論2025 · 2025年 - 現在 機関名： 新潟大学
• モデル生成器を利用した条件付き項書き換えシステムの合流性検証に関する研究2024 · 研究課題/領域番号： 24K14817
• リメディアル演習2022 · 2022年 - 現在 機関名： 新潟大学

• Official profile
• KAKEN
• CiNii