timesの一般化