ミヤベ　ケンシ   MIYABE Kenshi   宮部　賢志    所属   明治大学  理工学部    職種   専任准教授
発表年月日	2010/09/16
発表テーマ	Algorithmic randomness over general spaces
会議名	数理解析研究所短期共同研究ー形式体系と計算理論ー
主催者	RIMS
学会区分	研究会・シンポジウム等
発表形式	口頭（一般）
単独共同区分	単独
開催地名	京都
発表者・共同発表者	Kenshi Miyabe