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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29.net] どうよ？ 449 名前：433 mailto:sage [04/11/03 16:48:20.net] コンパイルできたヽ( ´ー｀)ノ 手順まとめてみた tinyurl.com/42wx4 この辺が参考になりますた milky.way-nifty.com/nuzou/2003/12/cygwinarmgbazau.html gba.imou.to/gcc.html ただ、adaでコンパイルはまだ試してないorz 450 名前：418 mailto:sage [04/11/07 13:52:44.net] ようやくgcc3.4.2のgnat*がインストールできた... 初心者よ、 ttp://gcc.gnu.org/install/build.htmlを見る前に INSTALL/build.htmlを見よう。 ...インストールなんかで詰まるのは俺ぐらいか... ちなみにgcc3.4.2だと>>421のプログラムも正常に動作。 GNAT3.15じゃなくgccを使おう。 ...GNAT3.15でいいやと思うのは俺ぐらいか... 長かったor2 451 名前：デフォルトの名無しさん [04/11/07 18:14:41.net] >>443 乙！ 452 名前：デフォルトの名無しさん mailto:sage [04/11/07 19:20:35.net] もつかれ 453 名前：デフォルトの名無しさん [04/11/13 17:53:52.net] Adaは宇宙開発にも使われてるのかな？ 454 名前：デフォルトの名無しさん [04/11/16 16:43:51.net] ada 455 名前：デフォルトの名無しさん mailto:sage [04/11/16 17:18:08.net] PL/Iと同じ轍を踏んだ言語 456 名前：デフォルトの名無しさん [04/11/17 00:07:40.net] >>446 FedSat - Ada Inside groups.google.co.jp/groups?selm=3dfc72d4%241%40iridium.webone.com.au International Space Station www.boeing.com/defense-space/space/power/iss.html 457 名前：デフォルトの名無しさん mailto:sage [04/11/17 12:14:47.net] >The language on the On Board Computer? Ada-95. Of course. > >The compiler? Gnat 3.13p >"In space, no-one can press CTRL-ALT-DEL" > >But with Ada, you don't have to. カコイイ。 458 名前：446 [04/11/17 23:59:54.net] >>449 ありが�d。 やっぱり使われてたんだ！ 459 名前：デフォルトの名無しさん [04/11/18 22:48:43.net] こりゃえいだって既出ですか、そうですか 460 名前：デフォルトの名無しさん mailto:sage [04/11/19 23:16:35.net] ぷ 461 名前：デフォルトの名無しさん [04/11/19 23:55:43.net] >>449 おお 462 名前：デフォルトの名無しさん [04/11/20 00:18:10.net] Beagle 2: www.xgc.com/news/2000.htm The Beagle 2 Mars lander, using ERC32 Ada, successfully separated from Mars Express and started its descent to the red planet. 463 名前：デフォルトの名無しさん [04/11/20 00:27:35.net] Atlas V: www.ddci.com/programs_atlasv.shtml Lockheed Martin Space Systems depends on TADS to develop modern, object-oriented real-time flight control software for the new Atlas V launch vehicle. The maiden voyage of Lockheed Martin’s first Atlas V rocket lifted off from Space Launch Complex 41 at Cape Canaveral on August 12, 2002, freed from its earthly bonds by flight control software created with DDC-I’s Tartan Ada Development System (TADS). 464 名前：デフォルトの名無しさん [04/11/20 00:42:28.net] こいつもAdaという噂。 www.nasda.go.jp/projects/rockets/gx/component_02_j.html#configuration まあ１段目はロッキードだけど。 他のところはどうなんだろう？ 465 名前：デフォルトの名無しさん [04/11/20 20:40:27.net] アメリカではいろいろ使われてるんだな 466 名前：デフォルトの名無しさん [04/11/21 17:42:33.net] >>458 参考書もいっぱい出てるし、そうだろうな。 467 名前：デフォルトの名無しさん [04/11/22 09:28:24.net] 468 名前：デフォルトの名無しさん [04/11/23 14:27:52.net] >>1 m９（^Д^）ﾌﾟｷﾞｬｰ 469 名前：デフォルトの名無しさん mailto:sage [04/11/23 20:12:11.net] burks.brighton.ac.uk/burks/language/shoot.htm すごい言われようだな(w 470 名前：デフォルトの名無しさん [04/11/24 14:51:06.net] >>462 まあAda� 471 名前：ﾈ外の言語にもすごいこといってるし [] [ここ壊れてます] 472 名前：デフォルトの名無しさん [04/11/26 15:09:12.net] 盛り上がってきたな！ 473 名前：デフォルトの名無しさん mailto:sage [04/11/26 18:02:13.net] ADAはたぶん埋もれる言語の一つだと思う。 474 名前：デフォルトの名無しさん [04/11/26 22:27:30.net] >>465 このスレがそのことを暗示しているような… 475 名前：デフォルトの名無しさん [04/11/30 18:21:01.net] 　 476 名前：はるな [04/11/30 19:30:11.net] 作り方分かりますか？ コンピュータが 0から 9までの数を 4つ, 順序付きで重複なく選ぶとする. プレイヤ(人間)は, この数列を当てるのだが, はずれた場合に提示されるヒントは次の通り. 正解の n番目の数を n番目に解答していれば, Hit と呼ぶ. Hit の個数がヒントとして提示される. 正解の n番目の数を m番目(n≠m)に解答していれば, Blow と呼ぶ. Blow の個数がヒントとして提示される. 477 名前：作ってみたその1 mailto:sage [04/12/01 00:02:43.net] with Ada.Numerics.Discrete_Random,Ada.Text_Io,Ada.Integer_Text_Io,Ada.Calendar; use Ada.Text_Io,Ada.Integer_Text_Io,Ada.Calendar; procedure game Is package R Is New Ada.Numerics.Discrete_Random(natural); use R; type Four_Array is array(1..4)of Integer; function Generate Return Integer is seed:Generator; begin Reset(seed,Integer(Seconds(Clock)*100)); return Random(Seed) mod 10; end Generate; function Search(Target:Four_array;Seed:In Integer) Return integer Is begin for I in 1..4 loop if Target(I) = Seed then return i; end if; end loop; return 0; end Search; procedure Initialize(computer:In out Four_array) is begin for I in 1..4 loop computer(I):=-1; end loop; end initialize; 478 名前：作ってみたその2/3 mailto:sage [04/12/01 00:08:55.net] procedure Decide(computer:in out Four_array) Is int:Integer; begin Initialize(Computer); for I in 1..4 Loop loop Int:=Generate;exit when Search(computer,Int) = 0; end loop; Computer(I):=Int;delay 0.01; end loop; end Decide; procedure Read(Player:in out Four_array) is int,Index:Integer:=1;Char:character; begin while Index <= 4 Loop Get_Immediate(char); case Char is when '0'..'9' => Int:=Character'Pos(char)-16#30#; if Search(Player,int) /= 0 then New_Line;Put_Line("その値はもう使えません"); for I in 1..Index-1 loop Put(Character'Val(Player(i)+16#30#)); end loop; else Put(char);Player(index):=int;Index:=Index+1; end if; when others => New_Line;Put_Line("0から9までの数値を入れてください"); for I in 1..Index-1 Loop Put(Character'Val(Player(I)+16#30#)); end loop; end case; end loop; end Read; 479 名前：作ってみたその3/3 mailto:sage [04/12/01 00:09:44.net] function Compare(computer,Player:in Four_array) return Boolean is Hit_Count:Integer:=0; Blow_Count:Integer:=0; Search_Result:integer; begin for I In 1..4 Loop Search_Result:=Search(Computer,Player(i)); if Search_Result = I Then Hit_Count:=Hit_Count+1; elsif Search_result /= 0 then Blow_Count:=Blow_Count+1; end if; end loop; New_Line; Put_Line("Hit : "&Integer'Image(Hit_count)); Put_Line("Blow : "&Integer'Image(Blow_count)); if Hit_Count = 4 then return True; end if; return False; end Compare; computer,player:Four_Array; begin Decide(computer); loop Initialize(player); Read(Player); exit when Compare(computer,Player); end loop; end game; 480 名前：作ってみた人 mailto:sage [04/12/01 00:11:01.net] ここって改行いくつまで...? まぁもっとうまいひとが書けばもっと短くなるだろうが。 481 名前：デフォルトの名無しさん [04/12/05 00:06:46.net] ？ 482 名前：デフォルトの名無しさん [04/12/05 01:10:19.net] >>24 > あの設計者は、懲役3年執行猶予2年くらいには相当するね。 執行猶予のほうが 483 名前：短いなんて… [] [ここ壊れてます] 484 名前：デフォルトの名無しさん mailto:sage [04/12/05 01:11:05.net] >>29 ぬるぽ 485 名前：デフォルトの名無しさん [04/12/07 23:52:55.net] >>465 embedded？ 486 名前：デフォルトの名無しさん [04/12/09 13:30:08.net] >>475 ガッ！ 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をバックポートしたようなものは幾つか見かけたが。

---

---

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

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