Ada

このAdaチュートリアルは、Adaプログラミング言語げんごに興味きょうみを持もっている人ひと、または既すでにAdaを知しっているがより深ふかく理解りかいしたいと思おもっている人ひと向むけに作成さくせいされています。 Adaは、高信頼こうしんらい性せいが求もとめられるシステム開発かいはつや組込くみこみシステム開発かいはつに適てきした言語げんごであり、現在げんざいでも多おおくの産業さんぎょう分野ぶんやで使つかわれています。

このチュートリアルでは、Ada言語げんごの基本きほん的てきな概念がいねんから始はじめ、プログラミングの基礎きそを解説かいせつしています。初心者しょしんしゃでも理解りかいしやすいように、具体ぐたい的てきな例れいを交まじえながら、丁寧ていねいに説明せつめいしていきます。

このチュートリアルを通つうじて、Adaをより深ふかく理解りかいし、高信頼こうしんらい性せいの高たかいソフトウェア開発かいはつに役立やくだてていただければ幸さいわいです。

Adaの概要がいよう

[Adaがどのようなプログラミング言語げんごであるか、開発かいはつの背景はいけいや利点りてんについて説明せつめいします。]

Adaは、1980年代ねんだいにアメリカ合衆国あめりかがっしゅうこくの国防総省こくぼうそうしょうが開発かいはつした高信頼こうしんらい性せいソフトウェアを開発かいはつするためのプログラミング言語げんごです。その後ご、民間みんかん分野ぶんやでも利用りようされるようになり、現在げんざいでも航空こうくう宇宙うちゅう、鉄道てつどう、医療いりょう機器ききなど、高たかい信頼しんらい性せいが求もとめられる分野ぶんやで広ひろく使つかわれています。

Adaの特徴とくちょうとしては、以下いかのような点てんが挙あげられます。

• 強つよい型付かたつけ：変数へんすうや関数かんすうなどのデータ型がたが厳密げんみつに定義ていぎされ、コンパイル時じに型かたエラーを検出けんしゅつできるため、バグの発生はっせいを防止ぼうしできます。
• 相互そうご排除はいじょ機能きのう：タスク間あいだの相互そうご排除はいじょ機能きのうが強力きょうりょくで、デッドロックやライブロックなどの問題もんだいが少すくなく、安全あんぜんな並行へいこう処理しょりを実現じつげんできます。
• メモリ管理かんり：Adaにはガベージコレクション機能きのうがあるため、メモリリークや二に重じゅう解放かいほうのような問題もんだいが起おこりにくく、安全あんぜんなメモリ管理かんりが可能かのうです。
• 大だい規模きぼなプログラムの開発かいはつに適てきした機能きのう：Adaには、パッケージ、抽象ちゅうしょう型がた、ジェネリック、タスクなど、大だい規模きぼなプログラムの開発かいはつに必要ひつような機能きのうが豊富ほうふにあります。
• ドキュメント生成せいせい：Adaには、コードから自動的じどうてきに文書ぶんしょを生成せいせいする機能きのうがあり、ソフトウェア開発かいはつにおける文書ぶんしょ作成さくせいの手間てまを省はぶくことができます。

Adaの利点りてんとしては、高信頼こうしんらい性せい、安全あんぜん性せい、保守ほしゅ性せい、品質ひんしつの高たかさなどが挙あげられます。ただし、Adaの学習がくしゅう曲線きょくせんがやや高たかく、他たの一般いっぱん的てきな言語げんごと比くらべると、使つかいこなすのに時間じかんがかかることがあります。

環境かんきょうの設定せってい

[Adaの開発かいはつに必要ひつようなソフトウェアやツールをインストールし、環境かんきょうを構築こうちくする方法ほうほうについて説明せつめいします。]

Adaの開発かいはつ環境かんきょうを構築こうちくするためには、GNATというコンパイラをインストールする必要ひつようがあります。GNATは、Ada言語げんごのフリーでオープンソースな実装じっそうであり、GNU Compiler Collection (GCC) に含ふくまれています。

Debian linux へのインストール

1. ターミナルを開ひらきます。
2. sudo apt updateコマンドを実行じっこうして、パッケージリストを更新こうしんします。
3. sudo apt-get install gnatコマンドを実行じっこうして、GNATパッケージをインストールします。
4. インストールが完了かんりょうしたら、gnat --versionコマンドを実行じっこうして、GNATのバージョンを確認かくにんします。

MSYS2/Windows へのインストール

MSYS2にGNATをインストールする手順てじゅんは以下いかの通とおりです。

1. MSYS2をインストールします。公式こうしきサイトからダウンロードして、指示しじに従したがってインストールしてください。
2. MSYS2を開ひらきます。開ひらいたコンソールで以下いかのコマンドを実行じっこうして、パッケージリストを更新こうしんします。

   pacman -Syu
   

3. GNATをインストールするために、以下いかのコマンドを実行じっこうして必要ひつようなパッケージをインストールします。 このコマンドは、GNATのパッケージに含ふくまれているmingw-w64-x86_64-gcc-adaパッケージをインストールします。

   pacman -S mingw-w64-x86_64-gcc-ada
   

4. インストールが完了かんりょうしたら、gnat --versionコマンドを実行じっこうして、GNATのバージョンを確認かくにんします。

macOS へのインストール

macOSにGNATをインストールする手順てじゅんは以下いかの通とおりです。

1. Homebrewをインストールします。ターミナルを開ひらいて、以下いかのコマンドを実行じっこうします。

   /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install.sh)"
   

2. GNATをインストールするために、以下いかのコマンドを実行じっこうします。 このコマンドは、GNATのパッケージをHomebrewからインストールします。

   brew install gnat
   

3. インストールが完了かんりょうしたら、gnat --versionコマンドを実行じっこうして、GNATのバージョンを確認かくにんします。

FreeBSD へのインストール

FreeBSDにGNATをインストールする手順てじゅんは以下いかの通とおりです。

1. pkgを更新こうしんします。ターミナルを開ひらいて、以下いかのコマンドを実行じっこうします。

   % sudo pkg update
   

2. GNATをインストールするために、以下いかのコマンドを実行じっこうします。 このコマンドは、GNATのパッケージに含ふくまれているgcc-adaパッケージをインストールします。

   % sudo pkg install gcc-ada
   

3. インストールが完了かんりょうしたら、gnat --versionコマンドを実行じっこうして、GNATのバージョンを確認かくにんします。

GNATについて

GNATは、GNU Ada Compilerとして知しられており、GNUプロジェクトの一部いちぶであるため、一般いっぱん的てきにはGNU Adaと呼よばれています。GNATの名称めいしょうは、GNU Ada Translatorの略称りゃくしょうであり、最初さいしょのリリースが1987年ねんに行おこなわれた際さいには、Adaのコンパイラとしては初はじめてGNUプロジェクトに含ふくまれていたことから、GNATと名付なづけられました。その後ご、GNATはGNUプロジェクトの一部いちぶとして、オープンソースのAdaコンパイラとして発展はってんしてきました。 ただし、GNATの商用しょうよう版ばんであるGNAT Proは、GNU Adaではなく、AdaCore社しゃが独自どくじに開発かいはつした製品せいひんとして販売はんばいされています。GNAT Proは、GNAT GPLに比くらべて商用しょうよう利用りように適てきした機能きのうやサポートが提供ていきょうされています。また、GNAT Proの利益りえきの一部いちぶは、GNUプロジェクトに寄付きふされています。

トップレベルのプログラム構造こうぞう

Adaプログラムのトップレベルの構造こうぞうは、以下いかのようになります。

with パッケージ名めい;
use パッケージ名めい;

プログラム名めい is

    -- 定数ていすう、型かた、変数へんすう、サブプログラム、タスクなどの宣言せんげん

begin

    -- プログラムの実行じっこう部分ぶぶん

end プログラム名めい;

with文ぶんは、使用しようするパッケージを指定していするために使用しようされます。use文ぶんは、パッケージの使用しよう方法ほうほうを指定していします。

プログラム名めいは、プログラムの名前なまえを指定していします。プログラム名めいの下したに、定数ていすう、型かた、変数へんすう、サブプログラム、タスクなどを宣言せんげんすることができます。

beginキーワードの後のちには、プログラムの実行じっこう部分ぶぶんが続つづきます。

ソースコードのファイル名めいのルールは、以下いかのようになります。

• ファイル名めいは、プログラム名めいと同おなじにする必要ひつようがあります。
• Adaのソースファイルは、.adb（本体ほんたい）と.ads（仕様しよう）の2つの拡張子かくちょうしを持もつことができます。
• .adbファイルと.adsファイルのペアは、同おなじ名前なまえを持もつ必要ひつようがあります。
• ただし、プログラムが一ひとつの.adbファイルで完結かんけつしている場合ばあい、.adsファイルは不要ふようです。

例たとえば、以下いかのようなファイル構成こうせいになります。

my_program.adb  -- プログラムの本体ほんたい
my_program.ads  -- プログラムの仕様しよう

コメント

Adaのコメントは、ダブルハイフン（--）ではじまり、どの行くだりにも表示ひょうじすることができます。コメントはコンパイラによって無視むしされ、コードを記録きろくするために使用しようされます。

以下いかは、Adaのコメントの例れいです：

-- これはコメントです。

コメントは、コードの一部いちぶの目的もくてきを説明せつめいしたり、追加ついか情報じょうほうを提供ていきょうしたり、現在げんざい使用しようされていないコードのセクションをマークするために使用しようすることができます。

コメントは、コードをより読よみやすく、理解りかいしやすくするための貴重きちょうなツールです。また、コードの保守ほしゅ性せいを向上こうじょうさせ、デバッグを容易よういにする効果こうかもあります。

データ型がたと変数へんすう

Adaには、さまざまなデータ型がたがあります。この章しょうでは、Adaで使用しようできる主要しゅようなデータ型がたと変数へんすうの宣言せんげん方法ほうほう、データの代入だいにゅうや演算えんざんについて説明せつめいします。

データ型がた

Adaには、以下いかのような主要しゅようなデータ型がたがあります。

• 整数せいすう型がた（Integer）
• 実数じっすう型がた（Float）
• 文字もじ型がた（Character）
• 真偽しんぎ値ち型がた（Boolean）
• 列挙れっきょ型がた（Enumeration）
• 配列はいれつ型がた（Array）
• レコード型がた（Record）
• 構造こうぞう体型たいけい（Access）

これらのデータ型がたを組くみ合あわせて、より複雑ふくざつなデータ型がたを定義ていぎすることもできます。

整数せいすう型がた（Integer）

整数せいすう型がた（Integer）は、Adaで最もっとも一般いっぱん的てきなデータ型がたの一ひとつであり、符号ふごう付つき整数せいすう値ちを表あらわします。Integerの範囲はんいは実装じっそうによって異ことなりますが、通常つうじょうは-2^31から2^31-1までの値ねを表あらわすことができます。以下いかは、Integer型がたを使用しようしたコード例れいです。

integer_example.adb

with Ada.Text_IO;         use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

procedure Integer_Example is
   age : Integer := 25;
begin
   Put("I am ");
   Put(age, 2);
   Put(" years old.");
end Integer_Example;

実数じっすう型がた（Float）

実数じっすう型がた（Float）は、浮動ふどう小数点しょうすうてん数値すうちを表あらわすために使用しようされます。Adaには、いくつかの異ことなる精度せいどのFloat型がたがあります。例たとえば、Float型がたは通常つうじょう、単精度たんせいどの浮動ふどう小数点しょうすうてん数すうを表あらわし、Long_Float型がたは倍精度ばいせいどの浮動ふどう小数点しょうすうてん数すうを表あらわします。以下いかは、Float型がたを使用しようしたコード例れいです。

float_example.adb

with Ada.Text_IO;       use Ada.Text_IO;
with Ada.Float_Text_IO; use Ada.Float_Text_IO;

procedure Float_Example is
   pi : Float := 3.14159;
begin
   Put("The value of Pi is ");
   Put(pi, 1, 5);
end Float_Example;

文字もじ型がた（Character）

文字もじ型がた（Character）は、単一たんいつの文字もじを表あらわします。Adaの文字もじ型がたは、Unicode文字もじセットをサポートしています。以下いかは、Character型がたを使用しようしたコード例れいです。

character_example.adb

with Ada.Text_IO; use Ada.Text_IO;

procedure Character_Example is
   letter : Character := 'A';
begin
   Put("The first letter of the alphabet is ");
   Put(letter);
end Character_Example;

真偽しんぎ値ち型がた（Boolean）

真偽しんぎ値ち型がた（Boolean）は、真しんまたは偽にせの論理ろんり値ちを表あらわします。以下いかは、Boolean型がたを使用しようしたコード例れいです。

boolean_example.adb

with Ada.Text_IO; use Ada.Text_IO;

procedure Boolean_Example is
   is_raining : Boolean := True;
begin
   if is_raining then
      Put("Bring an umbrella.");
   else
      Put("Leave your umbrella at home.");
   end if;
end Boolean_Example;

列挙れっきょ型がた（Enumeration）

列挙れっきょ型がた（Enumeration）は、指定していされた値ねの集合しゅうごうを表あらわします。例たとえば、以下いかのコード例れいでは、曜日ようびを表あらわすために、列挙れっきょ型がたを使用しようしています。

enumeration_example.adb

with Ada.Text_IO; use Ada.Text_IO;

procedure Enumeration_Example is
   type Day is (Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday);
   today : Day := Tuesday;
begin
   Put("Today is ");
   case today is
      when Monday =>
         Put("Monday");
      when Tuesday =>
         Put("Tuesday");
      when Wednesday =>
         Put("Wednesday");
      when Thursday =>
         Put("Thursday");
      when Friday =>
         Put("Friday");
      when Saturday =>
         Put("Saturday");
      when Sunday =>
         Put("Sunday");
   end case;
end Enumeration_Example;

配列はいれつ型がた（Array）

配列はいれつ型がた（Array）は、同おなじデータ型がたの値ねの集合しゅうごうを表あらわします。配列はいれつは、固定こていサイズまたは可変かへんサイズの場合ばあいがあります。以下いかは、Integer型がたの配列はいれつを使用しようしたコード例れいです。

erray_example.adb

with Ada.Text_IO; use Ada.Text_IO;

procedure Array_Example is
   -- 配列はいれつを宣言せんげんする
   type My_Array is array(1..5) of Integer;
   A : My_Array := (1, 2, 3, 4, 5);
begin
   -- 配列はいれつの要素ようそにアクセスする
   Put_Line("A(1) = " & Integer'Image(A(1)));
   Put_Line("A(2) = " & Integer'Image(A(2)));

   -- 配列はいれつの要素ようそを変更へんこうする
   A(1) := 10;
   A(2) := 20;

   -- 変更へんこうされた要素ようそを出力しゅつりょくする
   Put_Line("A(1) = " & Integer'Image(A(1)));
   Put_Line("A(2) = " & Integer'Image(A(2)));

   -- 配列はいれつの全ぜん要素ようそにアクセスする
   for I in A'range loop
      Put_Line("A(" & Integer'Image(I) & ") = " & Integer'Image(A(I)));
   end loop;
end Array_Example;

レコード型がた（Record）

レコード型がた（Record）は、異ことなるデータ型がたの値ねの集合しゅうごうを表あらわします。レコードには、名前なまえ付つきフィールドがあります。以下いかは、Personという名前なまえのレコード型がたを使用しようしたコード例れいです。

record_example.adb

with Ada.Text_IO; use Ada.Text_IO;

procedure Record_Example is
   type Person is record
      Name : String(1..20);
      Age : Integer;
      Is_Married : Boolean;
   end record;

   p : Person := ("John", 30, False);
begin
   Put("Name: ");
   Put(p.Name);
   New_Line;
   Put("Age: ");
   Put(p.Age, 2);
   New_Line;
   Put("Married: ");
   if p.Is_Married then
      Put("Yes");
   else
      Put("No");
   end if;
end Record_Example;

構造こうぞう体型たいけい（Access）

構造こうぞう体型たいけい（Access）は、動的どうてきに確保かくほされたデータ構造こうぞうを表あらわします。構造こうぞう体たいには、名前なまえ付つきフィールドがあります。以下いかは、Personという名前なまえのAccess型がたを使用しようしたコード例れいです。

with Ada.Text_IO; use Ada.Text_IO;

procedure Access_Example is
   type Person is record
      Name : String(1..20);
      Age : Integer;
      Is_Married : Boolean;
   end record;

   type Person_Ptr is access Person;

   p : Person_Ptr :== new Person'(Name ==> "John", Age ==> 30, Is_Married ==> False);
begin
   Put("Name: ");
   Put(p.Name);
   New_Line;
   Put("Age: ");
   Put(p.Age, 2);
   New_Line;
   Put("Married: ");
   if p.Is_Married then
      Put("Yes");
   else
      Put("No");
   end if;
end Access_Example;

変数へんすうの宣言せんげん

変数へんすうを宣言せんげんするには、以下いかのような構文こうぶんを使用しようします。

variable_name : data_type := initial_value;

変数へんすう名めいは、英数字えいすうじとアンダースコアから構成こうせいされます。データ型がたは、前述ぜんじゅつのデータ型がたのいずれかを指定していします。初期しょき値ちはオプションで、変数へんすうの宣言せんげん時じに代入だいにゅうされます。

例たとえば、整数せいすう型がたの変数へんすうxを宣言せんげんし、初期しょき値ちを10に設定せっていする場合ばあいは、以下いかのようになります。

x : Integer := 10;

データの代入だいにゅう

変数へんすうにデータを代入だいにゅうするには、以下いかのような構文こうぶんを使用しようします。

variable_name := new_value;

変数へんすう名めいは、代入だいにゅう先さきの変数へんすうを指定していします。新あたらしい値ねは、代入だいにゅう演算えんざん子こ:=の後のちに続つづけて指定していします。

例たとえば、上記じょうきの例れいで宣言せんげんした整数せいすう型がたの変数へんすうxに、新あたらしい値ね20を代入だいにゅうする場合ばあいは、以下いかのようになります。

x := 20;

式しきと演算えんざん子こ

式しき

Ada言語げんごでは、式しきとは変数へんすう、定数ていすう、リテラル値ち、関数かんすう、および演算えんざん子こを含ふくむコードの断片だんぺんです。式しきは、式しき自体じたいが値ねを返かえすように評価ひょうかされ、変数へんすうの値ねを取得しゅとくしたり、関数かんすうを呼よび出だしたりすることができます。

例たとえば、以下いかのコードは、式しきを使用しようして変数へんすうxとyの値ねを加算かさんし、結果けっかを変数へんすうzに格納かくのうします。

with Ada.Text_IO; use Ada.Text_IO;

procedure Main is
   x, y, z : Integer;
begin
   x := 10;
   y := 20;
   
   z := x + y;
   
   Put_Line(z'Image);
end Main;

演算えんざん子こ

演算えんざん子ことは、算術さんじゅつ、比較ひかく、論理ろんり、ビット演算えんざんなど、プログラムで使用しようされる操作そうさを表あらわす特殊とくしゅな記号きごうです。演算えんざん子こは、一般いっぱんに一ひとつまたは複数ふくすうのオペランドに適用てきようされます。

Adaには、次つぎのような演算えんざん子この種類しゅるいがあります。

• 算術さんじゅつ演算えんざん子こ: +、-、*、/、**（べき乗じょう）
• 比較ひかく演算えんざん子こ: =、/=、<、<=、>、>=
• 論理ろんり演算えんざん子こ: and、or、not
• ビット演算えんざん子こ: and、or、xor、not、shl（左ひだりシフト）、shr（右みぎシフト）

Adaには、C言語げんごのような複雑ふくざつな演算えんざん子こがないため、明確めいかくでわかりやすいコードが書かけます。

Adaに特有とくゆうの演算えんざん子この一ひとつは、範囲はんい演算えんざん子こ(..)です。これは、範囲はんいを表あらわすために使用しようされます。たとえば、1から10までの整数せいすうの範囲はんいを表あらわすには、1..10と書かきます。

また、Adaには、剰余じょうよ演算えんざん子こ(mod)があります。これは、2つの整数せいすうの剰余じょうよを計算けいさんします。

以下いかは、Adaで算術さんじゅつ演算えんざん子こを使用しようした例れいです。

with Ada.Text_IO; use Ada.Text_IO;
procedure Main is
   X, Y, Z : Integer;
begin
   X := 10;
   Y := 3;
   
   Z := X + Y;
   Put_Line("X + Y = " & Integer'Image(Z));
   
   Z := X - Y;
   Put_Line("X - Y = " & Integer'Image(Z));
   
   Z := X * Y;
   Put_Line("X * Y = " & Integer'Image(Z));
   
   Z := X / Y;
   Put_Line("X / Y = " & Float'Image(Z));
   
   Z := X ** Y;
   Put_Line("X ** Y = " & Integer'Image(Z));
end Main;

出力しゅつりょく

X + Y = 13
X - Y = 7
X * Y = 30
X / Y = 3.333333
X ** Y = 1000

以下いかに、Adaの演算えんざん子こを分類ぶんるいごとに一覧いちらん表ひょうにまとめました。

算術さんじゅつ演算えんざん子こ

演算えんざん子こ	説明せつめい
+	加算かさん
-	減算げんざん
*	乗算じょうざん
/	除算じょざん
mod	除じょ余あまり
**	べき乗じょう

比較ひかく演算えんざん子こ

演算えんざん子こ	説明せつめい
=	等ひとしい
/=	等ひとしくない
<	未満みまん
<=	以下いか
>	より大おおきい
>=	以上いじょう

論理ろんり演算えんざん子こ

演算えんざん子こ	説明せつめい
and	論理ろんり積せき
or	論理ろんり和わ
not	否定ひてい

ビット演算えんざん子こ

演算えんざん子こ	説明せつめい
and	ビットごとの論理ろんり積せき
or	ビットごとの論理ろんり和わ
xor	ビットごとの排他はいた的てき論理ろんり和わ
not	ビットごとの否定ひてい
shl	左ひだりシフト
shr	右みぎシフト

その他たの演算えんざん子こ

演算えんざん子こ	説明せつめい
&	文字もじ列れつの連結れんけつ
:=	代入だいにゅう
[]	配列はいれつの要素ようその参照さんしょう
()	手続てつづきや関数かんすうの引数ひきすうの指定してい、グループ化か
.	レコードのフィールドの参照さんしょう
..	範囲はんいを表あらわす

以上いじょうの表ひょうに示しめされた演算えんざん子こを適切てきせつに使用しようすることで、Adaプログラムをより効率こうりつ的てきかつわかりやすく記述きじゅつすることができます。

制御せいぎょ構造こうぞう

制御せいぎょ構造こうぞう(Control Structures)は、プログラムの流ながれを制御せいぎょするための構造こうぞうであり、プログラムをより複雑ふくざつな動作どうさを行おこなえるようにします。Adaでは、主おもに条件じょうけん分岐ぶんき(if文ぶん)とループ(for文ぶん)が利用りようされます。

条件じょうけん分岐ぶんき(if文ぶん)

条件じょうけん分岐ぶんきは、条件じょうけんによって処理しょりを分岐ぶんきさせるための構造こうぞうです。if文ぶんを用もちいて、条件じょうけんが真しんである場合ばあいと偽にせである場合ばあいで、それぞれ異ことなる処理しょりを行おこなうことができます。

単純たんじゅんなif文ぶん

if 条件じょうけん then
    真しんの場合ばあいの処理しょり;
end if;

上記じょうきの構文こうぶんでは、条件じょうけんが真しんである場合ばあいに真しんの場合ばあいの処理しょりが実行じっこうされます。偽にせである場合ばあいは、何なにも処理しょりされません。

if-else文ぶん

if 条件じょうけん then
    真しんの場合ばあいの処理しょり;
else
    偽にせの場合ばあいの処理しょり;
end if;

上記じょうきの構文こうぶんでは、条件じょうけんが真しんである場合ばあいに真しんの場合ばあいの処理しょりが実行じっこうされ、偽にせである場合ばあいには偽にせの場合ばあいの処理しょりが実行じっこうされます。

if-elsif-else文ぶん

if 条件じょうけん1 then
    条件じょうけん1が真しんの場合ばあいの処理しょり;
elsif 条件じょうけん2 then
    条件じょうけん2が真しんの場合ばあいの処理しょり;
else
    条件じょうけん1も条件じょうけん2も偽にせの場合ばあいの処理しょり;
end if;

上記じょうきの構文こうぶんでは、条件じょうけん1が真しんの場合ばあいには条件じょうけん1が真しんの場合ばあいの処理しょりが実行じっこうされ、条件じょうけん2が真しんの場合ばあいには条件じょうけん2が真しんの場合ばあいの処理しょりが実行じっこうされ、どちらも偽にせの場合ばあいには、else以下いかの偽にせの場合ばあいの処理しょりが実行じっこうされます。

case文ぶん

Adaにおけるcase文ぶんは、複数ふくすうの条件じょうけん分岐ぶんきを行おこなうために使用しようされる制御せいぎょ構造こうぞうの一ひとつです。case文ぶんは、値ねによって異ことなるブロックを実行じっこうすることができます。

case文ぶんは以下いかのような構文こうぶんを持もちます。

case expression is
   when choice1 =>
      -- choice1の処理しょり
   when choice2 =>
      -- choice2の処理しょり
   ...
   when choiceN =>
      -- choiceNの処理しょり
   when others =>
      -- どの条件じょうけんにも一致いっちしない場合ばあいの処理しょり
end case;

expressionには条件じょうけん分岐ぶんきの対象たいしょうとなる式しきを指定していします。choiceには条件じょうけん分岐ぶんきの候補こうほとなる値ねを指定していします。whenキーワードの後のちに続つづくchoiceに該当がいとうする場合ばあい、そのブロック内ないの処理しょりが実行じっこうされます。最後さいごに、when othersを使用しようして、どの条件じょうけんにも該当がいとうしない場合ばあいの処理しょりを指定していすることができます。

反復はんぷく

Adaにおけるループ（繰くり返かえし）は、同おなじ処理しょりを繰くり返かえし実行じっこうするための制御せいぎょ構造こうぞうです。Adaには、以下いかの3つのループがあります。

• loopループ
• whileループ
• forループ

loopループ

loopループは、条件じょうけん式しきがfalseになるまで、繰くり返かえし処理しょりを実行じっこうします。以下いかは、loopループの構文こうぶんです。

loop
   -- 実行じっこうする処理しょり
end loop;

以下いかは、loopループの例れいです。

with Ada.Text_IO; use Ada.Text_IO;

procedure Example is
   I : Integer := 1;
begin
   loop
      Put_Line("I is " & Integer'Image(I));
      I := I + 1;
      exit when I = 5;
   end loop;
end Example;

この例れいでは、Iが5になるまで、Put_LineでIの値ねを表示ひょうじする処理しょりを繰くり返かえしています。exit when文ぶんを使用しようして、Iが5になった時点じてんでループを終了しゅうりょうするようにしています。

whileループ

whileループは、条件じょうけん式しきがtrueの間あいだ、繰くり返かえし処理しょりを実行じっこうします。以下いかは、whileループの構文こうぶんです。

while condition loop
   -- 実行じっこうする処理しょり
end loop;

以下いかは、whileループの例れいです。

with Ada.Text_IO; use Ada.Text_IO;

procedure Example is
   I : Integer := 1;
begin
   while I <= 5 loop
      Put_Line("I is " & Integer'Image(I));
      I := I + 1;
   end loop;
end Example;

この例れいでは、Iが5以下いかである限かぎり、Put_LineでIの値ねを表示ひょうじする処理しょりを繰くり返かえしています。

forループ

forループは、初期しょき値ちから終了しゅうりょう値ちまで、指定していされたステップで繰くり返かえし処理しょりを実行じっこうします。以下いかは、forループの構文こうぶんです。

for variable in range loop
   -- 実行じっこうする処理しょり
end loop;

以下いかは、forループの例れいです。

with Ada.Text_IO; use Ada.Text_IO;

procedure Example is
begin
   for I in 1..5 loop
      Put_Line("I is " & Integer'Image(I));
   end loop;
end Example;

この例れいでは、1から5までの数値すうちを、Iに順番じゅんばんに代入だいにゅうしてPut_LineでIの値ねを表示ひょうじする処理しょりを繰くり返かえしています。

まとめ

以下いかは、条件じょうけん分岐ぶんきやループなどの制御せいぎょ構造こうぞうをすべて使用しようした Ada のプログラム例れいです。

control_structures.adb

with Ada.Text_IO, Ada.Integer_Text_IO;
use Ada.Text_IO, Ada.Integer_Text_IO;

procedure Control_Structures is
   I : Integer;
   Num : Integer;
begin
   -- if-then-else statement
   Put("Enter a number: ");
   Get(Num);
   if Num > 0 then
      Put_Line("The number is positive.");
   elsif Num = 0 then
      Put_Line("The number is zero.");
   else
      Put_Line("The number is negative.");
   end if;

   -- case statement
   Put("Enter a number between 1 and 3: ");
   Get(I);
   case I is
      when 1 =>
         Put_Line("You entered 1.");
      when 2 =>
         Put_Line("You entered 2.");
      when 3 =>
         Put_Line("You entered 3.");
      when others =>
         Put_Line("You entered something else.");
   end case;

   -- for loop
   Put_Line("Printing numbers from 1 to 10:");
   for I in 1..10 loop
      Put(I, 2);
      Put(" ");
   end loop;
   New_Line;

   -- while loop
   I := 1;
   Put_Line("Printing odd numbers from 1 to 10:");
   while I <= 10 loop
      if I mod 2 = 1 then
         Put(I, 2);
         Put(" ");
      end if;
      I := I + 1;
   end loop;
   New_Line;

   -- exit statement
   Put_Line("Printing numbers from 1 to 10 until 6 is reached:");
   for I in 1..10 loop
      if I = 6 then
         exit;
      end if;
      Put(I, 2);
      Put(" ");
   end loop;
   New_Line;

end Control_Structures;

このプログラムでは、ユーザーからの入力にゅうりょくを受うけ取とり、if-then-else 文ぶんを使用しようして入力にゅうりょくされた数値すうちの符号ふごうを判定はんていし、case 文ぶんを使用しようして入力にゅうりょくされた数値すうちの値ねによって分岐ぶんきします。 さらに、for ループと while ループを使用しようして、数値すうちを繰くり返かえし出力しゅつりょくし、exit 文ぶんを使用しようしてループから抜ぬけ出だすことも示しめしています。

サブプログラム

[手続てつづきや関数かんすうの宣言せんげん方法ほうほう、引数ひきすうの渡わたし方かた、戻もどり値ちの取とり扱あつかいなどを説明せつめいします。]

サブプログラムは、メインプログラムの中なかで実行じっこうされる独立どくりつしたコードのブロックであり、手続てつづきと関数かんすうの2つの形式けいしきがあります。手続てつづきは、何なにかを実行じっこうするためのサブプログラムであり、戻もどり値ちを返かえさないのに対たいして、関数かんすうは値ねを返かえします。

手続てつづきの宣言せんげん

procedure Procedure_Name (parameter1, parameter2, ...) is
    -- Declaration statements
begin
    -- Statements
end Procedure_Name;

関数かんすうの宣言せんげん

function Function_Name (parameter1, parameter2, ...) return Return_Type is
    -- Declaration statements
begin
    -- Statements
    return return_value;
end Function_Name;

引数ひきすうの渡わたし方かた

Adaでは、引数ひきすうを参照さんしょう渡わたし、値ね渡わたし、および不変ふへん渡わたしの3つの方法ほうほうで渡わたすことができます。参照さんしょう渡わたしは、引数ひきすうがサブプログラム内ないで変更へんこうされた場合ばあい、呼よび出だし元もとの変数へんすうにも反映はんえいされます。値ね渡わたしは、引数ひきすうをサブプログラムにコピーするため、呼よび出だし元もとの変数へんすうには影響えいきょうを与あたえません。不変ふへん渡わたしは、呼よび出だし元もとの変数へんすうを保護ほごするため、サブプログラム内ないで引数ひきすうを変更へんこうすることはできません。

例れい

procedure Example (A : in Integer; B : out Integer; C : in out Integer) is
begin
    B := A + 1;  -- 変数へんすうBには値ねが代入だいにゅうされる
    C := C + 1;  -- 変数へんすうCには値ねが代入だいにゅうされ、呼よび出だし元もとの変数へんすうにも反映はんえいされる
end Example;

戻もどり値ちの取とり扱あつかい

関数かんすうは常つねに値ねを返かえします。そのため、関数かんすうの戻もどり値ちを変数へんすうに代入だいにゅうすることができます。

例れい

function Add (A : Integer; B : Integer) return Integer is
begin
    return A + B;
end Add;

-- メインプログラム
X := Add(2, 3);  -- Xには5が代入だいにゅうされる

オブジェクト指向しこうプログラミング

[Adaでのオブジェクト指向しこうプログラミングの基本きほん概念がいねんや、クラスの定義ていぎ方法ほうほう、継承けいしょう、ポリモーフィズムなどを説明せつめいします。]

オブジェクト指向しこうプログラミング（OOP）は、プログラムをオブジェクトと呼よばれる単位たんいに分割ぶんかつし、それらの相互そうご作用さようによってプログラムを構成こうせいするプログラミングの方法ほうほう論ろんです。AdaもOOPに対応たいおうしており、以下いかに基本きほん概念がいねんやクラスの定義ていぎ方法ほうほうなどを説明せつめいします。

クラスの定義ていぎ方法ほうほう

クラスは、データ型がたの定義ていぎに似にた方法ほうほうで定義ていぎされます。例たとえば、以下いかはクラス Point を定義ていぎする例れいです。

-- Pointクラスを定義ていぎ
package Point_Class is
   type Point is tagged record
      X, Y : Integer;
   end record;

   procedure Set_Point(P : in out Point; X, Y : Integer);
   function Get_X(P : Point) return Integer;
   function Get_Y(P : Point) return Integer;
end Point_Class;

クラスの宣言せんげんは、package（パッケージ）文ぶんで行おこなわれます。type文ぶんによって、Point という名前なまえのクラスが定義ていぎされ、tagged（タグ付つき）に設定せっていされます。タグ付つきのクラスは、派生はせい型がた（クラス）を定義ていぎする際さいに必要ひつようです。また、record文ぶんによって、クラスのメンバーが定義ていぎされます。

次つぎに、クラスのメンバーにアクセスするための手続てつづきや関数かんすうを定義ていぎします。この例れいでは、プロシージャ Set_Point でクラスのインスタンス P のメンバー X と Y に値ねを設定せっていし、関数かんすう Get_X, Get_Y でそれぞれの値ねを取得しゅとくすることができます。

継承けいしょう

Adaは、継承けいしょうをサポートしています。派生はせい型がた（サブクラス）は、基底きてい型がた（スーパークラス）を拡張かくちょうすることができます。例たとえば、以下いかはクラス Circle を定義ていぎする例れいで、Point クラスを継承けいしょうしています。

-- Circleクラスを定義ていぎ
package Circle_Class is
   type Circle is new Point with record
      Radius : Integer;
   end record;

   procedure Set_Circle(C : in out Circle; X, Y, R : Integer);
   function Get_Radius(C : Circle) return Integer;
end Circle_Class;

type文ぶんの new 構文こうぶんで、派生はせい型がた Circle が Point クラスを継承けいしょうすることが指定していされています。また、with record で、Circle クラスに独自どくじのフィールド Radius を追加ついかしています。継承けいしょう元もとのクラス（スーパークラス）のフィールドは、引ひき続つづき Circle クラスでも使用しようすることができます。

Adaに多重たじゅう継承けいしょうはありますか？

いいえ、Adaには多重たじゅう継承けいしょうはありません。Adaプログラミング言語げんごは、単一たんいつ継承けいしょうの原則げんそくを採用さいようしています。これは、あるクラス（Adaでは"型がた"と呼よばれる）が他たのクラスからのみ継承けいしょうできることを意味いみします。これにより、クラスの階層かいそう構造こうぞうが簡潔かんけつになり、クラス間あいだの複雑ふくざつな関係かんけいが減少げんしょうします。

Adaの選択せんたくには、単一たんいつ継承けいしょうが理解りかいしやすく、シンプルであるという設計せっけい思想しそうが影響えいきょうしています。多重たじゅう継承けいしょうは柔軟じゅうなん性せいを提供ていきょうしますが、クラスの階層かいそう構造こうぞうが複雑ふくざつになる可能かのう性せいがあり、コードの理解りかいやメンテナンスが難むずかしくなることがあるため、Adaは意図いと的てきにこれを避さけています。

代かわりに、Adaはインターフェースの実装じっそう、複数ふくすうのインターフェースのサポート、およびミックスイン（mix-in）のような機能きのうを提供ていきょうし、これにより柔軟じゅうなんなオブジェクト指向しこうプログラミングが可能かのうです。

例外れいがい処理しょり

[例外れいがいが発生はっせいした場合ばあいの処理しょり方法ほうほうについて説明せつめいします。]

Adaには例外れいがい処理しょり機構きこうが備そなわっており、例外れいがいが発生はっせいした場合ばあいに対処たいしょすることができます。例外れいがいは、実行じっこう時じに発生はっせいするエラーであり、予期よきしない状況じょうきょうが発生はっせいした場合ばあいに発生はっせいすることがあります。例たとえば、ゼロ除算じょざん、配列はいれつの境界きょうかい外がいアクセス、不正ふせいな入力にゅうりょく、メモリ不足ふそくなどが挙あげられます。

例外れいがい処理しょりの構文こうぶんは以下いかのようになります。

begin
   -- 例外れいがいが発生はっせいする可能かのう性せいのある処理しょり
exception
   when Exception1 =>
      -- Exception1が発生はっせいした場合ばあいの処理しょり
   when Exception2 =>
      -- Exception2が発生はっせいした場合ばあいの処理しょり
   ...
   when others =>
      -- 上記じょうき以外いがいの例外れいがいが発生はっせいした場合ばあいの処理しょり
end;

ここで、Exception1やException2は、例外れいがいの種類しゅるいを示しめす例外れいがい名めいであり、具体ぐたい的てきな例外れいがい名めいはアプリケーションによって異ことなります。

例外れいがい処理しょりは、try-catch構文こうぶんのような構造こうぞうであるため、プログラムが例外れいがいをキャッチした場合ばあい、該当がいとうする例外れいがい処理しょりブロックが実行じっこうされます。othersキーワードは、上記じょうきの例外れいがい以外いがいのすべての例外れいがいをキャッチするために使用しようされます。

以下いかは、例外れいがい処理しょりの例れいです。

with Ada.Text_IO;
use Ada.Text_IO;

procedure Exception_Handling is
   A : Integer := 10;
   B : Integer := 0;
   Result : Integer;

   -- ゼロ除算じょざんを検出けんしゅつする例外れいがい処理しょり関数かんすう
   function Divide(A, B : Integer) return Integer is
   begin
      if B = 0 then
         raise Program_Error;
      else
         return A / B;
      end if;
   end Divide;

begin
   -- Divide関数かんすうでゼロ除算じょざんが発生はっせいした場合ばあい、
   -- Program_Error例外れいがいが発生はっせいするため、例外れいがい処理しょりが実行じっこうされる
   begin
      Result := Divide(A, B);
      Put_Line("Result: " & Result'Image);
   exception
      when Program_Error =>
         Put_Line("Error: Division by zero.");
   end;

   Put_Line("End of program.");
end Exception_Handling;

この例れいでは、Divide関数かんすうでBが0である場合ばあい、Program_Error例外れいがいが発生はっせいします。Program_Error例外れいがいは、Adaの標準ひょうじゅん例外れいがいであり、実行じっこう時じエラーが発生はっせいした場合ばあいに自動的じどうてきにスローされます。Divide関数かんすうを実行じっこうするために、try-catch構文こうぶんを使用しようし、Program_Error例外れいがいをキャッチし、エラーメッセージを表示ひょうじします。

タスク

[タスクの定義ていぎ方法ほうほうやスケジューリング、相互そうご排除はいじょなどについて説明せつめいします。]

タスクとは、並行へいこう処理しょりを実現じつげんするために使用しようされる概念がいねんです。タスクは、自己じこ完結かんけつ型がたで独立どくりつしたスレッドのようなもので、自分じぶん自身じしんが実行じっこう可能かのうであると同時どうじに、他たのタスクからのメッセージを受信じゅしんして処理しょりを行おこなうこともできます。タスクのスケジューリングは、Adaランタイムシステムによって自動的じどうてきに制御せいぎょされます。

タスクの宣言せんげん方法ほうほうは、以下いかのようになります。

task Task_Name is
   entry Entry_Name (Parameter_List);
end Task_Name;

ここで、Task_Name はタスクの名前なまえ、Entry_Name はタスクから呼よび出だされるエントリーの名前なまえ、Parameter_List はエントリーに渡わたされる引数ひきすうのリストです。

また、タスク間あいだの相互そうご排除はいじょには、以下いかのような手段しゅだんがあります。

• セマフォ（Semaphore）
• ミューテックス（Mutex）
• リモート・リード、ローカル・マルチプル・ライト（Remote_Read, Local_Multiple_Write）

パッケージ

[Adaでのパッケージの作成さくせい方法ほうほうや使用しよう方法ほうほう、名前なまえ空間くうかんの機能きのうについて説明せつめいします。]

パッケージは、Adaの名前なまえ空間くうかんを実現じつげんするための機能きのうで、関連かんれんするサブプログラムや変数へんすうをまとめることができます。パッケージには、公開こうかいされるインターフェース部ぶと、実装じっそう部ぶがあります。インターフェース部ぶには、他たのモジュールからアクセス可能かのうなサブプログラムや変数へんすうを定義ていぎし、実装じっそう部ぶには、これらのサブプログラムや変数へんすうの実装じっそうを記述きじゅつします。

パッケージの宣言せんげん方法ほうほうは、以下いかのようになります。

package Package_Name is
   -- インターフェース部ぶ
end Package_Name;

package body Package_Name is
   -- 実装じっそう部ぶ
end Package_Name;

ファイル入出力にゅうしゅつりょく

[ファイルを開ひらいて読よみ書かきする方法ほうほうについて説明せつめいします。]

Adaにおけるファイル操作そうさは、ストリーム（Stream）と呼よばれる機能きのうを使用しようして行おこないます。ファイルを開ひらくには、以下いかのようにします。

with Ada.Text_IO; use Ada.Text_IO;

procedure Main is
   F : File_Type;
begin
   Create (F, Out_File, "output.txt");
   -- 出力しゅつりょく先さきのファイルを "output.txt" に設定せってい
end Main;

ファイルからの入力にゅうりょくや、ファイルへの出力しゅつりょくは、Get_Line、Put_Line、Read、Write などのサブプログラムを使用しようして行おこないます。

デバッグとテスト

[Adaのデバッグやテストの方法ほうほうについて説明せつめいします。]

Adaには、コンパイル時じの静的せいてき検査けんさやランタイム時じの動的どうてき検査けんさなど、様々さまざまなレベルの検査けんさが備そなわっています。

まず、コンパイル時じの検査けんさについてです。Adaは、型かた安全あんぜん性せいが非常ひじょうに高たかい言語げんごです。静的せいてき型がた検査けんさ機能きのうにより、変数へんすうや定数ていすうの型かたが一致いっちしない場合ばあい、または未み初期しょき化かの変数へんすうを使用しようした場合ばあいなど、コンパイル時じにエラーが発生はっせいします。これにより、多おおくの実行じっこう時じエラーを未然みぜんに防止ぼうしできます。

ランタイム時じの検査けんさとして、例外れいがい処理しょりがあります。プログラム中ちゅうで発生はっせいする予期よきせぬエラーに対応たいおうするため、例外れいがい処理しょりを使用しようすることができます。例外れいがいが発生はっせいした場合ばあいは、例外れいがいの種類しゅるいに応おうじた処理しょりを行おこなうことができます。

また、Adaにはコードカバレッジツールも含ふくまれています。コードカバレッジツールは、テスト中ちゅうに実行じっこうされたコードの割合わりあいを測定そくていするために使用しようされます。これにより、どのコードがテストされていないかを特定とくていし、テストの改善かいぜん点てんを見みつけることができます。

附録ふろく

チートシート

with Ada.Text_IO; use Ada.Text_IO;

procedure Subprogram_Cheat_Sheet is
  -- 関数かんすうの定義ていぎ
  function Add(a, b : Integer) return Integer is
  begin
    return a + b;
  end Add;

  -- 手続てつづきの定義ていぎ
  procedure Greet(name : in String) is
  begin
    Put("Hello, ");
    Put(name);
    Put_Line("!");
  end Greet;

  -- 引数ひきすうの渡わたし方かた
  procedure Pass_By_Value(x : Integer) is
  begin
    x := 0; -- 値ねを変更へんこうしても呼よび出だし元もとの変数へんすうに影響えいきょうはない
  end Pass_By_Value;

  procedure Pass_By_Reference(x : in out Integer) is
  begin
    x := 0; -- 値ねを変更へんこうすると呼よび出だし元もとの変数へんすうにも影響えいきょうがある
  end Pass_By_Reference;

  -- 戻もどり値ちの取とり扱あつかい
  function Divide(a, b : Integer) return Float is
    Result : Float;
  begin
    if b = 0 then
      raise Constraint_Error with "Division by zero";
    else
      Result := Float(a) / Float(b);
    end if;
    return Result;
  end Divide;

  -- 例外れいがい処理しょり
  procedure Exception_Handling is
  begin
    Put("Enter an integer: ");
    declare
      Num : Integer := Integer'Value(Get_Line);
    begin
      if Num < 0 then
        raise Constraint_Error with "The number must be non-negative";
      else
        Put("The square root of ");
        Put(Num, Width => 0);
        Put(" is ");
        Put(Float'Sqrt(Float(Num)), 2);
        New_Line;
      end if;
    exception
      when Constraint_Error =>
        Put_Line("Error: " & Exception_Message);
    end;
  end Exception_Handling;

begin
  -- テスト
  Put_Line("Add(1, 2) = " & Integer'Image(Add(1, 2)));
  Greet("Alice");

  -- 引数ひきすうの渡わたし方かた
  declare
    x : Integer := 1;
  begin
    Pass_By_Value(x);
    Put_Line("x = " & Integer'Image(x)); -- 1
    Pass_By_Reference(x);
    Put_Line("x = " & Integer'Image(x)); -- 0
  end;

  -- 戻もどり値ちの取とり扱あつかい
  Put_Line("Divide(4, 2) = " & Float'Image(Divide(4, 2)));
  Put_Line("Divide(4, 0) = " & Float'Image(Divide(4, 0))); -- Constraint_Error

  -- 例外れいがい処理しょり
  Exception_Handling;
end Subprogram_Cheat

with Ada.Text_IO; use Ada.Text_IO;

procedure OOP_Cheat_Sheet is

   -- クラスの定義ていぎ
   type MyClass is tagged record
      x: Integer;
   end record;

   -- クラスの継承けいしょう
   type MySubclass is new MyClass with record
      y: Integer;
   end record;

   -- ポリモーフィズム
   type MyClass_Access is access all MyClass'Class;
   procedure MyProc (Obj : MyClass_Access'Class);

   -- クラスメソッド
   function Get_X (Obj : MyClass'Class) return Integer is
   begin
      return Obj.x;
   end Get_X;

   -- クラスの操作そうさ
   procedure Set_X (Obj : in out MyClass'Class; Val : Integer) is
   begin
      Obj.x := Val;
   end Set_X;

   -- クラスの初期しょき化か
   overriding procedure Initialize (Obj : in out MyClass'Class) is
   begin
      Obj.x := 0;
   end Initialize;

   -- クラスの終了しゅうりょう処理しょり
   overriding procedure Finalize (Obj : in out MyClass'Class) is
   begin
      null;
   end Finalize;

   -- クラスの利用りよう例れい
   Obj : MyClass'Class := new MyClass;
begin
   Set_X (Obj, 42);
   Put_Line (Integer'Image (Get_X (Obj)));
end OOP_Cheat_Sheet;

用語ようご集しゅう

1. パッケージ（package）：関連かんれんするサブプログラムや型かた、定数ていすうなどをひとまとめにした、独立どくりつしたコンパイル単位たんい。パッケージ仕様しようとパッケージ本体ほんたいに分わかれる。
2. タイプ（type）：データの種類しゅるいを定義ていぎする。整数せいすう型がた、浮動ふどう小数点しょうすうてん型がた、文字もじ型がたなどがある。型かたの定義ていぎには、レコード型がたや配列はいれつ型がたなども使用しようできる。
3. モジュール（module）：Adaプログラムの構成こうせい単位たんい。複数ふくすうのパッケージやサブプログラムから構成こうせいされ、単一たんいつのコンパイル単位たんいとなる。
4. サブプログラム（subprogram）：繰くり返かえし使つかわれる処理しょりをまとめた、関数かんすうや手続てつづきなどの部品ぶひん。関数かんすうは値ねを返かえし、手続てつづきは値ねを返かえさない。
5. 引数ひきすう（parameter）：サブプログラムに与あたえる入力にゅうりょく値ち。サブプログラム内ないでのみ使用しようできる変数へんすうであり、呼よび出だし元もとの変数へんすうに影響えいきょうを与あたえない。
6. 例外れいがい（exception）：プログラムの実行じっこう中ちゅうに発生はっせいするエラーを処理しょりするためのメカニズム。例外れいがいが発生はっせいした場合ばあいは、例外れいがい処理しょり部分ぶぶんに制御せいぎょが移うつる。
7. 継承けいしょう（inheritance）：オブジェクト指向しこうプログラミングにおける、新あたらしいクラスの定義ていぎ時じに既存きそんのクラスを基もとにして新あらたな機能きのうを追加ついかする仕組しくみ。
8. ポリモーフィズム（polymorphism）：オブジェクト指向しこうプログラミングにおける、異ことなるクラスのオブジェクトを同おなじインタフェースで扱あつかうことができる性質せいしつ。
9. タスク（task）：並列へいれつ処理しょりを実現じつげんするための機能きのう。Adaでは、タスクの生成せいせい、同期どうき、通信つうしんなどを行おこなうことができる。
10. ファイル（file）：外部がいぶ記憶きおく装置そうちに格納かくのうされたデータを扱あつかうためのデータ型がた。ファイルをオープンすることで、ファイルからの入力にゅうりょくやファイルへの出力しゅつりょくが可能かのうになる。
11. 名前なまえ空間くうかん（namespace）：名前なまえの衝突しょうとつを回避かいひするための仕組しくみ。パッケージの名前なまえ空間くうかんは、パッケージ内ないで定義ていぎされます。