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

[1 名無しさんは伊達じゃない NG NG]

どうよ？

[420 デフォルトの名無しさん NG NG]

アメリカでも使ってるヤツ少ないんじゃないか？

[421 デフォルトの名無しさん NG NG]

今書いてみたヘボサンプルを貼ってみるテスト。
with Ada.Text_IO;
procedure Test is
　task type A_Task is
　　entry Setup(Message: in String);
　　entry Join;
　end A_Task;
　task body A_Task is
　begin
　　Ada.Text_IO.Put_Line("* start!");
　　accept Setup(Message: in String) do
　　　Ada.Text_IO.Put("* "); Ada.Text_IO.Put(Message); Ada.Text_IO.Put_Line("!");
　　end Setup;
　　loop
　　　select accept Join do Ada.Text_IO.Put_Line("* exit!"); end Join; abort A_Task;
　　　else Ada.Text_IO.Put("#"); delay 0.1;
　　　end select;
　　end loop;
　end A_Task;
　type A_Access is access A_Task;
　A: A_Access;
begin
　Ada.Text_IO.Put_Line("go!"); A := new A_Task; A.Setup("setup");
　delay 1.0; A.Join; Ada.Text_IO.Put_Line("end!");
end Test;

[422 デフォルトの名無しさん NG NG]

Win32で言えば、entryがCreateEventで、acceptがWaitForSingleObjectで、
selectがWaitForMultipleObjectsで、delayがSleepで、abortがExitThread…かな。
なおacceptの後にdoを続けた場合、そのブロックが終わるまで呼び出し元は待ってるようだ。
それとtask typeって形で型にしておけば、newするまで実行されない。

[423 デフォルトの名無しさん NG NG]

with Ada.Text_IO;
procedure Test2 is
begin
　select
　　delay 1.0;
　then abort
　　loop
　　　Ada.Text_IO.Put("*");
　　　delay 0.1;
　　end loop;
　end select;
end Test2;
条件を満たしたらthen abort以下の処理を強制中断するとか…こんな機能あっても使うのか？
RM読んでたら、並列処理関係はほんとのほんとに無駄に機能豊富。

[424 418 NG NG]

>>421-422
ありがたい。助かるよ。
が、>>421のプログラムをそのままコンパして実行って見たが
やっぱりtask body A_Task 内のaccept　setup（）の所で止まる...
いやぁ、上で「acceptも試して見たがさっぱりだ」と書いたが同じだよ。
acceptに入った時点でプログラムが止まるんだ。無いと普通に動くんだけどねぇ。
しかもacceptの有無にかかわらず呼び出し元も止まるし。
コンパるときに何かオプション必要だっけ？
とりあえず今やらんとしていることは>>421を参考にできそうだ。ありがとう。

[425 デフォルトの名無しさん NG NG]

>>424
んー…別にオプションも要らないけど…
環境は？こっちはMinGWの3.4.2@Windows2000

[426 418 NG NG]

>>425
GNAT3.15p+gcc2.8.1@MandrakeLinux10.0也。
gcc3.4.2でやりたいんだけどね。うまくいかなくて。
まずはしっかりと環境を整えるべきだったか。
先にgcc3.4.2使えるようにするか...。

[427 デフォルトの名無しさん NG NG]

　

[428 デフォルトの名無しさん NG NG]

>>423
select-then abortはそれなりに便利だよ。

時間をかければかけるほど精度の高い解が得られる近似計算があって、
ただし時間制約(100msecとか、イベントが入ってくるまで)が来たら、
その時点までに得られた近似解を採用しなければならない、なんて
「タイムアウト」は、リアルタイムシステムには 割とよくある
問題領域だと思うけど。

「タイムアウト」がどんなOSでもソース・コンパチで書けるって、
かなり樂。

[429 デフォルトの名無しさん NG NG]

>>428
ほうほう

[430 デフォルトの名無しさん NG NG]

>>396
確かに。

例えばメモリマップドのハードウエアをアクセスするなら、
ＣやＣ++よりもAdaのほうが確実で樂だしね。
ユーザ定義の固定小数点も使えるからA/DやD/Aなんかも直感的。

[431 デフォルトの名無しさん NG NG]

GNATのprotected型、multi-read-exclusive-writeになってない気がする…
気のせいだろうか？単なるクリティカルセクションのような…

[432 デフォルトの名無しさん NG NG]

>>274
ﾀｲｰﾌｫ

[433 デフォルトの名無しさん NG NG]

>>430
まじで？
俺GBAで使ってみたいんだけど、誰かやってみるやつはいないか？

[434 デフォルトの名無しさん NG NG]

>>433
ARM向けクロスコンパイラ、ですか。

[435 デフォルトの名無しさん NG NG]

YES!YES!YES!

[436 デフォルトの名無しさん NG NG]

よくわからないデスケド、この辺？
http://www.mingw.org/MinGWiki/index.php/build%20a%20Win32%20x-compiler%20for%20Linux
…逆かも

[437 デフォルトの名無しさん NG NG]

ＡＧＥ

[438 デフォルトの名無しさん NG NG]

CLONE OF ADA sage !

[439 433 NG NG]

とりあえず、コンパイルできたら報告するよ

[440 デフォルトの名無しさん NG NG]

>>439
がんがれ！

[441 デフォルトの名無しさん NG NG]

>>439
GOGO

[442 433 NG NG]

コンパイルできたヽ( ´ー｀)ノ
手順まとめてみた
http://tinyurl.com/42wx4

この辺が参考になりますた

http://milky.way-nifty.com/nuzou/2003/12/cygwinarmgbazau.html
http://gba.imou.to/gcc.html

ただ、adaでコンパイルはまだ試してないorz

[443 418 NG NG]

ようやくgcc3.4.2のgnat*がインストールできた...
初心者よ、
ttp://gcc.gnu.org/install/build.htmlを見る前に
INSTALL/build.htmlを見よう。
...インストールなんかで詰まるのは俺ぐらいか...

ちなみにgcc3.4.2だと>>421のプログラムも正常に動作。
GNAT3.15じゃなくgccを使おう。
...GNAT3.15でいいやと思うのは俺ぐらいか...

長かったor2

[444 デフォルトの名無しさん NG NG]

>>443
乙！

[445 デフォルトの名無しさん NG NG]

もつかれ

[446 デフォルトの名無しさん NG NG]

Adaは宇宙開発にも使われてるのかな？

[447 デフォルトの名無しさん NG NG]

ada

[448 デフォルトの名無しさん NG NG]

PL/Iと同じ轍を踏んだ言語

[449 デフォルトの名無しさん NG NG]

>>446
FedSat - Ada Inside
http://groups.google.co.jp/groups?selm=3dfc72d4%241%40iridium.webone.com.au
International Space Station
http://www.boeing.com/defense-space/space/power/iss.html

[450 デフォルトの名無しさん NG NG]

>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.

カコイイ。

[451 446 NG NG]

>>449
ありが�d。
やっぱり使われてたんだ！

[452 デフォルトの名無しさん NG NG]

こりゃえいだって既出ですか、そうですか

[453 デフォルトの名無しさん NG NG]

ぷ

[454 デフォルトの名無しさん NG NG]

>>449
おお

[455 デフォルトの名無しさん NG NG]

Beagle 2:
http://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.

[456 デフォルトの名無しさん NG NG]

Atlas V:
http://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).

[457 デフォルトの名無しさん NG NG]

こいつもAdaという噂。
http://www.nasda.go.jp/projects/rockets/gx/component_02_j.html#configuration
まあ１段目はロッキードだけど。

他のところはどうなんだろう？

[458 デフォルトの名無しさん NG NG]

アメリカではいろいろ使われてるんだな

[459 デフォルトの名無しさん NG NG]

>>458
参考書もいっぱい出てるし、そうだろうな。

[460 デフォルトの名無しさん NG NG]

[461 デフォルトの名無しさん NG NG]

>>1
m９（^Д^）ﾌﾟｷﾞｬｰ

[462 デフォルトの名無しさん NG NG]

http://burks.brighton.ac.uk/burks/language/shoot.htm

すごい言われようだな(w

[463 デフォルトの名無しさん NG NG]

>>462
まあAda以外の言語にもすごいこといってるし

[464 デフォルトの名無しさん NG NG]

盛り上がってきたな！

[465 デフォルトの名無しさん NG NG]

ADAはたぶん埋もれる言語の一つだと思う。

[466 デフォルトの名無しさん NG NG]

>>465
このスレがそのことを暗示しているような…

[467 デフォルトの名無しさん NG NG]

　

[468 はるな NG NG]

作り方分かりますか？
コンピュータが 0から 9までの数を 4つ, 順序付きで重複なく選ぶとする. プレイヤ(人間)は, この数列を当てるのだが, はずれた場合に提示されるヒントは次の通り.

正解の n番目の数を n番目に解答していれば, Hit と呼ぶ. Hit の個数がヒントとして提示される.
正解の n番目の数を m番目(n≠m)に解答していれば, Blow と呼ぶ. Blow の個数がヒントとして提示される.

[469 作ってみたその1 NG NG]

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;

[470 作ってみたその2/3 NG NG]

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;

[471 作ってみたその3/3 NG NG]

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;

[472 作ってみた人 NG NG]

ここって改行いくつまで...?
まぁもっとうまいひとが書けばもっと短くなるだろうが。

[473 デフォルトの名無しさん NG NG]

？

[474 デフォルトの名無しさん NG NG]

>>24
> あの設計者は、懲役3年執行猶予2年くらいには相当するね。
執行猶予のほうが短いなんて…

[475 デフォルトの名無しさん NG NG]

>>29
ぬるぽ

[476 デフォルトの名無しさん NG NG]

>>465
embedded？

[477 デフォルトの名無しさん NG NG]

>>475
ガッ！

[478 デフォルトの名無しさん NG NG]

（；´Д｀）ﾊｧﾊｧ

[479 デフォルトの名無しさん NG NG]

Adaって今更な感じもあってか、書籍やWebページが少ないね。
特に書籍にいたっては絶版になっているのか入手がむずい。

みなさんはどうやって情報を得てるんですか？

[480 デフォルトの名無しさん NG NG]

RM読む

[481 デフォルトの名無しさん NG NG]

A#＋DirectXとかやったひといないのかな

[482 デフォルトの名無しさん NG NG]

>>481
そんなのがあるのか、知らなかったよ。

[483 デフォルトの名無しさん NG NG]

(;´д`)ﾊｧﾊｧ (;´Д`)ハァハァ　(;゜Дﾟ )ハｧｯハｧｯ :.` ;:.･∵ ﾟ д:.`

[484 デフォルトの名無しさん NG NG]

すでにこれまでに話題なってそうな質問です。恐縮。
Adaが突然実装できなくなるとどんな飛行機が落っこちますか。

[485 あーげあし〜 NG NG]

？　工場から出荷できないんじゃない？
既に稼動してるのは落ちないと思うし。

[486 デフォルトの名無しさん 05/01/22 02:06:43]

保守〜

[487 デフォルトの名無しさん 05/01/22 02:21:50]

Mingw入れたら必要ないのに付いてきた。

[488 デフォルトの名無しさん 05/01/23 02:29:04]

>>446
こないだタイタンに着地したホイヘンスも、Adaらしい。
http://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 デフォルトの名無しさん 05/01/23 18:16:57]

Nida

[491 デフォルトの名無しさん 05/01/30 22:52:20]

英語力不足でLovelaceがPut_Line("Hello, world!");から先に進めませんorz
現在のAda力も同レベル・・・日本語文献が欲しい…

[492 デフォルトの名無しさん 05/02/04 18:16:23]

>>491
古いやつならあるぞ。

[493 デフォルトの名無しさん 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 デフォルトの名無しさん 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 デフォルトの名無しさん 2005/03/30(水) 00:18:38]

>>498
http://web.archive.org/web/20020605044428/http://www.tsujiken.ee.kogakuin.ac.jp/jada95.html

[502 デフォルトの名無しさん 2005/04/06(水) 13:03:49]

?

[503 デフォルトの名無しさん 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 デフォルトの名無しさん 2005/05/12(木) 05:03:14]

gcc4.0で、無名アクセス型とそれに伴いクロージャ(関数内関数の持ち出し)が使えるようになってるが、祭りじゃないのか？

[509 デフォルトの名無しさん 2005/05/12(木) 08:13:33]

現況では、組み込みのリアルタイム処理しかadaを使っておいしいシステムはなさそう。
しかも、ある程度規模が大きいとか、変なCPUとかじゃないと利点も生かせない。（24BitCPUとか）
必要なところでは必要だけど、メジャーにはならんね。

[510 デフォルトの名無しさん 2005/05/13(金) 23:07:33]

win版の統合開発環境はでるのかな？

[511 デフォルトの名無しさん 2005/05/13(金) 23:12:43]

>>510
既に沢山あるようだが、無料のはGPSぐらいしかないな…。

[512 デフォルトの名無しさん 2005/05/14(土) 11:20:50]

メインステートからexit出来ないのが不便だ
SIGTERM受けたときにexit(0)したいんだけど
誰か良い方法知りません？

[513 デフォルトの名無しさん 2005/05/14(土) 18:39:44]

>>512
「メインステート」の意味がよくわからないけど、returnでだめなら例外投げるとか？

[514 デフォルトの名無しさん 2005/05/19(木) 14:42:35]

Ada05

[515 デフォルトの名無しさん 2005/06/03(金) 23:46:19]

ループを次に進めるような奴は無いんだろうか…？
DelphiだとContinueみたいな。

[516 デフォルトの名無しさん 2005/06/04(土) 01:47:31]

>>515
ラベル付きexitが使えるので、end loopの直前まで飛べばいい。

[517 515 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 2005/06/05(日) 20:01:25]

あー、悪い。
exitはループ以外の名前やgoto用ラベルは取れなかったっけね。
begin〜endにも名前が付けられるのだから、begin〜endもexitで脱出できていいと思うのだけどなあ。