9.20. 集約関数