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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29.net] どうよ？ 487 名前：デフォルトの名無しさん [04/12/10 18:33:23.net] （；´Д｀）ﾊｧﾊｧ 488 名前：デフォルトの名無しさん mailto:sage [04/12/20 00:05:18.net] Adaって今更な感じもあってか、書籍やWebページが少ないね。 特に書籍にいたっては絶版になっているのか入手がむずい。 みなさんはどうやって情報を得てるんですか？ 489 名前：デフォルトの名無しさん mailto:sage [04/12/20 02:32:29.net] RM読む 490 名前：デフォルトの名無しさん mailto:sage [04/12/22 01:01:37.net] A#＋DirectXとかやったひといないのかな 491 名前：デフォルトの名無しさん [04/12/25 23:42:24.net] >>481 そんなのがあるのか、知らなかったよ。 492 名前：デフォルトの名無しさん [04/12/30 19:03:17.net] (;´д`)ﾊｧﾊｧ (;´Д`)ハァハァ　(;゜Дﾟ )ハｧｯハｧｯ :.` ;:.･∵ ﾟ д:.` 493 名前：デフォルトの名無しさん [04/12/31 21:59:02.net] すでにこれまでに話題なってそうな質問です。恐縮。 Adaが突然実装できなくなるとどんな飛行機が落っこちますか。 494 名前：あーげあし〜 mailto:sage [05/01/04 12:15:24.net] ？　工場から出荷できないんじゃない？ 既に稼動してるのは落ちないと思うし。 495 名前：デフォルトの名無しさん mailto:sage [05/01/22 02:06:43 .net] 保守〜 496 名前：デフォルトの名無しさん mailto:sage [05/01/22 02:21:50 .net] Mingw入れたら必要ないのに付いてきた。 497 名前：デフォルトの名無しさん [05/01/23 02:29:04 .net] >>446 こないだタイタンに着地したホイヘンスも、Adaらしい。 www.crn.vnunet.com/analysis/1157756 498 名前：デフォルトの名無しさん [05/01/23 08:48:22 .net] LogicaCMG designed the Huygens software using the hierarchical object-oriented design (Hood) method and then developed it in Ada 83, a general-purpose programming language developed by the US Department of Defence to help software designers develop large, reliable applications. 499 名前：デフォルトの名無しさん mailto:sage [05/01/23 18:16:57 .net] Nida 500 名前：デフォルトの名無しさん mailto:sage [05/01/30 22:52:20 .net] 英語力不足でLovelaceがPut_Line("Hello, world!");から先に進めませんorz 現在のAda力も同レベル・・・日本語文献が欲しい… 501 名前：デフォルトの名無しさん [05/02/04 18:16:23 .net] >>491 古いやつならあるぞ。 502 名前：デフォルトの名無しさん mailto:sage [05/02/24 22:43:48 .net] ほっしゅ。 503 名前：デフォルトの名無しさん [05/03/03 14:31:19 .net] 保守 504 名前：デフォルトの名無しさん [05/03/03 14:56:31 .net] 国防総省がAda作った背景何て言うんだっけ？ 言語の統一の必要性の方じゃなくて、 プログラマが足りなくなるって事象を。 ソフトウェア危機だっけ？ それに対する回答が言語の統一だったような。 505 名前：デフォルトの名無しさん [05/03/12 18:30:28 .net] Ada0Yはどうなったんだ？ 506 名前：デフォルトの名無しさん mailto:sage [05/03/12 19:22:01 .net] >>496 tp://hp.vector.co.jp/authors/VA028375/ada/ ここお薦め。 507 名前：デフォルトの名無しさん [2005/03/22(火) 00:15:23 .net] オブジェクト指向なの？ 508 名前：デフォルトの名無しさん [2005/03/27(日) 10:48:07 .net] >>1 どうだろうね 509 名前：デフォルトの名無しさん [2005/03/28(月) 15:11:32 .net] ada 510 名前：デフォルトの名無しさん mailto:sage [2005/03/30(水) 00:18:38 .net] >>498 web.archive.org/web/20020605044428/http://www.tsujiken.ee.kogakuin.ac.jp/jada95.html 511 名前：デフォルトの名無しさん [2005/04/06(水) 13:03:49 .net] ? 512 名前：デフォルトの名無しさん mailto:sage [2005/04/18(月) 12:46:28 .net] hoshu 513 名前：デフォルトの名無しさん [2005/04/22(金) 17:50:19 .net] 使用者が少ないっぽいな 514 名前：デフォルトの名無しさん [2005/04/22(金) 21:45:29 .net] 実際の話、この言語で情報システムとか組んだことのある香具師いるのか？ 515 名前：デフォルトの名無しさん [2005/04/30(土) 20:39:36 .net] ほしゅ 516 名前：デフォルトの名無しさん [2005/05/11(水) 15:45:08 .net] 保守 517 名前：デフォルトの名無しさん mailto:sage [2005/05/12(木) 05:03:14 .net] gcc4.0で、無名アクセス型とそれに伴いクロージャ(関数内関数の持ち出し)が使えるようになってるが、祭りじゃないのか？ 518 名前：デフォルトの名無しさん mailto:sage [2005/05/12(木) 08:13:33 .net] 現況では、組み込みのリアルタイム処理しかadaを使っておいしいシステムはなさそう。 しかも、ある程度規模が大きいとか、変なCPUとかじゃないと利点も生かせない。（24BitCPUとか） 必要なところでは必要だけど、メジャーにはならんね。 519 名前：デフォルトの名無しさん [2005/05/13(金) 23:07:33 .net] win版の統合開発環境はでるのかな？ 520 名前：デフォルトの名無しさん mailto:sage [2005/05/13(金) 23:12:43 .net] >>510 既に沢山あるようだが、無料のはGPSぐらいしかないな…。 521 名前：デフォルトの名無しさん mailto:sage [2005/05/14(土) 11:20:50 .net] メインステートからexit出来ないのが不便だ SIGTERM受けたときにexit(0)したいんだけど 誰か良い方法知りません？ 522 名前：デフォルトの名無しさん mailto:sage [2005/05/14(土) 18:39:44 .net] >>512 「メインステート」の意味がよくわからないけど、returnでだめなら例外投げるとか？ 523 名前：デフォルトの名無しさん [2005/05/19(木) 14:42:35 .net] Ada05 524 名前：デフォルトの名無しさん mailto:sage [2005/06/03(金) 23:46:19 .net] ループを次に進めるような奴は無いんだろうか…？ DelphiだとContinueみたいな。 525 名前：デフォルトの名無しさん mailto:sage [2005/06/04(土) 01:47:31 .net] >>515 ラベル付きexitが使えるので、end loopの直前まで飛べばいい。 526 名前：515 mailto:sage [2005/06/05(日) 10:51:50 .net] >516 ありがとうございます。 exitがラベル取れなかったので（exit_statement ::=exit [loop_name] [when condition];） gotoに読み替えて、end loop;直前まで飛んで解決しました。 527 名前：デフォルトの名無しさん [2005/06/05(日) 16:54:53 .net] おお、技術的な会話をしてるのか 528 名前：516 mailto:sage [2005/06/05(日) 20:01:25 .net] あー、悪い。 exitはループ以外の名前やgoto用ラベルは取れなかったっけね。 begin〜endにも名前が付けられるのだから、begin〜endもexitで脱出できていいと思うのだけどなあ。 529 名前：515 mailto:sage [2005/06/08(水) 22:33:42 .net] >516 どうせなら、やっぱり全部exitで出れる様に統一して欲しいですよねぇ。 begin...end;を出れるだけでも変わってくるのだけどなぁ。 530 名前：デフォルトの名無しさん mailto:sage [2005/06/09(木) 00:29:49 .net] 常に一回だけ素通りする、loop 〜 exit; end loop; でくくるとか。 531 名前：デフォルトの名無しさん mailto:sage [2005/06/25(土) 22:42:48 .net] ほっしゅ。 532 名前：デフォルトの名無しさん mailto:sage [2005/07/21(木) 22:55:42 .net] ほ 533 名前：デフォルトの名無しさん [2005/07/26(火) 09:31:15 .net] し 534 名前：デフォルトの名無しさん mailto:sage [2005/07/27(水) 00:19:45 .net] ひ 535 名前：デフォルトの名無しさん mailto:sage [2005/07/27(水) 22:36:25 .net] ゅ 536 名前：デフォルトの名無しさん mailto:sage [2005/07/27(水) 23:34:24 .net] OY for 95がｲﾝｽｺできないよorz gnatmakeして置き換えで何故駄目なんだ。。。 それ以上のインストール方法も書いてないし。。。 助けてぇ、エロい人ぉ 537 名前：デフォルトの名無しさん mailto:sage [2005/07/28(木) 15:56:16 .net] >>527 gcc 4.0.0以降は、Ada.ContainersもAda.Directoriesも標準装備。 538 名前：デフォルトの名無しさん mailto:sage [2005/07/28(木) 16:20:20 .net] ところで、配列の初期化でothers => <>を使ったら、要素数分空ループが生成されているような…。 除去してくれないのかgcc 4.0.1…。 subtype T is String(1..10); S : aliased String := T'(others => <>); なんでこんな書き方してるのかというと、aliasedつけて'Accessで渡そうとすると、初期化されてないってエラー？が出るから…。 539 名前：527 mailto:sage [2005/08/11(木) 22:51:13 .net] >528 ありがとうｴﾛｲ人！ 今までGNAT使ってたけどやっぱgccに乗り換えるよ。 そして亀レスすまん。 540 名前：デフォルトの名無しさん mailto:sage [2005/08/12(金) 09:16:10 .net] "GNAT"としてパッケージ化がされてないってだけで、GNATとgccの中のAdaは同じものに思えるのは…気のせいではあるまい。 541 名前：デフォルトの名無しさん [2005/08/15(月) 16:37:09 .net] あはは 542 名前：デフォルトの名無しさん mailto:sage [2005/08/29(月) 11:38:04 .net] ふと思ったんだけど、windowsで*.dllロードしたいときはどうするんだろう？ そのままImportしても出来ないし。。。 543 名前：デフォルトの名無しさん mailto:sage [2005/08/29(月) 20:21:27 .net] >>533 libgdi32.aみたいなのをリンクしても駄目？ -lgdi32 544 名前：デフォルトの名無しさん mailto:sage [2005/08/30(火) 22:54:04 .net] >>534 出来たよ、ありがとう。 つーか、リンカオプションまとめてる所とかないかな。 あの辺がさっぱり解らん。 545 名前：デフォルトの名無しさん mailto:sage [2005/09/15(木) 20:51:11 .net] GNAT GPL 2005パッケージ出たね。 https://libre2.adacore.com/ gcc見る限り多態コンストラクタや拡張returnはまたパッチが出て無いようではあるのだけれど、実装済みなのだろうか？ ベースがgcc 3.4.5というのがまた。どうせなら4.0.2ベースに…。 546 名前：デフォルトの名無しさん [2005/09/15(木) 20:51:41 .net] えーい、どうせだからあげ、あげ。 547 名前：デフォルトの名無しさん mailto:sage [2005/09/15(木) 21:11:50 .net] gccのスナップショット見る限りは、新機能パッチは最新ver(いまだと4.1.0)にしか適用されていないので、3.4.5ベースでAda2005というのはAdaCoreのカスタムなんだろうが…。 ぐだぐだ言ってないで落としてみればいいのだろうが、登録がw 548 名前：デフォルトの名無しさん mailto:sage [2005/10/05(水) 10:00:03 .net] STLの元になったAdaのコンテナライブラリってソース出ているの? 549 名前：デフォルトの名無しさん mailto:sage [2005/10/11(火) 00:27:57 .net] >>539 知らないなあ…。 逆にSTLをバックポートしたようなものは幾つか見かけたが。 550 名前：デフォルトの名無しさん mailto:sage [2005/10/11(火) 00:31:31 .net] ところで、interfaceへのダウンキャストができないのだが…そういうものなのか？ Java-like interfaceなんて言って、そのつもりで使ってると、困るんだが…。 551 名前：デフォルトの名無しさん mailto:age [2005/10/12(水) 14:39:57 .net] task内でなくとも select delay xx.x; 〜 then abort 〜 end select; が使えることに驚き。 そんな今日。 ついでにage。 552 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 15:25:17 .net] >>542 >>423 exit when なんていう構文をさっぱり綺麗に忘れていた今日この頃。 そしてsage 553 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 21:02:30 .net] 次スレではタイトル半角希望。 そして次スレとC++0xはどちらが早いだろうか… 554 名前：デフォルトの名無しさん mailto:sage [2005/10/30(日) 13:51:47 .net] 保守 555 名前：デフォルトの名無しさん mailto:sage [2005/11/13(日) 10:32:48 .net] 保守ついでに <チラシの裏。> 307でgwindowsがMinGWで動かないって書いてあるけど、展開してADA_*_Path通す（”＜展開したどこか＞\bindings”）だけで此方では一応動いた。 gnatcomも同様。（よくは知らないが） ただ文字列関係がANSIのままなので2k, xpではcoding\*_unicode.ad?で置換した方がよさ気。 私みたいなmeユーザには関係のない話だけど。 </チラシの裏。> ところで、誰かRendez-vons教えてください。 何の事だかさっぱりわからない。 556 名前：デフォルトの名無しさん mailto:sage [2005/11/14(月) 21:00:21 .net] >>546 entryで待ち合わせて一時的に合流処理、っぽい。 Javaなんかのsynchronizedとは逆の考え方っぽい。 共有資源に対して直接排他アクセス権をどうこうするのではなく、 共有資源を扱うガイド役のタスクがあって、 そいつがあちこちからの要求に付き添って行動することで 同時にアクセスされないことを保証してる、っぽい。 …間違ってたらすまん。 557 名前：デフォルトの名無しさん [2005/11/17(木) 19:44:08 .net] なんでこんな終わった言語をいつまでもGCCはサポートするん？ 558 名前：デフォルトの名無しさん mailto:sage [2005/11/17(木) 23:01:49 .net] 終わって無いから。 559 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 02:37:35 .net] adaの利点って何ですか？ 例えばD言語やC++なんかと比べてアドバンテージってある？ 560 名前：デフォルトの名無しさん mailto:age [2005/11/18(金) 23:05:01 .net] アドバンテージが必要か？ 561 名前：デフォルトの名無しさん mailto:sage [2005/11/19(土) 01:35:43 .net] >>550 おもいっきし書くのが面倒くさくて しかもコンパイラが厳しすぎること。 いや、マジで。 562 名前：デフォルトの名無しさん mailto:sage [2005/11/19(土) 12:35:19 .net] >>552 つまりアフォには書けない ⇒ バグが減る、ウマー ってことか。(w 563 名前：デフォルトの名無しさん mailto:sage [2005/11/20(日) 00:16:04 .net] …Σ (ﾟДﾟ;）さてはお前、頭いいな。 Adaでアドバンテージと言えば、並行処理を挙げないと。 564 名前：デフォルトの名無しさん mailto:age [2005/11/20(日) 01:18:06 .net] sourceforge.netにAda関連のプロジェクトがあるね 2005年になってから増えたようだ コンテナライブラリもいろいろあるようだが皆使ってる? Booch Componentsなんてどうよ? 565 名前：デフォルトの名無しさん mailto:sage [2005/11/20(日) 19:08:11 .net] >>553 俺のようなアフォでも苦労してコンパイルが通る頃には なかなかバグの無いコードになってるところとかな。 Adaにしかないような機能はいっぱいあるけど アドバンテージとするなら「コンパイラの厳しさ」が勝ると思う。 566 名前：デフォルトの名無しさん mailto:age [2005/11/21(月) 20:45:56 .net] コンパイルといえば GCC3.4.2でコンパイルしたら実行ファイルのサイズが202KBだったんだが GCC4.0.1でコンパイルしたら29KBになってﾜﾛｽ 何もオプション変えてないのにな 素敵コンパイラ(´∀｀) 567 名前：デフォルトの名無しさん mailto:sage [2005/11/21(月) 20:59:33 .net] ・何かの拍子でデバッグシンボルを削除した ・知らないうちにlibgnat-4.0.dllを使うようになってる どっちかじゃないか？ 568 名前：デフォルトの名無しさん mailto:sage [2005/11/21(月) 21:02:48 .net] >>555 コンテナは標準のAda.Containersができたから、 STLで言うところのalgorithmを共通化するためには 関数のシグネチャ(Adaなんで命名規則は違ってていい)が Ada.Containersと互換じゃないと…。 Ada.Containersも微妙に肥大だったり小回りが利かなかったりするんで 互換の軽量コンテナがあればいいんだが。 569 名前：デフォルトの名無しさん mailto:age [2005/11/21(月) 22:20:39 .net] >>558 > ・知らないうちにlibgnat-4.0.dllを使うようになってる ディストリビューションごと変えた(だけな)んで多分こっちだワ lddで見てみたらリンクしてた 570 名前：デフォルトの名無しさん mailto:sage [2005/12/01(木) 18:44:12 .net] declare 　torf:boolean:=false; begin 　put_line(torf'img); 　torf:=boolean'value("true"); end; ↑これが通ってちゃんと動く さらにAdaのboolean型は列挙型であるため ユーザー定義の列挙型でも可能 他にこれができる言語ってある？ 571 名前：デフォルトの名無しさん mailto:sage [2005/12/01(木) 20:39:28 .net] program testBool; 　var 　　torf: boolean; begin 　torf := false; 　writeln(torf); 　readstring('true', torf); 　writeln(torf); end. program testEnum; 　type 　　userEnum = (melon, apple, orange); 　var 　　userEnumV: userEnum; begin 　userEnumV := melon; 　writeln(userEnumV); 　readstring('apple', userEnumV); 　writeln(userEnumV); end. 572 名前：デフォルトの名無しさん mailto:sage [2005/12/01(木) 21:26:01 .net] PascalはRead/Writeで列挙型が入出力できる。文字列とのスマートな変換は無かったと思う。DelphiならRTTIで可能。 あとはJavaだのC#だのVM系はできて当然なんじゃないかな？ でもAdaのが一番手軽で便利っぽい。 573 名前：デフォルトの名無しさん mailto:sage [2005/12/01(木) 21:28:15 .net] …ていうか562はPascalか…処理系によってはあるのかもなあ。 Delphiのリファレンスには562の使い方のReadStringは無かった。 574 名前：デフォルトの名無しさん mailto:sage [2005/12/02(金) 08:04:35 .net] JDK1.5 enum Foobar { FOO, BAR, BAZ } class FoobarSample { public static void main(String[] a) {    boolean b = Boolean.valueOf("true");    System.out.print 575 名前：ln(b);    Foobar fb = Foobar.valueOf("FOO");    System.out.println(fb); } 最近のスクリプト系の言語だと連想配列（ハッシュ）使うかな？ [] [ここ壊れてます] 576 名前：デフォルトの名無しさん mailto:sage [2005/12/03(土) 20:48:42 .net] これどうですか？ Ada―移植性とプログラミング・スタイル ttp://www.amazon.co.jp/exec/obidos/ASIN/4764901579/503-1051603-3695108 577 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 00:43:52 .net] 1989年かー。 Ada2005どころかAda95もまだだなー。 でもAdaは他の言語と違って、言語の底にある考え方を理解して無いと、何もできないっぽい(←うけうり)ので、今も売られてる本があるだけマシか…？ 578 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 02:56:04 .net] レオン：エイダ〜 エイダ：レオ〜ン シェリー：うぅ・・・ エイダ：Gウィルスが・・・ レオン：エイダ〜 G最終形態：グチャグチャ 自爆シークエンス：あぼ〜ん 579 名前：デフォルトの名無しさん [2005/12/04(日) 03:19:06 .net] AdaでOracleにアクセスできる処理系ってありますか？ AdaでWebアプリケーションを作成することはできますか？ 580 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 04:03:14 .net] >>569 Webアプリは単にCGIなら標準入出力が扱える言語ならなんでもできるので勿論Adaでも可能。 サーバー向けにgccでクロスコンパイラ作ればいい。 JSPだのASP.NETだのは、JGNATやMGNATでがんばれ。 Oracleは、商用Adaなら普通にバインディングついてくるっぽい。 581 名前：デフォルトの名無しさん mailto:sage [2005/12/05(月) 21:11:19 .net] >566 どうだったかなぁ。 お勧めはこれだけど。 www.amazon.co.jp/exec/obidos/ASIN/4781904734/qid=1133784487/sr=1-17/ref=sr_1_2_17/250-5384434-5362614 在庫切れか。 582 名前：デフォルトの名無しさん mailto:sage [2005/12/23(金) 22:25:25 .net] h 583 名前：デフォルトの名無しさん [2005/12/28(水) 21:15:15 .net] o 584 名前：デフォルトの名無しさん mailto:sage [2005/12/29(木) 06:23:55 .net] バグの出にくい言語仕様を考える。 pc8.2ch.net/test/read.cgi/tech/1111747980/ このスレのアイデアの半分ぐらいは既にAdaにあるんだよなあ…。 > そうすると、制約だらけでウザいだけの言語になって、さらに既存の言語の拡張という形はとれなくなるが。 までピッタシカンカンだしなあ…。 585 名前：デフォルトの名無しさん mailto:sage [2006/01/07(土) 19:02:40 .net] with Ada.Text_IO; use Ada.Text_IO; with Ada.Integer_Text_IO; use Ada.Integer_Text_IO; procedure NSort is N : Natural; begin Get(N); declare Used : array (1 .. N) of Boolean := (others => False); procedure Rec(F : Natural; Par : not null access procedure) is begin if F < N then for I in Used'Range loop if not Used(I) then declare procedure P is begin Par.all; Put(I, 2); end; begin Used(I) := True; Rec(F + 1, P'Access); Used(I) := False; end; end if; end loop; else Par.all; New_Line; end if; end Rec; procedure Prompt is begin Put('>'); end Prompt; begin Rec(0, Prompt'Access); end; end NSort; 586 名前：デフォルトの名無しさん [2006/01/19(木) 21:02:18 .net] age 587 名前：デフォルトの名無しさん mailto:sage [2006/02/05(日) 11:33:10 .net] すいませんどなたかlimitedが何なのか教えてもらえませんか 一応RM95読んだんですけど生半可な英語力でわかりませんでした

---

---

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

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