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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29] どうよ？ 709 名前：デフォルトの名無しさん mailto:sage [2008/05/20(火) 01:34:20 ] 確かF-22 ラプターの制御ソフトはAdaで書かれてたんじゃ？ 710 名前：デフォルトの名無しさん [2008/05/22(木) 13:05:33 ] >>709 その噂はよく聞くよね。真偽は不明だけど。 タイプ量多いけど Adaってそんなに悪くない言語だと思うんだけどなぁ。 subtypeとか名前付き引数とかけっこういいと思った。 711 名前：デフォルトの名無しさん [2008/05/22(木) 21:41:55 ] 軍の情報管理はマイナーな言語使う決まりでもあるのか 712 名前：デフォルトの名無しさん mailto:sage [2008/05/22(木) 22:15:03 ] >>711 kwsk その言い方だとアメリカ以外のいずれかの国の軍はAda以外のマイナーな言語を使ってるんだよな？ 713 名前：デフォルトの名無しさん mailto:sage [2008/05/22(木) 22:44:27 ] Adaてマイナーだろ 714 名前：デフォルトの名無しさん mailto:sage [2008/05/26(月) 04:18:46 ] まあマイナーなのがADAになったな、と。 715 名前：デフォルトの名無しさん mailto:sage [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限定の話だったのか？ 大して英語出来ない俺には険しい道だ…。 716 名前：デフォルトの名無しさん mailto:sage [2008/09/23(火) 07:22:50 ] ほ 717 名前：デフォルトの名無しさん [2008/09/23(火) 19:54:38 ] 日本人はなぜかみんなADAを避けている。なぜか？猿真似しかできない、周りがやらないとできないから。 日本の会社の製品はこれだけかな？ JEOL Nuclear Magnetic Resonance だがADAで書かれた最先端の製品は知らずに使っている。 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 718 名前：デフォルトの名無しさん mailto:sage [2008/09/23(火) 20:34:32 ] >>717 頭が悪いのか釣りなのかはっきりしろ 719 名前：デフォルトの名無しさん mailto:sage [2008/09/26(金) 11:32:14 ] 頭の悪い釣りです 720 名前：デフォルトの名無しさん mailto:sage [2008/09/27(土) 00:18:46 ] なるほど 721 名前：デフォルトの名無しさん [2008/10/22(水) 22:33:09 ] age 722 名前：デフォルトの名無しさん [2008/12/15(月) 20:39:23 ] 保守 723 名前：デフォルトの名無しさん mailto:sage [2009/02/20(金) 00:15:21 ] ho 724 名前：デフォルトの名無しさん [2009/03/14(土) 23:39:31 ] syu 725 名前：デフォルトの名無しさん [2009/04/25(土) 18:17:07 ] 型推論してくれよ 726 名前：デフォルトの名無しさん mailto:sage [2009/09/18(金) 17:16:36 ] まだあったのか……ほsy 727 名前：Ｆ-22Ａがバグった！！ [2009/09/28(月) 23:29:07 ] 沖縄に派遣された米軍のF-22ステルス戦闘機だが、搭載コンピューターのソフトウェアに不具合が起きて 一度引き返していたと、CNNのテレビ報道が伝えている 。それによれば、2月11日に沖縄を目指してハワイを飛び立った 12機のF-22は、日付変更線を越えたあたりで全機ともナビゲーションと通信ができなくなったとのこと。 このため、通信が使えないので目視でやりとりをし、同行した空中給油機に誘導されてハワイに引き返したという。 アメリカ空軍はソフトウェアに問題があったことを認めているが、当然ながら軍事機密として詳細を明らかにしていない。 日付変更線を越えたところで起きたことから、日付関連のバグではないかと見られている。 it.slashdot.org/article.pl?sid=07/02/25/2038217 www.flightglobal.com/articles/2007/02/14/212102/pictures-navigational-software-glitch-forces-lockheed-martin-f-22-raptors-back-to-hawaii.html 728 名前：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に色濃い影響を残している。 729 名前：デフォルトの名無しさん mailto:sage [2009/09/29(火) 01:54:47 ] Adaでハローワールドしたけど実行ファイル重過ぎて萎えたわｗ 730 名前：デフォルトの名無しさん mailto:sage [2009/09/29(火) 10:09:00 ] >>729 リンカに-sを渡しているか？ -s無しだと、デバッグ情報が入ったままだぞ。 Adaのライブラリはデバッグ情報込みでビルド済みだからな。 731 名前：デフォルトの名無しさん [2009/10/01(木) 12:51:49 ] >>728 確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな〜〜ｗｗ 732 名前：デフォルトの名無しさん mailto:sage [2009/10/05(月) 11:06:45 ] こんなマイナー言語のスレにも自演荒らしって湧くんだな 733 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 05:24:28 ] Aja, when all my dime dancin' is through, i run to you... 734 名前：デフォルトの名無しさん [2009/10/08(木) 00:26:59 ] Adaの凄いところは、Algol系のブロック構造を持つ、抽象データ型を サポートする、統合開発環境（名前忘れた）がある、といったところ。 これらは、当時、膨らむ一方のソフトウェア開発コストに危機感を 持った米国国防総省が、生産性と品質を向上させるために取り組んだプロジェクトがAdaを生んだ。 今の技術常識からすると、上記のAdaの特徴は当たり前すぎて、どう凄いのかピンと来ないと思うけど、 　　これが20年以上前に作られたところが凄い。というか、 　　Adaは、現在のOO言語（+クラスライブラリ+開発環境）の基礎となるアイデアおよび技術の基になっ ているのだ。 Adaって、言語仕様だけじゃなく、 処理系の正当性を認定するためのテストスイートや、国に認定を受ける手順まで標準化されてるんですね。 さすが軍用言語だ... こんなのをみつけました Ada Information Clearinghouse - AdaIC www.adaic.org/ Ada Home the Home of the Brave Ada Programmers (HBAP) www.adahome.com/ ところで、イベントや並列動作を記述できる、VHDLという、Adaの親戚言語があります。 これも国防総省言語なんですが、この言語は、LSIをつくるとき日常的に使われてます。 735 名前：デフォルトの名無しさん mailto:sage [2009/10/08(木) 01:22:24 ] adaicは規格を配布しているところなので、次スレの>>1に入れたいねえ。 何年後の話だろ……。 736 名前：デフォルトの名無しさん mailto:sage [2009/11/05(木) 11:05:38 ] Programming Language Conceptってクラスで、 Fortran -> Python ときて今Adaをやってます なんか馴染みにくい… 来週からはHaskellだ 737 名前：デフォルトの名無しさん mailto:sage [2009/11/06(金) 19:27:08 ] >>736 授業！ すごいなー。いいなー。 どこまでやってる？ 列挙型の要素が関数とか、genericのis <>とか、デフォルト引数は毎回評価とか、 taskを返す拡張return中でランデブーしたらデッドロックするとかやってる？ 738 名前：デフォルトの名無しさん mailto:sage [2009/11/12(木) 12:04:20 ] >>736 Haskelはなじみにくいどころではないだろうな。 しっかし、次は論理型言語の出番だろうからPrologか? 739 名前：デフォルトの名無しさん mailto:sage [2010/02/12(金) 19:36:56 ] 落ちないね。 740 名前：デフォルトの名無しさん mailto:sage [2010/03/17(水) 18:37:31 ] 定期ho 741 名前：デフォルトの名無しさん mailto:sage [2010/03/17(水) 18:57:02 ] 重要なところとして、タスク、ランデブーが外れてる。 742 名前：デフォルトの名無しさん [2010/05/23(日) 19:07:15 ] >>122　Ａｄａ自体は如何にも理想主義的ですが、それを延々と使い続けているのは、アングロサクソンにとりわけ顕著な、"pragmatism"ってやつに拠るんじゃないですか？ 納得できる程度の種は手に入れたので、それをいちいちおじゃんにしないで改良して使って、「走りながら考えよう。」式開発手法を結局実際にはやっているんですよ。 やっぱり叩き台が無いと集団作業って進まないでしょｗ ７０年代当時、何とは無しにプログラミング言語の学術体系がこなれてきたように思えたので、ひとつ仕切り直して厳格に規定してみようと、お役所らしくやったみたいですが、コンペの結果採用されたのはカソリック系西ゴート人の発案でしたね。 西ゴート人らしい如何にもイデア主義的（≒人間中心的理想主義的）な仕様は社会的基盤としてはやはり優れていたのではなかったのでしょうか。 Ａｄａは彼等にとって単なるプログラミング言語としてのみよりも一般的なソフトウェア開発環境として取り扱われているようでもありますから、 例えばハードウェアの開発史におけるＡＬＵのようなアングロサクソン得意の現実主義的一発屋的背に腹は変えられずだったんだけど出来てみたらこりゃ凄いね的アイデアが生まれた様な成果を期待するための地平として取り扱われているんですよきっと。 743 名前：デフォルトの名無しさん [2010/05/23(日) 19:15:03 ] >>133　絵だからなｗ(黒　２０１０年時点だとベッキークルーエルちゃんとの対比で語ることも可能かも知れませんねｗｗ 744 名前：デフォルトの名無しさん [2010/05/23(日) 19:39:30 ] >>323　Ｃ表記マンセーはメモリがキロ５万円した頃の思想と思われｗ　 メモリが産業の米と呼ばれるようになりキロ当たりの単価が本当の米より安くなりＯＯＰが当然の手法になった現代に於いては、逐次処理表記に拘り過ぎると歴史を知らずに蟻地獄コードを書く後輩を再生産する危険が増すと思われまするｗｗ 745 名前：デフォルトの名無しさん [2010/05/23(日) 20:03:13 ] 昔はｘ８６とか、今はＡＲＭ７とか貧相な石で皆Ｃの勉強してるんだから、 石の値段の安くなったのを機会にＡｔｏｍでＡｄａの勉強できるとまた流行るかも知れませんね。 テレビ観るので落ちます。 746 名前：デフォルトの名無しさん mailto:sage [2010/05/23(日) 20:36:53 ] Adaって最新仕様で一昔前の仕様と比べて随分機能が増えたけど、このスレの人達はそういう部分もちゃんと追えてるの？ スレが立ったころと今では全く違うはず。 747 名前：デフォルトの名無しさん mailto:sage [2010/05/24(月) 21:47:57 ] スレが立ってからつってもなあ。Ada2005が出ただけとも言える。 次はAda2012だけど、それまでこのスレはあるんだろうか？ 748 名前：デフォルトの名無しさん mailto:sage [2010/05/25(火) 18:58:58 ] 立ってから8年も経つんだし、2年くらい余裕じゃないか？ｗ >>746 05は追えてるつもり 12は全部はやらないかも 749 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 07:06:13 ] このスレの住人は仕事でAda使ってんの？ 趣味？ 750 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 18:24:37 ] 趣味に決まってんだろ。 仕事があるならくれよ、喜んで行くからさ。 751 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 19:06:39 ] アメリカから押し売りされる航空機のソフトウェア開発の仕事があるらしいですよ 752 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 20:10:36 ] 行く？目隠されて連れて行かれるんだよ。 753 名前：デフォルトの名無しさん mailto:sage [2010/06/07(月) 21:25:31 ] ドナドナドーナードーナー

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef