と定義される関数である。