Kai~のpvalue関数の型を変更し、名前も変更しました