学歴
平成13年3月31日 岐阜県立岐阜高等学校卒業
平成13年4月 1日 京都大学理学部理学科入学
平成17年3月24日 同上卒業
平成17年4月 1日 京都大学大学院理学研究科 数学・数理解析専攻数理解析系修士課程入学
平成19年3月23日 同上修了
平成19年4月 1日 京都大学大学院理学研究科 数学・数理解析専攻数理解析系博士後期課程進学
平成22年3月23日 同上博士後期課程修了
学位
平成19年3月23日 京都大学修士（理学）
Classification of Index Sets of Functions
オラクルを利用する関数の指標集合の分類
平成22年3月23日 京都大学博士（理学）
An extension of van Lambalgen’s theorem to infinitely many relative 1-ramdom reals
独立性定理における無限個の互いに１ランダムな列への拡張
職歴
平成18年6月1日～平成19年3月31日 京都大学理学部 ティーチングアシスタント
平成19年6月1日～平成20年3月31日 京都大学理学研究科 リサーチ・アシスタント
平成20年8月1日～平成21年3月31日 京都大学理学研究科 リサーチ・アシスタント
平成21年4月1日～平成22年3月31日 京都大学理学研究科 リサーチ・アシスタント
平成22年4月1日～平成23年3月31日 京都大学数理解析研究所 研究員（グローバルＣＯＥ）
平成23年4月1日～平成25年3月31日 京都大学数理解析研究所 特定研究員（グローバルＣＯＥ）
平成25年4月1日〜平成26年3月31日 日本学術振興会特別研究員PD（東京大学大学院情報理工学系研究科）受け入れ研究員：竹村彰通
平成25年4月1日〜平成26年3月31日 早稲田大学基幹理工学部 非常勤講師
平成26年4月1日〜平成29年9月30日 明治大学理工学部数学科 専任講師
平成29年10月1日〜 明治大学理工学部数学科 准教授
平成28年 京都大学数理解析研究所 非常勤講師（集中講義）
平成29年 首都大学東京 非常勤講師（集中講義）
令和元年(2019年) 京都大学大学院人間・環境学研究科 非常勤講師(集中講義)
令和2年(2020年) 東北大学理学研究科 非常勤講師(集中講義)
参加学会
Association Computability in Europe（2011年7月〜）
日本数学会（2012年4月〜）
Association for symbolic Logic（2013年6月〜）
日本応用数理学会(2018年12月〜2023年5月)
人工知能学会(2023年5月〜)
助成
2022-04-01 – 2027-03-31，基盤研究(C)「弱計算可能実数の収束速度の研究」：22K03408,研究代表者
2021-07-09 – 2024-03-31,挑戦的研究(萌芽)「ゲーム論的確率論に基づくモデルフリーの数理ファイナンス理論の展開」:21K18585,研究分担者
2021-04-01 – 2025-03-31,基盤研究(C)「アルゴリズム的ランダム性から連続な実関数と実閉体へ」:21K03340,研究分担者
2021-04-01 – 2025-03-31,基盤研究(B)「様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析」:21H03392,研究分担者
平成28年度〜平成30年度 挑戦的萌芽「連続時間ゲーム論的確率論の戦略と制御」研究課題番号：16K12399
平成26年度〜平成29年度 若手研究(B)「計算可能測度論の基礎理論の構築」研究課題番号：26870143
平成26年1月7日〜平成27年度 挑戦的萌芽研究「ゲーム論的確率論とランダムの概念に基づく予測理論」課題番号25540009 研究分担者
平成25年 科学研究費補助金 特別研究員奨励費「アルゴリズム的観点での確率及び予測概念の研究」360万円
平成23年～平成24年 若手研究(B)「ランダムネスを用いた確率概念の拡張」若手研究者 課題番号 23740072, 220万円 (総額260万円)
平成22年～平成23年 京都大学若手研究者スタートアップ研究費 「計算論的ランダムネスによる確率解釈」51 万円(総額 69 万円)
学会活動等
2023年4月〜 日本数学会 ‘数学’常任編集委員
2020年3月1日〜2022年2月 日本数学会 数学基礎論および歴史分科会 運営委員（証明論・計算論）
2019年度 科学技術予測センター 専門調査員
2019年4月1日〜2022年3月31日(予定) 日本応用数理学会学会誌編集委員
平成28年10月〜平成30年3月 日本数学会 数学基礎論および歴史分科会 運営委員（帰納的関数論および計算論担当）
平成28年度 科学技術動向研究センター 専門調査員
平成28年1月 11th International Conference on Computability, Complexity, and RandomnessのProgramme Committee
平成27年7月 Twelfth International Conference on Computability and Complexity in AnalysisのOrganising Committee
平成27年3月1日〜平成28年2月29日 日本数学会地方区代議員
平成27年度 科学技術動向研究センター 専門調査員
平成26年2月 Computability Theory and Foundations of Mathematics 2014のProgramme Committee
平成26年度 科学技術動向研究センター 専門調査員
平成23年8月4日 京都大学 大学院生のための教育実践講座(Advanced) 修了
平成22年 京都大学 小中高大連携事業～サイエンス・コミュニケーター・プロジェクト～ 参加
平成22年8月4日 京都大学 大学院生のための教育実践講座(Basic) 修了
履歴書
cv_en_miyabe
明治大学教員データベース
明治大学教員データベース