米国国防省の標準高等言語エイダ（Ａｄａ）を語れ！

米国国防省の標準高等 ..

728:Adaとは？
09/09/28 23:38:15
プログラミング言語のひとつ。米国防総省が作らせた。

Adaが現れた80年代中期は、プログラマ不足やプログラムの品質が問題になりつつある頃だった。
コンピュータの発展で兵器が「スマート」になる反面、バグが軍事システムに与える影響が真剣に考慮された。
兵器システムの電子化については、1975年初飛行のF-16が火気管制装置をディジタル化し、操縦装置も全電子化を行うなど、待ったなしの状態で進んでいた。
米国国防総省はこの領域に関して詳しく調査した結果、従来のプログラミング言語では兵器の電子装置開発には不十分であるとして、
以下のような趣旨の要求仕様書を作成して新プログラム言語を募集した。

* 厳格な文法を持ち、あいまいさの無いこと
* コンカレント・プロセスを記述できること
* 文字コードなどの外部環境による非互換性を排除できること
*
その他、詳細な要求が挙げられた。プログラム言語が特定業者への発注ではなく募集で行われたのは、
70年代中期からの兵器開発における競争試作が成功したことに基づく。いくつかの候補を退け最終的に勝ち抜いたのは
仏Cll Honneywell-Bullのジャン・イシビアーの設計だった。この設計は国防総省に採用され、正式名称"Ada"が与えられた。
Adaと言う名称は、Charles Babbedgeにゆかりのある女性Ada Lovelaceにちなんでつけられたものである
Adaは記述能力と可読性の高さを高い水準で両立させており、強い期待が寄せられた。国防総省は今後納入されるソフトウェアは
Adaで書かれていなければならないと宣言した。しかし一方では、Algol-68やPL/1の失敗に懲りていたコンピュータ科学分野からはその仕様の巨大さに強い批判が浴びせられた。
最終的にAdaが普及しなかったことは説明の必要がない。しかし、普及しなかった原因が当時浴びせられた批判とは無関係であり、純粋に市場原理によるものであることは特記に値する。
Adaは非常に可読性が高い点とプログラマが見つからないことから"Read Only Language"などと揶揄された。
しかし、同時期に進められた国防総省のVHSIC*2プロジェクトの産物であるVHDLに色濃い影響を残している。

729:デフォルトの名無しさん
09/09/29 01:54:47
Adaでハローワールドしたけど実行ファイル重過ぎて萎えたわｗ

730:デフォルトの名無しさん
09/09/29 10:09:00
>>729
リンカに-sを渡しているか？
-s無しだと、デバッグ情報が入ったままだぞ。
Adaのライブラリはデバッグ情報込みでビルド済みだからな。

731:デフォルトの名無しさん
09/10/01 12:51:49
>>728
確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな～～ｗｗ

732:デフォルトの名無しさん
09/10/05 11:06:45
こんなマイナー言語のスレにも自演荒らしって湧くんだな

733:デフォルトの名無しさん
09/10/06 05:24:28
Aja, when all my dime dancin' is through, i run to you...

734:デフォルトの名無しさん
09/10/08 00:26:59

Adaの凄いところは、Algol系のブロック構造を持つ、抽象データ型を
サポートする、統合開発環境（名前忘れた）がある、といったところ。

これらは、当時、膨らむ一方のソフトウェア開発コストに危機感を
持った米国国防総省が、生産性と品質を向上させるために取り組んだプロジェクトがAdaを生んだ。
今の技術常識からすると、上記のAdaの特徴は当たり前すぎて、どう凄いのかピンと来ないと思うけど、
　　これが20年以上前に作られたところが凄い。というか、
　　Adaは、現在のOO言語（+クラスライブラリ+開発環境）の基礎となるアイデアおよび技術の基になっ
ているのだ。

Adaって、言語仕様だけじゃなく、
処理系の正当性を認定するためのテストスイートや、国に認定を受ける手順まで標準化されてるんですね。
さすが軍用言語だ...

こんなのをみつけました

Ada Information Clearinghouse - AdaIC URLﾘﾝｸ(www.adaic.org)
Ada Home the Home of the Brave Ada Programmers (HBAP) URLﾘﾝｸ(www.adahome.com)

ところで、イベントや並列動作を記述できる、VHDLという、Adaの親戚言語があります。
これも国防総省言語なんですが、この言語は、LSIをつくるとき日常的に使われてます。

735:デフォルトの名無しさん
09/10/08 01:22:24
adaicは規格を配布しているところなので、次スレの>>1に入れたいねえ。
何年後の話だろ……。

736:デフォルトの名無しさん
09/11/05 11:05:38
Programming Language Conceptってクラスで、
Fortran -> Python ときて今Adaをやってます
なんか馴染みにくい…
来週からはHaskellだ

737:デフォルトの名無しさん
09/11/06 19:27:08
>>736
授業！
すごいなー。いいなー。
どこまでやってる？
列挙型の要素が関数とか、genericのis <>とか、デフォルト引数は毎回評価とか、
taskを返す拡張return中でランデブーしたらデッドロックするとかやってる？

738:デフォルトの名無しさん
09/11/12 12:04:20
>>736
Haskelはなじみにくいどころではないだろうな。
しっかし、次は論理型言語の出番だろうからPrologか?

739:デフォルトの名無しさん
10/02/12 19:36:56
落ちないね。

740:デフォルトの名無しさん
10/03/17 18:37:31
定期ho

741:デフォルトの名無しさん
10/03/17 18:57:02
重要なところとして、タスク、ランデブーが外れてる。

742:デフォルトの名無しさん
10/05/23 19:07:15
>>122　Ａｄａ自体は如何にも理想主義的ですが、それを延々と使い続けているのは、アングロサクソンにとりわけ顕著な、"pragmatism"ってやつに拠るんじゃないですか？
納得できる程度の種は手に入れたので、それをいちいちおじゃんにしないで改良して使って、「走りながら考えよう。」式開発手法を結局実際にはやっているんですよ。
やっぱり叩き台が無いと集団作業って進まないでしょｗ
７０年代当時、何とは無しにプログラミング言語の学術体系がこなれてきたように思えたので、ひとつ仕切り直して厳格に規定してみようと、お役所らしくやったみたいですが、コンペの結果採用されたのはカソリック系西ゴート人の発案でしたね。
西ゴート人らしい如何にもイデア主義的（≒人間中心的理想主義的）な仕様は社会的基盤としてはやはり優れていたのではなかったのでしょうか。
Ａｄａは彼等にとって単なるプログラミング言語としてのみよりも一般的なソフトウェア開発環境として取り扱われているようでもありますから、
例えばハードウェアの開発史におけるＡＬＵのようなアングロサクソン得意の現実主義的一発屋的背に腹は変えられずだったんだけど出来てみたらこりゃ凄いね的アイデアが生まれた様な成果を期待するための地平として取り扱われているんですよきっと。

743:デフォルトの名無しさん
10/05/23 19:15:03
>>133　絵だからなｗ(黒　２０１０年時点だとベッキークルーエルちゃんとの対比で語ることも可能かも知れませんねｗｗ

744:デフォルトの名無しさん
10/05/23 19:39:30
>>323　Ｃ表記マンセーはメモリがキロ５万円した頃の思想と思われｗ　
メモリが産業の米と呼ばれるようになりキロ当たりの単価が本当の米より安くなりＯＯＰが当然の手法になった現代に於いては、逐次処理表記に拘り過ぎると歴史を知らずに蟻地獄コードを書く後輩を再生産する危険が増すと思われまするｗｗ

745:デフォルトの名無しさん
10/05/23 20:03:13
昔はｘ８６とか、今はＡＲＭ７とか貧相な石で皆Ｃの勉強してるんだから、
石の値段の安くなったのを機会にＡｔｏｍでＡｄａの勉強できるとまた流行るかも知れませんね。
テレビ観るので落ちます。

746:デフォルトの名無しさん
10/05/23 20:36:53
Adaって最新仕様で一昔前の仕様と比べて随分機能が増えたけど、このスレの人達はそういう部分もちゃんと追えてるの？
スレが立ったころと今では全く違うはず。

747:デフォルトの名無しさん
10/05/24 21:47:57
スレが立ってからつってもなあ。Ada2005が出ただけとも言える。
次はAda2012だけど、それまでこのスレはあるんだろうか？

748:デフォルトの名無しさん
10/05/25 18:58:58
立ってから8年も経つんだし、2年くらい余裕じゃないか？ｗ

>>746
05は追えてるつもり
12は全部はやらないかも

749:デフォルトの名無しさん
10/06/05 07:06:13
このスレの住人は仕事でAda使ってんの？
趣味？

750:デフォルトの名無しさん
10/06/05 18:24:37
趣味に決まってんだろ。
仕事があるならくれよ、喜んで行くからさ。

751:デフォルトの名無しさん
10/06/05 19:06:39
アメリカから押し売りされる航空機のソフトウェア開発の仕事があるらしいですよ

752:デフォルトの名無しさん
10/06/05 20:10:36
行く？目隠されて連れて行かれるんだよ。

753:デフォルトの名無しさん
10/06/07 21:25:31
ドナドナドーナードーナー