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

研究キーワード数理論理学・限定算術の理論およびその計算量理論への応用・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

• 公式プロフィール