一般化されていないから
関数f
を使うんだろ?