研究者詳細情報
研究者 | 根元 多佳子 |
---|---|
大学 | JAIST 情報科学系、知能ロボティクス領域 |
研究室名 | |
専門分野 | 数学基礎論、構成的数学 |
研究テーマ | |
検索キーワード |
数学基礎論、構成的数学、逆数学、直観主義論理
|
PR URL | |
PRタイトル名 | |
PR詳細文 (図) |
|
特許 | |
論文 | |
科研費 |