Gunma Prefectural Women's University · Faculty of Letters, Department of Culture and Information Science · 准教授

Research keywords数理論理学・限定算術の理論およびその計算量理論への応用・bounded arithmetic・計算量

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

• Linear algebra in bounded arithmetic2022 · 数理解析研究所講究録 2228, pp.78-87.
• Sprague-Grundy theory in bounded arithmetic2022 · Archive for Mathematical Logic volume 61, pp.233-262
• Takeuti-Yasumoto Forcing Revisited2022 · Computability Theory and Foundations of Mathematics, Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics, Wuhan China, World Scientific, pp. 123-155
• Forcing on Bounded Arithmetic for three sort and related theories2020 · 数理解析研究所講究録 2150, pp.41-55.

• 限定算術と計算量理論
• 算術体系に関する研究とその計算量理論への応用
• Bounded Arithmetic and its Relation to Computational Complexity

• Official profile