fの定義が欠けてるように見える