龍谷大学 · 先端理工学部 · 教授

研究关键词計算機科学・構成的プログラミング、型理論、λ計算・オブジェクト指向プログラミングの論理・プログラミングに現れる論理構造の解析・Computer Science

研究领域情報科学・複合領域・計算機科学

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Inhabitation of polymorphic and existential types
• The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property
• Logical Structures of the Catch and Throw Mechanism
• A modal typing system for self-referential programs and specifications

• 構成的プログラミングの新局面の研究

• 官方个人主页
• KAKEN