Aomori University · Faculty of Software and Information Science · 講師

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

• Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
• Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts
• Learning Knowledge with Neural DTS
• 1階算術に対するゲンツェンの1935年版無矛盾性証明がもつ哲学的意義―含意を巡る循環との関わりにおいて―

• 完全性の観点からの証明論的意味論の研究
• ゲンツェンの証明論的手法を用いたブラウワーの知識論および言語論の再構築
• ゲンツェンの無矛盾性証明への直観主義からの影響およびその哲学的興味
• 証明論的順序数表記系の再検討：線形論理の観点から

• Official profile