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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29.net] どうよ？ 2 名前：デフォルトの名無しさん mailto:sage [02/01/08 21:35.net] 名前は聞いたことあるけど知らん。 3 名前：デフォルトの名無しさん mailto:sage [02/01/08 21:44.net] 何？アダって？ 4 名前：デフォルトの名無しさん mailto:sage [02/01/08 21:46.net] 19世紀のプログラマー　バイロンの娘エイダのｴｲﾀﾞだ。 それくらい知っておけ。常識だぞ。 ttp://mfg07.nikkei.co.jp/pub/science/page_2/magazine/9908/19c.html 5 名前：デフォルトの名無しさん mailto:sage [02/01/08 21:47.net] ロッキーの映画でさ、主人公が妻の名前叫ぶじゃん、 あれ何だっけ？ 6 名前：デフォルトの名無しさん mailto:sage [02/01/08 21:55.net] >>5 えいどりあーーーーーーーーーーーーーーーーーーーーーん！！！ 7 名前：デフォルトの名無しさん [02/01/08 21:58.net] あ〜、あれだろ。チョコレートの。。あれって美味いよな。 8 名前：デフォルトの名無しさん mailto:sage [02/01/08 21:59.net] www.geocities.co.jp/SiliconValley-SanJose/5071/lab_study_ada.html 9 名前：デフォルトの名無しさん mailto:sage [02/01/08 22:27.net] 俺愛だ 10 名前：デフォルトの名無しさん [02/01/09 00:39.net] そりゃｴｰﾀﾞ 11 名前：デフォルトの名無しさん [02/01/09 00:41.net] プログラミンゴ言語　アバ　について教えてよ．　ABBA　しってる？ スウェーデン生まれなんだって。 12 名前：デフォルトの名無しさん mailto:sage [02/01/09 01:23.net] Intel 初の 32bit MPU, iAPX432 は Ada マシンだったって話だけど ほんとのところどうだったのよ? 13 名前：デフォルトの名無しさん mailto:sage [02/01/09 01:41.net] Eiffel>>>>>>>>>>>Ada 14 名前：デフォルトの名無しさん mailto:sage [02/01/09 02:20.net] 巫女の予言とかいうやつ？ 15 名前：デフォルトの名無しさん mailto:sage [02/01/09 10:30.net] 色んなものを取り入れようとして 馬鹿でかい言語仕様になってしまい 効率の良いコンパイラも作れなくなった 筋の悪い言語。 16 名前：デフォルトの名無しさん mailto:sage [02/01/10 15:19.net] 17 名前：Adaなんざ糞。ミサイル制御にはJOVIAL これ最強。 [] [ここ壊れてます] 18 名前：デフォルトの名無しさん mailto:sage [02/01/11 00:14.net] ラプターはエイダで動いてるらしいな。 19 名前：デフォルトの名無しさん [02/01/11 10:47.net] 宇宙開発にはＦＯＲＴＲＡＮ 構文ミスで軌道が狂う。 これ最強。 20 名前：デフォルトの名無しさん [02/01/11 12:31.net] AdaプログラマになるにはFBIの許可が必要です。 21 名前：仕様書無しさん mailto:sage [02/01/11 16:56.net] 自分の好きな言語が軍に採用されたりしたらいいなぁ 22 名前：デフォルトの名無しさん mailto:sage [02/01/13 20:49.net] 電電公社時代、電話の交換システムはADAで書かれてると聞いた記憶が。 今はTRONだっけか。 23 名前：21 mailto:sage [02/01/13 20:52.net] TRONはOSだ。 いらん恥かいちまった。(鬱氏 24 名前：デフォルトの名無しさん mailto:sage [02/01/15 06:37.net] 財務省にはＣＯＢＯＬ！ ひとつのミスで血税ドブ捨て これ最強 25 名前：デフォルトの名無しさん mailto:sage [02/01/16 00:29.net] SUN3のころ使ったよ。 「汎用パッケージ」ってやつが、今の「クラス」に相当していて、本当に汎用的な 用途に使えるのがすごいと思った。 例外処理も洗練されていて使いやすかった。 ループの廻し方とか、列挙型の扱いも美しかった。 ただ、元請会社の基本設計が最悪で、Adaの開発なのに中身は Cで作った関数を Adaのメインモジュールから呼ぶだけ。 あの設計者は、懲役3年執行猶予2年くらいには相当するね。 26 名前：デフォルトの名無しさん mailto:sage [02/01/16 03:33.net] 当時の言語でthreadをまともに扱えたのは、Adaだけなのかな？ 27 名前：デフォルトの名無しさん [02/01/17 03:14.net] age 28 名前：デフォルトの名無しさん mailto:sage [02/01/17 05:24.net] 本当は全然興味ないくせにスレ立てんなバカ 29 名前：デフォルトの名無しさん [02/01/18 06:42.net] コンパイラさえ通れば、落ちないという仕様が良い。 30 名前：デフォルトの名無しさん [02/01/18 06:46.net] >>28 SunのハイエンドマシンでJavaなら一応達成出来ているのでは？ 31 名前：デフォルトの名無しさん mailto:sage [02/01/18 11:44.net] 落ちなくても bug free ではないけどな. 32 名前：デフォルトの名無しさん [02/01/18 16:45.net] >>30 bug freeって バグが無いって意味かな？ KDEの壁紙にも書いてあったけど…。 33 名前：デフォルトの名無しさん [02/01/18 17:07.net] >>25 80年代なら、ModulaとAdaぐらいじゃないの？ とりあえず、言語仕様読んで萌えたAlgol系言語は先にも後にもAdaだけだな。 いまじゃあ、C++がAdaの機能をキャッチアップしちゃったから、あんまり存在意義無いかも。 でも、C++に標準のスレッド機能ってもうあったっけ？ 34 名前：デフォルトの名無しさん [02/01/18 22:07.net] ObjectADAは？ 35 名前：デフォルトの名無しさん [02/01/18 22:40.net] Ada95のことか。 別に普通に存在するぞ。Gnuにもある（らしい）し。 ただ、C++やDelphiみたくOOPな記法は採用していない。 というのも、OOP言語の持つような機能は virtual method call 以外は、 すでに素のAdaが機能として持っていたからね。 マルチスレッド、情報隠蔽、モジュール、例外処理、静的多態、汎用体（テンプレート）などね。 virtual method tableを持つ、tag つき record(構造体)と、 tag つき record の引数を受け取って動的多態ができるサブプログラム(method)が導入された。 tag つき record はもちろん派生ができる（単一継承のみ)。 Adaは巨大だ巨大だといわれまくったけど、C++程じゃないよ（ｗ 36 名前：デフォルトの名無しさん mailto:sage [02/01/18 23:10.net] PL/IとC++はどっちがでかいの？ 37 名前：デフォルトの名無しさん mailto:sage [02/01/18 23:34.net] C++ > Ada > PL/I だと思う。 38 名前：デフォルトの名無しさん [02/01/19 00:33.net] Adajima heihachi 39 名前：デフォルトの名無しさん [02/01/19 03:34.net] 18世紀に初めてプログラミングした人？ 40 名前：デフォルトの名無しさん [02/01/19 15:59.net] >>25 スレッドじゃなくてタスクだよ。ランデブーで同期/通信するマルチタスク。 41 名前：デフォルトの名無しさん [02/01/25 08:43.net] おお、AdaスレだAdaスレだ♪ ところでAda.NETってどうなったんだろう…数ある.NET対応言語の一覧で、一度だけ見かけた気がする(曖昧)のだが、真実や如何に？ 42 名前：デフォルトの名無しさん [02/02/24 20:45.net] Perl.netは？ 43 名前：ｔ [02/02/24 21:35.net] こりゃあエーダ。 44 名前：デフォルトの名無しさん mailto:sage [02/02/24 22:58.net] >>40 ｶﾅｰﾘ眉唾だねぇ。Eiffel.NET とかも (話だけは) でてたけど。 45 名前：40 mailto:sage [02/02/25 00:48.net] ひさしぶりにあがっていると思ったらレスが… >>43 やっぱ眉唾ですよねえ…期待してたんですが Eiffel.NETのほうは、Microsoftの記事からリンクが貼られてましたから こっちは実在するのではないかと 46 名前：デフォルトの名無しさん [02/02/25 20:40.net] www.microsoft.com/japan/developer/net/multilang/pdc_eiffel.asp Eiffel.NET↑ Ａｄａも昔の記事を見るとリストに入ってるんだけど。 47 名前：デフォルトの名無しさん mailto:sage [02/02/25 20:42.net] PL/SQLはAda互換だよ〜 48 名前：デフォルトの名無しさん [02/02/25 23:34.net] >>46 まじ？ 49 名前：デフォルトの名無しさん [02/02/25 23:39.net] 多重継承も総称もない Eiffel.NET は嫌だ〜 50 名前：デフォルトの名無しさん [02/02/26 01:39.net] AdaってF-22戦闘機にも採用されてるんですよね？ どんな記述なんですか？、２〜３行見てみたい気もするのですが もし関連書籍とかあればうれしいかなと、、 51 名前：デフォルトの名無しさん [02/02/26 09:07.net] Algol系。同期通信方式がCSP由来で、 以後SR(シリアライゼイションリソース)系言語一派をなした。 www.scism.sbu.ac.uk/law/Section1/chap2/s1c2p1.html www.adahome.com/ www.gnuada.org/ www.gnat.com/ 52 名前：デフォルトの名無しさん [02/02/26 10:54.net] さいきんのアフガン派兵で兵士の装備がWin2000搭載だと言ってますが、 Adaで書かなくてもペンタゴンに納入できるんですか？ 53 名前：デフォルトの名無しさん mailto:sage [02/02/26 11:11.net] ていうかどんな言語なのよ。 ためしにHello, World!のサンプルコードでも書いておくれよ。 54 名前：デフォルトの名無しさん [02/02/27 01:24.net] with Ada.Text_IO; procedure Hello is begin 　Ada.Text_IO.Put_line("Hello World !"); end Hello; GCあるがネイティブ(他のスレで話題になっているD言語と同じような組み合わせ)、 Win32APIなんかも直接呼べる。何ならサンプル貼るけど、 Cとかと違い厳格な分白紙窓出すだけで膨大になるぞ〜(w 55 名前：デフォルトの名無しさん mailto:sage [02/02/27 02:24.net] 次のgccでAda使えるYO! 56 名前：47 [02/02/27 21:15.net] 今日 PL/SQL の本を買ってみたら確かに Ada に近いと書いてあった。 何でそういう事になったのか詳しい人いませんか？ 57 名前：デフォルトの名無しさん mailto:sage [02/02/27 21:41.net] 俺にAdaについて語らせれば、右にでるものはいないぜ！ 　　「Adaはエ〜ダ」 58 名前：48 [02/02/27 23:18.net] Ada.NET はあったとしても、たぶん総称がないと思う。 59 名前：デフォルトの名無しさん mailto:sage [02/02/28 02:48.net] Ada.NETはともかく、.NETに総称を付け加える研究をMSRでやってるよ。 60 名前：デフォルトの名無しさん mailto:sage [02/02/28 10:25.net] >>56 どうでもええだ。 61 名前：デフォルトの名無しさん mailto:sage [02/02/28 18:01.net] >>59 そりゃねぇ〜だ。 62 名前：デフォルトの名無しさん mailto:ネタふり [02/03/13 09:05.net] 結局、なんで流行らなかったんですか？ 63 名前：名無しタン [02/03/13 09:27.net] 身近な実装があればなあ。 TurboAdaとかVisualAdaが出てればオレもやったかも。 64 名前：デフォルトの名無しさん [02/03/13 10:00.net] >>51 .govと.milでは基準が違うのかも。 65 名前：デフォルトの名無しさん [02/03/13 10:31.net] CマガジンにSRのこと載ってたね。 (SR=AdaなどのCSP系の通信機構をまとめて出来た言語) 66 名前：デフォルトの名無しさん mailto:sage [02/03/14 19:25.net] >>61 ２〜１６進表現全部フォローしなきゃならないとか（３とか１５とかも） Ａｄａと名乗る為に審査パスしなきゃいけないとか サブセットは認めないとかで 面倒だったのかな。（単なる憶測） 67 名前：デフォルトの名無しさん [02/03/16 09:14.net] >>62 >TurboAdaとかVisualAda いくら仕様が厳格でも、上記の処理系じゃ、 軍にソフトを納入できないような気がする。 68 名前：デフォルトの名無しさん mailto:sage [02/03/16 09:20.net] 枝スレはたまにあがるが盛り上がらんな 69 名前：デフォルトの名無しさん mailto:sage [02/03/16 12:15.net] 米軍は Ada+InterBase なのだろうか 70 名前：デフォルトの名無しさん [02/03/16 17:20.net] >>68 InterBaseってボーランドのですか？ >>50 素人なんですが、CSP系という事であれば、 　　　NGSCMのセンセのページに昔載ってた、 　　　SR(Syncronized Resource)とは違うのですか？ >>64 いつの号でしょうか？ 　　　３月号なら、音楽信号処理が載ってたんで、買ったけど読んでない(鬱 71 名前：デフォルトの名無しさん [02/03/16 18:13.net] あげ 72 名前：デフォルトの名無しさん mailto:sage [02/03/17 12:04.net] OracleのPL/SQLがAda似なのは米軍へ売り込むためだったのかな 73 名前：デフォルトの名無しさん [02/03/21 00:56.net] 米軍はHSP使ってます。先日国防省を訪ねたときにみました。 74 名前：　 mailto:sage [02/03/21 01:23.net] >72 そりゃねぇ〜だ。Again 75 名前：デフォルトの名無しさん mailto:sage [02/03/21 01:33.net] 例え総称がCLRに無くても、その言語内だけで使うぶんには勝手に展開してしまえばいいような気も…と言ってみる 総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果… 76 名前：デフォルトの名無しさん mailto:sage [02/03/21 02:15.net] エイダ・ウォン 77 名前：デフォルトの名無しさん mailto:sage [02/03/21 03:23.net] >>74 > 例え総称がCLRに無くても、その言語内だけで使うぶんには勝手に展開して > しまえばいいような気も…と言ってみる > 総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果… おいおい言語非依存にするっていう制約があるぞ。 それにメイヤーが何言っても聞くような奴じゃないぞ、あいつは。 つい最近までPascalやっていたような偏屈だからな。 78 名前：デフォルトの名無しさん [02/03/26 22:37.net] raise Age; 79 名前：デフォルトの名無しさん mailto:sage [02/03/26 23:27.net] 密かに>>75がつまらないギャグを言うスレはここですか。 gamecubeﾉBAIOﾔﾘﾀｲｷﾌﾞﾝ 80 名前：50 [02/03/27 03:10.net] >>69 > 　　　SR(Syncronized Resource)とは違うのですか？ スマン間違えた。Serialize-じゃなくてSynchronizedだ。 81 名前：デフォルトの名無しさん [02/03/27 04:41.net] 純国産OSのEOTAに標準でAdaがインストールされているのは 米軍へ売り込むためなのかな。 82 名前：デフォルトの名無しさん [02/03/28 21:53.net] Ada, 楽々受かるからだ。 83 名前：デフォルトの名無しさん [02/03/29 20:13.net] Ada, rakurakuukarukarada 84 名前：デフォルトの名無しさん mailto:sage [02/03/29 20:27.net] 82が気が付いてくれて、81も浮かばれただろ もっとも82＝81ならその限りではないが 85 名前：デフォルトの名無しさん [02/04/03 11:52.net] >>83 たぶん、>>82=>>81と思われ。 そんなの気づく奴は、本人以外なかなかいない。 よくできてるとは思うけどね。 86 名前：デフォルトの名無しさん [02/04/03 12:27.net] Adaから派生したDIANAって知ってる？ 80年代、Adaを勉強しようとして、まちがえてDIANAの本買って鬱になった。 Ada構文⇔DIANA木に変換できるらしい。NTT通研がやっていたと思う。 87 名前：デフォルトの名無しさん mailto:sage [02/04/04 00:30.net] >>84 81って、大昔の ASCII かなんかの雑誌にのっていた覚えがあるよ。 88 名前：デフォルトの名無しさん [02/04/06 01:19.net] Ada って Pascal から生まれたんでしょ？ だからいまだにアメリカではPascalを教えてるんだね。 あとでCにもAdaにもいけるからね。 89 名前：デフォルトの名無しさん [02/04/06 01:26.net] Algol系の言語が好まれるということだな。 PL/1, JOVIAL, modula-2/3などなど PascalからCという流れは？だが。 90 名前：デフォルトの名無しさん mailto:sage [02/04/12 12:03.net] raise Sage; --(意味不明) 91 名前：デフォルトの名無しさん mailto:sage [02/04/16 23:48.net] >>89 そういやコメントが--なんだよね。 92 名前：デフォルトの名無しさん mailto:sage [02/04/20 01:00.net] if 書き込む then 　存続; else 　dat落ち; end if; -- ぶらさがりelse問題の無い理想的なif文です 93 名前：デフォルトの名無しさん mailto:sage [02/04/23 08:33.net] loop 　存続; 　exit when dat落ち; end loop; -- 無限ループ専用の構文があるのも珍しいかも 94 名前：デフォルトの名無しさん mailto:sage [02/04/27 17:53.net] A: loop 　loop 　　exit A; 　end loop; end loop; loop 　loop 　　goto B; 　end loop; end loop; <<B>> 95 名前：デフォルトの名無しさん mailto:sage [02/05/01 23:28.net] declare 　type S is array(Character) of Boolean; 　Age: S := ('A' | 'G' | 'E' => True, others => False): 　Sage: S := ('S' | 'A' | 'G' | 'E' => True, others => False): 　R: S; begin 　R := Age and Sage; -- Booleanの配列はPascalみたく集合演算できる end; 96 名前：デフォルトの名無しさん mailto:sage [02/05/11 06:35.net] Thread.Write(Text => "仮引数明示呼びだし", Mail => sage); 97 名前：デフォルトの名無しさん mailto:sage [02/05/18 02:38.net] with System; use System; with Interfaces.C; use Interfaces.C; with Interfaces.C.Strings; use Interfaces.C.Strings; with Win32; use Win32; with Win32.WinUser; use Win32.WinUser; procedure WinHello is 　pragma Linker_Options("-Wl,-subsystem,windows"); 　function To_CStr(C_Str: CHAR_Array) return LPCSTR is 　　function UC is new Ada.Unchecked_Conversion(Address, LPCSTR); 　begin 　　return UC(C_Str(C_Str'First)'Address); 　end; 　Dummy: Win32.INT; 　Text: constant CHAR_Array := "Text" & Win32.Nul; begin 　Dummy := MessageBox(Null_Address, To_CStr(Text), To_CStr("Caption" & Win32.Nul), MB_YESNO); end WinHello; 98 名前：デフォルトの名無しさん mailto:sage [02/05/24 22:45.net] ADA95どうよ？ 99 名前：デフォルトの名無しさん mailto:sage [02/05/25 03:03.net] Ada95で、クラスワイド型じゃないと多態しないというのはまあいいのですけど、 多態で飛んでいった先の各ルーチンに渡されるオブジェクトはクラスワイド型じゃない方ですよね？ 多態先からまた多態したい時はそのつどクラスワイド型にキャストし直すしか無いのでしょうか？ 100 名前：デフォルトの名無しさん mailto:sage [02/05/25 11:07.net] >>92 > -- 無限ループ専用の構文があるのも珍しいかも CSPの影響でしょうね。

---

---

[ 続きを読む ] / [ 携帯版 ]

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