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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29.net] どうよ？ 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の影響でしょうね。 101 名前：デフォルトの名無しさん [02/05/25 11:08.net] >>87 Concurrent Cは、Adaから影響を受けたね。 102 名前：デフォルトの名無しさん mailto:sage [02/05/25 13:39.net] 委員会が作った言語に優れたものは１つもない。 103 名前：C++好き mailto:sage [02/05/25 14:07.net] >>101 最近のC++には耳の痛いお言葉で… 104 名前：デフォルトの名無しさん [02/05/25 22:40.net] Ｃ＋＋は、委員会が決めたのか？ 105 名前：デフォルトの名無しさん mailto:sage [02/05/25 22:45.net] C++に贈る言葉 「船頭多くして、船、山に登る」 106 名前：C++好き mailto:sage [02/05/25 22:51.net] >>103 最近は anubis.dkuug.dk/jtc1/sc22/wg21/ こういうところがメインですよ。 もうBjarne Stroustrup個人の言語じゃないです。 107 名前：デフォルトの名無しさん mailto:sage [02/05/25 23:31.net] しかしAda(やCommonLisp)はそもそも委員会が設計した言語だからな。 もっとひどい。 108 名前：C++好き [02/05/26 00:08.net] CommonLispは、mailing-listの議論をGuy Steeleの独断でまとめた。 だから委員会じゃないが、確かにすっきりしない言語だな。 109 名前：デフォルトの名無しさん mailto:sage [02/05/26 00:27.net] 対照的なのはOberonとかSchemeとか。 好き嫌いはともかく、すっきりしてる。 110 名前：デフォルトの名無しさん [02/05/26 03:17.net] うんだ、Ada はええだ。 恩を Ada で返すだ。 111 名前：デフォルトの名無しさん mailto:sage [02/05/26 05:37.net] >>109 ﾜﾗﾀ 112 名前：デフォルトの名無しさん mailto:sage [02/05/26 08:51.net] Adaに無限ループ専用の構文なんてないぞ。 loop文の繰り返し規則がオプションになってるだけ。 for ch in CHAR'RANGE loop ... end loop; while ch in CHAR'RANGE loop ... end loop; loop ... end loop; 113 名前：デフォルトの名無しさん [02/05/29 21:58.net] 平社員: 係長、何か泳いでいますね〜 係長: エイだ。 114 名前：ＡＤＡ mailto:ＡＤＡ [02/06/16 22:39.net] ＡＤＡ 115 名前：デフォルトの名無しさん mailto:sage [02/06/29 15:29.net] 保守 116 名前：デフォルトの名無しさん mailto:sage [02/07/11 15:44.net] AADDAA 117 名前：デフォルトの名無しさん mailto:sage [02/07/12 01:00.net] 人類初のプログラマーは女性 www-6.ibm.com/jp/lead/010115_a.html 118 名前：デフォルトの名無しさん mailto:sage [02/07/22 15:14.net] raise…してもネタも無し。保守 119 名前：デフォルトの名無しさん mailto:sage [02/07/24 21:15.net] 国防省というと、Multicsがついこないだまで現役で動いていた そうですが、それってPL/IをAdaに焼き直して動かしていた とかいう話はあるんでしょうか？ 120 名前：デフォルトの名無しさん mailto:sage [02/08/06 12:53.net] 保守sage 121 名前：デフォルトの名無しさん [02/08/06 19:29.net] age 122 名前：_ mailto:sage [02/08/06 23:29.net] 作られた時代を考えたらAdaって凄く先進的な言語ですね。。。 123 名前：デフォルトの名無しさん [02/08/07 08:43.net] 作られたときは先進的だけど今はどうってことないじゃん。なんて国防総省が いまだにエーダなんてつかってるかわからないよーん。ボケ。 124 名前：デフォルトの名無しさん mailto:sage [02/08/07 10:30.net] F-22しか使われてるの知らないけど、他にはどんな軍用兵器の開発に 使われてるの？ 125 名前：デフォルトの名無しさん [02/08/07 14:09.net] スティンガー 126 名前：デフォルトの名無しさん [02/08/07 14:12.net] エイダちゃん ｷﾀ━━━(ﾟ∀ﾟ)━━━!! でも年輩ハッカーしか知らないに(　つД｀)1デリゲート 127 名前：C++好き [02/08/07 18:06.net] >>122 違うよ。そういう後ろ向きの理由じゃなくて、Multicsはバリバリの現役だったよ。 B2 security通っていたからね。 williamstallings.com/Extras/Security-Notes/lectures/trusted.html 「コンピュータセキュリティの基礎」D. Russell, G.T. Gangemi Sr. 山口英監訳 アスキー出版、が日本語書籍では詳しい。絶版なのかな? www.amazon.co.jp/exec/obidos/ASIN/4756102999/qid%3D1028710845/250-8907122-0857047 >>123 >>50から辿ってね〜。 128 名前：デフォルトの名無しさん mailto:sage [02/08/07 18:22.net] 国内でも航空管制で使われてない？ 129 名前：デフォルトの名無しさん mailto:sage [02/09/10 18:12.net] 保守 130 名前：デフォルトの名無しさん mailto:sage [02/10/02 20:11.net] Text_IO.Put_Line("下へ参ります"); 131 名前：デフォルトの名無しさん [02/10/25 01:53.net] GCC に Ada が入ったみたいだが、なぜ？ 132 名前：デフォルトの名無しさん mailto:sage [02/10/25 01:55.net] Ada.Coda.IUNA 133 名前：デフォルトの名無しさん mailto:sage [02/10/25 01:58.net] Ada.Coda.You.Know 134 名前：デフォルトの名無しさん mailto:sage [02/10/25 02:17.net] ttp://www.adahome.com/Pictures/ladyada.gif結構美人じゃない？？ 135 名前：　 mailto:sage [02/10/25 03:50.net] いまgnat-3.13p-8.i386.rpm ってのﾀﾞｳｿしてるんだが・・・ ・・・不安 136 名前：134 mailto:sage [02/10/25 14:13.net] RedHat7.1と7.3にすんなり入った。 gnat-3.13p-runtime-1-8.i386.rpm と、gnat-3.13p-8.i386.rpm の、とりあえず二つだけ持ってきて、この順にrpm -ivh するだけ。 ちょっとイラっとしたことといえば、User's Guideにあった $ gcc -c hello.adb　が駄目で、gnatgccじゃないとコンパイル しなかった事ぐらいだった。 まぁ温故知新って言うか、割と楽しめそうな感じ。 137 名前：デフォルトの名無しさん mailto:sage [02/10/25 20:30.net] lovelaceっていうAdaチュートリアルみつけた。 なんかよさげ。 Section1-4にAdaの実行時例外を投げさせる例題があったけど、 例外なんか一個も投げられないで、おかしな値を表示しながら 無限ループしてる。 調べてみると、漏れのつかってるGNATではコンパイル時の オプションで-cargs -gnatoと指定しないとだめだと分かった。 それ以外はいい感じだった。もうしばらく続けてみよう。 今日はLesson4までやった。 明日はLesson5〜8までやる。オブジェクト指向が含まれる。 あさってはLesson9〜12までやる。Genericsが含まれる。 しあさってはLesson13〜17（最後）までやる。並行処理とかが含まれる。 ・・・つうか暇。。。 138 名前：デフォルトの名無しさん mailto:sage [02/10/25 21:49.net] Windowsでも、mingw版gccで試せる、と一応書いておく。 139 名前：デフォルトの名無しさん [02/10/26 01:12.net] levelace って名前がなんか 軍用って香りがするのは Ada に対する偏見だろうか？ 140 名前：　 mailto:sage [02/10/26 12:48.net] Augusta Ada Lovelace（バイロンの娘。世界最初のプログラマ） 141 名前：デフォルトの名無しさん mailto:sage [02/10/26 15:12.net] Boochなんかも、もとはAda畑の人だったわけね。 でRational Rose もAda Illustratorってツールに起源をもつとか。 もしかしてSmalltalk程度には評価されていいのかも知らんね。 case-insensitiveなのは、いやなんだが・・・。 142 名前：デフォルトの名無しさん mailto:sage [02/10/26 22:19.net] さてと、lovelaceとか言うチュートリアルを半分までやって見た。 メッセージを受け取る側のオブジェクトも引数としてメソッドに渡すわけか。 UMLとか書くときはどうするんだろう。 あとタイプとクラスを別々の概念として扱うってのが、なんかイマイチ よく分からん。（興味深くもあるけど。） 代入とコン（デ）ストラクタを定義するのに、いちいち組み込みのクラス から派生させるてのもいかがなものかと思いますた。 マルチディスパッチできるらしいんだが、これはちょっと面白いかも。 寝る時間までちょっといろいろ書いて見るか。 143 名前：デフォルトの名無しさん [02/10/26 23:20.net] Adaたんって可愛かったのかな？ 写真なんか無い時代だよね… 144 名前：デフォルトの名無しさん mailto:age [02/10/27 11:16.net] Ada.NETはともかく、.NETに総称を付け加える研究をMSRでやってるよ。 145 名前：デフォルトの名無しさん [02/10/27 13:22.net] そのgnatってネットワーク系のライブラリとかあります？ 単にHTTPでPOSTして結果をうけとるだけでいいんですけど。 146 名前：デフォルトの名無しさん mailto:sage [02/10/27 13:57.net] >>143 貴族の娘だから肖像画くらいはあるんじゃねーの? 147 名前：デフォルトの名無しさん mailto:sage [02/10/27 14:20.net] Lady Augusta Ada Byron www.cs.kuleuven.ac.be/~dirk/ada-belgium/pictures.html#LA 148 名前：デフォルトの名無しさん mailto:sage [02/10/27 19:05.net] 現在mingwダウンロード中。 「lovelaceっていうAdaチュートリアル」とやらはどこにあるの？ 149 名前：デフォルトの名無しさん [02/10/27 21:01.net] gcc-3.2-Ada-20020817-1.tar.gzをmingwのディレクトリに重ねて解凍しただけではコンパイルできないのか？ fatal error, run-time library not installed correctly cannot locate file system.ads みたいに言われる…(system.adsそのものはmingw\lib以下の深いところに存在する) 多分何かパス設定が必要なんだろうけど、誰か知りませんか？ 150 名前：148 mailto:sage [02/10/27 21:11.net] 自己レス。 環境変数ADA_INCLUDE_PATHとADA_OBJECTS_PATHが必要でした。 さて、Hello Worldのコンパイル通ったし、lovelace探すか…。 やけに生成されるexeがでかい気がするのですが、スマートリンクみたいなオプションが必要？ それともこんなもの？ 151 名前：デフォルトの名無しさん [02/10/27 22:23.net] 好奇心で勉強するのは良いけどさ、 Adaって案件あるのか？ 先輩が昔、三菱のホニャララで聞いた事が ある、とか言ってたけど... 152 名前：デフォルトの名無しさん [02/10/27 22:45.net] >>150 軍事関係なら多いだろ でもそういうのは機密なものばかりだろうから話題には上らない

---

---

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

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