Ada

Ada
	Adaのロゴ
パラダイム	オブジェクト指向しこうプログラミング、命令めいれい型がたプログラミング、構造こうぞう化かプログラミング、マルチパラダイムプログラミング
登場とうじょう時期じき	1983年ねん (41年ねん前まえ)
設計せっけい者しゃ	ジャン・イシュビア; 1995年ねん拡張かくちょうはS. Tucker Taft主導しゅどう
開発かいはつ者しゃ	ジャン・イシュビア、S. Tucker Taft
最新さいしんリリース	ISO/IEC 8652:2012 (Ada 2012)
型付かたつけ	nominative, 安全あんぜんな強つよい静的せいてき型付かたつけ
主おもな処理しょり系けい	GNAT (GCC) 他た
方言ほうげん	Ada 83 Ada 95 Ada 2005 Ada 2012
影響えいきょうを受うけた言語げんご	ALGOL 68、Pascal、Modula-2、C++、Smalltalk、Java、Eiffel、ALGOL 60、Green、Ada 95
影響えいきょうを与あたえた言語げんご	C++, PL/SQL, VHDL, Java, C言語げんご (C99)
プラットフォーム	多数たすう
ウェブサイト	www.adaic.org
拡張子かくちょうし	.adb, .ads
	テンプレートを表示ひょうじ

Ada（エイダ）は、構造こうぞう化か・静的せいてき型付かたつけ・命令めいれい型がた・オブジェクト指向しこうのパラダイムを持もつ汎用はんようプログラミング言語げんごの一ひとつである。構文こうぶんはAlgol系けいである。

史上しじょう初はつのプログラマとされるエイダ・ラブレスの名前なまえにちなんでAdaと命名めいめいされている。ADAと表記ひょうきするのは誤あやまり。

フリーのコンパイラとしては、GNATなどがある。

特徴とくちょう

Adaのデータ型がたの階層かいそう構造こうぞう

1979年ねん、米国べいこく国防総省こくぼうそうしょうが信頼しんらい性せい、保守ほしゅ性せいに優すぐれた、主しゅとして組くみ込こみシステム向むけの言語げんごを作つくりたいという意図いとのもと、国際こくさい競争きょうそう入札にゅうさつを行おこない4社しゃに発注はっちゅう、各かく設計せっけい仕様しよう書しょの表紙ひょうしが赤あか、青あお、黄き、緑みどりだったことから、そのままそれぞれの言語げんご名称めいしょうとしてRED、BLUE、YELLOW、GREENと呼よばれた。この入札にゅうさつで優勝ゆうしょうしたのはフランス人じんチームで、公平こうへいを期きすため選定せんてい時じにはGREENと名付なづけられた。そのような理由りゆうから、イメージカラーは緑みどりである。特徴とくちょう的てきな要件ようけんとしては、大だい規模きぼ開発かいはつや長期ちょうき保守ほしゅ性せいの観点かんてんから、

コーディング効率こうりつよりも可読かどく性せいを重視じゅうしすること
プリプロセッサマクロを持もたないこと

などがあった。

プログラム言語げんごとしての機能きのうとしては、

強つよい型かた検査けんさ（コンパイル時じおよび実行じっこう時じ）。属性ぞくせいによって型かたに関かんする情報じょうほうが取得しゅとくできる。
複雑ふくざつな型かたを持もつ定数ていすう。
手続てつづき・関数かんすう・演算えんざん子この多重たじゅう定義ていぎ。
プラグマを使つかった処理しょり系けい依存いぞんの機能きのうの指定してい。
パッケージ（後のちにC++がnamespaceとして追従ついしょう）
汎用はんようプログラミング（後のちにC++がテンプレートとして追従ついしょう）
並行へいこうプログラミング（タスク、entry/accept/select文ぶんなど）
例外れいがい

など、当時とうじとしては先進せんしん的てきな機能きのう^{[注釈ちゅうしゃく 1]}を意欲いよく的てきに取とり入いれたため、米国べいこく国防総省こくぼうそうしょうは大おおきなものとなってしまった言語げんご仕様しようをまとめるのに、初版しょはんのStrawman（わら男おとこ、案山子かかしの意味いみもある）からWoodenman（木き男おとこ）、Tinman（ブリキ男おとこ、前述ぜんじゅつの案山子かかしとともに『オズの魔法使まほうつかい』に出でてくる）、Ironman（鉄男てつお）、最終さいしゅう版ばんのSteelman（鋼鉄こうてつ男おとこ）に至いたるまで5つのバージョンに分わけて策定さくていを行おこなった。

言語げんご仕様しようの大おおきさや厳密げんみつさのため、当時とうじのコンピュータが持もっていた資源しげんでは、処理しょり系けいの実装じっそうにミニコンやワークステーション程度ていどを必要ひつようとし、16ビットパソコンには市場いちば性せいといった事情じじょうもあり実装じっそうはほとんどない。実際じっさいにはAdaは、大だい企業きぎょうにおいて、主しゅとして信頼しんらい性せいや保守ほしゅ性せいを要求ようきゅうされるシステムの開発かいはつでのみ普及ふきゅうした。というよりも、実際じっさいにどの程度ていど徹底てっていされたかは不明ふめいだが、策定さくていの主体しゅたいであった米国べいこく国防総省こくぼうそうしょうが発注はっちゅうするようなもの、即すなわち兵器へいきの開発かいはつにおいて条件じょうけんとされたと言いわれる。

この時期じきとしては先進せんしん的てきであった、その他たの特徴とくちょうとしては、

コンパイラの認定にんてい制度せいど: 仕様しよう準拠じゅんきょか否ひかの検証けんしょうプログラムキットが規定きていされ、合格ごうかくしない処理しょり系けいは「Adaコンパイラ」と称しょうすることができない。
自動じどうビルド: 複数ふくすうモジュールの依存いぞん性せいから、再さいコンパイルの要よう否ひを自動じどう判定はんていする（いわゆるMakefileの記述きじゅつが不要ふよう）

などがあげられる。

策定さくてい作業さぎょう中ちゅうに仕様しようが大おおきくなっていった際さいには、仕様しようが高度こうどに巨大きょだい化かした言語げんごが、兵器へいきのように高度こうどな信頼しんらい性せいを要求ようきゅうされる分野ぶんやに、国防総省こくぼうそうしょうの「お墨付すみつき」として使用しようされることを危あやぶむ向むきもあった。たとえばアントニー・ホーアは1980年度ねんどのチューリング賞しょう受賞じゅしょう者しゃだが^[1]、その受賞じゅしょう記念きねん講演こうえん (Turing Award Lecture) "The Emperor's Old Clothes" において、自身じしんのALGOL 68（en:ALGOL 68、やはり仕様しようの巨大きょだい化かで知しられる）に関かんする経験けいけんなどに触ふれたうえで、Adaへの憂慮ゆうりょで締しめくくっている^{[注釈ちゅうしゃく 2]}。

標準ひょうじゅん

言語げんご仕様しようは、最初さいしょに1983年ねんにMIL規格きかくとして規格きかく化かされ、エイダ・ラブレスの生年せいねんである1815年ねんに因ちなんで、MIL-STD-1815と採と番ばんされた。この規格きかくはANSI標準ひょうじゅん、1987年ねんにISO標準ひょうじゅん ISO/IEC 8652:1987 として標準ひょうじゅん化かされた。

1990年ねんより、主しゅとしてタスキング仕様しようの改善かいぜんおよびオブジェクト指向しこうの導入どうにゅうを目的もくてきとして、ISO標準ひょうじゅん (ISO/IEC 8652:1987) の改訂かいてい作業さぎょうが開始かいしされた。1995年ねん2月がつ15日にちにISO標準ひょうじゅんとして改訂かいていが承認しょうにんされ、オブジェクト指向しこう言語げんごのうち、史上しじょう初はつの国際こくさい標準ひょうじゅんとなった。1995年ねんの規格きかくは、オブジェクト指向しこうの他ほか、下記かきのような仕様しようも標準ひょうじゅん化かされている。

他た言語げんご (C/FORTRAN/COBOL) との相互そうご運用うんようインターフェイス
この時点じてんでC++との相互そうご運用うんようインターフェイスが標準ひょうじゅん化かできなかったのは、C++の標準ひょうじゅん化かがまだだったからである（C++の標準ひょうじゅんは、紛糾ふんきゅうを経へて約やく3年ねん半はん後ごの1998年ねん9月がつ1日にちに承認しょうにんされた）
分散ぶんさん処理しょり (RPC)

2000年ねんにTechnical Amendmentが発行はっこうされた（ISO/IEC 8652:1995/COR1:2000）。同どう改訂かいてい版ばんは、JISでは2002年版ねんばん (JIS X 3009:2002) に対応たいおうする。JIS X 3009は本文ほんぶんの翻訳ほんやくはしていない「要約ようやくJIS」であった。2012年ねん1月がつ20日にちを以って「国際こくさい規格きかく周知しゅうちを目的もくてきとして要約ようやくJISを発行はっこうしたが，周知しゅうちとしての目的もくてきは終了しゅうりょうしたため。」として廃止はいしされている。

Ada の ISO 規格きかくは、その後ご、2005年ねんと2012年ねんにも改訂かいていされている。

コード例れい

Adaのソースコードは各かくパッケージの宣言せんげん部ぶを .ads ファイル (specification file) に、実装じっそう部ぶを .adb ファイル (body file) に記述きじゅつする。

リファレンスマニュアルなどでは慣例かんれい的てきに3スペース（空白くうはく3個こ）のインデントが使つかわれている。大文字おおもじと小文字こもじを区別くべつしないが、識別子しきべつしは慣例かんれい的てきに単語たんごの先頭せんとうを大文字おおもじにして、さらに単語たんご間あいだをアンダースコアでつなぐ（キャメルケースとスネークケースの併用へいよう）。

Hello World

-- Ada.Text_IO パッケージを取とり込こむ。
with Ada.Text_IO;
-- use 節ぶしで指定していすることでパッケージ名めいの修飾しゅうしょくを省略しょうりゃくすることも可能かのう。
--use Ada.Text_IO;

procedure Program is
begin
   Ada.Text_IO.Put_Line("Hello, world!");
   --Put_Line("Hello, world!");
end Program;

ループと条件じょうけん分岐ぶんき

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

procedure Program is
   I : Integer := 0;
   F : Float;
begin
   for I in 0 .. 10 loop
      -- 左寄ひだりよせで出力しゅつりょく。
      Ada.Integer_Text_IO.Put(I, 0);
      if I mod 2 = 0 then
         Put_Line(": even number.");
      else
         Put_Line(": odd number.");
      end if;
      F := Float(I) * 0.1;
      Ada.Float_Text_IO.Put(F, 0, 1, 0);
      Put_Line("");
   end loop;
end Program;

利用りよう例れい

最近さいきん^[いつ?]の利用りよう例れいとしてはF-22戦闘せんとう機きや97式しき魚雷ぎょらいなどがある。ただしこの分野ぶんやでもAdaの陳腐ちんぷ化かが進すすんでおり、F-35戦闘せんとう機き以降いこうはC++へ移行いこうしている。

民生みんせい品ひんではあまり利用りようされていないが、信頼しんらい性せいを重視じゅうしする航空機こうくうきの制御せいぎょソフトウェアに利用りようされることがある。例れいとしてはボーイング777など。

脚注きゃくちゅう

注釈ちゅうしゃく

^ 先進せんしん的てきということは、い換いかえれば「こなれていない」ということであり、兵器へいきのようなシステムでは冒険ぼうけん的てき過すぎると言いえなくもない。
^ この講演こうえんは、2通とおりのソフトウェアの設計せっけい構築こうちく法ほうについて述のべた "One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies."; 「ひとつめの方法ほうほうはあきらかに欠陥けっかんが無ないようにso simpleにするというもので、もうひとつの方法ほうほうはあきらかな欠陥けっかんが無ないようにso complicatedにするというものである」という文章ぶんしょうでも知しられる。

出典しゅってん

^ C. Antony R. Hoare - A.M. Turing Award Laureate

Ada

目次もくじ