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

[1 名無しさんは伊達じゃない NG NG]

どうよ？

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

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

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

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

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

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

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

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

[733 デフォルトの名無しさん 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 http://www.adaic.org/
Ada Home the Home of the Brave Ada Programmers (HBAP) http://www.adahome.com/

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

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

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

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

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

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

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

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

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

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

落ちないね。

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

定期ho

[741 デフォルトの名無しさん 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 デフォルトの名無しさん 2010/05/23(日) 20:36:53]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

保守

[757 デフォルトの名無しさん 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ﾝヽ/ムノじ

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

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

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

見てるよ

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

俺も見てるよ

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

で、話題は無しか？w

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

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

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

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

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

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

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

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

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

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

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

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

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

ほs

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

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

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

980超えたらすぐ落ちる

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

this

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

test

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

定期保守

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

テストついで保守

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

月明け保守

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

>>774
同上

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

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

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


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

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


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

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

７７７

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

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

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

hosyu

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

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

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

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

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

仕事が取れたらえいだね

[783 黒い猫 2012/06/20(水) 01:41:16.24]

日本でAdaを教えている教授やセミナーをしているところを御存知ですか？

日本でAdaが必要な程の仕事，やってみたいですよね．

[784 デフォルトの名無しさん 2012/06/20(水) 20:27:05.61]

>>783
そんなのがあったら俺も行きたいわい
正直Adaの仕事はアメリカかフランスにしかないと思ふ

[785 デフォルトの名無しさん 2012/08/02(木) 04:34:36.22]

パスカルやん

[786 デフォルトの名無しさん 2012/08/22(水) 19:24:46.02]

（´・ω・`）ＡｄａがＪＩＳから消えちゃったね

[787 [―{}@{}@{}-] デフォルトの名無しさん 2012/08/26(日) 12:24:59.65]

航空自衛隊次期主力戦闘機F-35のソフトウェアもAdaで書かれてるというのに

[788 デフォルトの名無しさん 2012/10/07(日) 00:28:34.52]

内部プロシージャ使えるのはいいが宣言部固定がウザい
procedure Josephus is
   type String_Pointer is access String;

   type Soldier_Type is record
      Name  : String_Pointer;
      Alive : Boolean;
   end record;

   Max_Number_Of_Soldiers: constant := 100;
   Number_Of_Soldiers    : Integer range 0..Max_Number_Of_Soldiers := 0;

   -- start with 0 to facilitate modular arithmetic
   Soldiers: array (0..Max_Number_Of_Soldiers-1) of Soldier_Type;

   procedure Next (Index: in out Integer; Interval: Positive) is
   begin
      for I in 1..Interval loop
         loop
           Index := (Index + 1) mod Number_Of_Soldiers;
           exit when Soldiers(Index).Alive;
         end loop;
      end loop;
   end Next;
begin
省略
end Josephus;

[789 デフォルトの名無しさん 2012/10/07(日) 01:57:03.45]

>>788
関係ないけど、
subtype Soldiers_Index is Integer range 0 .. 99;
Soldiers: array (Soldiers_Index) of Soldier_Type;
Number_Of_Soldiersの代わりにSoldiers_Index'Range_Length
のほうがスマートだぜ

[790 デフォルトの名無しさん 2012/10/10(水) 02:33:25.69]

保守しとくか

[791 デフォルトの名無しさん 2012/11/08(木) 01:23:52.94]

生き残り記念保守

[792 デフォルトの名無しさん 2012/11/08(木) 15:08:32.31]

保守しても落とされたスレあるのに
どういう好みで落としてんだ

[793 デフォルトの名無しさん 2012/11/09(金) 14:00:25.77]

>>792
日ごろの行いが良いか悪いか

[794 デフォルトの名無しさん 2012/12/19(水) 20:54:43.27]

(・∀・)ISO/IEC 8652:2012(E)制定おめでとう！！

[795 デフォルトの名無しさん 2012/12/20(木) 16:33:03.16]

Ada 2012かー

[796 電脳プリオン 忍法帖【Lv=40,xxxPT】(4+0：5) 【31.7m】 NG NG]

　　∧＿∧
　 （　・∀・）　　　　　　　　　　　　人　ｶﾞｯ
　 （　　　　つ―-‐-‐-‐-‐-‐○ < 　>__Λ∩
　 人　Y ノ.　　　　　　　　　　　 　Ｖ｀Д´）/
　 し（＿）　　　　　　　　　　　　　　　 　　/ 　←>>251

[797 デフォルトの名無しさん 2013/02/15(金) 11:09:23.85]

アダパー

[798 デフォルトの名無しさん 2013/03/17(日) 15:44:27.41]

ねえ、波の間になにか泳いでるよ・・・？

あっ、エイだ！！

[799 デフォルトの名無しさん 2013/03/28(木) 04:46:36.56]

【審議終了】
　　　　　 　　　　　　∧,,∧ 　　　　∧,,∧
　　　 ∧ ∧　　　　(　　　 ) 　　　(　・ω・)
　　　(ω・　)　　 　 (　　Ｕ) 　　　 ( つ日ﾉ　　　∧,,∧
　　　｜　Ｕ　　 　 　 u-ｕ 　　　　　 u-ｕ 　　 　(　uω)
　　　　ｕ-ｕ　　　　　　　　　　　　　　　　　　　　(∩∩)

　　　　　　　　∧,,∧　　　　　　∩ ∧_∧　審議結果
　　　　　　　　(・ω・')　　　　⊂⌒（ ・ω・）　「はいはいわろす」
　　　　　　　⊂∪∪⊃　　　　　 ｀ヽ_∩∩

[800 デフォルトの名無しさん 2013/05/05(日) 11:52:45.32]

F35の制御システムはC++で書かれたんやな。

http://techon.nikkeibp.co.jp/article/COLUMN/20120210/204592/

[801 デフォルトの名無しさん 2013/05/05(日) 20:43:57.89]

面白い記事やな

[802 デフォルトの名無しさん 2013/05/10(金) 21:48:00.94]

1800万行か…
おれのC#製フリーウェアが15万行だから
あと100倍がんばれば空も飛べるはず

[803 デフォルトの名無しさん 2013/05/18(土) 06:14:15.01]

アマゾンでAda基準文法書を買ったのを思い出した。PCが壊れてるという意味で一度も活用できていない。

[804 デフォルトの名無しさん 2013/05/18(土) 15:42:07.12]

11年もあんの？ここ

[805 デフォルトの名無しさん 2013/05/20(月) 03:22:17.42]

Adaの説明に枕詞のように付く「詩人バイロンの娘」
がウザいです。
父親なんかどうでもいいだろ。
それに詩人ってなんだ詩人って。
詩を詠んでればメシ食っていけるのかよ。
名前も酷い。ラブレス。Lovelessですか。
母親の名前が「アナベラ・ミルバンク」。ネタ強烈過ぎ。

[806 デフォルトの名無しさん 2013/05/20(月) 04:53:27.91]

lovelaceな

[807 デフォルトの名無しさん 2013/05/23(木) 23:38:24.43]

あーだこーだ言ってんじゃねー

[808 デフォルトの名無しさん 2013/08/24(土) NY:AN:NY.AN]

規制明け保守

[809 デフォルトの名無しさん 2013/09/02(月) 21:22:28.07]

今回も生き残った

[810 デフォルトの名無しさん 2013/10/23(水) 11:39:17.84]

Adaか
プログラムの紹介ページを見たことあるけど
コード見ただけでちょっとコレはと思ってしまったな

[811 デフォルトの名無しさん 2013/10/23(水) 23:22:23.99]

>>810
Pascal系(ってかALGOL？)な記述に見慣れてないからじゃない？

[812 デフォルトの名無しさん 2013/11/02(土) 21:18:24.70]

Adaと聞くとZOEのアレを思い出す

[813 デフォルトの名無しさん 2014/01/18(土) 04:13:20.93]

あけまして保守

[814 デフォルトの名無しさん 2014/02/12(水) 21:16:56.39]

F35に採用されなかったadaに未来はあるのか

[815 デフォルトの名無しさん 2014/02/15(土) 12:28:43.49]

begin〜endを {〜} に変えて型推論を入れればよみがえるかも

[816 デフォルトの名無しさん 2014/02/15(土) 12:43:48.50]

やめてくれ

[817 デフォルトの名無しさん 2014/03/19(水) 19:29:03.86 ID:Ys/gEl+2]

ID記念保守

[818 デフォルトの名無しさん 2014/06/24(火) 17:04:56.96 ID:rPGc2RNm]

最近は(変数に)型あり言語が盛り返してる気がする。
このあたりでAdaがまた見直されるようになるかも。


と上げるため書いてみる。

[819 sage 2014/06/24(火) 17:16:28.79 ID:rPGc2RNm]

スレタイのAda全角じゃねーか？
次スレは半角にしてくれ。

[820 デフォルトの名無しさん 2014/06/25(水) 08:55:32.90 ID:jzzlw1ru]

ゴミみたいな言語だな

[821 デフォルトの名無しさん 2014/07/29(火) 09:22:52.84 ID:thcgp9jT]

★2ch勢いランキングサイトリスト★

◎ +ニュース
・ 2NN
・ 2chTimes
◎ +ニュース新着
・ 2NN新着
・ Headline BBY
◎ +ニュース他
・ Desktop2ch
・ 記者別一覧
◎ 全板
・ 全板縦断勢いランキング
・ スレッドランキング総合ランキング
◎ 実況込み
・ 2勢
・ READ2CH
・ i-ikioi

※ 要サイト名検索

[822 デフォルトの名無しさん 2014/08/05(火) 18:12:57.27 ID:vF0VLarb]

高校生がAda書けるようになってなんかいいことあるかな？

[823 デフォルトの名無しさん 2014/08/05(火) 18:39:28.85 ID:AfbB56Nf]

古代語で最新の遺伝子研究論文を書くようなもの

[824 デフォルトの名無しさん 2014/08/05(火) 20:10:52.61 ID:UpXrojxU]

Adaはもともとロボット制御に使われていた言語。これからjavaができたんじゃ
なかったっけ？

[825 デフォルトの名無しさん 2014/08/21(木) 01:24:28.93 ID:SvY3ZvfG]

まだ現役だよ
オブジェクト指向取り入れたの一番最初だし米の最新鋭機器に使われてる
中華スパイにとっても必須科目じゃね

[826 デフォルトの名無しさん 2014/10/01(水) 16:20:49.54 ID:T6Ti1llJ]

そろそろ保守の季節

[827 デフォルトの名無しさん 2014/10/01(水) 23:54:51.60 ID:hFYoYyGT]

javaは今で言うswiftみたいに、当時の言語のいいとこ取りで仕様が決められた。

[828 デフォルトの名無しさん 2014/12/17(水) 15:21:59.29 ID:tQWC8Uiz]

年末保守

[829 デフォルトの名無しさん 2015/03/21(土) 22:35:26.77 ID:K0I3ekpn]

ここまできたら2ch崩壊まで生息させたいな保守