定義域を最初に示すのは当然のことだ