ミヤベ　ケンシ   MIYABE Kenshi   宮部　賢志    所属   明治大学  理工学部    職種   専任准教授
発表年月日	2012/02/23
発表テーマ	Schnorr Layerwise Computability
会議名	証明論及び計算可能性理論に関するワークショップ
学会区分	研究会・シンポジウム等
発表形式	口頭（一般）
単独共同区分	単独
開催地名	東京
発表者・共同発表者	Kenshi Miyabe