以下は引数xをとる関数fの定義の例である。