ミヤベ　ケンシ   MIYABE Kenshi   宮部　賢志    所属   明治大学  理工学部    職種   専任准教授
発表年月日	2023/09/27
発表テーマ	Solovay reducibility and signed-digit representation
会議名	Continuity, Computability, Constructivity, From Logic to Algorithms
学会区分	国際学会
発表形式	口頭（一般）
単独共同区分	単独
国名	日本
開催地名	京都
発表者・共同発表者	Kenshi Miyabe