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

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

どうよ？

**デフォルトの名無しさん** · 2006/12/14(木) 23:21:17

適当に保守

**デフォルトの名無しさん** · 2006/12/15(金) 00:07:45

Adaでシステム構築した強者はいる？

**デフォルトの名無しさん** · 2006/12/15(金) 23:18:13

>>662
米軍

**デフォルトの名無しさん** · 2006/12/16(土) 22:39:18

たしかに強者だな

**デフォルトの名無しさん** · 2007/01/07(日) 23:31:30

今年最初の保守

**デフォルトの名無しさん** · 2007/01/20(土) 23:22:04

ほっしゅ

**デフォルトの名無しさん** · 2007/02/15(木) 22:58:06

一月たちそうだし保守。

AWS使ってる人っていない？
面白そうなんだが、面倒そうでもある。

**デフォルトの名無しさん** · 2007/03/02(金) 20:13:19

いつの間に板移転
正直落ちたかと思った保守

**デフォルトの名無しさん** · 2007/03/17(土) 20:52:26

>>658
亀レスだけど設定だとDelphiって名前のAIもいる

**デフォルトの名無しさん** · 2007/03/23(金) 10:31:45

日本でエイダ使えるやつっているのかね

**デフォルトの名無しさん** · 2007/04/17(火) 21:01:51

保守

**デフォルトの名無しさん** · 2007/04/23(月) 17:15:24

いねーよ！！

**デフォルトの名無しさん** · 2007/05/11(金) 18:03:03

AdaCore TOP の GNAT GPL 2007 Edition が
coming soon から Now available になってｷﾀ━━━━━━(ﾟ∀ﾟ)━━━━━━ !!!!!
と思ったら現時刻ではまだ DL できないでやんの…wktk

**デフォルトの名無しさん** · 2007/05/14(月) 12:12:26

orz
プルダウンメニューを 2006 から 2007 にしないと
GNAT GPL 2007 が見えなかったとは一生の不覚…

**似非民主主義者ごるごるもあ** ◆753Z/RLFiY · NG

▼米国FBIの言論弾圧を弾劾せよ！　　　　　　　　　　　　　　　　　　
　米国民主主義に対して第二次世界大戦の戦後審判とはまったく関係なく、新たな主張を行うことにより危険思想保持者と見なし、記事の削除とアクセス禁止による明らかな言論弾圧を行っている。
　FBIは、沖縄米軍基地における軍事的弊害説、９．１１フリーメイソン陰謀説に対する言論弾圧が認められた。
▽民主主義の国民が防衛理念を含む専門知識に基づいて投票することは有り得ない。
　したがって軍事兵器の使用は極めて不明瞭な理由により過ちを繰り返しやすく、軍事的弊害を含んでいると言える。
　イラクの軍事支配という中東の混乱により米軍の軍需産業は事実上沖縄にまでこの軍事的弊害を生じさせたのである。
　一方、１９９６年８月２８日、最高裁は米軍用地の強制使用手続きをめぐる代理署名訴訟で、米軍基地への土地提供を定めた米軍用地特別措置法は憲法に違反しないという判決を下した。
　この米軍用地特別措置法は同盟上の米軍の軍需産業を容認するものであるが、前述した沖縄の軍事的弊害とは、似て異なるものであり、両者を民主主義において憲法上合法とすることは不当な判決であると言わざるを得ない。
▽米国同時多発テロ９．１１は、事実上米軍のイラクでの軍事活動を正当化せしめたのであり、数十万の身体障害者を含む戦争犠牲者を齎した。
　そして、ブッシュ政権はイラクの民主化に必要な要件を満たしていないばかりか、フリーメイソンの教義に含まれる虐殺思想の終端と軍事経済破綻を防ぐべく水面下での隠蔽工作をしたかの如き示唆を繰り返しているのである。
　なぜならば、米国の権威は少数民族を虐殺したことにより維持されてきたからであり、この戦争利権を維持するために大規模なテロ事件を通じて米国民を洗脳する必要があったと言えるからである。
　つまり、戦争の可否は国民洗脳により誘導された似非民主主義的な判断に基づくものである。

**デフォルトの名無しさん** · 2007/06/12(火) 03:27:53

Adaって一般用のソフトとかも作られてるのか？

**デフォルトの名無しさん** · 2007/06/12(火) 21:51:56

OSなら知ってる
http://marte.unican.es/

**デフォルトの名無しさん** · 2007/06/13(水) 03:12:16

もしかして、OSつくっちゃったこと？すごいですね・・・

**デフォルトの名無しさん** · 2007/07/17(火) 19:07:05

ほす

**デフォルトの名無しさん** · 2007/07/17(火) 23:35:27

O　・・・　オレが作った
Ｓ　・・・　ソフトウェア

**デフォルトの名無しさん** · 2007/08/16(木) 23:49:48

アメリカ終わったな
バブル弾けたよ
マーケットリポート
http://kft.livedoor.biz/

**デフォルトの名無しさん** · 2007/09/12(水) 22:57:43

このスレまだあったのか。
保守。

**デフォルトの名無しさん** · 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

俺も見てるよ