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

**名無しさんは伊達じゃない** · NG

どうよ？

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

CマガジンにSRのこと載ってたね。
(SR=AdaなどのCSP系の通信機構をまとめて出来た言語)

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

>>61
２～１６進表現全部フォローしなきゃならないとか（３とか１５とかも）
Ａｄａと名乗る為に審査パスしなきゃいけないとか
サブセットは認めないとかで
面倒だったのかな。（単なる憶測）

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

>>62
>TurboAdaとかVisualAda
いくら仕様が厳格でも、上記の処理系じゃ、
軍にソフトを納入できないような気がする。

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

枝スレはたまにあがるが盛り上がらんな

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

米軍は Ada+InterBase なのだろうか

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

>>68 InterBaseってボーランドのですか？

>>50 素人なんですが、CSP系という事であれば、
　　　NGSCMのセンセのページに昔載ってた、
　　　SR(Syncronized Resource)とは違うのですか？

>>64 いつの号でしょうか？
　　　３月号なら、音楽信号処理が載ってたんで、買ったけど読んでない(鬱

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

あげ

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

OracleのPL/SQLがAda似なのは米軍へ売り込むためだったのかな

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

米軍はHSP使ってます。先日国防省を訪ねたときにみました。

NG

>72
そりゃねぇ～だ。Again

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

例え総称がCLRに無くても、その言語内だけで使うぶんには勝手に展開してしまえばいいような気も…と言ってみる
総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果…

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

エイダ・ウォン

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

>>74
> 例え総称がCLRに無くても、その言語内だけで使うぶんには勝手に展開して
> しまえばいいような気も…と言ってみる
> 総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果…

おいおい言語非依存にするっていう制約があるぞ。

それにメイヤーが何言っても聞くような奴じゃないぞ、あいつは。
つい最近までPascalやっていたような偏屈だからな。

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

raise Age;

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

密かに>>75がつまらないギャグを言うスレはここですか。

gamecubeﾉBAIOﾔﾘﾀｲｷﾌﾞﾝ

50 · NG

>>69
> 　　　SR(Syncronized Resource)とは違うのですか？

スマン間違えた。Serialize-じゃなくてSynchronizedだ。

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

純国産OSのEOTAに標準でAdaがインストールされているのは
米軍へ売り込むためなのかな。

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

Ada, 楽々受かるからだ。

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

Ada, rakurakuukarukarada

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

82が気が付いてくれて、81も浮かばれただろ

もっとも82＝81ならその限りではないが

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

>>83
たぶん、>>82=>>81と思われ。

そんなの気づく奴は、本人以外なかなかいない。

よくできてるとは思うけどね。

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

Adaから派生したDIANAって知ってる？
80年代、Adaを勉強しようとして、まちがえてDIANAの本買って鬱になった。
Ada構文⇔DIANA木に変換できるらしい。NTT通研がやっていたと思う。

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

>>84
81って、大昔の ASCII かなんかの雑誌にのっていた覚えがあるよ。

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

Ada って Pascal から生まれたんでしょ？
だからいまだにアメリカではPascalを教えてるんだね。
あとでCにもAdaにもいけるからね。

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

Algol系の言語が好まれるということだな。
PL/1, JOVIAL, modula-2/3などなど

PascalからCという流れは？だが。

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

raise Sage; --(意味不明)

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

>>89
そういやコメントが--なんだよね。

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

if 書き込む then
　存続;
else
　dat落ち;
end if;

-- ぶらさがりelse問題の無い理想的なif文です

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

loop
　存続;
　exit when dat落ち;
end loop;

-- 無限ループ専用の構文があるのも珍しいかも

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

A: loop
　loop
　　exit A;
　end loop;
end loop;

loop
　loop
　　goto B;
　end loop;
end loop;
<<B>>

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

declare
　type S is array(Character) of Boolean;
　Age: S := ('A' | 'G' | 'E' => True, others => False):
　Sage: S := ('S' | 'A' | 'G' | 'E' => True, others => False):
　R: S;
begin
　R := Age and Sage; -- Booleanの配列はPascalみたく集合演算できる
end;

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

Thread.Write(Text => "仮引数明示呼びだし", Mail => sage);

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

with System; use System;
with Interfaces.C; use Interfaces.C;
with Interfaces.C.Strings; use Interfaces.C.Strings;
with Win32; use Win32;
with Win32.WinUser; use Win32.WinUser;
procedure WinHello is
　pragma Linker_Options("-Wl,-subsystem,windows");
　function To_CStr(C_Str: CHAR_Array) return LPCSTR is
　　function UC is new Ada.Unchecked_Conversion(Address, LPCSTR);
　begin
　　return UC(C_Str(C_Str'First)'Address);
　end;
　Dummy: Win32.INT;
　Text: constant CHAR_Array := "Text" & Win32.Nul;
begin
　Dummy := MessageBox(Null_Address, To_CStr(Text), To_CStr("Caption" & Win32.Nul), MB_YESNO);
end WinHello;

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

ADA95どうよ？

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

Ada95で、クラスワイド型じゃないと多態しないというのはまあいいのですけど、
多態で飛んでいった先の各ルーチンに渡されるオブジェクトはクラスワイド型じゃない方ですよね？
多態先からまた多態したい時はそのつどクラスワイド型にキャストし直すしか無いのでしょうか？

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

>>92
> -- 無限ループ専用の構文があるのも珍しいかも

CSPの影響でしょうね。

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

>>87
Concurrent Cは、Adaから影響を受けたね。

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

委員会が作った言語に優れたものは１つもない。

**C++好き** · NG

>>101
最近のC++には耳の痛いお言葉で…

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

Ｃ＋＋は、委員会が決めたのか？

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

C++に贈る言葉
「船頭多くして、船、山に登る」

**C++好き** · NG

>>103
最近は http://anubis.dkuug.dk/jtc1/sc22/wg21/ こういうところがメインですよ。
もうBjarne Stroustrup個人の言語じゃないです。

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

しかしAda(やCommonLisp)はそもそも委員会が設計した言語だからな。
もっとひどい。

**C++好き** · NG

CommonLispは、mailing-listの議論をGuy Steeleの独断でまとめた。
だから委員会じゃないが、確かにすっきりしない言語だな。

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

対照的なのはOberonとかSchemeとか。
好き嫌いはともかく、すっきりしてる。

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

うんだ、Ada はええだ。
恩を Ada で返すだ。

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

>>109
ﾜﾗﾀ

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

Adaに無限ループ専用の構文なんてないぞ。
loop文の繰り返し規則がオプションになってるだけ。

for ch in CHAR'RANGE loop ... end loop;
while ch in CHAR'RANGE loop ... end loop;
loop ... end loop;

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

平社員: 係長、何か泳いでいますね～
係長: エイだ。

**ＡＤＡ** · NG

ＡＤＡ

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

保守

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

AADDAA

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

人類初のプログラマーは女性
http://www-6.ibm.com/jp/lead/010115_a.html

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

raise…してもネタも無し。保守

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

国防省というと、Multicsがついこないだまで現役で動いていた
そうですが、それってPL/IをAdaに焼き直して動かしていた
とかいう話はあるんでしょうか？

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

保守sage

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

age

_ · NG

作られた時代を考えたらAdaって凄く先進的な言語ですね。。。

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

作られたときは先進的だけど今はどうってことないじゃん。なんて国防総省が
いまだにエーダなんてつかってるかわからないよーん。ボケ。

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

F-22しか使われてるの知らないけど、他にはどんな軍用兵器の開発に
使われてるの？

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

スティンガー

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

エイダちゃん
ｷﾀ━━━(ﾟ∀ﾟ)━━━!!

でも年輩ハッカーしか知らないに(　つД｀)1デリゲート

**C++好き** · NG

>>122
違うよ。そういう後ろ向きの理由じゃなくて、Multicsはバリバリの現役だったよ。
B2 security通っていたからね。
http://williamstallings.com/Extras/Security-Notes/lectures/trusted.html

「コンピュータセキュリティの基礎」D. Russell, G.T. Gangemi Sr.
山口英監訳アスキー出版、が日本語書籍では詳しい。絶版なのかな?
http://www.amazon.co.jp/exec/obidos/ASIN/4756102999/qid%3D1028710845/250-8907122-0857047

>>123
>>50から辿ってね～。

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

国内でも航空管制で使われてない？

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

保守

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

Text_IO.Put_Line("下へ参ります");

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

GCC に Ada が入ったみたいだが、なぜ？

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

Ada.Coda.IUNA

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

Ada.Coda.You.Know

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

ttp://www.adahome.com/Pictures/ladyada.gif結構美人じゃない？？

NG

いまgnat-3.13p-8.i386.rpm ってのﾀﾞｳｿしてるんだが・・・
・・・不安

**134** · NG

RedHat7.1と7.3にすんなり入った。

gnat-3.13p-runtime-1-8.i386.rpm
と、gnat-3.13p-8.i386.rpm
の、とりあえず二つだけ持ってきて、この順にrpm -ivh するだけ。

ちょっとイラっとしたことといえば、User's Guideにあった
$ gcc -c hello.adb　が駄目で、gnatgccじゃないとコンパイル
しなかった事ぐらいだった。

まぁ温故知新って言うか、割と楽しめそうな感じ。

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

lovelaceっていうAdaチュートリアルみつけた。
なんかよさげ。

Section1-4にAdaの実行時例外を投げさせる例題があったけど、
例外なんか一個も投げられないで、おかしな値を表示しながら
無限ループしてる。
調べてみると、漏れのつかってるGNATではコンパイル時の
オプションで-cargs -gnatoと指定しないとだめだと分かった。
それ以外はいい感じだった。もうしばらく続けてみよう。

今日はLesson4までやった。
明日はLesson5～8までやる。オブジェクト指向が含まれる。
あさってはLesson9～12までやる。Genericsが含まれる。
しあさってはLesson13～17（最後）までやる。並行処理とかが含まれる。

・・・つうか暇。。。

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

Windowsでも、mingw版gccで試せる、と一応書いておく。

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

levelace って名前がなんか
軍用って香りがするのは
Ada に対する偏見だろうか？

NG

Augusta Ada Lovelace（バイロンの娘。世界最初のプログラマ）

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

Boochなんかも、もとはAda畑の人だったわけね。
でRational Rose もAda Illustratorってツールに起源をもつとか。

もしかしてSmalltalk程度には評価されていいのかも知らんね。
case-insensitiveなのは、いやなんだが・・・。

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

さてと、lovelaceとか言うチュートリアルを半分までやって見た。

メッセージを受け取る側のオブジェクトも引数としてメソッドに渡すわけか。
UMLとか書くときはどうするんだろう。

あとタイプとクラスを別々の概念として扱うってのが、なんかイマイチ
よく分からん。（興味深くもあるけど。）
代入とコン（デ）ストラクタを定義するのに、いちいち組み込みのクラス
から派生させるてのもいかがなものかと思いますた。

マルチディスパッチできるらしいんだが、これはちょっと面白いかも。
寝る時間までちょっといろいろ書いて見るか。

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

Adaたんって可愛かったのかな？
写真なんか無い時代だよね…

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

Ada.NETはともかく、.NETに総称を付け加える研究をMSRでやってるよ。

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

そのgnatってネットワーク系のライブラリとかあります？
単にHTTPでPOSTして結果をうけとるだけでいいんですけど。

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

>>143
貴族の娘だから肖像画くらいはあるんじゃねーの?

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

Lady Augusta Ada Byron
http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/pictures.html#LA

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

現在mingwダウンロード中。
「lovelaceっていうAdaチュートリアル」とやらはどこにあるの？

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

gcc-3.2-Ada-20020817-1.tar.gzをmingwのディレクトリに重ねて解凍しただけではコンパイルできないのか？

fatal error, run-time library not installed correctly
cannot locate file system.ads

みたいに言われる…(system.adsそのものはmingw\lib以下の深いところに存在する)
多分何かパス設定が必要なんだろうけど、誰か知りませんか？

**148** · NG

自己レス。
環境変数ADA_INCLUDE_PATHとADA_OBJECTS_PATHが必要でした。
さて、Hello Worldのコンパイル通ったし、lovelace探すか…。

やけに生成されるexeがでかい気がするのですが、スマートリンクみたいなオプションが必要？
それともこんなもの？

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

好奇心で勉強するのは良いけどさ、
Adaって案件あるのか？
先輩が昔、三菱のホニャララで聞いた事が
ある、とか言ってたけど...

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

>>150
軍事関係なら多いだろ
でもそういうのは機密なものばかりだろうから話題には上らない

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

>>150
三菱というと、もしかしてF-2とかの戦闘機ってAdaで動いてるのか。
それはそれで面白そうだ。
# ま、漏れ的にはAdaは遊びで十分なんだけど。現実的に。

ちなみに、ソフトウェアの再利用性に関連した論文とかで、
CAMP（Common Ada Missile Package）ってのをたまに
見かけるんだけど、是非、拝見して見たいものだが。
やっぱミサイルクラスとか弾頭クラスとかあるのかな・・・？。

あとNASDAとかもにもありそうな気がするんだがどうなんだろ。＞案件

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

>136
>無限ループしてる。
なった、なった。
>調べてみると、漏れのつかってるGNATではコンパイル時の
>オプションで-cargs -gnatoと指定しないとだめだと分かった。
そんなとこまで気付かなかったよ。

**141** · NG

>>153
おお始めてみたんですか。心強いです。
自力で分からないことあったら訊くかも知れんのでよろしこ。

あと、正直すまんかった。
間違ったこと書いてたらしい。マルチディスパッチはだめみたいだ。
operation can be dispatching in only one type.
いきなり怒られた。
Visitor使えよってことか。

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

>147
>「lovelaceっていうAdaチュートリアル」とやらはどこにあるの？
目次
ttp://www.adahome.com/Tutorials/Lovelace/master.htm
トップ
ttp://www.adahome.com/Tutorials/Lovelace/lovelace.htm

**147=148** · NG

>>155
ありがと。でも、既に検索して見つけちゃってました。
とりあえず順番にクイズをやってます。

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

一応書いとくか。
LovelaceのSmallってサンプル（ﾀﾞｳｿしたやつ）は、俺の環境RH7.3+gnat3.13pでは
makeできなかった。
ちょっとがっかりしたけど、深追いするのはやめときますた。

今、ライブラリとか調査中。

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

>>157
mingw+gnat(バージョンはどこで見るの？)でもビルドできない…と思いきや、
zipに格納されているファイル名が8文字で切れてしまっている様子。
(directions.ads が directio.ads になっている等)
ファイル名を正してやればビルドできました。

しかし…二部屋しかないのか？このゲーム(w

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

win32adaというものを拾ってきて、WindowsAPIを呼ぶ実験をしてます。
一部書き換えが必要になったものの(gnatのバージョン違いが原因と思われる)、
なんとか成功…はしたのですが、
毎回、リンカにlibuser32.a等を渡してやらないとリンクできない面倒な状態になってしまってます。
リンカ(gnatlink)に渡すデフォルトオプションを書いておける、環境変数とか設定ファイルとかありませんか？

それと、win32*.aliを、ADA_OBJECTS_PATHにコピーしても、見てくれず、
毎回ソース(ADA_INCLUDE_PATHに配置。こっちは見てくれる)からコンパイルされるのは何故だろう…。

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

>>159
いまソケットライブラリやってるんだけど、こっちではこんな風にmakeできる。

１．gnatmakeに渡すオプションをなんかのファイル(例えばfoo)に書く。
-I/usr/lib/ada/adasockets -L/usr/lib/ada/sockets -largs -L/usr/lib/ada/adasockets -ladasockets
　（-largs以降がリンカオプションらしい）

２．そんで、gnatmake hogehoge `cat foo`

窓、出ましたか？

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

``というのはUNIXのコンソールの機能ですか？cmd.exeにそんな機能あったかな…。
無駄と思いつつ`type foo`なんて書いて何も起きない事を確認。

とりあえずソースコードに直接pragmaを埋めこむ事で、一応対処はできました。

pragma Linker_Options("-s -mwindows");
pragma Linker_Options("C:\progra~1\mingw\lib\gcc-lib\mingw32\3.2\adalib\win32ada.a");
pragma Linker_Options("C:\progra~1\mingw\lib\libgdi32.a");

で、窓、出ました。
( ソースコードにパスを埋めこむのは気持ち悪いのですが… )

-s をリンカに渡すと、スマートリンクらしいです。だいぶ.exeが小さくなります。

**160** · NG

>>161
ｽﾏｿ。なんとなくCygwinユーザかと思ってた。

＞で、窓、出ました。

いいなあ。。。
漏れもGｔｋでやって見ようかな。

それにしても情報が少ない。まさに「ソースがドキュメント」状態・・・

NG

メモっとこ。
主要ドキュメント。

『Language Reference Manual 』
言語自体のリファレンスだけど、BNFばかりでとっつきにくい。
http://www.ocsystems.com/user_guide/powerada/html/ada_lrm/lrm-TOC.html

『Ada 95 Quality and Style Guide 』
スタイルガイドだけど、要所要所コードの断片が載ってちょっと分かりやすい。
http://www.grammatech.com/style_guide/contents.html

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

巫女の予言とかいうやつ?