在Ada上使用BBC MicroBit的随机数生成器，您可以使用以下步骤来解决问题：

1. 首先，您需要安装Adafruit的MicroBit库。您可以使用以下命令来安装该库：

   $ git clone https://github.com/adafruit/Adafruit_Microbit.git
   

2. 在您的代码中，您需要引入MicroBit库的相关模块。在Ada中，您可以使用以下代码来引入模块：

   with Adafruit.Microbit; -- 引入MicroBit库
   
   use Adafruit.Microbit;
   

3. 接下来，您可以使用MicroBit的Random模块来生成随机数。以下是一个示例代码：

   with Ada.Text_IO;
   with Ada.Integer_Text_IO;
   with Adafruit.Microbit.Random;
   
   procedure Random_Number is
      Number : Integer;
   begin
      Randomize; -- 初始化随机数生成器
   
      loop
         Number := Adafruit.Microbit.Random.Random(100); -- 生成0到99之间的随机数
         Ada.Text_IO.Put("Random number: ");
         Ada.Integer_Text_IO.Put(Number);
         Ada.Text_IO.New_Line;
      end loop;
   end Random_Number;
   

   在上面的示例中，我们使用了Adafruit.Microbit.Random.Random函数来生成0到99之间的随机数。您可以根据您的需求调整此代码。

4. 最后，您可以使用GNAT编译器来编译和运行您的代码。以下是一个示例命令来编译代码：

   $ gnatmake -I/path/to/Adafruit_Microbit -o random_number random_number.adb
   

   然后，您可以运行生成的可执行文件：

   $ ./random_number
   

   您将会看到随机生成的数字输出在终端上。

请注意，这只是一个简单的示例代码，以帮助您了解如何在Ada上使用BBC MicroBit的随机数生成器。您可以根据您的需求进行修改和扩展。