Tokyo Metropolitan University · Graduate School of Science / Faculty of Science · 准教授

Research keywords数理論理学・Computational complexity・計算量理論・計算理論・Mathematical logic

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

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

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

• Official profile