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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29] どうよ？ 481 名前：デフォルトの名無しさん mailto:sage [04/12/22 01:01:37] A#＋DirectXとかやったひといないのかな 482 名前：デフォルトの名無しさん [04/12/25 23:42:24] >>481 そんなのがあるのか、知らなかったよ。 483 名前：デフォルトの名無しさん [04/12/30 19:03:17] (;´д`)ﾊｧﾊｧ (;´Д`)ハァハァ　(;゜Дﾟ )ハｧｯハｧｯ :.` ;:.･∵ ﾟ д:.` 484 名前：デフォルトの名無しさん [04/12/31 21:59:02] すでにこれまでに話題なってそうな質問です。恐縮。 Adaが突然実装できなくなるとどんな飛行機が落っこちますか。 485 名前：あーげあし〜 mailto:sage [05/01/04 12:15:24] ？　工場から出荷できないんじゃない？ 既に稼動してるのは落ちないと思うし。 486 名前：デフォルトの名無しさん mailto:sage [05/01/22 02:06:43 ] 保守〜 487 名前：デフォルトの名無しさん mailto:sage [05/01/22 02:21:50 ] Mingw入れたら必要ないのに付いてきた。 488 名前：デフォルトの名無しさん [05/01/23 02:29:04 ] >>446 こないだタイタンに着地したホイヘンスも、Adaらしい。 www.crn.vnunet.com/analysis/1157756 489 名前：デフォルトの名無しさん [05/01/23 08:48:22 ] 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. 490 名前：デフォルトの名無しさん mailto:sage [05/01/23 18:16:57 ] Nida 491 名前：デフォルトの名無しさん mailto:sage [05/01/30 22:52:20 ] 英語力不足でLovelaceがPut_Line("Hello, world!");から先に進めませんorz 現在のAda力も同レベル・・・日本語文献が欲しい… 492 名前：デフォルトの名無しさん [05/02/04 18:16:23 ] >>491 古いやつならあるぞ。 493 名前：デフォルトの名無しさん mailto:sage [05/02/24 22:43:48 ] ほっしゅ。 494 名前：デフォルトの名無しさん [05/03/03 14:31:19 ] 保守 495 名前：デフォルトの名無しさん [05/03/03 14:56:31 ] 国防総省がAda作った背景何て言うんだっけ？ 言語の統一の必要性の方じゃなくて、 プログラマが足りなくなるって事象を。 ソフトウェア危機だっけ？ それに対する回答が言語の統一だったような。 496 名前：デフォルトの名無しさん [05/03/12 18:30:28 ] Ada0Yはどうなったんだ？ 497 名前：デフォルトの名無しさん mailto:sage [05/03/12 19:22:01 ] >>496 tp://hp.vector.co.jp/authors/VA028375/ada/ ここお薦め。 498 名前：デフォルトの名無しさん [2005/03/22(火) 00:15:23 ] オブジェクト指向なの？ 499 名前：デフォルトの名無しさん [2005/03/27(日) 10:48:07 ] >>1 どうだろうね 500 名前：デフォルトの名無しさん [2005/03/28(月) 15:11:32 ] ada 501 名前：デフォルトの名無しさん mailto:sage [2005/03/30(水) 00:18:38 ] >>498 web.archive.org/web/20020605044428/http://www.tsujiken.ee.kogakuin.ac.jp/jada95.html 502 名前：デフォルトの名無しさん [2005/04/06(水) 13:03:49 ] ? 503 名前：デフォルトの名無しさん mailto:sage [2005/04/18(月) 12:46:28 ] hoshu 504 名前：デフォルトの名無しさん [2005/04/22(金) 17:50:19 ] 使用者が少ないっぽいな 505 名前：デフォルトの名無しさん [2005/04/22(金) 21:45:29 ] 実際の話、この言語で情報システムとか組んだことのある香具師いるのか？ 506 名前：デフォルトの名無しさん [2005/04/30(土) 20:39:36 ] ほしゅ 507 名前：デフォルトの名無しさん [2005/05/11(水) 15:45:08 ] 保守 508 名前：デフォルトの名無しさん mailto:sage [2005/05/12(木) 05:03:14 ] gcc4.0で、無名アクセス型とそれに伴いクロージャ(関数内関数の持ち出し)が使えるようになってるが、祭りじゃないのか？ 509 名前：デフォルトの名無しさん mailto:sage [2005/05/12(木) 08:13:33 ] 現況では、組み込みのリアルタイム処理しかadaを使っておいしいシステムはなさそう。 しかも、ある程度規模が大きいとか、変なCPUとかじゃないと利点も生かせない。（24BitCPUとか） 必要なところでは必要だけど、メジャーにはならんね。 510 名前：デフォルトの名無しさん [2005/05/13(金) 23:07:33 ] win版の統合開発環境はでるのかな？ 511 名前：デフォルトの名無しさん mailto:sage [2005/05/13(金) 23:12:43 ] >>510 既に沢山あるようだが、無料のはGPSぐらいしかないな…。 512 名前：デフォルトの名無しさん mailto:sage [2005/05/14(土) 11:20:50 ] メインステートからexit出来ないのが不便だ SIGTERM受けたときにexit(0)したいんだけど 誰か良い方法知りません？ 513 名前：デフォルトの名無しさん mailto:sage [2005/05/14(土) 18:39:44 ] >>512 「メインステート」の意味がよくわからないけど、returnでだめなら例外投げるとか？ 514 名前：デフォルトの名無しさん [2005/05/19(木) 14:42:35 ] Ada05 515 名前：デフォルトの名無しさん mailto:sage [2005/06/03(金) 23:46:19 ] ループを次に進めるような奴は無いんだろうか…？ DelphiだとContinueみたいな。 516 名前：デフォルトの名無しさん mailto:sage [2005/06/04(土) 01:47:31 ] >>515 ラベル付きexitが使えるので、end loopの直前まで飛べばいい。 517 名前：515 mailto:sage [2005/06/05(日) 10:51:50 ] >516 ありがとうございます。 exitがラベル取れなかったので（exit_statement ::=exit [loop_name] [when condition];） gotoに読み替えて、end loop;直前まで飛んで解決しました。 518 名前：デフォルトの名無しさん [2005/06/05(日) 16:54:53 ] おお、技術的な会話をしてるのか 519 名前：516 mailto:sage [2005/06/05(日) 20:01:25 ] あー、悪い。 exitはループ以外の名前やgoto用ラベルは取れなかったっけね。 begin〜endにも名前が付けられるのだから、begin〜endもexitで脱出できていいと思うのだけどなあ。 520 名前：515 mailto:sage [2005/06/08(水) 22:33:42 ] >516 どうせなら、やっぱり全部exitで出れる様に統一して欲しいですよねぇ。 begin...end;を出れるだけでも変わってくるのだけどなぁ。 521 名前：デフォルトの名無しさん mailto:sage [2005/06/09(木) 00:29:49 ] 常に一回だけ素通りする、loop 〜 exit; end loop; でくくるとか。 522 名前：デフォルトの名無しさん mailto:sage [2005/06/25(土) 22:42:48 ] ほっしゅ。 523 名前：デフォルトの名無しさん mailto:sage [2005/07/21(木) 22:55:42 ] ほ 524 名前：デフォルトの名無しさん [2005/07/26(火) 09:31:15 ] し 525 名前：デフォルトの名無しさん mailto:sage [2005/07/27(水) 00:19:45 ] ひ 526 名前：デフォルトの名無しさん mailto:sage [2005/07/27(水) 22:36:25 ] ゅ 527 名前：デフォルトの名無しさん mailto:sage [2005/07/27(水) 23:34:24 ] OY for 95がｲﾝｽｺできないよorz gnatmakeして置き換えで何故駄目なんだ。。。 それ以上のインストール方法も書いてないし。。。 助けてぇ、エロい人ぉ 528 名前：デフォルトの名無しさん mailto:sage [2005/07/28(木) 15:56:16 ] >>527 gcc 4.0.0以降は、Ada.ContainersもAda.Directoriesも標準装備。 529 名前：デフォルトの名無しさん mailto:sage [2005/07/28(木) 16:20:20 ] ところで、配列の初期化でothers => <>を使ったら、要素数分空ループが生成されているような…。 除去してくれないのかgcc 4.0.1…。 subtype T is String(1..10); S : aliased String := T'(others => <>); なんでこんな書き方してるのかというと、aliasedつけて'Accessで渡そうとすると、初期化されてないってエラー？が出るから…。 530 名前：527 mailto:sage [2005/08/11(木) 22:51:13 ] >528 ありがとうｴﾛｲ人！ 今までGNAT使ってたけどやっぱgccに乗り換えるよ。 そして亀レスすまん。 531 名前：デフォルトの名無しさん mailto:sage [2005/08/12(金) 09:16:10 ] "GNAT"としてパッケージ化がされてないってだけで、GNATとgccの中のAdaは同じものに思えるのは…気のせいではあるまい。 532 名前：デフォルトの名無しさん [2005/08/15(月) 16:37:09 ] あはは 533 名前：デフォルトの名無しさん mailto:sage [2005/08/29(月) 11:38:04 ] ふと思ったんだけど、windowsで*.dllロードしたいときはどうするんだろう？ そのままImportしても出来ないし。。。 534 名前：デフォルトの名無しさん mailto:sage [2005/08/29(月) 20:21:27 ] >>533 libgdi32.aみたいなのをリンクしても駄目？ -lgdi32 535 名前：デフォルトの名無しさん mailto:sage [2005/08/30(火) 22:54:04 ] >>534 出来たよ、ありがとう。 つーか、リンカオプションまとめてる所とかないかな。 あの辺がさっぱり解らん。 536 名前：デフォルトの名無しさん mailto:sage [2005/09/15(木) 20:51:11 ] GNAT GPL 2005パッケージ出たね。 https://libre2.adacore.com/ gcc見る限り多態コンストラクタや拡張returnはまたパッチが出て無いようではあるのだけれど、実装済みなのだろうか？ ベースがgcc 3.4.5というのがまた。どうせなら4.0.2ベースに…。 537 名前：デフォルトの名無しさん [2005/09/15(木) 20:51:41 ] えーい、どうせだからあげ、あげ。 538 名前：デフォルトの名無しさん mailto:sage [2005/09/15(木) 21:11:50 ] gccのスナップショット見る限りは、新機能パッチは最新ver(いまだと4.1.0)にしか適用されていないので、3.4.5ベースでAda2005というのはAdaCoreのカスタムなんだろうが…。 ぐだぐだ言ってないで落としてみればいいのだろうが、登録がw 539 名前：デフォルトの名無しさん mailto:sage [2005/10/05(水) 10:00:03 ] STLの元になったAdaのコンテナライブラリってソース出ているの? 540 名前：デフォルトの名無しさん mailto:sage [2005/10/11(火) 00:27:57 ] >>539 知らないなあ…。 逆にSTLをバックポートしたようなものは幾つか見かけたが。 541 名前：デフォルトの名無しさん mailto:sage [2005/10/11(火) 00:31:31 ] ところで、interfaceへのダウンキャストができないのだが…そういうものなのか？ Java-like interfaceなんて言って、そのつもりで使ってると、困るんだが…。 542 名前：デフォルトの名無しさん mailto:age [2005/10/12(水) 14:39:57 ] task内でなくとも select delay xx.x; 〜 then abort 〜 end select; が使えることに驚き。 そんな今日。 ついでにage。 543 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 15:25:17 ] >>542 >>423 exit when なんていう構文をさっぱり綺麗に忘れていた今日この頃。 そしてsage 544 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 21:02:30 ] 次スレではタイトル半角希望。 そして次スレとC++0xはどちらが早いだろうか… 545 名前：デフォルトの名無しさん mailto:sage [2005/10/30(日) 13:51:47 ] 保守 546 名前：デフォルトの名無しさん mailto:sage [2005/11/13(日) 10:32:48 ] 保守ついでに <チラシの裏。> 307でgwindowsがMinGWで動かないって書いてあるけど、展開してADA_*_Path通す（”＜展開したどこか＞\bindings”）だけで此方では一応動いた。 gnatcomも同様。（よくは知らないが） ただ文字列関係がANSIのままなので2k, xpではcoding\*_unicode.ad?で置換した方がよさ気。 私みたいなmeユーザには関係のない話だけど。 </チラシの裏。> ところで、誰かRendez-vons教えてください。 何の事だかさっぱりわからない。 547 名前：デフォルトの名無しさん mailto:sage [2005/11/14(月) 21:00:21 ] >>546 entryで待ち合わせて一時的に合流処理、っぽい。 Javaなんかのsynchronizedとは逆の考え方っぽい。 共有資源に対して直接排他アクセス権をどうこうするのではなく、 共有資源を扱うガイド役のタスクがあって、 そいつがあちこちからの要求に付き添って行動することで 同時にアクセスされないことを保証してる、っぽい。 …間違ってたらすまん。 548 名前：デフォルトの名無しさん [2005/11/17(木) 19:44:08 ] なんでこんな終わった言語をいつまでもGCCはサポートするん？ 549 名前：デフォルトの名無しさん mailto:sage [2005/11/17(木) 23:01:49 ] 終わって無いから。 550 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 02:37:35 ] adaの利点って何ですか？ 例えばD言語やC++なんかと比べてアドバンテージってある？ 551 名前：デフォルトの名無しさん mailto:age [2005/11/18(金) 23:05:01 ] アドバンテージが必要か？ 552 名前：デフォルトの名無しさん mailto:sage [2005/11/19(土) 01:35:43 ] >>550 おもいっきし書くのが面倒くさくて しかもコンパイラが厳しすぎること。 いや、マジで。 553 名前：デフォルトの名無しさん mailto:sage [2005/11/19(土) 12:35:19 ] >>552 つまりアフォには書けない ⇒ バグが減る、ウマー ってことか。(w 554 名前：デフォルトの名無しさん mailto:sage [2005/11/20(日) 00:16:04 ] …Σ (ﾟДﾟ;）さてはお前、頭いいな。 Adaでアドバンテージと言えば、並行処理を挙げないと。 555 名前：デフォルトの名無しさん mailto:age [2005/11/20(日) 01:18:06 ] sourceforge.netにAda関連のプロジェクトがあるね 2005年になってから増えたようだ コンテナライブラリもいろいろあるようだが皆使ってる? Booch Componentsなんてどうよ? 556 名前：デフォルトの名無しさん mailto:sage [2005/11/20(日) 19:08:11 ] >>553 俺のようなアフォでも苦労してコンパイルが通る頃には なかなかバグの無いコードになってるところとかな。 Adaにしかないような機能はいっぱいあるけど アドバンテージとするなら「コンパイラの厳しさ」が勝ると思う。 557 名前：デフォルトの名無しさん mailto:age [2005/11/21(月) 20:45:56 ] コンパイルといえば GCC3.4.2でコンパイルしたら実行ファイルのサイズが202KBだったんだが GCC4.0.1でコンパイルしたら29KBになってﾜﾛｽ 何もオプション変えてないのにな 素敵コンパイラ(´∀｀) 558 名前：デフォルトの名無しさん mailto:sage [2005/11/21(月) 20:59:33 ] ・何かの拍子でデバッグシンボルを削除した ・知らないうちにlibgnat-4.0.dllを使うようになってる どっちかじゃないか？ 559 名前：デフォルトの名無しさん mailto:sage [2005/11/21(月) 21:02:48 ] >>555 コンテナは標準のAda.Containersができたから、 STLで言うところのalgorithmを共通化するためには 関数のシグネチャ(Adaなんで命名規則は違ってていい)が Ada.Containersと互換じゃないと…。 Ada.Containersも微妙に肥大だったり小回りが利かなかったりするんで 互換の軽量コンテナがあればいいんだが。 560 名前：デフォルトの名無しさん mailto:age [2005/11/21(月) 22:20:39 ] >>558 > ・知らないうちにlibgnat-4.0.dllを使うようになってる ディストリビューションごと変えた(だけな)んで多分こっちだワ lddで見てみたらリンクしてた 561 名前：デフォルトの名無しさん mailto:sage [2005/12/01(木) 18:44:12 ] declare 　torf:boolean:=false; begin 　put_line(torf'img); 　torf:=boolean'value("true"); end; ↑これが通ってちゃんと動く さらにAdaのboolean型は列挙型であるため ユーザー定義の列挙型でも可能 他にこれができる言語ってある？ 562 名前：デフォルトの名無しさん mailto:sage [2005/12/01(木) 20:39:28 ] 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. 563 名前：デフォルトの名無しさん mailto:sage [2005/12/01(木) 21:26:01 ] PascalはRead/Writeで列挙型が入出力できる。文字列とのスマートな変換は無かったと思う。DelphiならRTTIで可能。 あとはJavaだのC#だのVM系はできて当然なんじゃないかな？ でもAdaのが一番手軽で便利っぽい。 564 名前：デフォルトの名無しさん mailto:sage [2005/12/01(木) 21:28:15 ] …ていうか562はPascalか…処理系によってはあるのかもなあ。 Delphiのリファレンスには562の使い方のReadStringは無かった。 565 名前：デフォルトの名無しさん mailto:sage [2005/12/02(金) 08:04:35 ] JDK1.5 enum Foobar { FOO, BAR, BAZ } class FoobarSample { public static void main(String[] a) {    boolean b = Boolean.valueOf("true");    System.out.println(b);    Foobar fb = Foobar.valueOf("FOO");    System.out.println(fb); } 最近のスクリプト系の言語だと連想配列（ハッシュ）使うかな？ 566 名前：デフォルトの名無しさん mailto:sage [2005/12/03(土) 20:48:42 ] これどうですか？ Ada―移植性とプログラミング・スタイル ttp://www.amazon.co.jp/exec/obidos/ASIN/4764901579/503-1051603-3695108 567 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 00:43:52 ] 1989年かー。 Ada2005どころかAda95もまだだなー。 でもAdaは他の言語と違って、言語の底にある考え方を理解して無いと、何もできないっぽい(←うけうり)ので、今も売られてる本があるだけマシか…？ 568 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 02:56:04 ] レオン：エイダ〜 エイダ：レオ〜ン シェリー：うぅ・・・ エイダ：Gウィルスが・・・ レオン：エイダ〜 G最終形態：グチャグチャ 自爆シークエンス：あぼ〜ん 569 名前：デフォルトの名無しさん [2005/12/04(日) 03:19:06 ] AdaでOracleにアクセスできる処理系ってありますか？ AdaでWebアプリケーションを作成することはできますか？ 570 名前：デフォルトの名無しさん mailto:sage [2005/12/04(日) 04:03:14 ] >>569 Webアプリは単にCGIなら標準入出力が扱える言語ならなんでもできるので勿論Adaでも可能。 サーバー向けにgccでクロスコンパイラ作ればいい。 JSPだのASP.NETだのは、JGNATやMGNATでがんばれ。 Oracleは、商用Adaなら普通にバインディングついてくるっぽい。 571 名前：デフォルトの名無しさん mailto:sage [2005/12/05(月) 21:11:19 ] >566 どうだったかなぁ。 お勧めはこれだけど。 www.amazon.co.jp/exec/obidos/ASIN/4781904734/qid=1133784487/sr=1-17/ref=sr_1_2_17/250-5384434-5362614 在庫切れか。 572 名前：デフォルトの名無しさん mailto:sage [2005/12/23(金) 22:25:25 ] h 573 名前：デフォルトの名無しさん [2005/12/28(水) 21:15:15 ] o 574 名前：デフォルトの名無しさん mailto:sage [2005/12/29(木) 06:23:55 ] バグの出にくい言語仕様を考える。 pc8.2ch.net/test/read.cgi/tech/1111747980/ このスレのアイデアの半分ぐらいは既にAdaにあるんだよなあ…。 > そうすると、制約だらけでウザいだけの言語になって、さらに既存の言語の拡張という形はとれなくなるが。 までピッタシカンカンだしなあ…。 575 名前：デフォルトの名無しさん mailto:sage [2006/01/07(土) 19:02:40 ] 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; 576 名前：デフォルトの名無しさん [2006/01/19(木) 21:02:18 ] age 577 名前：デフォルトの名無しさん mailto:sage [2006/02/05(日) 11:33:10 ] すいませんどなたかlimitedが何なのか教えてもらえませんか 一応RM95読んだんですけど生半可な英語力でわかりませんでした 578 名前：デフォルトの名無しさん mailto:sage [2006/02/05(日) 14:43:56 ] >>577 限られた、とか、限定の、とか、限定版、とかそういう意味で、 Adaでの意味は「代入禁止」。 579 名前：デフォルトの名無しさん mailto:sage [2006/02/06(月) 00:43:16 ] なるほど。tnx 580 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 10:30:27 ] 保守するだけじゃなんなので、教えて君。 つか、見てる人何人いるんだろう？ とりあえず、Adjustで何をしたらいいのか教えてください。 代入時に呼び出されてるっぽいことはわかるんだけど。 代入直前なのか直後なのか、引数は代入される側なのかする側なのか、とか。 581 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 11:47:22 ] このスレの誰か入門書を書いてくれー。 582 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 13:08:30 ] 「RM嫁」とか、「とりあえずそれっぽいの書いて、コンパイルエラーを消してけ」としか。 RMは非常に読みにくいが、コンパイルエラーは親切。 「初心者の初心者による入門書」なら書けるけど、、、読んでも得るもの少ないよ？ 583 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 20:35:12 ] >>580 oopweb.com ttp://oopweb.com/Ada/Documents/AdaLinux/VolumeFrames.html?/Ada/Documents/AdaLinux/Volume/book.html とかどうだ。 コピーコンストラクタのようなものと書かれてはいるが 584 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 21:34:42 ] >>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で二重解放になってしまう。 585 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 22:04:25 ] なるほど、「複製」ではなく「調整」か 586 名前：580 mailto:sage [2006/02/14(火) 23:33:15 ] >>583-584 ありがとう！ とりあえず代入の際の補助と理解しといた。 587 名前：デフォルトの名無しさん mailto:sage [2006/02/15(水) 01:14:38 ] >>581 切実 588 名前：デフォルトの名無しさん mailto:sage [2006/02/15(水) 23:44:59 ] amazonあたりでAdaの洋書を買おうとか思うんだがお薦めある？ 589 名前：デフォルトの名無しさん mailto:sage [2006/02/27(月) 09:53:30 ] ttp://www.macada.org/ このへん使ってる人っている？ 590 名前：デフォルトの名無しさん [2006/03/02(木) 00:58:34 ] ＞＞589 ttps://libre2.adacore.com/ のppc-darwinを使ってる。 591 名前：デフォルトの名無しさん [2006/03/02(木) 01:09:03 ] >>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と書いてあるけど， 著者もまだ予定を出版社からきいてないみたいだからデマかも。 592 名前：デフォルトの名無しさん [2006/03/02(木) 01:35:23 ] >>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が理解できた。 593 名前：デフォルトの名無しさん mailto:sage [2006/03/16(木) 11:11:36 ] そろそろ保守 594 名前：デフォルトの名無しさん [2006/03/28(火) 04:30:58 ] ほす 595 名前：デフォルトの名無しさん mailto:sage [2006/04/06(木) 05:04:02 ] AdaってGPLなんだよね それさえなければな 596 名前：デフォルトの名無しさん mailto:sage [2006/04/06(木) 08:17:58 ] GNATがGPLなだけで、他の有償コンパイラはあるけど？ ちょっと検索すれば一杯出てくる。IBMとかも出してるし。 597 名前：デフォルトの名無しさん mailto:sage [2006/04/08(土) 21:46:30 ] あれ？コンパイラのGPLも感染するんだっけ？ 598 名前：デフォルトの名無しさん mailto:sage [2006/04/08(土) 22:17:54 ] GNATつかうとGPL汚染されるはず。 リンクされるライブラリの問題？ 599 名前：デフォルトの名無しさん mailto:sage [2006/04/08(土) 22:37:34 ] ライブラリの問題で、コンパイラ自体は、エディタとかと同じ扱いだったはず。 600 名前：デフォルトの名無しさん mailto:sage [2006/04/08(土) 22:59:47 ] >GNATつかうとGPL汚染されるはず。 ﾌﾞﾙﾌﾞﾙｶﾞﾀｶﾞﾀ 601 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 00:35:26 ] libgnat.aがGPLだしねえ。って震えるほどか？ あとバイナリ配らないことにすればGPLにする必要もないわけで。 602 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 14:41:12 ] バイナリ配らないプログラムにどんな意味が？ 603 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 14:46:17 ] 相手が非Windowsだったらgccぐらい入ってるだろうから、makeしてくれ、と。 あとCGIとかもバイナリは「配布」する必要が無い。 ソースはGPLとは矛盾しない別ライセンスにして、GPLのバイナリと一緒に公開してもいいわけで。 …Adaの問題というかgcc使う限りそうなんだけどな。 gccが嫌でそれでもAdaを使いたいなんて意思がある奴はどっかの製品買ってるだろうし、こんなのでごねてるのはgccがGPLでなくても結局使わないとも思うが。 604 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 15:00:35 ] gcc は関係ないでしょ。gcc を使っても GPL に汚染されない言語もある訳だし。 605 名前：デフォルトの名無しさん mailto:sage [2006/04/09(日) 15:14:18 ] そりゃ、ラインタイム全部用意できればねえ。 MinGW用のwindows.hとインポートライブラリなんかはGPLじゃないので、それだけで書いたらGPL以外にできるんだけども。 606 名前：デフォルトの名無しさん mailto:sage [2006/04/15(土) 09:30:31 ] Cからimportすれば別だけどAdaでfork出来ない、つまり別プロセス立てられないよね サーバーアプリケーションとかデーモンを作るときはどうするんだ？ サーバーアプリはtaskでいいかもしれんが 607 名前：デフォルトの名無しさん mailto:sage [2006/04/16(日) 00:53:52 ] あれ？そういえば標準ライブラリに別プロセス実行機能が無いね。 やっぱ組み込みまでターゲットとかそんな理由なんだろうか。(GNAT.OS_Libにspawnの宣言はあるけど) 608 名前：デフォルトの名無しさん mailto:sage [2006/04/28(金) 22:45:32 ] 保守というかチラシの裏:begin 　図書館で検索したら一応4冊のAdaの本があった。 　日本語１冊、英語３冊。 　日本語のは出版が古くAda83で、さらにサンプルが少なかったので、英語の一冊を借りてきた。 　さて、GWはこいつと格闘するか。 end 保守というかチラシの裏; 609 名前：デフォルトの名無しさん mailto:sage [2006/05/04(木) 04:53:25 ] GPS は凄いけど作るものが無い。 どこかで Adaプログラマ募集してないかな。 内職時給800円くらいでおk。 610 名前：デフォルトの名無しさん mailto:sage [2006/05/04(木) 05:25:49 ] GPSは2.0代のを見てしょぼいと思ったが GNAT GPL 2005のほうのGPS 3.0インストールしてみたら凄かった。 更にVS統合が出てた。 ttp://www.martincarlisle.com/VisualStudioIntegration.htm 仕事は……それこそ軍隊にでも雇われないと、内職に出すようなのは無いんじゃないか……。 開発速度を犠牲にしても堅牢性を追求するAdaの姿勢は、一般企業が求めてるものとは違う気がするし、何より日本では知名度が無い。 つーか、仕事あるなら俺を雇ってくださいお願いします。 611 名前：デフォルトの名無しさん mailto:sage [2006/05/04(木) 11:28:48 ] 仕事があるとしても新規開発じゃなくて 過去Adaがポッとで始めたときに物珍しさ?で作られたものの保守くらいだろうね 大概C++で書き直されてるんじゃないかと思うけど 612 名前：デフォルトの名無しさん [2006/05/13(土) 22:40:35 ] ほしゅ 613 名前：デフォルトの名無しさん [2006/05/13(土) 23:51:08 ] 新参ですが、エイダは何が得意なんですか？ 614 名前：デフォルトの名無しさん mailto:sage [2006/05/14(日) 00:19:00 ] 数学と競馬が得意ですわ 615 名前：デフォルトの名無しさん mailto:sage [2006/05/14(日) 00:40:15 ] 多次元配列を扱うサブルーチンが書きやすい。 616 名前：デフォルトの名無しさん mailto:sage [2006/05/14(日) 06:43:58 ] delphiみたいなradツール作ってよ。 617 名前：デフォルトの名無しさん mailto:sage [2006/05/14(日) 16:04:50 ] >>616 GWindows …Delphiの足元どころか一般的に想像されるGUIツールの水準にもとかそういう話はこの際おいといてくれ。 618 名前：デフォルトの名無しさん [2006/05/16(火) 00:02:20 ] Adaで業務システム組んだことのある奇特な方いますか？ 619 名前：デフォルトの名無しさん mailto:sage [2006/05/24(水) 22:50:05 ] GWindowsがDelphiライクに使えればいいのになぁ、無理か。 GtkAdaは、、、どっちもどっちか。 620 名前：デフォルトの名無しさん mailto:sage [2006/06/08(木) 12:21:50 ] h 621 名前：デフォルトの名無しさん [2006/06/14(水) 21:09:21 ] GNAT GPL 2006ｷﾀｰ 622 名前：デフォルトの名無しさん [2006/06/14(水) 21:37:56 ] マジだー!!!!ktkr!!!!! 623 名前：デフォルトの名無しさん mailto:sage [2006/06/17(土) 21:57:22 ] 保守 と、チラシの裏。 さて、GNAT GPL 2006入れたらコンパイルできなくなったぞ、と。 >Ada compiler not installed on this system orz 環境変数かな。 624 名前：デフォルトの名無しさん mailto:sage [2006/06/20(火) 17:31:12 ] インストール時にPATHに追加するか聞いてくるくせに、追加しないかダメみたいだ。なんじゃそら。 私のとこもgcc-4.1いれてたので、そっちが起動されて混乱してた 625 名前：デフォルトの名無しさん [2006/06/22(木) 01:07:10 ] >>591 >Programming in Ada 2005 with CD: >www.amazon.com/gp/product/0321340787 届いた！ 626 名前：デフォルトの名無しさん mailto:sage [2006/06/22(木) 02:11:22 ] >>625 うぉ、うらやまし。 AdaCoreにある.pdf以上のこと、書かれてる？ 627 名前：デフォルトの名無しさん [2006/06/22(木) 03:45:22 ] CreateGame〜陸海空オンライン〜 次世代新基軸ＭＭＯ製作プロジェクト始動！ ＰＧ大募集！力あるものだけね。 よろすく 628 名前：デフォルトの名無しさん mailto:sage [2006/06/22(木) 08:51:29 ] >>624 Windows？ 今LinuxにインストールしたけどPATHに追加するかなんて聞かれなかった 629 名前：623 mailto:sage [2006/06/22(木) 09:26:43 ] 俺も聞かれなかった@ppc-darwin 手作業で追加しろ、とは言われたけど。 結局、gccが見つけてくれなかったのはPATHの表現が原因だった。 公式の表記には従っとくものだと思った。 630 名前：デフォルトの名無しさん mailto:sage [2006/06/22(木) 23:09:51 ] >>628-629 Yes, Windowsです。 631 名前：デフォルトの名無しさん mailto:sage [2006/06/22(木) 23:40:17 ] GPSで、TABで3文字インデントを行うような設定どっかにないかな…… Ctrl+/で補完される基準もよくわからん 632 名前：デフォルトの名無しさん mailto:sage [2006/06/23(金) 01:26:41 ] 宣言関係は2文字インデント、処理が3文字インデントだっけか。 何かに乗ってたなぁ、何だっけか。。。 633 名前：デフォルトの名無しさん mailto:sage [2006/06/30(金) 12:58:34 ] 拡張リータン構文はどうやって使うの？ 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; 634 名前：デフォルトの名無しさん mailto:sage [2006/06/30(金) 21:06:25 ] >>633 サイズ可変な型に関しては怪しいらしい。 www.adacore.com/2006/05/10/NF-A05-DC16-057-ada/ >subtype is constrained and 〜 もしかControlledもダメか？きついな。 635 名前：デフォルトの名無しさん mailto:sage [2006/06/30(金) 21:49:38 ] Ada用のx64用コンパイラはありませんか？ 636 名前：デフォルトの名無しさん mailto:sage [2006/06/30(金) 22:10:28 ] >>635 gccを自分でビルドすれ 637 名前：デフォルトの名無しさん mailto:sage [2006/07/01(土) 00:15:10 ] x64で動作するコンパイラじゃなくて x64ネイティブバイナリを吐き出すコンパイラって意味じゃないの？ gccのAdaって対応してたっけ？ 638 名前：デフォルトの名無しさん mailto:sage [2006/07/01(土) 15:32:09 ] そう言われると不安だな……。 AonixやIBMなら売ってそうな気もする。知らんが。 639 名前：デフォルトの名無しさん mailto:sage [2006/07/01(土) 23:50:35 ] >>633 limitedじゃないやつに対してもコンパイラ内部エラーがでた。 実装されたばかりの機能だから、バグバグみたいだ……。 not nullなんかもgcc 4.0.0直後はgenericと混ぜるとすぐ落ちてたしな……。 640 名前：デフォルトの名無しさん mailto:sage [2006/07/01(土) 23:51:53 ] 補足、Limited_Controlledを拡張returnで返そうとするとまだ実装されてませんとかでる。 641 名前：デフォルトの名無しさん mailto:sage [2006/07/14(金) 19:12:19 ] 拡張リターンヤバいマジヤバい privateなrecord型のメンバー変数のアクセス型返せる上に それやるとコンパイル時にもランタイム時にもエラーにならない そして普通に中身書き換えられる >>640 limited_controlled型は拡張リターンでなくてもエラーにならないか？ そして保守 642 名前：デフォルトの名無しさん mailto:sage [2006/07/15(土) 01:55:07 ] >>641 普通のリターンでエラーになるのは当たり前なんですよ。コピーができないのがlimited型だから。 ただ、拡張リターンは「コピー無しに値を返せる」わけで、limited型にも使えるのがウリのひとつだった筈。 643 名前：デフォルトの名無しさん mailto:sage [2006/07/26(水) 12:32:11 ] GNAT GPL 2006アップデートされてる？ libre2.adacore.comの日付がJul 24, 2006になってるけど 644 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 02:22:56 ] DLしなおしてみたが、gdbの日付が変わっているだけだった。しょぼん。 645 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 02:58:21 ] GNAT GPL 2006だとimited withしてもtask typeが見えるようにならないみたいなんだが、 これって仕様通りなのかな？ 実験してたらGNAT落ちるし。 package Class_As is type Hog 646 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 03:00:29 ] 途中でおくちゃった -- 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; 647 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 03:01:52 ] -- 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落ちるし。 648 名前：デフォルトの名無しさん mailto:sage [2006/07/30(日) 08:49:23 ] 仕様は知らんがたぶんバグじゃないか？ 649 名前：デフォルトの名無しさん [2006/08/10(木) 18:58:15 ] エイダってあのANUBISの？ 650 名前：デフォルトの名無しさん mailto:sage [2006/08/10(木) 21:16:40 ] >>649 由来は一緒ですがこのスレのAdaと貴方の知るエイダは別物です。 651 名前：デフォルトの名無しさん mailto:sage [2006/08/16(水) 00:43:24 ] ほす 652 名前：デフォルトの名無しさん [2006/08/29(火) 02:00:40 ] ほす 653 名前：デフォルトの名無しさん mailto:sage [2006/09/13(水) 00:53:52 ] hhoo 654 名前：デフォルトの名無しさん mailto:sage [2006/10/03(火) 00:37:58 ] 保守〜 655 名前：デフォルトの名無しさん mailto:sage [2006/10/17(火) 20:08:41 ] >>650 俺はあのADAが可愛かったからこの言語を勉強し始めたよｗ 656 名前：デフォルトの名無しさん mailto:sage [2006/10/17(火) 23:36:19 ] 拡張returnとかinterfaceとか、、、機能に頭がついていけないorz >>655 俺はAdaを始めてからADAに惚れたんだ。 ZOE3でも彼女が健在でありますように。 ／ADA＼<コンパイル予測時間９０秒 657 名前：デフォルトの名無しさん mailto:sage [2006/10/30(月) 22:29:21 ] ほす 658 名前：デフォルトの名無しさん mailto:sage [2006/11/07(火) 17:14:38 ] ZOEのエイダ知ってる奴多すぎ。 多分監督は言語にもAdaがあるなんて知らなかったんだろうな・・・。 おっと、そんな事を書いている場合じゃない。 659 名前：デフォルトの名無しさん mailto:sage [2006/11/07(火) 22:20:20 ] >>658 絶対知ってる。 660 名前：デフォルトの名無しさん mailto:sage [2006/11/27(月) 04:15:34 ] ほす 661 名前：デフォルトの名無しさん mailto:sage [2006/12/14(木) 23:21:17 ] 適当に保守 662 名前：デフォルトの名無しさん [2006/12/15(金) 00:07:45 ] Adaでシステム構築した強者はいる？ 663 名前：デフォルトの名無しさん mailto:sage [2006/12/15(金) 23:18:13 ] >>662 米軍 664 名前：デフォルトの名無しさん mailto:sage [2006/12/16(土) 22:39:18 ] たしかに強者だな 665 名前：デフォルトの名無しさん mailto:sage [2007/01/07(日) 23:31:30 ] 今年最初の保守 666 名前：デフォルトの名無しさん mailto:sage [2007/01/20(土) 23:22:04 ] ほっしゅ 667 名前：デフォルトの名無しさん mailto:sage [2007/02/15(木) 22:58:06 ] 一月たちそうだし保守。 AWS使ってる人っていない？ 面白そうなんだが、面倒そうでもある。 668 名前：デフォルトの名無しさん mailto:sage [2007/03/02(金) 20:13:19 ] いつの間に板移転 正直落ちたかと思った保守 669 名前：デフォルトの名無しさん mailto:sage [2007/03/17(土) 20:52:26 ] >>658 亀レスだけど設定だとDelphiって名前のAIもいる 670 名前：デフォルトの名無しさん [2007/03/23(金) 10:31:45 ] 日本でエイダ使えるやつっているのかね 671 名前：デフォルトの名無しさん mailto:sage [2007/04/17(火) 21:01:51 ] 保守 672 名前：デフォルトの名無しさん [2007/04/23(月) 17:15:24 ] いねーよ！！ 673 名前：デフォルトの名無しさん mailto:sage [2007/05/11(金) 18:03:03 ] AdaCore TOP の GNAT GPL 2007 Edition が coming soon から Now available になってｷﾀ━━━━━━(ﾟ∀ﾟ)━━━━━━ !!!!! と思ったら現時刻ではまだ DL できないでやんの…wktk 674 名前：デフォルトの名無しさん mailto:sage [2007/05/14(月) 12:12:26 ] orz プルダウンメニューを 2006 から 2007 にしないと GNAT GPL 2007 が見えなかったとは一生の不覚… 675 名前：似非民主主義者ごるごるもあ ◆753Z/RLFiY mailto:セクト琉球新赤軍公報 [2007/06/10(日) 17:06:15 BE:50295825-2BP(201)] ▼米国FBIの言論弾圧を弾劾せよ！　　　　　　　　　　　　　　　　　　 　米国民主主義に対して第二次世界大戦の戦後審判とはまったく関係なく、新たな主張を行うことにより危険思想保持者と見なし、記事の削除とアクセス禁止による明らかな言論弾圧を行っている。 　FBIは、沖縄米軍基地における軍事的弊害説、９．１１フリーメイソン陰謀説に対する言論弾圧が認められた。 ▽民主主義の国民が防衛理念を含む専門知識に基づいて投票することは有り得ない。 　したがって軍事兵器の使用は極めて不明瞭な理由により過ちを繰り返しやすく、軍事的弊害を含んでいると言える。 　イラクの軍事支配という中東の混乱により米軍の軍需産業は事実上沖縄にまでこの軍事的弊害を生じさせたのである。 　一方、１９９６年８月２８日、最高裁は米軍用地の強制使用手続きをめぐる代理署名訴訟で、米軍基地への土地提供を定めた米軍用地特別措置法は憲法に違反しないという判決を下した。 　この米軍用地特別措置法は同盟上の米軍の軍需産業を容認するものであるが、前述した沖縄の軍事的弊害とは、似て異なるものであり、両者を民主主義において憲法上合法とすることは不当な判決であると言わざるを得ない。 ▽米国同時多発テロ９．１１は、事実上米軍のイラクでの軍事活動を正当化せしめたのであり、数十万の身体障害者を含む戦争犠牲者を齎した。 　そして、ブッシュ政権はイラクの民主化に必要な要件を満たしていないばかりか、フリーメイソンの教義に含まれる虐殺思想の終端と軍事経済破綻を防ぐべく水面下での隠蔽工作をしたかの如き示唆を繰り返しているのである。 　なぜならば、米国の権威は少数民族を虐殺したことにより維持されてきたからであり、この戦争利権を維持するために大規模なテロ事件を通じて米国民を洗脳する必要があったと言えるからである。 　つまり、戦争の可否は国民洗脳により誘導された似非民主主義的な判断に基づくものである。 676 名前：デフォルトの名無しさん [2007/06/12(火) 03:27:53 ] Adaって一般用のソフトとかも作られてるのか？ 677 名前：デフォルトの名無しさん mailto:sage [2007/06/12(火) 21:51:56 ] OSなら知ってる marte.unican.es/ 678 名前：デフォルトの名無しさん mailto:sage [2007/06/13(水) 03:12:16 ] もしかして、OSつくっちゃったこと？すごいですね・・・ 679 名前：デフォルトの名無しさん mailto:sage [2007/07/17(火) 19:07:05 ] ほす 680 名前：デフォルトの名無しさん mailto:sage [2007/07/17(火) 23:35:27 ] O　・・・　オレが作った Ｓ　・・・　ソフトウェア 681 名前：デフォルトの名無しさん mailto:sage [2007/08/16(木) 23:49:48 ] アメリカ終わったな バブル弾けたよ マーケットリポート kft.livedoor.biz/ 682 名前：デフォルトの名無しさん mailto:sage [2007/09/12(水) 22:57:43 ] このスレまだあったのか。 保守。 683 名前：デフォルトの名無しさん mailto:sage [2007/10/13(土) 16:19:18 ] 保守 684 名前：デフォルトの名無しさん [2007/11/09(金) 16:35:00 ] age 685 名前：デフォルトの名無しさん [2007/11/20(火) 17:08:54 ] Ada本買った記念age 686 名前：デフォルトの名無しさん mailto:sage [2007/11/20(火) 23:00:53 ] >>685 図書館にはマトモな本無くて1冊欲しいんでkwsk 687 名前：685 [2007/11/21(水) 11:36:55 ] >>686 1990年の頃のやつみたいだから古いですよ。 丸善から出てた「ADA 言語とプログラミング方法論」。1万円以上した orz 新宿のジュンク堂書店に売ってました。 ただ本の場所がプログラミング言語の棚じゃなくて、ソフトウェア開発の辺りの 一番下の棚にあったので見つけずらかった。 まだ他のAda本が2冊くらい売ってたかな。いずれも古いです。 688 名前：686 mailto:sage [2007/11/21(水) 12:53:55 ] おぉ、ありがとうございます。 今度見に行ってきます。 689 名前：デフォルトの名無しさん mailto:sage [2007/11/23(金) 16:58:09 ] 池袋のジュンク堂にもあったよ？ 690 名前：デフォルトの名無しさん mailto:sage [2008/01/28(月) 17:31:21 ] 賀正 691 名前：デフォルトの名無しさん [2008/02/19(火) 01:08:21 ] age 692 名前：デフォルトの名無しさん mailto:sage [2008/02/20(水) 22:49:48 ] Adaか、良い言語だった。昔、仕事に使うつうことで大量に書籍買ったが、 それ以後この言語が普及することもなく、書籍はまとめて捨てた。 693 名前：デフォルトの名無しさん [2008/02/20(水) 23:23:03 ] 一体どんな仕事で使ったの？ 694 名前：デフォルトの名無しさん mailto:sage [2008/02/21(木) 02:39:56 ] 自衛隊は言語何使ってんだ 695 名前：デフォルトの名無しさん mailto:sage [2008/03/01(土) 21:04:25 ] N88-BASIC 696 名前：デフォルトの名無しさん mailto:sage [2008/03/02(日) 11:45:26 ] 備品管理システムはCOBOLだよ。 697 名前：デフォルトの名無しさん mailto:sage [2008/03/29(土) 00:50:07 ] 保守sage 698 名前：デフォルトの名無しさん [2008/03/29(土) 16:56:00 ] 結局Adaの国内での開発事例ってないんだな 699 名前：デフォルトの名無しさん mailto:sage [2008/03/29(土) 17:10:11 ] エイダの利点ってなにですか？ 700 名前：デフォルトの名無しさん mailto:sage [2008/03/29(土) 18:34:08 ] 米軍が使うほどの高級言語 701 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 00:29:14 ] けど、それだと、すごくお高いんじゃないですか？ 702 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 14:56:51 ] なに言うてるか全然わからへん 703 名前：デフォルトの名無しさん [2008/03/31(月) 23:48:39 ] >>693 横通の衛星通信システム地上局の系再構成サブシステム。 トランスポンダがどうのこうの言うてたわ。 途中で疾病リタイヤしてしまい、その後このシステムが 実現したかどうかは判らない。 某有名企業が多数参加していた。 704 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 00:49:15 ] エイダってwin用のアプリとか作れんの？ 705 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 01:23:28 ] 滅多な事言うでねぇ 706 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 03:06:12 ] AdaでGUI作ろうと乱心^h^hした時の選択肢って GtkAda QtAda wxAda TASH GWindows ガチ で全部？ 707 名前：デフォルトの名無しさん mailto:sage [2008/04/11(金) 02:50:28 ] 俺は、会社の上司からCOBOL、Cとペンタゴンの押した言語は メジャーになるからお前も覚えておけと言われて必死にAdaを覚えたｗ 今思うと騙されたｗ orz 軍事、航空、宇宙関係のシステムやらないとお目にかかれないね。 PL/SQLやる時にはAda互換だから簡単に入れたけど。 >>968 一応、ISSの開発がAdaだと思ったよ。うちの会社の奴が「きぼう」の 開発の時に必死に覚えてた気がする。 708 名前：デフォルトの名無しさん [2008/04/14(月) 11:19:32 ] >>968 709 名前：デフォルトの名無しさん mailto:sage [2008/05/20(火) 01:34:20 ] 確かF-22 ラプターの制御ソフトはAdaで書かれてたんじゃ？ 710 名前：デフォルトの名無しさん [2008/05/22(木) 13:05:33 ] >>709 その噂はよく聞くよね。真偽は不明だけど。 タイプ量多いけど Adaってそんなに悪くない言語だと思うんだけどなぁ。 subtypeとか名前付き引数とかけっこういいと思った。 711 名前：デフォルトの名無しさん [2008/05/22(木) 21:41:55 ] 軍の情報管理はマイナーな言語使う決まりでもあるのか 712 名前：デフォルトの名無しさん mailto:sage [2008/05/22(木) 22:15:03 ] >>711 kwsk その言い方だとアメリカ以外のいずれかの国の軍はAda以外のマイナーな言語を使ってるんだよな？ 713 名前：デフォルトの名無しさん mailto:sage [2008/05/22(木) 22:44:27 ] Adaてマイナーだろ 714 名前：デフォルトの名無しさん mailto:sage [2008/05/26(月) 04:18:46 ] まあマイナーなのがADAになったな、と。 715 名前：デフォルトの名無しさん mailto:sage [2008/07/24(木) 01:10:09 ] 保守っとこう 以下チラ裏 GMGPLって結局のところ「ユニット自体を弄らずにgenericsか実行可能形式を作る場合はGPLにしなくても良いよ」 って事なんだろうか…？ つーかmacadaには >They are built from the FSF source tree and the Ada run time library is licensed under the MGPL and can be used to generate code which is not Open Source. って書いてあるんだが、600辺りと矛盾するよなぁ…。 GNAT GPL限定の話だったのか？ 大して英語出来ない俺には険しい道だ…。 716 名前：デフォルトの名無しさん mailto:sage [2008/09/23(火) 07:22:50 ] ほ 717 名前：デフォルトの名無しさん [2008/09/23(火) 19:54:38 ] 日本人はなぜかみんなADAを避けている。なぜか？猿真似しかできない、周りがやらないとできないから。 日本の会社の製品はこれだけかな？ JEOL Nuclear Magnetic Resonance だがADAで書かれた最先端の製品は知らずに使っている。 www.seas.gwu.edu/~mfeldman/ada-project-summary.html Airbus 320, 330, 340 Airbus 380 Beechjet 400A (US business jet) Beech Starship I (US business turboprop) Beriev BE-200 (Russian forest fire patrol plane) Boeing 737-200, -400, -500, -600, -700, -800 Boeing 747-400 Boeing 757, 767 Boeing 777 Boeing 787 Boeing 787 Air Conditioning Control Unit Canadair Regional Jet Embraer CBA-123 and CBA-145 (Brazilian-made regional airliners) Fokker F-100 (Dutch DC-9-size airliner - American Airlines flies these) Ilyushin 96M (Russian jetliner) Lockheed-Martin Hercules "hurricane chaser" Saab 2000 Tupolev TU-204 (Russian jetliner) BARCO Avionics Control Display Manager 718 名前：デフォルトの名無しさん mailto:sage [2008/09/23(火) 20:34:32 ] >>717 頭が悪いのか釣りなのかはっきりしろ 719 名前：デフォルトの名無しさん mailto:sage [2008/09/26(金) 11:32:14 ] 頭の悪い釣りです 720 名前：デフォルトの名無しさん mailto:sage [2008/09/27(土) 00:18:46 ] なるほど 721 名前：デフォルトの名無しさん [2008/10/22(水) 22:33:09 ] age 722 名前：デフォルトの名無しさん [2008/12/15(月) 20:39:23 ] 保守 723 名前：デフォルトの名無しさん mailto:sage [2009/02/20(金) 00:15:21 ] ho 724 名前：デフォルトの名無しさん [2009/03/14(土) 23:39:31 ] syu 725 名前：デフォルトの名無しさん [2009/04/25(土) 18:17:07 ] 型推論してくれよ 726 名前：デフォルトの名無しさん mailto:sage [2009/09/18(金) 17:16:36 ] まだあったのか……ほsy 727 名前：Ｆ-22Ａがバグった！！ [2009/09/28(月) 23:29:07 ] 沖縄に派遣された米軍のF-22ステルス戦闘機だが、搭載コンピューターのソフトウェアに不具合が起きて 一度引き返していたと、CNNのテレビ報道が伝えている 。それによれば、2月11日に沖縄を目指してハワイを飛び立った 12機のF-22は、日付変更線を越えたあたりで全機ともナビゲーションと通信ができなくなったとのこと。 このため、通信が使えないので目視でやりとりをし、同行した空中給油機に誘導されてハワイに引き返したという。 アメリカ空軍はソフトウェアに問題があったことを認めているが、当然ながら軍事機密として詳細を明らかにしていない。 日付変更線を越えたところで起きたことから、日付関連のバグではないかと見られている。 it.slashdot.org/article.pl?sid=07/02/25/2038217 www.flightglobal.com/articles/2007/02/14/212102/pictures-navigational-software-glitch-forces-lockheed-martin-f-22-raptors-back-to-hawaii.html 728 名前：Adaとは？ [2009/09/28(月) 23:38:15 ] プログラミング言語のひとつ。米国防総省が作らせた。 Adaが現れた80年代中期は、プログラマ不足やプログラムの品質が問題になりつつある頃だった。 コンピュータの発展で兵器が「スマート」になる反面、バグが軍事システムに与える影響が真剣に考慮された。 兵器システムの電子化については、1975年初飛行のF-16が火気管制装置をディジタル化し、操縦装置も全電子化を行うなど、待ったなしの状態で進んでいた。 米国国防総省はこの領域に関して詳しく調査した結果、従来のプログラミング言語では兵器の電子装置開発には不十分であるとして、 以下のような趣旨の要求仕様書を作成して新プログラム言語を募集した。 * 厳格な文法を持ち、あいまいさの無いこと * コンカレント・プロセスを記述できること * 文字コードなどの外部環境による非互換性を排除できること * その他、詳細な要求が挙げられた。プログラム言語が特定業者への発注ではなく募集で行われたのは、 70年代中期からの兵器開発における競争試作が成功したことに基づく。いくつかの候補を退け最終的に勝ち抜いたのは 仏Cll Honneywell-Bullのジャン・イシビアーの設計だった。この設計は国防総省に採用され、正式名称"Ada"が与えられた。 Adaと言う名称は、Charles Babbedgeにゆかりのある女性Ada Lovelaceにちなんでつけられたものである Adaは記述能力と可読性の高さを高い水準で両立させており、強い期待が寄せられた。国防総省は今後納入されるソフトウェアは Adaで書かれていなければならないと宣言した。しかし一方では、Algol-68やPL/1の失敗に懲りていたコンピュータ科学分野からはその仕様の巨大さに強い批判が浴びせられた。 最終的にAdaが普及しなかったことは説明の必要がない。しかし、普及しなかった原因が当時浴びせられた批判とは無関係であり、純粋に市場原理によるものであることは特記に値する。 Adaは非常に可読性が高い点とプログラマが見つからないことから"Read Only Language"などと揶揄された。 しかし、同時期に進められた国防総省のVHSIC*2プロジェクトの産物であるVHDLに色濃い影響を残している。 729 名前：デフォルトの名無しさん mailto:sage [2009/09/29(火) 01:54:47 ] Adaでハローワールドしたけど実行ファイル重過ぎて萎えたわｗ 730 名前：デフォルトの名無しさん mailto:sage [2009/09/29(火) 10:09:00 ] >>729 リンカに-sを渡しているか？ -s無しだと、デバッグ情報が入ったままだぞ。 Adaのライブラリはデバッグ情報込みでビルド済みだからな。 731 名前：デフォルトの名無しさん [2009/10/01(木) 12:51:49 ] >>728 確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな〜〜ｗｗ 732 名前：デフォルトの名無しさん mailto:sage [2009/10/05(月) 11:06:45 ] こんなマイナー言語のスレにも自演荒らしって湧くんだな 733 名前：デフォルトの名無しさん mailto:sage [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 www.adaic.org/ Ada Home the Home of the Brave Ada Programmers (HBAP) www.adahome.com/ ところで、イベントや並列動作を記述できる、VHDLという、Adaの親戚言語があります。 これも国防総省言語なんですが、この言語は、LSIをつくるとき日常的に使われてます。 735 名前：デフォルトの名無しさん mailto:sage [2009/10/08(木) 01:22:24 ] adaicは規格を配布しているところなので、次スレの>>1に入れたいねえ。 何年後の話だろ……。 736 名前：デフォルトの名無しさん mailto:sage [2009/11/05(木) 11:05:38 ] Programming Language Conceptってクラスで、 Fortran -> Python ときて今Adaをやってます なんか馴染みにくい… 来週からはHaskellだ 737 名前：デフォルトの名無しさん mailto:sage [2009/11/06(金) 19:27:08 ] >>736 授業！ すごいなー。いいなー。 どこまでやってる？ 列挙型の要素が関数とか、genericのis <>とか、デフォルト引数は毎回評価とか、 taskを返す拡張return中でランデブーしたらデッドロックするとかやってる？ 738 名前：デフォルトの名無しさん mailto:sage [2009/11/12(木) 12:04:20 ] >>736 Haskelはなじみにくいどころではないだろうな。 しっかし、次は論理型言語の出番だろうからPrologか? 739 名前：デフォルトの名無しさん mailto:sage [2010/02/12(金) 19:36:56 ] 落ちないね。 740 名前：デフォルトの名無しさん mailto:sage [2010/03/17(水) 18:37:31 ] 定期ho 741 名前：デフォルトの名無しさん mailto:sage [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 名前：デフォルトの名無しさん mailto:sage [2010/05/23(日) 20:36:53 ] Adaって最新仕様で一昔前の仕様と比べて随分機能が増えたけど、このスレの人達はそういう部分もちゃんと追えてるの？ スレが立ったころと今では全く違うはず。 747 名前：デフォルトの名無しさん mailto:sage [2010/05/24(月) 21:47:57 ] スレが立ってからつってもなあ。Ada2005が出ただけとも言える。 次はAda2012だけど、それまでこのスレはあるんだろうか？ 748 名前：デフォルトの名無しさん mailto:sage [2010/05/25(火) 18:58:58 ] 立ってから8年も経つんだし、2年くらい余裕じゃないか？ｗ >>746 05は追えてるつもり 12は全部はやらないかも 749 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 07:06:13 ] このスレの住人は仕事でAda使ってんの？ 趣味？ 750 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 18:24:37 ] 趣味に決まってんだろ。 仕事があるならくれよ、喜んで行くからさ。 751 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 19:06:39 ] アメリカから押し売りされる航空機のソフトウェア開発の仕事があるらしいですよ 752 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 20:10:36 ] 行く？目隠されて連れて行かれるんだよ。 753 名前：デフォルトの名無しさん mailto:sage [2010/06/07(月) 21:25:31 ] ドナドナドーナードーナー

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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