定義域とは 数学