しらさぎプロジェクト大学開放特許データベース(単願&発明者検索)

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