研究者詳細情報
研究者 | 横山 啓太 |
---|---|
大学 | JAIST 情報科学系、知能ロボティクス領域 |
研究室名 | |
専門分野 | 数理論理学 |
研究テーマ | 算術の超準モデルを用いた逆数学へのアプローチ |
検索キーワード |
数理論理学、証明論、1階/2階算術、逆数学、超準解析
|
PR URL | |
PRタイトル名 | |
PR詳細文 (図) |
|
特許 | |
論文 | |
科研費 |