基本情報
- 所属
-
新潟工科大学 工学部 助教
- 学位
-
博士（理学）東京工業大学
- J-GLOBAL ID
-
202101012060271145
- 外部リンク
研究分野
-
自然科学一般 / 数学基礎
経歴
-
2021年04月 - 現在 新潟工科大学 / 工学部 工学科 / 助教
-
2019年04月 - 2021年03月 神奈川大学 / 理学部 情報科学科 / 特別助教
-
2016年04月 - 2019年03月 神奈川大学 / 理学部 情報科学科 / 特別助手
学歴
-
2013年04月 - 2016年03月 東京工業大学 / 大学院情報理工学研究科
-
2011年04月 - 2013年03月 千葉大学 / 大学院 理学研究科
-
2007年04月 - 2011年03月 千葉大学 / 理学部 / 数学・情報数理学科
論文
-
Logic, Language, Information, and Computation175 - 1892022年09月査読あり
-
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic LogicNotre Dame Journal of Formal Logic632243 - 2592022年05月01日査読あり
-
Studia Logica10961413 - 14222021年12月査読あり
-
Notre Dame Journal of Formal Logic614591 - 6002020年11月01日査読あり
-
Logic Journal of the IGPL255686 - 6962017年10月01日査読あり
-
Reduction Rules for Intuitionistic λρ-calculusStudia Logica10361225 - 12442015年03月査読あり
-
Studia Logica1021175 - 1832014年02月査読あり
MISC
-
数理解析研究所講究録1950108 - 1202015年06月