群馬県立女子大学 · 文学部文化情報学科 · 准教授

研究关键词数理論理学・限定算術の理論およびその計算量理論への応用・bounded arithmetic・計算量

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

• 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

• 官方个人主页