Kenichi Miyauchi presentations