名古屋大学 · 多元数理科学研究科 · 教授

研究关键词数学基礎論・計算可能性理論・計算可能性解析学・記述集合論・逆数学・アルゴリズム情報理論・エフェクティブ・トポス・ランダム性

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

• Many-one reducibility with realizability2025 · Journal of Symbolic Logic 2025年
• The subTuring degrees2025 · Canadian Journal of Mathematics 2025年
• On the metric temporal logic for continuous stochastic processes2024 · Logical Methods in Computer Science 20 巻 ( 2 ) 頁： 1 - 35 2024年6月
• Degree spectra of homeomorphism types of compact Polish spaces2024 · Journal of Symbolic Logic 2024年

• 連続な空間上の計算とその複雑さの研究2023 · 研究課題/研究課題番号： 23H03346 2023年4月 - 2028年3月
• 幾何様相に基づく構成的逆数学の新展開2022 · 研究課題/研究課題番号： 22K03401 2022年4月 - 2026年3月
• 計算可能性理論，記述集合論，位相空間論における階層の究極的解析2019 · 研究課題/研究課題番号： 19K03602 2019年4月 - 2022年3月
• 空間に付随する計算論的構造の不変量としての側面2017 · 2017年8月 - 2019年3月

• 官方个人主页