hasP の -> と <-