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

研究キーワード計算機科学・構成的プログラミング、型理論、λ計算・オブジェクト指向プログラミングの論理・プログラミングに現れる論理構造の解析・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