ミヤベ ケンシ
MIYABE Kenshi
宮部 賢志
所属
明治大学 理工学部
職種
専任准教授
発表年月日
2017/12/26
発表テーマ
ランダム性に対応する関数階層
会議名
RIMS共同研究（公開型）「証明論と証明活動」
主催者
RIMS
学会区分
研究会・シンポジウム等
発表形式
口頭（一般）
単独共同区分
単独
開催地名
京都
発表者・共同発表者
宮部賢志