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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29.net] どうよ？ 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読んだんですけど生半可な英語力でわかりませんでした 588 名前：デフォルトの名無しさん mailto:sage [2006/02/05(日) 14:43:56 .net] >>577 限られた、とか、限定の、とか、限定版、とかそういう意味で、 Adaでの意味は「代入禁止」。 589 名前：デフォルトの名無しさん mailto:sage [2006/02/06(月) 00:43:16 .net] なるほど。tnx 590 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 10:30:27 .net] 保守するだけじゃなんなので、教えて君。 つか、見てる人何人いるんだろう？ とりあえず、Adjustで何をしたらいいのか教えてください。 代入時に呼び出されてるっぽいことはわかるんだけど。 代入直前なのか直後なのか、引数は代入される側なのかする側なのか、とか。 591 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 11:47:22 .net] このスレの誰か入門書を書いてくれー。 592 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 13:08:30 .net] 「RM嫁」とか、「とりあえずそれっぽいの書いて、コンパイルエラーを消してけ」としか。 RMは非常に読みにくいが、コンパイルエラーは親切。 「初心者の初心者による入門書」なら書けるけど、、、読んでも得るもの少ないよ？ 593 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 20:35:12 .net] >>580 oopweb.com ttp://oopweb.com/Ada/Documents/AdaLinux/VolumeFrames.html?/Ada/Documents/AdaLinux/Volume/book.html とかどうだ。 コピーコンストラクタのようなものと書かれてはいるが 594 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 21:34:42 .net] >>580 a := b;としたらAdjust(a);が呼ばれる。 例えば中にポインタがあったりして、その中身まで複写しないと いけないようなケースでコピー後の調整を行うのがAdjust。 全部コピーして回るC++のコピーコンストラクタとはちょと違う。 type a is new Controlled with record x : access Work_Area; y: Integer; end; procedure initialize(obj:in out x) is begin obj.x := new Work_Area; end; procedure Free is new Unchecked_Deallocate(...); procedure finalize(obj:in out x) is begin Free(obj.x); end; とすると必要なAdjustは procedure adjust(obj:in out x) is begin obj.x := new Work_Area'(obj.x.all); end; x,yとも値は勝手にコピーされるけど、xは中身まで複製しないとその後共有してしまうしFinalizeで二重解放になってしまう。 595 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 22:04:25 .net] なるほど、「複製」ではなく「調整」か 596 名前：580 mailto:sage [2006/02/14(火) 23:33:15 .net] >>583-584 ありがとう！ とりあえず代入の際の補助と理解しといた。 597 名前：デフォルトの名無しさん mailto:sage [2006/02/15(水) 01:14:38 .net] >>581 切実 598 名前：デフォルトの名無しさん mailto:sage [2006/02/15(水) 23:44:59 .net] amazonあたりでAdaの洋書を買おうとか思うんだがお薦めある？ 599 名前：デフォルトの名無しさん mailto:sage [2006/02/27(月) 09:53:30 .net] ttp://www.macada.org/ このへん使ってる人っている？ 600 名前：デフォルトの名無しさん [2006/03/02(木) 00:58:34 .net] ＞＞589 ttps://libre2.adacore.com/ のppc-darwinを使ってる。 601 名前：デフォルトの名無しさん [2006/03/02(木) 01:09:03 .net] >>588 いまなら Programming in Ada 95: www.amazon.com/gp/product/0201342936 Ada As A Second Language: www.amazon.com/gp/product/0070116075 もうすこししたら Programming in Ada 2005 with CD: www.amazon.com/gp/product/0321340787 co.ukだと出版がJune 30, 2006と書いてあるけど， 著者もまだ予定を出版社からきいてないみたいだからデマかも。 602 名前：デフォルトの名無しさん [2006/03/02(木) 01:35:23 .net] >>588 とりあえず、 Object Oriented Programming in Ada95 ttp://burks.bton.ac.uk/burks/language/ada/ada95.pdf とか Ada for Software Engineers ttp://stwww.weizmann.ac.il/g-cs/benari/books なら，もと有料だったのがタダ。 特に、あとのBen-Ariのは，RM95の解説にもなってるのでお薦め。 昔これ読んで、やっとStreamが理解できた。 603 名前：デフォルトの名無しさん mailto:sage [2006/03/16(木) 11:11:36 .net] そろそろ保守 604 名前：デフォルトの名無しさん [2006/03/28(火) 04:30:58 .net] ほす 605 名前：デフォルトの名無しさん mailto:sage [2006/04/06(木) 05:04:02 .net] AdaってGPLなんだよね それさえなければな 606 名前：デフォルトの名無しさん mailto:sage [2006/04/06(木) 08:17:58 .net] GNATがGPLなだけで、他の有償コンパイラはあるけど？ ちょっと検索すれば一杯出てくる。IBMとかも出してるし。 607 名前：デフォルトの名無しさん mailto:sage [2006/04/08(土) 21:46:30 .net] あれ？コンパイラのGPLも感染するんだっけ？ 608 名前：デフォルトの名無しさん mailto:sage [2006/04/08(土) 22:17:54 .net] GNATつかうとGPL汚染されるはず。 リンクされるライブラリの問題？ 609 名前：デフォルトの名無しさん mailto:sage [2006/04/08(土) 22:37:34 .net] ライブラリの問題で、コンパイラ自体は、エディタとかと同じ扱い 610 名前：だったはず。 [] [ここ壊れてます] 611 名前：デフォルトの名無しさん mailto:sage [2006/04/08(土) 22:59:47 .net] >GNATつかうとGPL汚染されるはず。 ﾌﾞﾙﾌﾞﾙｶﾞﾀｶﾞﾀ 612 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 00:35:26 .net] libgnat.aがGPLだしねえ。って震えるほどか？ あとバイナリ配らないことにすればGPLにする必要もないわけで。 613 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 14:41:12 .net] バイナリ配らないプログラムにどんな意味が？ 614 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 14:46:17 .net] 相手が非Windowsだったらgccぐらい入ってるだろうから、makeしてくれ、と。 あとCGIとかもバイナリは「配布」する必要が無い。 ソースはGPLとは矛盾しない別ライセンスにして、GPLのバイナリと一緒に公開してもいいわけで。 …Adaの問題というかgcc使う限りそうなんだけどな。 gccが嫌でそれでもAdaを使いたいなんて意思がある奴はどっかの製品買ってるだろうし、こんなのでごねてるのはgccがGPLでなくても結局使わないとも思うが。 615 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 15:00:35 .net] gcc は関係ないでしょ。gcc を使っても GPL に汚染されない言語もある訳だし。 616 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 15:14:18 .net] そりゃ、ラインタイム全部用意できればねえ。 MinGW用のwindows.hとインポートライブラリなんかはGPLじゃないので、それだけで書いたらGPL以外にできるんだけども。 617 名前：デフォルトの名無しさん mailto:sage [2006/04/15(土) 09:30:31 .net] Cからimportすれば別だけどAdaでfork出来ない、つまり別プロセス立てられないよね サーバーアプリケーションとかデーモンを作るときはどうするんだ？ サーバーアプリはtaskでいいかもしれんが 618 名前：デフォルトの名無しさん mailto:sage [2006/04/16(日) 00:53:52 .net] あれ？そういえば標準ライブラリに別プロセス実行機能が無いね。 やっぱ組み込みまでターゲットとかそんな理由なんだろうか。(GNAT.OS_Libにspawnの宣言はあるけど) 619 名前：デフォルトの名無しさん mailto:sage [2006/04/28(金) 22:45:32 .net] 保守というかチラシの裏:begin 　図書館で検索したら一応4冊のAdaの本があった。 　日本語１冊、英語３冊。 　日本語のは出版が古くAda83で、さらにサンプルが少なかったので、英語の一冊を借りてきた。 　さて、GWはこいつと格闘するか。 end 保守というかチラシの裏; 620 名前：デフォルトの名無しさん mailto:sage [2006/05/04(木) 04:53:25 .net] GPS は凄いけど作るものが無い。 どこかで Adaプログラマ募集してないかな。 内職時給800円くらいでおk。 621 名前：デフォルトの名無しさん mailto:sage [2006/05/04(木) 05:25:49 .net] GPSは2.0代のを見てしょぼいと思ったが GNAT GPL 2005のほうのGPS 3.0インストールしてみたら凄かった。 更にVS統合が出てた。 ttp://www.martincarlisle.com/VisualStudioIntegration.htm 仕事は……それこそ軍隊にでも雇われないと、内職に出すようなのは無いんじゃないか……。 開発速度を犠牲にしても堅牢性を追求するAdaの姿勢は、一般企業が求めてるものとは違う気がするし、何より日本では知名度が無い。 つーか、仕事あるなら俺を雇ってくださいお願いします。 622 名前：デフォルトの名無しさん mailto:sage [2006/05/04(木) 11:28:48 .net] 仕事があるとしても新規開発じゃなくて 過去Adaがポッとで始めたときに物珍しさ?で作られたものの保守くらいだろうね 大概C++で書き直されてるんじゃないかと思うけど 623 名前：デフォルトの名無しさん [2006/05/13(土) 22:40:35 .net] ほしゅ 624 名前：デフォルトの名無しさん [2006/05/13(土) 23:51:08 .net] 新参ですが、エイダは何が得意なんですか？ 625 名前：デフォルトの名無しさん mailto:sage [2006/05/14(日) 00:19:00 .net] 数学と競馬が得意ですわ 626 名前：デフォルトの名無しさん mailto:sage [2006/05/14(日) 00:40:15 .net] 多次元配列を扱うサブルーチンが書きやすい。 627 名前：デフォルトの名無しさん mailto:sage [2006/05/14(日) 06:43:58 .net] delphiみたいなradツール作ってよ。 628 名前：デフォルトの名無しさん mailto:sage [2006/05/14(日) 16:04:50 .net] >>616 GWindows …Delphiの足元どころか一般的に想像されるGUIツールの水準にもとかそういう話はこの際おいといてくれ。 629 名前：デフォルトの名無しさん [2006/05/16( ] [ここ壊れてます] 630 名前：火) 00:02:20 .net mailto: Adaで業務システム組んだことのある奇特な方いますか？ [] [ここ壊れてます] 631 名前：デフォルトの名無しさん mailto:sage [2006/05/24(水) 22:50:05 .net] GWindowsがDelphiライクに使えればいいのになぁ、無理か。 GtkAdaは、、、どっちもどっちか。 632 名前：デフォルトの名無しさん mailto:sage [2006/06/08(木) 12:21:50 .net] h 633 名前：デフォルトの名無しさん [2006/06/14(水) 21:09:21 .net] GNAT GPL 2006ｷﾀｰ 634 名前：デフォルトの名無しさん [2006/06/14(水) 21:37:56 .net] マジだー!!!!ktkr!!!!! 635 名前：デフォルトの名無しさん mailto:sage [2006/06/17(土) 21:57:22 .net] 保守 と、チラシの裏。 さて、GNAT GPL 2006入れたらコンパイルできなくなったぞ、と。 >Ada compiler not installed on this system orz 環境変数かな。 636 名前：デフォルトの名無しさん mailto:sage [2006/06/20(火) 17:31:12 .net] インストール時にPATHに追加するか聞いてくるくせに、追加しないかダメみたいだ。なんじゃそら。 私のとこもgcc-4.1いれてたので、そっちが起動されて混乱してた 637 名前：デフォルトの名無しさん [2006/06/22(木) 01:07:10 .net] >>591 >Programming in Ada 2005 with CD: >www.amazon.com/gp/product/0321340787 届いた！ 638 名前：デフォルトの名無しさん mailto:sage [2006/06/22(木) 02:11:22 .net] >>625 うぉ、うらやまし。 AdaCoreにある.pdf以上のこと、書かれてる？ 639 名前：デフォルトの名無しさん [2006/06/22(木) 03:45:22 .net] CreateGame〜陸海空オンライン〜 次世代新基軸ＭＭＯ製作プロジェクト始動！ ＰＧ大募集！力あるものだけね。 よろすく 640 名前：デフォルトの名無しさん mailto:sage [2006/06/22(木) 08:51:29 .net] >>624 Windows？ 今LinuxにインストールしたけどPATHに追加するかなんて聞かれなかった 641 名前：623 mailto:sage [2006/06/22(木) 09:26:43 .net] 俺も聞かれなかった@ppc-darwin 手作業で追加しろ、とは言われたけど。 結局、gccが見つけてくれなかったのはPATHの表現が原因だった。 公式の表記には従っとくものだと思った。 642 名前：デフォルトの名無しさん mailto:sage [2006/06/22(木) 23:09:51 .net] >>628-629 Yes, Windowsです。 643 名前：デフォルトの名無しさん mailto:sage [2006/06/22(木) 23:40:17 .net] GPSで、TABで3文字インデントを行うような設定どっかにないかな…… Ctrl+/で補完される基準もよくわからん 644 名前：デフォルトの名無しさん mailto:sage [2006/06/23(金) 01:26:41 .net] 宣言関係は2文字インデント、処理が3文字インデントだっけか。 何かに乗ってたなぁ、何だっけか。。。 645 名前：デフォルトの名無しさん mailto:sage [2006/06/30(金) 12:58:34 .net] 拡張リータン構文はどうやって使うの？ return ... do 〜 end return;内とそれが帰った先の両方で system.address_image 使って変数のアドレスが同じ(= return 時のコピーが行われない)ようだということは確認できたけど ↓のようにしたらアドレスは同じでも中身のデータが壊れてましたよ？ 俺使い方間違ってる？ function test return string is str:string(1..10):=(others=>'n'); begin return ret_str:string(str'range) do for i in str'range loop ret_str(i):=str(i); end loop; end return; end test; 646 名前：デフォルトの名無しさん mailto:sage [2006/06/30(金) 21:06:25 .net] >>633 サイズ可変な型に関しては怪しいらしい。 www.adacore.com/2006/05/10/NF-A05-DC16-057-ada/ >subtype is constrained and 〜 もしかControlledもダメか？きついな。 647 名前：デフォルトの名無しさん mailto:sage [2006/06/30(金) 21:49:38 .net] Ada用のx64用コンパイラはありませんか？ 648 名前：デフォルトの名無しさん mailto:sage [2006/06/30(金) 22:10:28 .net] >>635 gccを自分でビルドすれ 649 名前：デフォルトの名無しさん mailto:sage [2006/07/01(土) 00:15:10 .net] x64で動作するコンパイラじゃなくて x64ネイティブバイナリを吐き出すコンパイラって意味じゃないの？ gccのAdaって対応してたっけ？ 650 名前：デフォルトの名無しさん mailto:sage [2006/07/01(土) 15:32:09 .net] そう言われると不安だな……。 AonixやIBMなら売ってそうな気もする。知らんが。 651 名前：デフォルトの名無しさん mailto:sage [2006/07/01(土) 23:50:35 .net] >>633 limitedじゃないやつに対してもコンパイラ内部エラーがでた。 実装されたばかりの機能だから、バグバグみたいだ……。 not nullなんかもgcc 4.0.0直後はgenericと混ぜるとすぐ落ちてたしな……。 652 名前：デフォルトの名無しさん mailto:sage [2006/07/01(土) 23:51:53 .net] 補足、Limited_Controlledを拡張returnで返そうとするとまだ実装されてませんとかでる。 653 名前：デフォルトの名無しさん mailto:sage [2006/07/14(金) 19:12:19 .net] 拡張リターンヤバいマジヤバい privateなrecord型のメンバー変数のアクセス型返せる上に それやるとコンパイル時にもランタイム時にもエラーにならない そして普通に中身書き換えられる >>640 limited_controlled型は拡張リターンでなくてもエラーにならないか？ そして保守 654 名前：デフォルトの名無しさん mailto:sage [2006/07/15(土) 01:55:07 .net] >>641 普通のリターンでエラーになるのは当たり前なんですよ。コピーができないのがlimited型だから。 ただ、拡張リターンは「コピー無しに値を返せる」わけで、limited型にも使えるのがウリのひとつだった筈。 655 名前：デフォルトの名無しさん mailto:sage [2006/07/26(水) 12:32:11 .net] GNAT GPL 2006アップデートされてる？ libre2.adacore.comの日付がJul 24, 2006になってるけど 656 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 02:22:56 .net] DLしなおしてみたが、gdbの日付が変わっているだけだった。しょぼん。 657 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 02:58:21 .net] GNAT GPL 2006だとimited withしてもtask typeが見えるようにならないみたいなんだが、 これって仕様通りなのかな？ 実験してたらGNAT落ちるし。 package Class_As is type Hog 658 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 03:00:29 .net] 途中でおくちゃった -- class_as.ads limited with Class_Bs; package Class_As is type Class_A is tagged record B : access Class_Bs.Class_B; Foo : access String; end record; procedure Hoge(O : in out Class_A); end Class_As; -- class_as.adb with Class_Bs; package body Class_As is procedure Hoge(O : in out Class_A) is begin O.B := new Class_Bs.Class_B; end Hoge; end Class_As; 659 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 03:01:52 .net] -- class_bs.ads limited with Class_As; package Class_Bs is type Class_B is limited private; private task type Class_B is entry Hoge; end Class_B; end Class_Bs; -- class_bs.adb with Class_As; package body Class_Bs is task body Class_B is begin accept Hoge; end Class_B; end Class_Bs; task typeが見えないなら1度privateで宣言したらどうなるか実験してたら、 コンパイル中にGNAT落ちるし。 660 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 08:49:23 .net] 仕様は知らんがたぶんバグじゃないか？ 661 名前：デフォルトの名無しさん [2006/08/10(木) 18:58:15 .net] エイダってあのANUBISの？ 662 名前：デフォルトの名無しさん mailto:sage [2006/08/10(木) 21:16:40 .net] >>649 由来は一緒ですがこのスレのAdaと貴方の知るエイダは別物です。 663 名前：デフォルトの名無しさん mailto:sage [2006/08/16(水) 00:43:24 .net] ほす 664 名前：デフォルトの名無しさん [2006/08/29(火) 02:00:40 .net] ほす 665 名前：デフォルトの名無しさん mailto:sage [2006/09/13(水) 00:53:52 .net] hhoo 666 名前：デフォルトの名無しさん mailto:sage [2006/10/03(火) 00:37:58 .net] 保守〜 667 名前：デフォルトの名無しさん mailto:sage [2006/10/17(火) 20:08:41 .net] >>650 俺はあのADAが可愛かったからこの言語を勉強し始めたよｗ 668 名前：デフォルトの名無しさん mailto:sage [2006/10/17(火) 23:36:19 .net] 拡張returnとかinterfaceとか、、、機能に頭がついていけないorz >>655 俺はAdaを始めてからADAに惚れたんだ。 ZOE3でも彼女が健在でありますように。 ／ADA＼<コンパイル予測時間９０秒 669 名前：デフォルトの名無しさん mailto:sage [2006/10/30(月) 22:29:21 .net] ほす 670 名前：デフォルトの名無しさん mailto:sage [2006/11/07(火) 17:14:38 .net] ZOEのエイダ知ってる奴多すぎ。 多分監督は言語にもAdaがあるなんて知らなかったんだろうな・・・。 おっと、そんな事を書いている場合じゃない。 671 名前：デフォルトの名無しさん mailto:sage [2006/11/07(火) 22:20:20 .net] >>658 絶対知ってる。 672 名前：デフォルトの名無しさん mailto:sage [2006/11/27(月) 04:15:34 .net] ほす 673 名前：デフォルトの名無しさん mailto:sage [2006/12/14(木) 23:21:17 .net] 適当に保守 674 名前：デフォルトの名無しさん [2006/12/15(金) 00:07:45 .net] Adaでシステム構築した強者はいる？ 675 名前：デフォルトの名無しさん mailto:sage [2006/12/15(金) 23:18:13 .net] >>662 米軍 676 名前：デフォルトの名無しさん mailto:sage [2006/12/16(土) 22:39:18 .net] たしかに強者だな 677 名前：デフォルトの名無しさん mailto:sage [2007/01/07(日) 23:31:30 .net] 今年最初の保守

---

---

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

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