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

**名無しさんは伊達じゃない** · NG

どうよ？

**デフォルトの名無しさん** · 2007/10/13(土) 16:19:18

保守

**デフォルトの名無しさん** · 2007/11/09(金) 16:35:00

age

**デフォルトの名無しさん** · 2007/11/20(火) 17:08:54

Ada本買った記念age

**デフォルトの名無しさん** · 2007/11/20(火) 23:00:53

>>685
図書館にはマトモな本無くて1冊欲しいんでkwsk

**685** · 2007/11/21(水) 11:36:55

>>686
1990年の頃のやつみたいだから古いですよ。
丸善から出てた「ADA 言語とプログラミング方法論」。1万円以上した orz

新宿のジュンク堂書店に売ってました。
ただ本の場所がプログラミング言語の棚じゃなくて、ソフトウェア開発の辺りの
一番下の棚にあったので見つけずらかった。

まだ他のAda本が2冊くらい売ってたかな。いずれも古いです。

**686** · 2007/11/21(水) 12:53:55

おぉ、ありがとうございます。
今度見に行ってきます。

**デフォルトの名無しさん** · 2007/11/23(金) 16:58:09

池袋のジュンク堂にもあったよ？

**デフォルトの名無しさん** · 2008/01/28(月) 17:31:21

賀正

**デフォルトの名無しさん** · 2008/02/19(火) 01:08:21

age

**デフォルトの名無しさん** · 2008/02/20(水) 22:49:48

Adaか、良い言語だった。昔、仕事に使うつうことで大量に書籍買ったが、
それ以後この言語が普及することもなく、書籍はまとめて捨てた。

**デフォルトの名無しさん** · 2008/02/20(水) 23:23:03

一体どんな仕事で使ったの？

**デフォルトの名無しさん** · 2008/02/21(木) 02:39:56

自衛隊は言語何使ってんだ

**デフォルトの名無しさん** · 2008/03/01(土) 21:04:25

N88-BASIC

**デフォルトの名無しさん** · 2008/03/02(日) 11:45:26

備品管理システムはCOBOLだよ。

**デフォルトの名無しさん** · 2008/03/29(土) 00:50:07

保守sage

**デフォルトの名無しさん** · 2008/03/29(土) 16:56:00

結局Adaの国内での開発事例ってないんだな

**デフォルトの名無しさん** · 2008/03/29(土) 17:10:11

エイダの利点ってなにですか？

**デフォルトの名無しさん** · 2008/03/29(土) 18:34:08

米軍が使うほどの高級言語

**デフォルトの名無しさん** · 2008/03/30(日) 00:29:14

けど、それだと、すごくお高いんじゃないですか？

**デフォルトの名無しさん** · 2008/03/30(日) 14:56:51

なに言うてるか全然わからへん

**デフォルトの名無しさん** · 2008/03/31(月) 23:48:39

>>693
横通の衛星通信システム地上局の系再構成サブシステム。
トランスポンダがどうのこうの言うてたわ。
途中で疾病リタイヤしてしまい、その後このシステムが
実現したかどうかは判らない。
某有名企業が多数参加していた。

**デフォルトの名無しさん** · 2008/04/01(火) 00:49:15

エイダってwin用のアプリとか作れんの？

**デフォルトの名無しさん** · 2008/04/01(火) 01:23:28

滅多な事言うでねぇ

**デフォルトの名無しさん** · 2008/04/01(火) 03:06:12

AdaでGUI作ろうと乱心^h^hした時の選択肢って
GtkAda
QtAda
wxAda
TASH
GWindows
ガチ
で全部？

**デフォルトの名無しさん** · 2008/04/11(金) 02:50:28

俺は、会社の上司からCOBOL、Cとペンタゴンの押した言語は
メジャーになるからお前も覚えておけと言われて必死にAdaを覚えたｗ

今思うと騙されたｗ orz

軍事、航空、宇宙関係のシステムやらないとお目にかかれないね。

PL/SQLやる時にはAda互換だから簡単に入れたけど。

>>968
一応、ISSの開発がAdaだと思ったよ。うちの会社の奴が「きぼう」の
開発の時に必死に覚えてた気がする。

**デフォルトの名無しさん** · 2008/04/14(月) 11:19:32

>>968

**デフォルトの名無しさん** · 2008/05/20(火) 01:34:20

確かF-22 ラプターの制御ソフトはAdaで書かれてたんじゃ？

**デフォルトの名無しさん** · 2008/05/22(木) 13:05:33

>>709
その噂はよく聞くよね。真偽は不明だけど。

タイプ量多いけど Adaってそんなに悪くない言語だと思うんだけどなぁ。
subtypeとか名前付き引数とかけっこういいと思った。

**デフォルトの名無しさん** · 2008/05/22(木) 21:41:55

軍の情報管理はマイナーな言語使う決まりでもあるのか

**デフォルトの名無しさん** · 2008/05/22(木) 22:15:03

>>711
kwsk
その言い方だとアメリカ以外のいずれかの国の軍はAda以外のマイナーな言語を使ってるんだよな？

**デフォルトの名無しさん** · 2008/05/22(木) 22:44:27

Adaてマイナーだろ

**デフォルトの名無しさん** · 2008/05/26(月) 04:18:46

まあマイナーなのがADAになったな、と。

**デフォルトの名無しさん** · 2008/07/24(木) 01:10:09

保守っとこう

以下チラ裏
GMGPLって結局のところ「ユニット自体を弄らずにgenericsか実行可能形式を作る場合はGPLにしなくても良いよ」
って事なんだろうか…？

つーかmacadaには
>They are built from the FSF source tree and the Ada run time library is licensed under the MGPL and can be used to generate code which is not Open Source.
って書いてあるんだが、600辺りと矛盾するよなぁ…。
GNAT GPL限定の話だったのか？
大して英語出来ない俺には険しい道だ…。

**デフォルトの名無しさん** · 2008/09/23(火) 07:22:50

ほ

**デフォルトの名無しさん** · 2008/09/23(火) 19:54:38

日本人はなぜかみんなADAを避けている。なぜか？猿真似しかできない、周りがやらないとできないから。
日本の会社の製品はこれだけかな？
JEOL Nuclear Magnetic Resonance

だがADAで書かれた最先端の製品は知らずに使っている。
http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html

Airbus 320, 330, 340
Airbus 380
Beechjet 400A (US business jet)
Beech Starship I (US business turboprop)
Beriev BE-200 (Russian forest fire patrol plane)
Boeing 737-200, -400, -500, -600, -700, -800
Boeing 747-400
Boeing 757, 767
Boeing 777
Boeing 787
Boeing 787 Air Conditioning Control Unit
Canadair Regional Jet
Embraer CBA-123 and CBA-145 (Brazilian-made regional airliners)
Fokker F-100 (Dutch DC-9-size airliner - American Airlines flies these)
Ilyushin 96M (Russian jetliner)
Lockheed-Martin Hercules "hurricane chaser"
Saab 2000
Tupolev TU-204 (Russian jetliner)
BARCO Avionics Control Display Manager

**デフォルトの名無しさん** · 2008/09/23(火) 20:34:32

>>717
頭が悪いのか釣りなのかはっきりしろ

**デフォルトの名無しさん** · 2008/09/26(金) 11:32:14

頭の悪い釣りです

**デフォルトの名無しさん** · 2008/09/27(土) 00:18:46

なるほど

**デフォルトの名無しさん** · 2008/10/22(水) 22:33:09

age

**デフォルトの名無しさん** · 2008/12/15(月) 20:39:23

保守

**デフォルトの名無しさん** · 2009/02/20(金) 00:15:21

ho

**デフォルトの名無しさん** · 2009/03/14(土) 23:39:31

syu

**デフォルトの名無しさん** · 2009/04/25(土) 18:17:07

型推論してくれよ

**デフォルトの名無しさん** · 2009/09/18(金) 17:16:36

まだあったのか……ほsy

**Ｆ-22Ａがバグった！！** · 2009/09/28(月) 23:29:07

沖縄に派遣された米軍のF-22ステルス戦闘機だが、搭載コンピューターのソフトウェアに不具合が起きて
一度引き返していたと、CNNのテレビ報道が伝えている。それによれば、2月11日に沖縄を目指してハワイを飛び立った
12機のF-22は、日付変更線を越えたあたりで全機ともナビゲーションと通信ができなくなったとのこと。
このため、通信が使えないので目視でやりとりをし、同行した空中給油機に誘導されてハワイに引き返したという。
アメリカ空軍はソフトウェアに問題があったことを認めているが、当然ながら軍事機密として詳細を明らかにしていない。
日付変更線を越えたところで起きたことから、日付関連のバグではないかと見られている。
http://it.slashdot.org/article.pl?sid=07/02/25/2038217
http://www.flightglobal.com/articles/2007/02/14/212102/pictures-navigational-software-glitch-forces-lockheed-martin-f-22-raptors-back-to-hawaii.html

**Adaとは？** · 2009/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に色濃い影響を残している。

**デフォルトの名無しさん** · 2009/09/29(火) 01:54:47

Adaでハローワールドしたけど実行ファイル重過ぎて萎えたわｗ

**デフォルトの名無しさん** · 2009/09/29(火) 10:09:00

>>729
リンカに-sを渡しているか？
-s無しだと、デバッグ情報が入ったままだぞ。
Adaのライブラリはデバッグ情報込みでビルド済みだからな。

**デフォルトの名無しさん** · 2009/10/01(木) 12:51:49

>>728
確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな～～ｗｗ

**デフォルトの名無しさん** · 2009/10/05(月) 11:06:45

こんなマイナー言語のスレにも自演荒らしって湧くんだな

**デフォルトの名無しさん** · 2009/10/06(火) 05:24:28

Aja, when all my dime dancin' is through, i run to you...

**デフォルトの名無しさん** · 2009/10/08(木) 00:26:59

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

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

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

こんなのをみつけました

Ada Information Clearinghouse - AdaIC http://www.adaic.org/
Ada Home the Home of the Brave Ada Programmers (HBAP) http://www.adahome.com/

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

**デフォルトの名無しさん** · 2009/10/08(木) 01:22:24

adaicは規格を配布しているところなので、次スレの>>1に入れたいねえ。
何年後の話だろ……。

**デフォルトの名無しさん** · 2009/11/05(木) 11:05:38

Programming Language Conceptってクラスで、
Fortran -> Python ときて今Adaをやってます
なんか馴染みにくい…
来週からはHaskellだ

**デフォルトの名無しさん** · 2009/11/06(金) 19:27:08

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

**デフォルトの名無しさん** · 2009/11/12(木) 12:04:20

>>736
Haskelはなじみにくいどころではないだろうな。
しっかし、次は論理型言語の出番だろうからPrologか?

**デフォルトの名無しさん** · 2010/02/12(金) 19:36:56

落ちないね。

**デフォルトの名無しさん** · 2010/03/17(水) 18:37:31

定期ho

**デフォルトの名無しさん** · 2010/03/17(水) 18:57:02

重要なところとして、タスク、ランデブーが外れてる。

**デフォルトの名無しさん** · 2010/05/23(日) 19:07:15

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

**デフォルトの名無しさん** · 2010/05/23(日) 19:15:03

>>133　絵だからなｗ(黒　２０１０年時点だとベッキークルーエルちゃんとの対比で語ることも可能かも知れませんねｗｗ

**デフォルトの名無しさん** · 2010/05/23(日) 19:39:30

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

**デフォルトの名無しさん** · 2010/05/23(日) 20:03:13

昔はｘ８６とか、今はＡＲＭ７とか貧相な石で皆Ｃの勉強してるんだから、
石の値段の安くなったのを機会にＡｔｏｍでＡｄａの勉強できるとまた流行るかも知れませんね。
テレビ観るので落ちます。

**デフォルトの名無しさん** · 2010/05/23(日) 20:36:53

Adaって最新仕様で一昔前の仕様と比べて随分機能が増えたけど、このスレの人達はそういう部分もちゃんと追えてるの？
スレが立ったころと今では全く違うはず。

**デフォルトの名無しさん** · 2010/05/24(月) 21:47:57

スレが立ってからつってもなあ。Ada2005が出ただけとも言える。
次はAda2012だけど、それまでこのスレはあるんだろうか？

**デフォルトの名無しさん** · 2010/05/25(火) 18:58:58

立ってから8年も経つんだし、2年くらい余裕じゃないか？ｗ

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

**デフォルトの名無しさん** · 2010/06/05(土) 07:06:13

このスレの住人は仕事でAda使ってんの？
趣味？

**デフォルトの名無しさん** · 2010/06/05(土) 18:24:37

趣味に決まってんだろ。
仕事があるならくれよ、喜んで行くからさ。

**デフォルトの名無しさん** · 2010/06/05(土) 19:06:39

アメリカから押し売りされる航空機のソフトウェア開発の仕事があるらしいですよ

**デフォルトの名無しさん** · 2010/06/05(土) 20:10:36

行く？目隠されて連れて行かれるんだよ。

**デフォルトの名無しさん** · 2010/06/07(月) 21:25:31

ドナドナドーナードーナー

**デフォルトの名無しさん** · 2010/08/03(火) 21:41:41

移転ついでに落とされなかった記念保守

**デフォルトの名無しさん** · 2010/08/19(木) 02:18:28

http://www.adacore.com/2010/08/05/NF-64-J802-022-gnat/

これがLive-Docsに載らないんだが、どういう機能だろう。
文面からC#の属性みたいなもんとは思うけど。

**デフォルトの名無しさん** · 2010/09/28(火) 18:10:05

保守

**デフォルトの名無しさん** · 2010/10/16(土) 12:23:20

　　　　　　　　　　　＿
　　　　　　　 r-､' ´　　｀ヽr-､
　　　　　　　ｨ7　/l: ハヽﾊﾄヾ　　駄スレを沈めることはこの俺が許さん！
　　　　　　　 '|l |'´_`　´_ ｀| || 　　　信念に基づいて行動する、
　　　　　　　 |　|´ﾋ} 　ﾋ}｀! l|　　　それを人は正義と言う。
　　　__ノﾞ).　从 l,　　_'_. 　|从　　　今俺が行ってることは保守ではない。
　,_'（＿ﾉ_ヽ　ヾl.＞ - ,イ;ﾘ　　　　正義という名の粛清だぁ！
　{ f:ﾃ} {'f:ﾃ}',／＼ヽ--/／ヽ　　　
　ヽ,r─‐ ､ｨ .､､ i l＞Y＜! i　'､　　　バーニング！
　/ iゝ＿ﾉ iヽ　/l　　 |l　　l 　 ',
　lﾝヽ/ムノじ

**デフォルトの名無しさん** · 2010/10/16(土) 16:55:03

このスレ8年たってるのか
レスつけても相手が見てる可能性がとても低い

**デフォルトの名無しさん** · 2010/10/16(土) 18:03:58

見てるよ

**デフォルトの名無しさん** · 2010/10/16(土) 19:06:29

俺も見てるよ

**デフォルトの名無しさん** · 2010/10/23(土) 17:40:30

で、話題は無しか？w

Ada2012の、コンテナへのアクセサはいろんな案が対立してるが、どれになるかトトカルチョでもする？
俺はAI05-0212かな。

**デフォルトの名無しさん** · 2010/11/18(木) 13:54:37

http://bush.sourceforge.net/
ログインシェルとしても使える、Ada のサブセット+α AdaScript の対話式インタプリタ

**デフォルトの名無しさん** · 2010/11/19(金) 20:23:38

>>762
誰が好き好んでAdaでシェルスクリプトを書こうとするんだよw
スクリプトなんて短く書けるのが命じゃねーか

**デフォルトの名無しさん** · 2010/11/20(土) 02:01:18

これさえあれば搭乗機のシステム書き換えシーンでBASICを使わずに済みます

**デフォルトの名無しさん** · 2010/11/24(水) 11:13:17

もしご存知でしたら教えて欲しいのですけれども、
Orbiter SimでMultistageやspacecraftアドオンを作ったvinkaさんって方をご存知な人はいませんか？
エイダ家の関係者ではないか？と思うのですけれども。
イタリア陸軍のお家の方だったのでしょうか？

**デフォルトの名無しさん** · 2010/11/24(水) 11:38:53

バイロンはホイヘンスと同じ家の出なのだろうか？

vinkaさん名でのOrbiter用アドオンの開発は2006で止まっているようですが、
いまだにそのアドオンモジュールを使って宇宙船を設定している人もいるようです。
ランディングギア操作部分にバグなどがあったままだったような気がしますが、
その後、どうなったのかな？といったところです。

**デフォルトの名無しさん** · 2011/01/05(水) 14:26:45

ほs

**デフォルトの名無しさん** · 2011/03/04(金) 15:58:51.40

落ちないってのが凄いよなあこのスレ

**デフォルトの名無しさん** · 2011/03/04(金) 22:34:03.97

980超えたらすぐ落ちる

忍法帖【Lv=1,xxxP】 · 2011/04/14(木) 21:14:38.28

this

忍法帖【Lv=1,xxxP】 · 2011/04/14(木) 21:41:00.98

test

**デフォルトの名無しさん** · 2011/05/24(火) 22:05:28.47

定期保守

忍法帖【Lv=6,xxxP】 · 2011/06/28(火) 12:59:58.63

テストついで保守

忍法帖【Lv=23,xxxPT】 · 2011/08/01(月) 14:42:59.77

月明け保守

**デフォルトの名無しさん** · 2011/09/05(月) 23:51:12.72

>>774
同上

**デフォルトの名無しさん** · 2011/11/14(月) 11:36:31.75

気になるか？
まあ、お前ごときどうせ株なんか知らんだろうし、どうにも出来んし説明してやろう。

崩壊してんのは、株取引のほうだ。
すでに年金すら韓銀砲で溶けてる。今なお溶かし続けてる。
後、多分だが金持ってる外国人や富裕層はとっくに韓国から亡命（まあ似たようなもん）してる
どこまで持ちこたえるか知らんが、ウォンは貧弱だから安くなりすぎても、高くなりすぎても死亡
すると紙クズと化したウォンを、ハゲタカファンドに捨て値でおもちゃにされてゲームオーバーだ

そしたらまず銀行が閉鎖されて、預金が降ろせなくなるだろうな。
そこからがパニックの引き金になるだろ、あとは想像に任せる。まあしたくもないくらい地獄だろうが

韓国がＩＭＦ入り以外で、自力で浮き上がろうとしたら、これら問題をどうにかする必要があるのだが
首脳陣がそこまで脳ミソ使ってるのかまでは、知らん。

あとそうなったらおそらく円持ってる在日強制召還。これはお前らの問題だな、日本人？復興にいそがしいからまた今度な
これくらいだな、まあ後は勝手に調べてくれ。

**デフォルトの名無しさん** · 2011/11/14(月) 11:59:55.29

７７７

**デフォルトの名無しさん** · 2012/01/26(木) 18:13:31.61

あけましておめでとう。今年はAda2012の年ですね。

**デフォルトの名無しさん** · 2012/05/04(金) 08:20:49.15

hosyu

**デフォルトの名無しさん** · 2012/05/06(日) 22:06:59.69

ACTのAVR用Adaがイギリスのミサイルやベンツに使われているんだって。

**デフォルトの名無しさん** · 2012/05/09(水) 09:52:44.17

日本でAdaの仕事を取ることはできるだろうか。

**デフォルトの名無しさん** · 2012/05/14(月) 20:18:16.45

仕事が取れたらえいだね