Research Themes 計算複雑さ理論を中心に,学習理論・暗号理論へとつながる根源的な問いも扱います. 01 計算複雑さ理論 問い限られた計算資源で、どこまで解けるか? 02 計算論的学習理論 問い機械は、どこまで複雑な規則を学べるか? 03 メタ計算量理論 問い難しさを知ることは、どれほど難しいか? 04 暗号理論 問いどんな難しさが、秘密を守る力になるか?