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