(最終更新日:2021-10-29 10:58:33)
  ミヤベ ケンシ   MIYABE Kenshi
  宮部 賢志
   所属   明治大学  理工学部
   職種   専任准教授
■ 著書・論文
1. 2020/12 論文  Solovay reducibility and continuity Journal of Logic and Analysis 12(2),pp.1-22 (共著) 
2. 2020/03 著書  確率統計入門:モデル化からその解析へ   (共著) 
3. 2020/01 著書  確率と哲学    
4. 2019/12 著書  アルゴリズム情報理論とAI AI事典第3版 59-60頁 (単著) 
5. 2019/07 論文  Computable Prediction. Lecture Notes in Computer Science 11654,137-147頁 (単著) 
全件表示(30件)
■ 学会発表
1. 2020/09/15 The rate of convergence of computable predictions(German Mathematical Society)
2. 2019/08/08 Computable prediction(Artificial General Intelligence)
3. 2019/07/19 Uniform relativization(Computability in Europe)
4. 2019/07/19 Uniform relativization(Computability in Europe)
5. 2019/03/25 Schnorr triviality via decidable machines(Computability Theory and Foundations of Mathematics)
全件表示(75件)
■ 学歴
1. 2007/04~2010/03 京都大学 理学研究科 数学・数理解析専攻 博士課程修了 博士(理学)
2. 2005/04~2007/03 京都大学 理学研究科 修士課程修了 修士(理学)
3. 2001/04~2005/03 京都大学 理学部 理学科 卒業 学士(理学)
■ 職歴
1. 2017/10~ 明治大学 理工学部 准教授
2. 2014/04~2017/09 明治大学 理工学部数学科 専任講師
3. 2013/04~2014/03 日本学術振興会 特別研究員PD(東京大学大学院情報理工学系研究科)
4. 2011/04~2013/03 京都大学 数理解析研究所 特定研究員(グローバルCOE)
5. 2010/04~2011/03 京都大学 数理解析研究所 研究員(グローバルCOE)
■ 教育上の業績
●教育内容・方法の工夫(授業評価等を含む)
1. 2020/04/01~ オンラインでのグループワークの実践
2. 2020/04/01~ 手書きレポートマニュアルの作成 Link
3. 2015/04/01~ プロジェクトベースドラーニングの実践
■ 研究課題・受託研究・科研費
1. 2015/04~2019/03  連続時間ゲーム論的確率論の戦略と制御 挑戦的萌芽 
2. 2014/04~2018/03  計算可能測度論の基礎理論の構築 若手研究(B) 
3. 2014/01~2016/03  ゲーム論的確率論とランダムの概念に基づく予測理論 挑戦的萌芽研究 
4. 2013/04~2014/03  アルゴリズム的観点での確率及び予測概念の研究 特別研究員奨励費 
5. 2011/04~2013/03  ランダムネスを用いた確率概念の拡張 若手研究(B) 
全件表示(6件)
■ ホームページ
   http://kenshi.miyabe.name/wordpress/
■ メールアドレス
  kyoin_mail
■ 現在の専門分野
数学基礎 
■ 担当経験のある科目・講演等
1. 理工学研究科総合講義A(明治大学)
2. 確率論1(明治大学)
3. 確率論2(明治大学)
4. 関数論1(明治大学)
5. 関数論1演習(明治大学)
全件表示(13件)