Translate description of talk by Masatoshi Seki.