ミヤベ　ケンシ   MIYABE Kenshi   宮部　賢志    所属   明治大学  理工学部    職種   専任准教授
発表年月日	2011/12/20
発表テーマ	Characterization of Kurtz randomness by a differentiation theorem
会議名	Twelfth Asian Logic Conference
主催者	ALC
学会区分	国際学会
発表形式	口頭（一般）
単独共同区分	単独
開催地名	ウエリントン
発表者・共同発表者	Kenshi Miyabe