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

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

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 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月

• 公式プロフィール