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

**名無しさんは伊達じゃない** · 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

**デフォルトの名無しさん** · 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.

カコイイ。

**446** · NG

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

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

ぷ

**デフォルトの名無しさん** · NG

>>449
おお

**デフォルトの名無しさん** · 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.

**デフォルトの名無しさん** · 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).

**デフォルトの名無しさん** · NG

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

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

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

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

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

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

盛り上がってきたな！

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

**はるな** · NG

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

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

**作ってみたその1** · 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;

**作ってみたその2/3** · 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;

**作ってみたその3/3** · 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;

**作ってみた人** · NG

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

**デフォルトの名無しさん** · NG

？

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

>>29
ぬるぽ

**デフォルトの名無しさん** · NG

>>465
embedded？

**デフォルトの名無しさん** · NG

>>475
ガッ！

**デフォルトの名無しさん** · NG

（；´Д｀）ﾊｧﾊｧ

**デフォルトの名無しさん** · NG

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

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

**デフォルトの名無しさん** · NG

RM読む

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

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

**デフォルトの名無しさん** · NG

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

**あーげあし～** · NG

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

**デフォルトの名無しさん** · 05/01/22 02:06:43

保守～

**デフォルトの名無しさん** · 05/01/22 02:21:50

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

**デフォルトの名無しさん** · 05/01/23 02:29:04

>>446
こないだタイタンに着地したホイヘンスも、Adaらしい。
http://www.crn.vnunet.com/analysis/1157756

**デフォルトの名無しさん** · 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.

**デフォルトの名無しさん** · 05/01/23 18:16:57

Nida

**デフォルトの名無しさん** · 05/01/30 22:52:20

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

**デフォルトの名無しさん** · 05/02/04 18:16:23

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

**デフォルトの名無しさん** · 05/02/24 22:43:48

ほっしゅ。

**デフォルトの名無しさん** · 05/03/03 14:31:19

保守

**デフォルトの名無しさん** · 05/03/03 14:56:31

国防総省がAda作った背景何て言うんだっけ？

言語の統一の必要性の方じゃなくて、
プログラマが足りなくなるって事象を。
ソフトウェア危機だっけ？
それに対する回答が言語の統一だったような。

**デフォルトの名無しさん** · 05/03/12 18:30:28

Ada0Yはどうなったんだ？

**デフォルトの名無しさん** · 05/03/12 19:22:01

>>496
tp://hp.vector.co.jp/authors/VA028375/ada/
ここお薦め。

**デフォルトの名無しさん** · 2005/03/22(火) 00:15:23

オブジェクト指向なの？

**デフォルトの名無しさん** · 2005/03/27(日) 10:48:07

>>1
どうだろうね

**デフォルトの名無しさん** · 2005/03/28(月) 15:11:32

ada

**デフォルトの名無しさん** · 2005/03/30(水) 00:18:38

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

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

**デフォルトの名無しさん** · 2005/04/18(月) 12:46:28

hoshu

**デフォルトの名無しさん** · 2005/04/22(金) 17:50:19

使用者が少ないっぽいな

**デフォルトの名無しさん** · 2005/04/22(金) 21:45:29

実際の話、この言語で情報システムとか組んだことのある香具師いるのか？

**デフォルトの名無しさん** · 2005/04/30(土) 20:39:36

ほしゅ

**デフォルトの名無しさん** · 2005/05/11(水) 15:45:08

保守

**デフォルトの名無しさん** · 2005/05/12(木) 05:03:14

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

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

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

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

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

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

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

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

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

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

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

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

Ada05

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

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

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

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

**515** · 2005/06/05(日) 10:51:50

>516
ありがとうございます。
exitがラベル取れなかったので（exit_statement ::=exit [loop_name] [when condition];）
gotoに読み替えて、end loop;直前まで飛んで解決しました。

**デフォルトの名無しさん** · 2005/06/05(日) 16:54:53

おお、技術的な会話をしてるのか

**516** · 2005/06/05(日) 20:01:25

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

**515** · 2005/06/08(水) 22:33:42

>516
どうせなら、やっぱり全部exitで出れる様に統一して欲しいですよねぇ。
begin...end;を出れるだけでも変わってくるのだけどなぁ。

**デフォルトの名無しさん** · 2005/06/09(木) 00:29:49

常に一回だけ素通りする、loop ～ exit; end loop; でくくるとか。

**デフォルトの名無しさん** · 2005/06/25(土) 22:42:48

ほっしゅ。

**デフォルトの名無しさん** · 2005/07/21(木) 22:55:42

ほ

**デフォルトの名無しさん** · 2005/07/26(火) 09:31:15

し

**デフォルトの名無しさん** · 2005/07/27(水) 00:19:45

ひ

**デフォルトの名無しさん** · 2005/07/27(水) 22:36:25

ゅ

**デフォルトの名無しさん** · 2005/07/27(水) 23:34:24

OY for 95がｲﾝｽｺできないよorz
gnatmakeして置き換えで何故駄目なんだ。。。
それ以上のインストール方法も書いてないし。。。

助けてぇ、エロい人ぉ

**デフォルトの名無しさん** · 2005/07/28(木) 15:56:16

>>527
gcc 4.0.0以降は、Ada.ContainersもAda.Directoriesも標準装備。

**デフォルトの名無しさん** · 2005/07/28(木) 16:20:20

ところで、配列の初期化でothers => <>を使ったら、要素数分空ループが生成されているような…。
除去してくれないのかgcc 4.0.1…。

subtype T is String(1..10);
S : aliased String := T'(others => <>);

なんでこんな書き方してるのかというと、aliasedつけて'Accessで渡そうとすると、初期化されてないってエラー？が出るから…。

**527** · 2005/08/11(木) 22:51:13

>528
ありがとうｴﾛｲ人！
今までGNAT使ってたけどやっぱgccに乗り換えるよ。
そして亀レスすまん。

**デフォルトの名無しさん** · 2005/08/12(金) 09:16:10

"GNAT"としてパッケージ化がされてないってだけで、GNATとgccの中のAdaは同じものに思えるのは…気のせいではあるまい。

**デフォルトの名無しさん** · 2005/08/15(月) 16:37:09

あはは

**デフォルトの名無しさん** · 2005/08/29(月) 11:38:04

ふと思ったんだけど、windowsで*.dllロードしたいときはどうするんだろう？
そのままImportしても出来ないし。。。

**デフォルトの名無しさん** · 2005/08/29(月) 20:21:27

>>533
libgdi32.aみたいなのをリンクしても駄目？
-lgdi32

**デフォルトの名無しさん** · 2005/08/30(火) 22:54:04

>>534
出来たよ、ありがとう。
つーか、リンカオプションまとめてる所とかないかな。
あの辺がさっぱり解らん。

**デフォルトの名無しさん** · 2005/09/15(木) 20:51:11

GNAT GPL 2005パッケージ出たね。
https://libre2.adacore.com/

gcc見る限り多態コンストラクタや拡張returnはまたパッチが出て無いようではあるのだけれど、実装済みなのだろうか？
ベースがgcc 3.4.5というのがまた。どうせなら4.0.2ベースに…。

**デフォルトの名無しさん** · 2005/09/15(木) 20:51:41

えーい、どうせだからあげ、あげ。

**デフォルトの名無しさん** · 2005/09/15(木) 21:11:50

gccのスナップショット見る限りは、新機能パッチは最新ver(いまだと4.1.0)にしか適用されていないので、3.4.5ベースでAda2005というのはAdaCoreのカスタムなんだろうが…。
ぐだぐだ言ってないで落としてみればいいのだろうが、登録がw

**デフォルトの名無しさん** · 2005/10/05(水) 10:00:03

STLの元になったAdaのコンテナライブラリってソース出ているの?

**デフォルトの名無しさん** · 2005/10/11(火) 00:27:57

>>539
知らないなあ…。
逆にSTLをバックポートしたようなものは幾つか見かけたが。

**デフォルトの名無しさん** · 2005/10/11(火) 00:31:31

ところで、interfaceへのダウンキャストができないのだが…そういうものなのか？
Java-like interfaceなんて言って、そのつもりで使ってると、困るんだが…。

**デフォルトの名無しさん** · 2005/10/12(水) 14:39:57

task内でなくとも
select
delay xx.x;
～
then abort
～
end select;
が使えることに驚き。
そんな今日。
ついでにage。

**デフォルトの名無しさん** · 2005/10/12(水) 15:25:17

>>542
>>423

exit when なんていう構文をさっぱり綺麗に忘れていた今日この頃。
そしてsage

**デフォルトの名無しさん** · 2005/10/12(水) 21:02:30

次スレではタイトル半角希望。
そして次スレとC++0xはどちらが早いだろうか…

**デフォルトの名無しさん** · 2005/10/30(日) 13:51:47

保守

**デフォルトの名無しさん** · 2005/11/13(日) 10:32:48

保守ついでに
<チラシの裏。>
307でgwindowsがMinGWで動かないって書いてあるけど、展開してADA_*_Path通す（”＜展開したどこか＞\bindings”）だけで此方では一応動いた。
gnatcomも同様。（よくは知らないが）
ただ文字列関係がANSIのままなので2k, xpではcoding\*_unicode.ad?で置換した方がよさ気。
私みたいなmeユーザには関係のない話だけど。
</チラシの裏。>

ところで、誰かRendez-vons教えてください。
何の事だかさっぱりわからない。

**デフォルトの名無しさん** · 2005/11/14(月) 21:00:21

>>546
entryで待ち合わせて一時的に合流処理、っぽい。
Javaなんかのsynchronizedとは逆の考え方っぽい。
共有資源に対して直接排他アクセス権をどうこうするのではなく、
共有資源を扱うガイド役のタスクがあって、
そいつがあちこちからの要求に付き添って行動することで
同時にアクセスされないことを保証してる、っぽい。

…間違ってたらすまん。

**デフォルトの名無しさん** · 2005/11/17(木) 19:44:08

なんでこんな終わった言語をいつまでもGCCはサポートするん？

**デフォルトの名無しさん** · 2005/11/17(木) 23:01:49

終わって無いから。