法政大学 · 経営学部 · 教授

研究关键词logic puzzles・intuitionistic logic・sheaf theory・concrete domains・domain theory・lambda algebras・fixed point constructions・categorical equivalence

研究领域数学・代数学・幾何学・情報学・情報学基礎・情報科学・数学基礎・応用数学・数物系科学

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

• A general form on the logic puzzles of Boolos2022 · 京都大学数理解析研究所講究録, Logic,Algebra system, Language and Related Areas in Computer Science, 2022年
• A remark on latttice models of second-order intuitionistic propositional logic Toshihiko Kurata and Ken-etsu Fujita 京都大学数理解析研究所講究録, Theory and Applications of Proof and Computation, 2022年2022
• A remark on latttice models of second-order intuitionistic propositional logic2022 · 京都大学数理解析研究所講究録, Theory and Applications of Proof and Computation, 2022年
• A general form on the logic puzzles of Boolos Ken-etsu Fujita and Toshihiko Kurata 京都大学数理解析研究所講究録, Logic,Algebra system, Language and Related Areas in Computer Science, 2022年2022

• 官方个人主页
• KAKEN
• CiNii