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

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

どうよ？

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

いたら怖い
F22を自衛隊が採用しても
F22のメンテするのはメリケンでしょ？

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

メンテは日本人がやるでしょ。
ただブラックボックスを開けようとすると爆発するけど。

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

IBMとかAONIXがPC向けにコンパイラ売ってるよ
ってことはPC向けの仕事があるからじゃないか？＞向こうでは

潜水艦にNTなんて馬鹿な真似用じゃ無いことは祈っておくが

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

GTK　Ada
http://libre.act-europe.fr/GtkAda/

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

>>356
ruby.lのキーワード変えたくらいの
しょぼいものなので、晒すほどのできではないです。
emacsのやつを移植使おうとしたけどでかくてやめた。

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

おお、ruby.lを見ればなんとかインデントくらいは実装できそうだ
thanx！

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

Ada0Yはいつ頃出るんだろう…？

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

>>364
0Yだけに、2009年までには出るのでは？

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

>>364
英語でぐぐったところ、どうやら"Ada05"になりそう。来年。

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

>>366
来年ですか、ありがとう。

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

>>367
規格が来年ってだけで、GNAT(gcc)に限れば先行実装されてきてるYO！
とりあえず今のところlimited withと、他のOOPLライクなメソッド呼び出し構文ぐらいは動く。
-gnatXをつけてコンパイルだ。

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

だれか、俺にrandezvousを教えてくれ。

メッセージを送信すると受信側のタスクが受信して処理し終わるまでブロッキング。
受信側のタスクはメッセージが送られてくるまでブロッキングされる。

というニュアンスでいいの？
正確なところをフォロープリーズ。

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

私も教えてほしい…
一般に使われてるMutex/クリティカルセクションと、
Adaのランデブー/protected型の違いによる
コーディングスタイルというかマルチスレッド用デザパタというか
そういうのの差違を説明したところないですかー？

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

ランデブーって MPI みたいなやつ？

http://www-unix.mcs.anl.gov/mpi/

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

早く規格ができないかな。

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

面白そうだから今度使ってみようかな

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

win版開発環境はあるのか？

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

>>374
コマンドラインだけでよければgccの対応言語のひとつ。
開発環境が欲しければgnat.comとかIBMとかaonixが売っているらしい

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

この言語を使うことによるメリットは何だろう？

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

そりゃもう、徹底的なコンパイル時チェックによって、コンパイルエラーと戦いながら
バグの混じる余地の無いソースを書き上げる快感ですよ

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

あだスレまだあったのか

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

こりゃえいだ

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

>>379
工エｴェｪ(´д｀)ｪェｴエ工

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

gcc3.5はいつになるのかな…

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

>>375
gcc って直接ネイティブコード吐くの?
それとも C を経由?

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

>>382
gcc -c aaa.adbとかでコンパイルするから、Cは経由してないはず。
もっとも、gccの中間表現は経由してるだろうけど、これはgccでコンパイルできる言語ならどれも同じ

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

この言語を使うと、他の言語を使った時よりもセキュリティが堅固なシステムを作れるのか？

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

>>384
いんや、実行時はCと変わんないよ。コンパイル時チェックが厳しいだけ
まあ、デバッグコンパイルしたのを運用すれば範囲外の数値なんかは検出してくれるが…

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

盛り上がってまいりました！

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

>>386
工エｴェｪ（´д｀）ｪェｴエ工

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

>>387
(・∀・)ｲﾀﾞ!!

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

>>374
>>375
名前がまぎらわしいけど、フリーのIDEあるよ。
GPS: The GNAT Programming System
http://libre.act-europe.fr/gps/main.html

あと、前からあるのはAdaGIDEとか。
http://www.usafa.af.mil/dfcs/bios/mcc_html/adagide.html

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

GPS…酷い名前だ。

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

>>390
誤解されそうだな。

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

>>390
名前が一緒っていいのか？

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

>>384
まあ、C/C++でいうバッファオーバフローはないね。
http://www.linux.or.jp/JF/JFdocs/Secure-Programs-HOWTO/c-cpp.html

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

>> 371
MPIとは違うな。
rendezvousは、1ノード上のマルチスレッド間通信。

MPIみたいな多ノード間の通信の言語仕様は、Annex E "Distributed Systems"。
http://www.adaic.org/standards/95lrm/html/RM-E.html

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

このスレの住人には常識かもしれんけど

http://e-words.jp/w/Ada.html

>　当時の最新のプログラミング理論やソフトウェア方法論をまるごと取り入れようとした野心的な言語仕様で、厳密なデータ型の定義や、ソフトウェアのモジュール(部品)化、並行処理に関する仕様が特徴的である。

>　しかし、あまりに多くの仕様を取り込もうとしたことが過度の肥大化を招き、当時の貧弱なハードウェアで開発を行なうのは困難になってしまった。

>　このため、1980年代中盤から後半にかけて、より「軽い」仕様を持ったC言語に取って代わられた。

これ文の特にこの部分
>当時の貧弱なハードウェアで開発を行なうのは困難になってしまった。

これ読んでふと思た。
パソコンでもメモリが1G、CPUクロック3Gが常識な今、まだアセンブラに近いようなC言語使ってて良いの？
ポインタなんてのはCPUの構造を熟知してアセンブラがある程度わかって初めて正確に理解できるようなもんでしょ。

きっとAdaの時代がくるに違いありません。ひょっとしたら進化したPascalなのかもしれないけど？
識者の検証を頂けたら幸いです。

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

Adaって、C並にガリガリの組込用言語だと思ってるんだけど。
Cの場合実装依存として投げてしまってる部分を、
全部ガッチガッチに文法にしてコンパイルエラー出せるようにしてあるから
仕様がでっかくなってるだけで。

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

>>393にも関連するけどAdaでOSを作ろうとかいう話があったね。
（海外Webサイト）

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

コンパイルエラーちゃんと出してくれる方がプログラマにはやさしいと思うが？

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

>Adaって、C並にガリガリの組込用言語だと思ってるんだけど。
Adaを論理回路設計に特化させたのがVHDLだし。
つまりVHDLでCPUも造れてしまうわけで。

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

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

なかなか次のgcc出ないなあ…Ada05早く使いたいYO！

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

>>402
05だけに、2005年まで出ないのでは？

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

ではこのスレも来年まで保守か…長寿スレだな(いまでも充分

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

型の種類が多すぎて覚えられない。

あと、変数を大文字から始めるという慣習のために、小指がいたくなる。

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

こんなイイ言語がCより前からあったなんて…．

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

>>404
そんな貴方に親指シフト

マジレスすると、大文字小文字無視(だから"_"で区切ってる)なので、全部小文字で打て

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

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

>> 405
Plauger（ANSI C委員会）さんも昔
“Beyond 100,000 lines of code, you should probably be coding in Ada.”
と言ってた。

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

なに？コンテナライブラリが作って？

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

http://www.ada-auth.org/ai-files/grab_bag/Amendment-D8.html
誰かこいつを要約してくれ

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

ISOで制定されたAda95に対する修正案のドラフト版？

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

列挙型としてboolean,character,Wide_Characterが予め定義されている。
　↓（修正）
それにWide_Wide_Characterも追加しる！

とかそんなのがいっぱい書いてあるみたいだけど…

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

overridingの明示が、overriding procedure …って書くようになってるなあ
pragma overriding …はどうなるんだろう

あと面白そうなのが拡張return文
C++なんかではreturnで(コピー)コンストラクタが走った後もうそのオブジェクトには触れないが
関数を抜ける前に細工ができるようになってる

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

Ada05がメジャーになる日は果たしてくるのだろうか？

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

来ないでしょ。

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

ていうか日本語で入門記事キボンヌ
マジわからん
Delphiやっててもさっぱりなんだが

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

>>416
Hello World程度ならこのスレの上の方にあるだろ
それ以上は逐次質問してくれい

…このスレ三人ぐらいはいそうなので俺もわからなくても誰か答えてくれるさ

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

じゃあ質問して見るか。
並列処理の制御ってどうやるの？
task,task body...をいくつか書いておけばそれらは同時に処理されるんだけど
勝手に処理が始まる。こちらで任意に処理を開始したり停止したりできない。
英語のサイトも見てacceptも試して見たがさっぱりだ。
誰かわかる？
...ああいま昔のレス見てたらlovelaceっていうAdaチュートリアルにも並列処理の事載ってるみたいだな。
そこを見るの忘れてた。当たって見るか。

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

ゲーム作りはＣ＋＋やＪＡＶＡが主流だし、日本ではこの言語がどんな所で
使われてるのかさっぱり分からん。
日本語の参考書も見たことないし…
大学か趣味プログラミングが主流なのかな？

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

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

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

**デフォルトの名無しさん** · 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読んでたら、並列処理関係はほんとのほんとに無駄に機能豊富。

**418** · NG

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

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

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

**418** · NG

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

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

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

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

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

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

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

>>428
ほうほう

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

>>396
確かに。

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

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

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

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

>>274
ﾀｲｰﾌｫ

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

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

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

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

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

YES!YES!YES!

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

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

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

ＡＧＥ

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

CLONE OF ADA sage !

**433** · NG

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

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

>>439
がんがれ！

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

>>439
GOGO

**433** · NG

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

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

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

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

**418** · 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

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

>>443
乙！

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

もつかれ

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

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

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

ada

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

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

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

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