Hirokazu Sakagami presentations