プロフィール
名前
宮部賢志（ミヤベケンシ）
略歴
- 平成17年3月24日
- 京都大学理学部理学科卒業
- 平成19年3月23日
- 京都大学大学院理学研究科 数学・数理解析専攻数理解析系修士課程修了
- 平成22年3月23日
- 京都大学大学院理学研究科 数学・数理解析専攻数理解析系博士後期課程修了
- 平成22年4月1日～平成23年3月31日
- 京都大学数理解析研究所 研究員（グローバルＣＯＥ）
- 平成23年4月1日～平成25年3月31日
- 京都大学数理解析研究所 特定研究員（グローバルＣＯＥ）
- 平成25年4月1日〜平成26年3月31日
- 日本学術振興会特別研究員PD（東京大学大学院情報理工学系研究科）
受け入れ研究員：竹村彰通 - 平成26年4月1日〜平成29年9月30日
- 明治大学理工学部数学科 専任講師
- 平成29年10月1日〜現在
- 明治大学理工学部数学科 准教授
参加学会
- Association Computability in Europe（2011年7月〜）
- 日本数学会（2012年4月〜）
- Association for symbolic Logic（2013年6月〜）
- 日本応用数理学会(2018年12月〜2023年5月)
- 人工知能学会(2023年5月〜)
詳細は個人のウェブサイトにて
