ミヤベ ケンシ
MIYABE Kenshi
宮部 賢志
所属
明治大学 理工学部
職種
専任准教授
発表年月日
2023/12/12
発表テーマ
Strong Solovay reducibility
会議名
RIMS共同研究(公開型)「証明論と計算論の最前線」
学会区分
研究会・シンポジウム等
発表形式
口頭（一般）
単独共同区分
単独
国名
日本
開催地名
京都
発表者・共同発表者
Kenshi Miyabe