ミヤベ　ケンシ   MIYABE Kenshi   宮部　賢志    所属   明治大学  理工学部    職種   専任准教授
発表年月日	2019/03/25
発表テーマ	Schnorr triviality via decidable machines
会議名	Computability Theory and Foundations of Mathematics
主催者	CTFM
学会区分	国際学会
発表形式	口頭（一般）
単独共同区分	単独
開催地名	武漢(中国)
発表者・共同発表者	Kenshi Miyabe