前提:周期関数