アウトプット型の述語