実数受け入れのSpecを有効にした．