ミヤベ ケンシ   MIYABE Kenshi
  宮部 賢志
   所属   明治大学  理工学部
   職種   専任准教授
発表年月日 2021/12/22
発表テーマ 計算可能な予測の収束速度
会議名 RIMS共同研究 (公開型)「証明と計算の理論と応用」
学会区分 研究会・シンポジウム等
発表形式 口頭(一般)
単独共同区分 単独
開催地名 RIMS&Zoom