Institute of Science Tokyo · School of Computing · 准教授

Research keywordsmodal logic・lambda calculus・proof theory・monadic second-order logic・mu-calculus・intuitionistic logic

Research fieldsGeneral mathematics (including Probability theory/Statistical mathematics)・Mathematics・Informatics・Fundamental theory of informatics・情報科学・Mathematics and Physics・Science・Science and Engineering

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

• On the completeness and the decidability of strictly monadic second‐order logic2021 · Mathematical Logic Quarterly 66 ( 4 ) 438 - 447 2021年1月
• Term-Space Semantics of Typed Lambda Calculus2020 · Notre Dame Journal of Formal Logic 61 ( 4 ) 2020年11月
• Reduction Rules for Intuitionistic $${ { \lambda}{\rho } }$$ λ ρ -calculus2015 · Studia Logica 103 ( 6 ) 1225 - 1244 2015年12月
• An axiomatization of ECTL2013 · Journal of Logic and Computation 24 ( 1 ) 117 - 133 2013年3月

• モデル検査のための構成的ミュー計算2024 · 研究課題/領域番号： 24KF0214 2024年11月 - 2027年3月
• 様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析2021 · 研究課題/領域番号： 23K21641 2021年4月 - 2023年3月
• 非古典論理資金種別： 競争的資金
• ラムダ計算資金種別： 競争的資金

• Official profile
• KAKEN
• CiNii