東京都立大学 · 理学研究科/理学部 · 准教授

研究关键词数理論理学・Computational complexity・計算量理論・計算理論・Mathematical logic

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

• "Solovay reducibility via Lipschitz functions and signed-digit representation", Computability 14 (1), 38-62, (2025). (with Masahiro Kumabe, Kenshi Miyabe).2025 · 研究業績 · _other
• "Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension", n: NingNing Peng, Kazuyuki Tanaka, Yue Yang, Guohua Wu and Liang Yu eds., Computability Theory and Foundations of Mathematics pp.97-121, World Scientific, Singapore (2022) (with Hiroyuki Imai, Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa).2022 · 研究業績 · _other
• 『ろんりの相談室 大学1年生の真理値表と体系』，日本評論社 (2021)．2021 · 研究業績 · _other
• "Solovay reducibility and continuity", Journal of Logic and Analysis, 12:2, pp.1-22 (2020) (with M. Kumabe, K. Miyabe, and Y. Mizusawa).2020 · 研究業績 · _other

• アルゴリズム的ランダム性から連続な実関数と実閉体へ
• スクリプト言語による汎用数論システム共同開発と数論アルゴリズム研究
• クエリー記号付きブール式の計算複雑さ
• ランダム性の計算的諸相と超準的手法によるその構造解析

• 官方个人主页