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

どうよ？

名前は聞いたことあるけど知らん。

何？アダって？

19世紀のプログラマー　バイロンの娘エイダのｴｲﾀﾞだ。
それくらい知っておけ。常識だぞ。
ttp://mfg07.nikkei.co.jp/pub/science/page_2/magazine/9908/19c.html

ロッキーの映画でさ、主人公が妻の名前叫ぶじゃん、
あれ何だっけ？

>>5
えいどりあーーーーーーーーーーーーーーーーーーーーーん！！！

あ〜、あれだろ。チョコレートの。。あれって美味いよな。

http://www.geocities.co.jp/SiliconValley-SanJose/5071/lab_study_ada.html

俺愛だ

そりゃｴｰﾀﾞ

プログラミンゴ言語　アバ　について教えてよ．　ABBA　しってる？
スウェーデン生まれなんだって。

Intel 初の 32bit MPU, iAPX432 は Ada マシンだったって話だけど
ほんとのところどうだったのよ?

Eiffel>>>>>>>>>>>Ada

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

色んなものを取り入れようとして
馬鹿でかい言語仕様になってしまい
効率の良いコンパイラも作れなくなった
筋の悪い言語。

Adaなんざ糞。ミサイル制御にはJOVIAL
これ最強。

ラプターはエイダで動いてるらしいな。

宇宙開発にはＦＯＲＴＲＡＮ
構文ミスで軌道が狂う。
これ最強。

AdaプログラマになるにはFBIの許可が必要です。

自分の好きな言語が軍に採用されたりしたらいいなぁ

電電公社時代、電話の交換システムはADAで書かれてると聞いた記憶が。
今はTRONだっけか。

TRONはOSだ。 いらん恥かいちまった。(鬱氏

財務省にはＣＯＢＯＬ！
ひとつのミスで血税ドブ捨て
これ最強

SUN3のころ使ったよ。
「汎用パッケージ」ってやつが、今の「クラス」に相当していて、本当に汎用的な
用途に使えるのがすごいと思った。
例外処理も洗練されていて使いやすかった。
ループの廻し方とか、列挙型の扱いも美しかった。

ただ、元請会社の基本設計が最悪で、Adaの開発なのに中身は Cで作った関数を
Adaのメインモジュールから呼ぶだけ。
あの設計者は、懲役3年執行猶予2年くらいには相当するね。

当時の言語でthreadをまともに扱えたのは、Adaだけなのかな？

age

本当は全然興味ないくせにスレ立てんなバカ

コンパイラさえ通れば、落ちないという仕様が良い。

>>28
SunのハイエンドマシンでJavaなら一応達成出来ているのでは？

落ちなくても bug free ではないけどな.

>>30
bug freeって
バグが無いって意味かな？
KDEの壁紙にも書いてあったけど…。

>>25
80年代なら、ModulaとAdaぐらいじゃないの？

とりあえず、言語仕様読んで萌えたAlgol系言語は先にも後にもAdaだけだな。
いまじゃあ、C++がAdaの機能をキャッチアップしちゃったから、あんまり存在意義無いかも。
でも、C++に標準のスレッド機能ってもうあったっけ？

ObjectADAは？

Ada95のことか。
別に普通に存在するぞ。Gnuにもある（らしい）し。

ただ、C++やDelphiみたくOOPな記法は採用していない。
というのも、OOP言語の持つような機能は virtual method call 以外は、
すでに素のAdaが機能として持っていたからね。
マルチスレッド、情報隠蔽、モジュール、例外処理、静的多態、汎用体（テンプレート）などね。

virtual method tableを持つ、tag つき record(構造体)と、
tag つき record の引数を受け取って動的多態ができるサブプログラム(method)が導入された。
tag つき record はもちろん派生ができる（単一継承のみ)。

Adaは巨大だ巨大だといわれまくったけど、C++程じゃないよ（ｗ

PL/IとC++はどっちがでかいの？

C++ > Ada > PL/I だと思う。

Adajima heihachi

18世紀に初めてプログラミングした人？

>>25
スレッドじゃなくてタスクだよ。ランデブーで同期/通信するマルチタスク。

おお、AdaスレだAdaスレだ♪

ところでAda.NETってどうなったんだろう…数ある.NET対応言語の一覧で、一度だけ見かけた気がする(曖昧)のだが、真実や如何に？

Perl.netは？

こりゃあエーダ。

>>40
ｶﾅｰﾘ眉唾だねぇ。Eiffel.NET とかも (話だけは) でてたけど。

ひさしぶりにあがっていると思ったらレスが…

>>43
やっぱ眉唾ですよねえ…期待してたんですが

Eiffel.NETのほうは、Microsoftの記事からリンクが貼られてましたから
こっちは実在するのではないかと

http://www.microsoft.com/japan/developer/net/multilang/pdc_eiffel.asp
Eiffel.NET↑
Ａｄａも昔の記事を見るとリストに入ってるんだけど。

PL/SQLはAda互換だよ〜

>>46
まじ？

多重継承も総称もない Eiffel.NET は嫌だ〜

AdaってF-22戦闘機にも採用されてるんですよね？

どんな記述なんですか？、２〜３行見てみたい気もするのですが
もし関連書籍とかあればうれしいかなと、、

Algol系。同期通信方式がCSP由来で、
以後SR(シリアライゼイションリソース)系言語一派をなした。

http://www.scism.sbu.ac.uk/law/Section1/chap2/s1c2p1.html
http://www.adahome.com/
http://www.gnuada.org/
http://www.gnat.com/

さいきんのアフガン派兵で兵士の装備がWin2000搭載だと言ってますが、
Adaで書かなくてもペンタゴンに納入できるんですか？

ていうかどんな言語なのよ。
ためしにHello, World!のサンプルコードでも書いておくれよ。

with Ada.Text_IO;
procedure Hello is
begin
　Ada.Text_IO.Put_line("Hello World !");
end Hello;

GCあるがネイティブ(他のスレで話題になっているD言語と同じような組み合わせ)、
Win32APIなんかも直接呼べる。何ならサンプル貼るけど、
Cとかと違い厳格な分白紙窓出すだけで膨大になるぞ〜(w

次のgccでAda使えるYO!

今日 PL/SQL の本を買ってみたら確かに Ada に近いと書いてあった。
何でそういう事になったのか詳しい人いませんか？

俺にAdaについて語らせれば、右にでるものはいないぜ！

　　「Adaはエ〜ダ」

Ada.NET はあったとしても、たぶん総称がないと思う。

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

>>56
どうでもええだ。

>>59
そりゃねぇ〜だ。

結局、なんで流行らなかったんですか？

身近な実装があればなあ。
TurboAdaとかVisualAdaが出てればオレもやったかも。

>>51
.govと.milでは基準が違うのかも。

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

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

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

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

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

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

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

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

あげ

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

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

>72
そりゃねぇ〜だ。Again

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

エイダ・ウォン

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

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

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

raise Age;

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

gamecubeﾉBAIOﾔﾘﾀｲｷﾌﾞﾝ

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

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

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

Ada, 楽々受かるからだ。

Ada, rakurakuukarukarada

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

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

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

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

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

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

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

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

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

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

raise Sage; --(意味不明)

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

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

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

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

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

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

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

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;

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

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;

ADA95どうよ？

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

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

CSPの影響でしょうね。

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

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

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

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

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

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

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

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

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

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

>>109
ﾜﾗﾀ

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

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

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

ＡＤＡ

保守

AADDAA

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

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

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

保守sage

age

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

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

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

スティンガー

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


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

>>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から辿ってね〜。

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

保守

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

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

Ada.Coda.IUNA

Ada.Coda.You.Know

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

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

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じゃないとコンパイル
しなかった事ぐらいだった。

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

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

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

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

・・・つうか暇。。。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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以下の深いところに存在する)
多分何かパス設定が必要なんだろうけど、誰か知りませんか？

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

窓、出ましたか？

``というのは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が小さくなります。

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

＞で、窓、出ました。

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

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

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

『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

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

海で泳いでいるのは

興味本位でいじってみてるんだが、最初思ってた程悪くは無いわな。
日本語のサイトで「巨大なゴミ」とか書いてるところもあったけど、
別にそうは思わないなあ。

流行らなかったのは、だいぶ前のレス>>62にあったように開発ツール
とかの問題だと思うんだが。言語仕様じゃなくて。

総称が使えるという事は、STLみたいなものもある筈…
というか初期STLはAda由来というのをどこかで見た…

どなたか、御存じ無いですか？

>>167
sglってのがあるみたいですね。
逆にC++STLをもとに作ったらしいですが。

ftp://ftp.cs.rpi.edu/pub/stl/SGL.tar.gz

IEからはﾀﾞｳｿできなかったんですが、anonymousでftpに入ったら
持ってこられました。中身のバージョンは2.0a3でした。
まだ使ってませんが。

>>168
テスト程度に使ってみました…で、印象としては、ファイルを細分化させ過ぎているせいで、
withの数や特殊化の数が増えて、C++/STLほど気軽に使えない感じ。
Controlled型がprocedure内でローカルに作れない(特殊化含む)というのも、初めて知りました。痛い制限ですね…。

ラプターはエイダで動いてるらしいな。

>>169
おれのとこだと、通らないテストがいくつかあった。
自分で修正しようとしたけど、漏れのスキルじゃまだまだ無理っぽかった。

＞痛い制限ですね…。
やはり突っ込みどころは多々ある。かなりある。
あまり気にしませんが。

ライブラリといえばBoochコンポーネントとかいうのにもコレクションとか
あったと思う。どうなんだろ？

ところで、Adaは言語仕様でGCが想定されていますが(同時にGC無しモードも想定されてるけど)
GNATのGCは、exe終了時にしか働かない気がします。
forで回してnewしまくったら、あっさりヒープが足りないとエラー出して終了、
でも、それまでに割り当てたオブジェクト(Controlled型にしてました)に関しては、
きちんとFinalizeが呼ばれて解放された事が確認できます。

マトモに作ろうと思えば、GCは気休め程度に考えて、
やはりUnchecked_Deallocation使ってFreeするしか無いのでしょうかね。
それとも知らないだけで、明示的にGC起こすような関数があるのでしょうか？

>>171
>おれのとこだと、通らないテストがいくつかあった。

あら、ほんと。(昼間は全部試して無かった)
そのままじゃ使えない色が強くなってきました…→SGL

Booch試してみました。
STLとは異なる作りですが、こっちの方がいい感じ。テストも通ったみたい。
しばらくこれで遊べるかも。

直接関係ないのですが、BoochのCase-Studyを見る限り、
Adaは関数内関数をgeneric引数に使えるらしいです。
スコープとかどうなるのかよくわかって無いのですが、なんか強力そうな感じは受けます。

日本語の情報が少ないage
C++とも勝負できる仕様と思うんだけどなあ…

>>175
仕様の巨大さで?
いや、好きだけどね。

C++の場合、構文のいい加減さを繕うために無駄に仕様がでかい気がするが、
Adaの場合、使いもしない機能を詰め込んで無駄に仕様がでかい気がする。

日本政府の被差別言語エタ（穢多）を語れ！

うちの大学の授業では Ada は必須ですが、好きじゃないです。

pragma CPP_xxx って、具体的にはどう使うのだろう。
上手く使えば、例えば、IUnknownを定義できたら、COMなども使えると思うのですけど。

GNATCOMというのを見てみたら、pragma CPP_xxxは使わずに、VTableを自前で作ってる…。

今日、gnatgccで日本語、
Put_Line("こんにちは");
を含んだソースをコンパイルしようとしたら
``control character not allowed in string''
と出て失敗します。
環境はEmacs21/Linux2.4ですが`file'コマンドの結果が``ASCII text, with escape sequences''
となるものだけエラーが出るようです (viやcatで作った``ISO-8859 text''なら問題なしです)
オプションの -gnatiw -gnatWe 等も試しましたがうまく行きません、
どなたか御知恵をおかしください m(_ _)m

manon?

当方Windows/Mingwですけど、SHIFT-JISはオプション無しでも何等問題ないみたいです。
Wide_Stringにしても通ったという事は、ロケールを認識してくれてるのかな？
エスケープシーケンスって事は、恐らくEUCでは無くJISコードで保存されていて、
JISコードに必要な言語切り替えコードが引っかかるのではないでしょうか。

test

何故、gccのVMTは、未使用4バイト、型情報4バイトが先頭に入るのでしょう。
pragma CPP_Virtualをいじってて、仮想関数が2つずれるので気がついた…。
これではCOMのインターフェースが使えないじゃないですか。
(丁寧に、VMT中の位置指定に負数を書くと、エラーになるし…)

g++でも同様にずれるのか気になるところ。

raise Ageeeeeeee;

age ru yo.

メソッ

目指せ存続1年

テロ画像ぺたり
ttp://akira.dcp.ne.jp/~netbbs/cgi/test2/img/196.jpg

一周年記念sage

＞＞５４９さん
お兄ちゃん…酷いょ…

>>40
初めてひろゆきにレス貰った。

http://www.miyadai.com/message/?msg_date=20020713

これが本当なら、ひろゆきは今より、裁判所以外に対しては強気に出れる事になると思うんだが、
どうなんだろう？

>>50
タイプミス
ｽﾏｿ

最高裁への上告は認められなくなったから、これで事実上判決確定だよ。
逆転も何もないって。　　　　　　　　　　
勢いで上告なんかしても一発で上告却下(門前払い)だよ。
　　　
二審も一審を支持。これに対して上告しようにも、
刑事訴訟と同様、自由に上告できるってもんでもないのです。
民事訴訟法312条 （上告の理由） 1項
「上告は、判決に憲法の解釈の誤りがあること
その他憲法の違反があることを理由とするときに、することができる。」
http://www.m-net.ne.jp/~doba/goto/hon.htm
　　
ようするに上告しても今の制度では100％無駄。 これで完全終了ってことか。

======2==C==H======================================================

　　　　　　　　　２ちゃんねるのお勧めな話題と
　　　　　ネットでの面白い出来事を配送したいと思ってます。。。

===============================読者数： 138720人　発行日：2003/1/9

年末年始ボケがそろそろ収まり始めた今日このごろのひろゆきです。

そんなわけで、年末に予告したIP記録ですが実験を開始しています。

「２ちゃんねる20030107」
こんな感じで各掲示板の最下部に日付が入ってるんですが、
20030107以降になってるところはログ記録実験中ですー。

んじゃ！

────────────────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
────────────────────────────
Keep your thread alive !
http://pc3.2ch.net/test/read.cgi/software/1041952901/l50
────────────────────────────

>>751 まともじゃないから2ちゃんねるという図式は考えないのか？(苦笑)

2ch=アングラとは決して思ってないしそう言う意味じゃないけど

関係ない人からばっかりかかってくるよ！

ワン切りしてみた！！

> 書き込まず、閲覧するだけでもIP記録するの？
>そしてそのログをIPごとに集計して利用者の閲覧行動を把握するとかする

一般的な話、apacheなら
analogとかwebalizerとかそれ用のログ解析ツールがある。
ふつうに"セキュリティー"に気をつかっているところであれば
どこでもaccess_logぐらいとってる。

そうしない自鯖がクラックされてもクラックされた事実すらわからない。

【シャア大佐には】わたし、ララァだよ【秘密だよ】
http://comic.2ch.net/test/read.cgi/shar/1042119493/

↑このスレで神降臨ｷﾀ━━━━━━(ﾟ∀ﾟ)━━━━━━ !!
自らララァとなのるガノタの女子高生がコスプレ＆脱ぎまくりのうｐ祭り

正解！

あなたがミリオネア（ｗ

ｎ

しょぼーん

のだと下四桁みたいだけどね。
3桁?＆まだある、そのサイト?

downloadもnetwatchも前からIPは取ってるよ
知らないで書いてた人も多かったんだろうけど

======2==C==H======================================================

　　　　　　　　　２ちゃんねるのお勧めな話題と
　　　　　ネットでの面白い出来事を配送したいと思ってます。。。

===============================読者数： 139038人　発行日：2003/1/10

なにやら、連日メルマガだしてるひろゆきです。

そんなわけで、ログ記録実験ですが、いちいちサーバ指定するのが面倒なので、
全部のサーバに入れてみました。

重くなって落ちたりしてもご愛嬌ってことで。。。

んじゃ！

────────────────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
────────────────────────────
Keep your thread alive !
http://pc3.2ch.net/test/read.cgi/software/1041952901/l50
────────────────────────────

単なる個人的な感想なんだから良いんじゃない？
まあ某国なら何にでも噛みつきそうだけど。

いままで賢いレスしてる香具師らはＩＰとられるのも前提だからさ。

それほど影響はないと思うよ。

このスレ、なんか盗聴法施行前夜みたいな雰囲気だな。
懐かしいぞｗ

432 名前：これもIP取られて帝京がカネで雇った暴力団に私は殺されるのか？ 投稿日：03/01/07 23:13 ID:Wrw5Mlxx
　　　　　　 ／:::::::::::::::::::::::::::::帝京女::::::::::||::::::::::::ヽ
　　　　　／:::::::::::::::::::::::::::男のタン壷:::::::::||:::::::::::::::ゝ
　　　　 /::::::::::::::::::::::／:::::::::::::::::::::::::／::::／丶::::::::::::::ヽ
　　　　/::::::::::::::::::／:::::::::::::::::::::::::／:::::／　　ヽ:::::::::::::::ヽ
　　　 /::::::::::::::::／::::::::::::::::::::::::／:::::／　　　　ゞ;;;;;:::::::::::|
　　　 |ゞノノノ:::::::::::::::::::::::::::／::::／　　　　　　　　ヾ:::::::|
　　　 |::::::ミヾ//ﾉﾉ;;;ﾉ;;;;;／;;;／　　　　　　　　　　　|::::::|
　　　 |::::ミ　　　　　ー- _ ＿ﾉノ　　 ヾ＿ _ -─　　 |::::|
　　　 |ゝﾐ 　　　　 ,,_ _ ＿ 　　　　　　　＿＿　　 　 |::/
　　　. |-‖　　　 -ゝ_◎＿ヽ　　　　 丿◎ __ゞ　　 |ﾉ
　　　 丶 |　　　　　　　＝　／　　　＼　三　　　　 |
　　　　 し |　　　　　　　　　　　　　　　　　　　　　/
　　　　ﾉ;;;;;;|　　　　　　　　　丿　丶　　　　　　　/:|　　∧ ∧∧ ∧∧ ∧∧ ∧∧ ∧∧ ∧∧
　　　　ﾉ::::::::|　　　　　　／（ _　　　 ）　　　　　 /:::|　＜アタシは協調性のある優等人種だ。＞
　　　　ﾉ::::::::::i　　　　　　　　　− ´　　　　　　/::::::|　＜オマエのような劣等人種は死に＞
　　　 /:::::::::::::ゝ　　　　　　/-─-┐　　　　　/:::::::|　＜たくなければ感謝して金を出せ！＞
　　　丿::::::::|:::::::ヽ　　　　 (--──,　　　　 /::::::::::ゝ　　∨ ∨ ∨ ∨ ∨ ∨ ∨ ∨ ∨ ∨∨
　　　/::::::::::||:::::::::::＼　　　|| ￣￣　　　　／:::::::::::::::ヽ
　　 /::::::::::::|::::::::::::ﾐ　 ＼　U　　　　　／|:/::::::::::::::::::::ヽ
　　/:::::::::::::::|:::::::::::ﾐ　　 　＼＿＿／　　//:::::
不良や教授は帝京女たちに対して人格へ敬意を払って付き合っているのではなく、
損得による人間関係を組み立てているだけなので帝京女が金儲けをしようとしても誰も協力しない。
ことによると帝京女を出し抜いて自分たちだけ得をしようとする。

あなたの脳内ではひろゆきはあなたの親友なんですね
でも現実派、ひろゆきにとってはあなたは単なるユーザーの一人

10人殺したら、超えてるような

■ライブアライブの巻■

======2==C==H======================================================

　　　　　　　　　２ちゃんねるのお勧めな話題と
　　　　　ネットでの面白い出来事を配送したいと思ってます。。。

===============================読者数： 139038人　発行日：2003/1/10

なにやら、連日メルマガだしてるひろゆきです。

そんなわけで、ログ記録実験ですが、いちいちサーバ指定するのが面倒なので、
全部のサーバに入れてみました。

重くなって落ちたりしてもご愛嬌ってことで。。。

さておき、1/11ですが、2002/10/30にリリースされた『黒イジワルケイ』に参加したアーティストと、
２ちゃんねるで募集したバンドというよくわからない対バンのイベントがありますです。

http://marmalade.skippy.co.jp/event/live.html
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
高田馬場AREA 午後6時入場受付開始
当日券のみ開場にて！3,000円 （別途ドリンクチャージ500円）

わくわく。

http://www.sponichi.co.jp/society/kiji/2003/01/11/05.html

もう予告は止めた方が良いだろうね。

矢印厨がウザイのでアク禁お願いしますってか?

そういえば托ｲ発祥のスレだったな
他板でもはやってんの？

「4nd」ってなんだよ。
中学生以下だな

fusianasan

そんなに法律に頼りたいならインターネットアクセス自体を免許制にすれば？

そうなんすか。どうもです。

（＾＾）

ループコピペ厨は年越しは一人ぼっちの筆記

（＾＾）

たまには救済age

（＾＾）

Eiffelに負けるなage …

ところで、GNATのgcってプログラム終了時にしか起こらないようですけど、
途中で起こす方法有ります？
(無いなら、すぐ終了するアプリでも無い限りgc当てにできないって事に…)

gnat for win32,gtkada,adasocketsで2chブラウザなんか作ってみたいと思う今日この頃。

それは興味深い挑戦かも。僕でできることがあれば協力しますよ。
と言ってもgtkもsocketsも知らない未熟者ですが。

ところで、誰も >>185 とか >>229 とかわからないのかな。。。

with 2ch.Program;
procedure Hoshu is
　Thread: access 2ch.Thread;
begin
　Thread := 2ch.Program.Get_Thread("米国国防総省…");
　2ch.Write(Thread, text => "保守", mail => "sage");
end;

gcc-3.2.2に付属しているadaをコンパイルしようとしているのですが、うまく
逝きません。configureがadaを引っ張ってくれない感じです。
環境はSolaris9+gcc-2.95.3です。
% mkdir gccobj
% cd gccobj
% ../gcc-3.2.2/configure --enable-languages=c,c++,ada
languages指定をしないで全部作ろうとしてもダメ。objcやjavaなどは作って
くれるのですが…。adaだけが出来ません。
コンパイル方法をご存知の方。教えてくださいませんか。

http://gcc.gnu.org/install/build.html#TOC3

エイダってどれくらい流行っておりますか?

前に大学のソフトウェア設計法の授業でC++と一緒にやらされたけど
初心の漏れにはきつかった。
今ではその授業はJavaに切り替えてしまったらしい。

今では漏れもJava慣れしてAdaには手をつけなくなってしまった。

>>235
死にそうだね。
Javaに切り替えて正解。

プログラマのレベルがばらばらな
大規模プロジェクトにはあってるとおもうんだけど、
イメージが悪いのか採用されない。

プロトタイプ宣言とか演算子のオーバーライドなんて
結構好きだったが。今では当たり前だのクラッカーだね。

>>234
この通りやったつもりなのですが。うーん…。

>>237
Adaにあわせて駄洒落まで古くするこたないヨ

...

たまにはageてみる

ｱﾀﾞｰｰ

つまみエイダ豆

爆笑間違い無しなのでage

>>243
もうかれこれ10時間以上笑い続けてます。

>>243
もうかれこれ二週間以上笑い続けてます。

…で、たまにはage

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

ええ、２秒くらいは笑えましたよ

プログラミングの為の数学と算数
http://pc2.2ch.net/test/r.i/tech/997150743/607
＞[607]デフォルトの名無しさん04/02 11:12
＞Ｎ＋Ｎ＝ＮＮ

[607]の意図はよくわからないんだが
1+1=11
2+2=22
みたいなものがあるか、という問題と解釈し
10進数以外ならあるやも、と作ったプログラム。
2進、3進、4進．．．16進までやってみたけどないね。

with Ada.Text_IO, Ada.Integer_Text_IO;
use Ada.Text_IO, Ada.Integer_Text_IO;

procedure nn is
begin
for i in 2..16 loop
　　for j in 1..i-1 loop
　　　put(j, 6, i); -- jをi進数で表記
　　　put(" + ");
　　　put(j, 6, i);
　　　put(" = ");
　　　put(j + j, 6 ,i); -- j+jをi進数で表記
　　　new_line;
　　end loop;
end loop;
end nn;

（＾＾）

　　 ∧＿∧
　　（　　＾＾ ）＜ ぬるぽ（＾＾）

めざせ深層水

残り12スレッド、潜れ潜れ

あと10

あと6

PC8001版持ってる人は？

ho

syu

http://www12.brinkster.com/brianr/languages.aspx
A#存在記念age

独立型プログラミング支援ユニットADAです。
￣￣￣￣￣￣￣￣￣￣￣￣|／￣￣￣￣￣￣￣￣￣￣￣￣￣￣
　　　　　　　　　　　　 ＿＿＿＿＿＿＿
　　　　　　　　　　　／＼ ⌒ヽ≡≡≡≡＼
　　　　　　　　 　／　((　　 A D A ;;;;;∵. ... ＼
　　　　　　　　／◇＼／￣￣￣￣￣＼／◇.＼
　　　　　　 ／ 　　＼ ＼____|| | | ||____／ ／　　　＼
　　　　　／　 //／￣／￣￣V￣￣ ＼￣＼// 　 .＼
　　　　　￣￣￣　 　 ＼ ≡||□||≡　／

A#拡張構文

・「変数名 . 関数名」形式の「メソッド」呼びだしがサポートされてる(pragma Extensions_Allowed(On);時のみ)
・with 型名 is access; で参照型インポート
・with 型名 is tagged; で値型インポート
・pragma MSIL_Constructorで普通の関数をコンストラクタ扱いに
・Adaの文字列に+演算子を適用すると.NETの文字列に、逆もあり

他になんか無いかな？

A#の使い方

ダウンロードして展開して
・binにPATHを通す
・ADA_INCLUDE_PATHを...\lib\mgnat\adainclude; ...\include
・ADA_OBJECTS_PATHを...\lib\mgnat\adalib; ...\include
・register_mgnat.batを走らせる
・古いものが混じってるのでinclude中の*.aliの上書き禁止属性を解除しておく

とりあえずWindows.Formsとか使えるっぽいので、
Ada@WindowsでGUIやる場合の選択肢がGtk以外にもうひとつできたことになります。
起動遅いけどなァー。
(Pentium�Vで.NET動かすってのが間違いかも知れないが…)

ひとりでやってると寂しいので誰か一緒にやりましょうよぉ

　　　 　∧＿∧
ﾋﾟｭ.ｰ　(　　＾＾ ） ＜これからも僕を応援して下さいね（＾＾）。
　　＝〔~∪￣￣〕
　　＝ ◎――◎ 　　　　　　　　　　　　　　　　　　　　　山崎渉

あげてやる

http://homepage.mac.com/hitomi18/

【PC版】Ever17-the out of infinity【大失敗作】 　　 　　
http://www2.bbspink.com/test/read.cgi/erog/1053601941/
【PC版】Ever17-the out of infinity【大失敗作】
http://www2.bbspink.com/test/read.cgi/erog/1053601941/
【PC版】Ever17-the out of infinity【大失敗作】
http://www2.bbspink.com/test/read.cgi/erog/1053601941/
【PC版】Ever17-the out of infinity【大失敗作】 　　
http://www2.bbspink.com/test/read.cgi/erog/1053601941/
【PC版】Ever17-the out of infinity【大失敗作】
http://www2.bbspink.com/test/read.cgi/erog/1053601941/
【PC版】Ever17-the out of infinity【大失敗作】
http://www2.bbspink.com/test/read.cgi/erog/1053601941/

あげてやるあげてやるぅ

mingwの最新版スナップショットにはAdaが含まれて無いですよ。なんでかなー？

ho

話は変わるけど，国防総省の総って何．

陸軍　海軍　空軍

　　　　　　　 　 　 ､　
　　　　　　　 　 　) |　
　　　　　　　　 ( ﾉノ　
　　　　　　　, --" - ､　
ｽﾁｬ　　　　/ 〃.,､　　 ヽ　
　 ∧､　　　l ﾉ ﾉハヽ､　 i　
／⌒ヽ＼　i | l'┃　┃〈ﾘ　　我々の要求は、沖縄県に対する皇民政策の廃止だ
|( ● )|　i＼从|l､ _ヮ／从　　明日米軍基地を爆破する。
＼＿ノ　^i |ハ 　∀　＼　
　|＿|,-''iつl/　　†/￣￣￣￣/
　　[__|_|／〉 .＿_/　魔　法　/＿＿
　　　[ニニ〉＼/＿＿＿＿/　http://darkelf.dip.jp/doubt/okinawa.html

我々はこれ以上の共産主義化をすることはできない。
よって、我々の民主主義奪還を行うために政府に対し次の通り要求する。
１.沖縄県に対する皇民政策の廃止
２.思いやり予算の撤廃
３.軍事基地の撤去交渉を米国と進める。
４.復興予算案の盛り込み
５.沖縄の議席数を現在の４倍以上に増やす。

　　　　　　　 　 　 ､　
　　　　　　　 　 　) |　
　　　　　　　　 ( ﾉノ　
　　　　　　　, --" - ､　
ｽﾁｬ　　　　/ 〃.,､　　 ヽ　
　 ∧､　　　l ﾉ ﾉハヽ､　 i　
／⌒ヽ＼　i | l'┃　┃〈ﾘ　　我々の要求は、沖縄県に対する皇民政策の処分だ
|( ● )|　i＼从|l､ _ヮ／从　　明日米軍基地を爆破する。
＼＿ノ　^i |ハ 　∀　＼　
　|＿|,-''iつl/　　†/￣￣￣￣/
　　[__|_|／〉 .＿_/　魔　法　/＿＿
　　　[ニニ〉＼/＿＿＿＿/　http://darkelf.dip.jp/doubt/okinawa.html

我々はこれ以上の共産主義化をすることはできない。
よって、我々の民主主義奪還を行うために政府に対し次の通り要求する。
１.沖縄県に対する皇民政策の処分
２.思いやり予算の撤廃
３.軍事基地の撤去交渉を米国と進める。
４.復興予算案の盛り込み
５.沖縄の議席数を現在の４倍以上に増やす。

ho

上へ参ります

エイダバベッジの階差機関か？

定期保守

（＾＾）

（＾＾）

　　　 (⌒V⌒)
　　　│ ＾ ＾ │＜これからも僕を応援して下さいね（＾＾）。
　　⊂|　　　　|つ
　　　（＿）（＿）　　　　　　　　　　　　　　　　　　　　　　山崎パン

hoi

PascalもPL/SQLもAdaから派生したと聞いたが。
ＰＣ最強言語とデータベース最強プロシジャの親が両方ともＡｄａ
であると思ってたが。
DelphiもOracleも萌え萌え

>>283
最強のクソ言語と、最強のクソデータベースのプロシージャの
間違いじゃネーノ？ｗ

×クソ言語
○クソ会社のツール
ではだめかね？
あと、
○クソ会社の最強データベース（製品はよいよ）

逆だろ？PascalからAda。

クローンオブエイダの話でないね
あんまり関係ないけど

すまん、Ａｄａがあとだった
ALGOL58 1958年
↓
Pascal 1970年
↓
Ada 1980年

hooo

shuuu

このスレ、おやじギャグ多すぎません？
もしかしてホントにオヤジが多（ｒ

地道に保守

新参者ですが、Ada勉強してみようかな。

sage

700

616

このスレが賑わう日は来るのかなあ…

adaってなんかPascalに似てるな

Delphiユーザは知らず知らずのうちにAdaの恩恵を受けていると思う。

レオン「エイダー！！」

　 　 / 　 　 　＼ノｋ 　　　,r 　 ｔ、 f ノ 　 ヽ ﾉ 　 　 　 　 　 ／ 丶'　　ヽ　 ￣
　 　 { 　 　 . ⌒ヽ'⌒ヽ _7ﾄ,ﾆtK　|`ﾍ 　 　 ﾉ 　 　 　 　 　 / ヽ　　　 /　/:
　　 ヽ､ 　 　 　 　　 〉ヽ〉二〈ﾉ│　｀ヽ;;ノ ＾ 　 　 　 　 　 /　/へ ヘ/　/:
　　　　 `ー-､;;;;;;;;ノ 　 ´￣｀ 　〉 　 　 　 　 　 　 　 　　 ＼_＼ ヾミ　 /|:
　 　 　 　 　 　 ﾊ二二ﾆﾆﾆ=─ヘ、 　 　 　 　 　 　 　 　 　ヽ　､vWwｧ_
　 　 　 　 V ヽ 　ﾄ 　 　 　 　 　 　＼ 　 　 　　 　 　 　　 　y'{ j,__;＿;ノ
　 　 . . ﾝ 　ミﾐ巛　ﾉ ノ ヽ ヽ 　 　 　 ＼_ 　　　　　　　　　　ヽ!!_,'´" ,,　f
　　　 ノ ／ﾉ/　 `ヽﾄ､＼＼─t、 ミ　　　}　　　　　　　 　　_ｨ´ __　i　 ___　〔
　 　　.,_||` ;;;×　　×ヾ　 '| |_ ￣／　　ヽ|　　　　　 　 　y　　 　_ ,|　　　　`　 、
　 　　|ヽ|　　.　▲　 　|り|　　 ｜　　　ノ　　　　　 　 ノ　　　　　_;-ー'--tｰ' 　 　｀'＼
チョ、　　! ` 　'"-Д-　/ / 　 ヽﾆﾆイ　　　　　 　 ,ｰ' ヽ　 _;　― 　 　 　 　`ヽ、　　 ヾ,
タンマ 　　＼　　　　　／　　　 | 　 | 　　　　　　　｛／　 　 r ´ 　 　 　 　 　 　 ｝ 　　　|
　　ミ' )ー─「　｀レ￣　　 ￣^ 〈　 ´ `ｰ--r､　　 ｛ _　　 _ ¨ 　 　 　 　 　 　　 /|’　　 /|
　　⌒'￣￣└─┤　 i＿_8　 |　　＼:n〉0jﾉノ 　 {　　_y' 　 　 　 　 　 　 　 　 |/　　　/
　　　　　_　 _,. -- _ゝ_／ ノ⌒/　　ﾉ┴､一　ﾐミ７_ｰr'ーj 　 　 　 　 　 　 　 　 {　 　 ｿ
_,, -‐　´　　　　　Ｌ__j-´ 　 　ゝ､__＿_ﾉ＿二_巛７ﾉ============ 　 　 　 　 { 　-; |
　　　　　　　　　　 　　　 　　　　　　　　　　ミﾐl_/ l_　 　　　　　 　　　　　　　　'ｰ-;､ ｀j

仕事でAdaを使ってる人いる？

Anubis zoeで出てた奴？

>>303
何それ？

GWindowsを使ってWindowを表示してみました。(Win2000)
GWindows url: http://www.adapower.com/gwindows/

--
-- wintest.adb
--

with GWindows.Windows.Main;
with GWindows.Application;

procedure WinTest is
use GWindows.Windows.Main;
Top: GWindows.Windows.Main.Main_Window_Type;

begin
Create (Top, "Hello World");
Size (Top, 300, 100);
visible (Top);
Gwindows.Application.Message_Loop;
end;

>>305
おーっ(拍手

なんかすごそうだ。もっと使ってみた感想とか聞きたいかも

>>306
まず使えるようになるまでが大変でした。
MinGWのgnatだとうまく動かなかったので、
ftp://cs.nyu.edu/pub/gnat/3.15p/winnt/
から、改めてダウンロードしてインストール。
で、環境変数を設定。（gnatはc:\gnatにインストールしたとする）
PATHにc:\gnat\binを追加。
ADA_INCLUDE_PATH=c:\gnat\lib\gcc-lib\pentium-mingw32msv\2.8.1\adainclude
ADA_OBJECTS_PATH=c:\gnat\lib\gcc-lib\pentium-mingw32msv\2.8.1\adalib
C_INCLUDE_PATH=c:\gnat\pentium-mingw32msv\include
LIBRARY_PATH=c:\gnat\lib\gcc-lib\pentium-mingw32msv\2.8.1

ここで、サンプルをコンパイルしようとすると、
なぜか、collect2が見つからないとかしかられるので、
c:\gnat\binにあるld.exeをcollect2.exeという名前でコピー。
（これに気づくまで、かなり悩みました。。。）

つぎに、gnatcom（http://www.adapower.com/gnatcom/）をインストール。
make install

そして最後にGWindowsをインストール。
make UNICODE=1 install

ってな感じで、疲れました。。。（インストールするまでに三日ぐらい悩んだ）
まだ、サンプルをコンパイルする程度なので、詳しい感想はのちほど。

マウスクリックイベントを取得してみました。
--
-- mousetest.adb
-- compile: gnatmake mousetest.adb
--
with GWindows.Message_Boxes;
with GWindows.Windows; use GWindows.Windows;
with GWindows.Windows.Main; use GWindows.Windows.Main;
with GWindows.Base;
with GWindows.Types;
with GWindows.Application;
procedure MouseTest is
Top: GWindows.Windows.Main.Main_Window_Type;

procedure OnMouseClick
(Window: in out GWindows.Base.Base_Window_Type'Class;
X : in Integer;
Y : in Integer;
Keys : in GWindows.Windows.Mouse_Key_States)
is
New_Point : GWindows.Types.Point_Type := (X, Y);
begin
GWindows.Message_Boxes.Message_Box ("on mouse click", "Clicked!");
end;

begin
Create (Top, "Hello World");
Size (Top, 300, 100);
On_Left_Mouse_Button_Down_Handler (Top, OnMouseClick'Unrestricted_Access);
visible (Top);
Gwindows.Application.Message_Loop;
end;

Delphiより、いいところってある？

>>309
Delphiと比べて考えたことはなかったですが、
並行プログラミングが言語の文法に組み込まれている
あたりが個人的には気になっています。

ゲーム製作技術板より転載

AdaSDL
　http://adasdl.sourceforge.net/
NeHe new base code with Ada
　http://www.abyss2.demon.co.uk/projects/ada/index.html

今でも使ってるのかな？

>>312
今でも使っているし、多分１００年後も使っているだろう。

軍隊という所はそういう所です。

Delphiのそっくりじゃん！
妹？

>>314
C++とDが違う程度には違う

10歳違いの妹？

頑固でかたくなにゆずらない親父 ada
若くてすぐにつっぱしる Delphi

日本語の参考サイトがあんまりないね…

>>318
確かにあまりみかけないな

ちょっと使ってみようっと。

レス数が少ないけど、あまり使われてないのか

>>321
多分そうだろうな。

Adaの構文がCよりだったらなぁ…。で、Ada使ってるﾔｼのOSって何？
漏れはﾃﾞﾋﾞｱｿだけど。

点呼2！…って解釈でいいのかな？

Windows2000
上の方でA#いじってた奴です

>>324
Linuxだと、Adaの独自のﾏﾆｭｱﾙがあったり、cursesっていう端末制御ﾗｲﾌﾞﾗﾘが使えたりで、
他にもGNATとか色々ありますよ。Linuxは低燃費だからいらなくなったPCで試してみると面白いよ。

>>325
「いらなくなったPC」欲しいなあ…
WindowsでもgnatはありますしAPIは呼べますよん

…まさか、ふたりしかこのスレに残って無いなんてことは…！？

え？　点呼とってたんですか？
じゃ、３。

Win2000 & gnat & gwindows

4
redhat

WindowsにもGNATとかあるんだ。ｽﾏｿ。ところで「ﾌﾟﾛｸﾞﾗﾐﾝｸﾞの壷　III技術編」なる本に
Adaについて少し語ってある。数頁にわたって他の言語と比較してた。
ちなみに著者はﾌﾟﾛｰｶﾞさんでつ。他には「ﾊｯｶｰｽﾞ大事典」にもあった。話は変わるけどさ
(また重複してたらｽﾏｿ)Linuxには開発者(ﾕｰｻﾞではなく)向けのﾊﾟｯｹｰｼﾞが別にあって
開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に
あるからﾕｰｻﾞには開発者ﾚﾍﾞﾙの自由もあるんだよね。よく「Have Fun！」とか書いてある。
で、ﾃﾞｭｱﾙﾌﾞｰﾄしてLinux使ってるWindowserはいる？

WindowsにもGNATとかあるんだ。ｽﾏｿ。ところで「ﾌﾟﾛｸﾞﾗﾐﾝｸﾞの壷　III技術編」なる本に
Adaについて少し語ってある。数頁にわたって他の言語と比較してた。
ちなみに著者はﾌﾟﾛｰｶﾞさんでつ。他には「ﾊｯｶｰｽﾞ大事典」にもあった。話は変わるけどさ
(また重複してたらｽﾏｿ)Linuxには開発者(ﾕｰｻﾞではなく)向けのﾊﾟｯｹｰｼﾞが別にあって
開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に
あるからﾕｰｻﾞには開発者ﾚﾍﾞﾙの自由もあるんだよね。よく「Have Fun！」とか書いてある。
で、ﾃﾞｭｱﾙﾌﾞｰﾄしてLinux使ってるWindowserはいる？

sage忘れを阻止しようとした末の二重ｶｷｺ。ｽﾚ汚してｽﾏｿ(´･ω･｀)

>>329
デュアルブートじゃないけど、
Win2000で、Virtual PCにLinux入れて遊んでる。

記述量がめちゃくちゃ多いだろ？

うん。

>>333
もう少し少なくなればいいのにね。

Ada は、Panic に成らないような、エラー処理がふんだんにできると
聞きましたが、そうなんでしょうか｡

>>336
むかしのイメージだねえ。

>>336

冷戦前はね、といってみる…。

商業ﾍﾞｰｽのAdaはものすごく枯れてるらしいねぇ。そして、このｽﾚは別の意味で
枯れてきてるような気がw。「2ch流らくらくAda学習術」みたいな、Ada版K&Rでも作って
みたいなぁ。ちなみに、Adaで有名なTutorialみたいな物はあるのでしょうか ＞詳しい人

>>336
いまや、C++, Java, C#にも例外処理はあるし、
オブジェクト指向だから協力。

>>339
昔のbitの別冊。

今現在で、他の言語と比べたAdaの利点ってなんだろう？

ランデブーという圧倒的利点が・・・ｗ

ボーランドがコンパイラを出してれば、Adaもメジャーになれてたかもな

Ada0Yになると、また色々面白いことができそうなんだが、
正直Ada95時点では、強力過ぎて迷惑な型チェックとランデブー等組み込みの同期メカニズムぐらいしか無いな

いや、マルチスレッドプログラムで、構文故にケアレスミスを弾いてくれるのはありがたい筈なんだけど

Ada0Yが登場するのはいつなんだ？

独立型戦闘支援ユニットADA

このまま消えるのは、惜しい逸材なんだが
PL/Iと同じ運命をたどるのだろうな
Adaの先進的だった機能は
C++にほとんどキャッチアップされてしまったから
存在意義もあまりないし

米軍のいろんな所で使われているんじゃないの？

Ada0Yを知った時はびっくりしたが、Fortranですら改定され続けてるんだ。
それに、先進的な言語を作ろうとしたのではなくて、
必要な機能を備えた言語を作ろうとしてできたわけだから。
しかも組み込み向けだし。
日本での需要が無かろうが余計な心配だろ。

この言語すたれちゃったのか？

gccのメーリングリストとか見てると、続々とAda0Yの先取り実装がなされてて
このところ次のバージョンが楽しみではある。

とりあえずクロージャとinterfaceさえ追加されれば他の言語に追いつける。
そうすれば元から持ってたスレッドや低レベル操作で優位に立てる…んじゃないかなー、と

adaどんな環境で書いてる？
emacs？

愛用のxyzzyにada-modeなくて悲しい・・・

>>352
XEmacsです。

vi

xyzzyで自作ada-mode

>>355
晒して下さい。おながいします
ハァハァ

漏れは趣味プログラミングで使ってるけど、仕事で使ってる人いる？

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

あだスレまだあったのか

こりゃえいだ

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

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

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

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

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

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

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

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

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

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

GPS…酷い名前だ。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

　

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

来ないでしょ。

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

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

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

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

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

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

今書いてみたヘボサンプルを貼ってみるテスト。
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;

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

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読んでたら、並列処理関係はほんとのほんとに無駄に機能豊富。

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

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

>>425
[email protected]也。
gcc3.4.2でやりたいんだけどね。うまくいかなくて。
まずはしっかりと環境を整えるべきだったか。
先にgcc3.4.2使えるようにするか...。

　

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

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

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

>>428
ほうほう

>>396
確かに。

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

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

>>274
ﾀｲｰﾌｫ

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

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

YES!YES!YES!

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

ＡＧＥ

CLONE OF ADA sage !

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

>>439
がんがれ！

>>439
GOGO

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

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

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

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

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

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

長かったor2

>>443
乙！

もつかれ

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

ada

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

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

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

カコイイ。

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

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

ぷ

>>449
おお

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.

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

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

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

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

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

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

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

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

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

盛り上がってきたな！

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

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

　

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

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

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;

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;

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;

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

？

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

>>29
ぬるぽ

>>465
embedded？

>>475
ガッ！

（；´Д｀）ﾊｧﾊｧ

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

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

RM読む

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

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

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

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

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

保守〜

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

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

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.

Nida

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

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

ほっしゅ。

保守

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

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

Ada0Yはどうなったんだ？

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

オブジェクト指向なの？

>>1
どうだろうね

ada

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

?

hoshu

使用者が少ないっぽいな

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

ほしゅ

保守

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

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

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

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

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

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

Ada05

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

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

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

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

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

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

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

ほっしゅ。

ほ

し

ひ

ゅ

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

助けてぇ、エロい人ぉ

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

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

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

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

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

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

あはは

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

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

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

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

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

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

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

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

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

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

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

>>542
>>423

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

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

保守

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


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

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

…間違ってたらすまん。

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

終わって無いから。

adaの利点って何ですか？
例えばD言語やC++なんかと比べてアドバンテージってある？

アドバンテージが必要か？

>>550
おもいっきし書くのが面倒くさくて
しかもコンパイラが厳しすぎること。

いや、マジで。

>>552
つまりアフォには書けない ⇒ バグが減る、ウマー

ってことか。(w

…Σ (ﾟДﾟ;）さてはお前、頭いいな。

Adaでアドバンテージと言えば、並行処理を挙げないと。

sourceforge.netにAda関連のプロジェクトがあるね
2005年になってから増えたようだ

コンテナライブラリもいろいろあるようだが皆使ってる?
Booch Componentsなんてどうよ?

>>553
俺のようなアフォでも苦労してコンパイルが通る頃には
なかなかバグの無いコードになってるところとかな。
Adaにしかないような機能はいっぱいあるけど
アドバンテージとするなら「コンパイラの厳しさ」が勝ると思う。

コンパイルといえば

GCC3.4.2でコンパイルしたら実行ファイルのサイズが202KBだったんだが
GCC4.0.1でコンパイルしたら29KBになってﾜﾛｽ
何もオプション変えてないのにな
素敵コンパイラ(´∀｀)

・何かの拍子でデバッグシンボルを削除した
・知らないうちにlibgnat-4.0.dllを使うようになってる

どっちかじゃないか？

>>555
コンテナは標準のAda.Containersができたから、
STLで言うところのalgorithmを共通化するためには
関数のシグネチャ(Adaなんで命名規則は違ってていい)が
Ada.Containersと互換じゃないと…。

Ada.Containersも微妙に肥大だったり小回りが利かなかったりするんで
互換の軽量コンテナがあればいいんだが。

>>558
> ・知らないうちにlibgnat-4.0.dllを使うようになってる
ディストリビューションごと変えた(だけな)んで多分こっちだワ
lddで見てみたらリンクしてた

declare
　torf:boolean:=false;
begin
　put_line(torf'img);
　torf:=boolean'value("true");
end;

↑これが通ってちゃんと動く
さらにAdaのboolean型は列挙型であるため
ユーザー定義の列挙型でも可能

他にこれができる言語ってある？

program testBool;
　var
　　torf: boolean;
begin
　torf := false;
　writeln(torf);
　readstring('true', torf);
　writeln(torf);
end.


program testEnum;
　type
　　userEnum = (melon, apple, orange);
　var
　　userEnumV: userEnum;
begin
　userEnumV := melon;
　writeln(userEnumV);
　readstring('apple', userEnumV);
　writeln(userEnumV);
end.

PascalはRead/Writeで列挙型が入出力できる。文字列とのスマートな変換は無かったと思う。DelphiならRTTIで可能。
あとはJavaだのC#だのVM系はできて当然なんじゃないかな？

でもAdaのが一番手軽で便利っぽい。

…ていうか562はPascalか…処理系によってはあるのかもなあ。
Delphiのリファレンスには562の使い方のReadStringは無かった。

JDK1.5

enum Foobar { FOO, BAR, BAZ }
class FoobarSample {
public static void main(String[] a) {
   boolean b = Boolean.valueOf("true");
   System.out.println(b);
   Foobar fb = Foobar.valueOf("FOO");
   System.out.println(fb);
}

最近のスクリプト系の言語だと連想配列（ハッシュ）使うかな？

これどうですか？
Ada―移植性とプログラミング・スタイル
ttp://www.amazon.co.jp/exec/obidos/ASIN/4764901579/503-1051603-3695108

1989年かー。
Ada2005どころかAda95もまだだなー。

でもAdaは他の言語と違って、言語の底にある考え方を理解して無いと、何もできないっぽい(←うけうり)ので、今も売られてる本があるだけマシか…？

レオン：エイダ〜

エイダ：レオ〜ン

シェリー：うぅ・・・

エイダ：Gウィルスが・・・

レオン：エイダ〜

G最終形態：グチャグチャ

自爆シークエンス：あぼ〜ん

AdaでOracleにアクセスできる処理系ってありますか？
AdaでWebアプリケーションを作成することはできますか？

>>569
Webアプリは単にCGIなら標準入出力が扱える言語ならなんでもできるので勿論Adaでも可能。
サーバー向けにgccでクロスコンパイラ作ればいい。
JSPだのASP.NETだのは、JGNATやMGNATでがんばれ。
Oracleは、商用Adaなら普通にバインディングついてくるっぽい。

>566
どうだったかなぁ。
お勧めはこれだけど。
http://www.amazon.co.jp/exec/obidos/ASIN/4781904734/qid=1133784487/sr=1-17/ref=sr_1_2_17/250-5384434-5362614
在庫切れか。

h

o

バグの出にくい言語仕様を考える。
http://pc8.2ch.net/test/read.cgi/tech/1111747980/

このスレのアイデアの半分ぐらいは既にAdaにあるんだよなあ…。

> そうすると、制約だらけでウザいだけの言語になって、さらに既存の言語の拡張という形はとれなくなるが。

までピッタシカンカンだしなあ…。

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
procedure NSort is
N : Natural;
begin
Get(N);
declare
Used : array (1 .. N) of Boolean := (others => False);
procedure Rec(F : Natural; Par : not null access procedure) is
begin
if F < N then
for I in Used'Range loop
if not Used(I) then
declare
procedure P is
begin
Par.all; Put(I, 2);
end;
begin
Used(I) := True; Rec(F + 1, P'Access); Used(I) := False;
end;
end if;
end loop;
else
Par.all; New_Line;
end if;
end Rec;
procedure Prompt is begin Put('>'); end Prompt;
begin Rec(0, Prompt'Access); end;
end NSort;

age

すいませんどなたかlimitedが何なのか教えてもらえませんか
一応RM95読んだんですけど生半可な英語力でわかりませんでした

>>577
限られた、とか、限定の、とか、限定版、とかそういう意味で、
Adaでの意味は「代入禁止」。

なるほど。tnx

保守するだけじゃなんなので、教えて君。
つか、見てる人何人いるんだろう？

とりあえず、Adjustで何をしたらいいのか教えてください。
代入時に呼び出されてるっぽいことはわかるんだけど。
代入直前なのか直後なのか、引数は代入される側なのかする側なのか、とか。

このスレの誰か入門書を書いてくれー。

「RM嫁」とか、「とりあえずそれっぽいの書いて、コンパイルエラーを消してけ」としか。
RMは非常に読みにくいが、コンパイルエラーは親切。

「初心者の初心者による入門書」なら書けるけど、、、読んでも得るもの少ないよ？

>>580
oopweb.com
ttp://oopweb.com/Ada/Documents/AdaLinux/VolumeFrames.html?/Ada/Documents/AdaLinux/Volume/book.html
とかどうだ。
コピーコンストラクタのようなものと書かれてはいるが

>>580
a := b;としたらAdjust(a);が呼ばれる。
例えば中にポインタがあったりして、その中身まで複写しないと
いけないようなケースでコピー後の調整を行うのがAdjust。
全部コピーして回るC++のコピーコンストラクタとはちょと違う。

type a is new Controlled with record x : access Work_Area; y: Integer; end;
procedure initialize(obj:in out x) is begin obj.x := new Work_Area; end;
procedure Free is new Unchecked_Deallocate(...);
procedure finalize(obj:in out x) is begin Free(obj.x); end;
とすると必要なAdjustは
procedure adjust(obj:in out x) is begin obj.x := new Work_Area'(obj.x.all); end;

x,yとも値は勝手にコピーされるけど、xは中身まで複製しないとその後共有してしまうしFinalizeで二重解放になってしまう。

なるほど、「複製」ではなく「調整」か

>>583-584
ありがとう！
とりあえず代入の際の補助と理解しといた。

>>581
切実

amazonあたりでAdaの洋書を買おうとか思うんだがお薦めある？

ttp://www.macada.org/
このへん使ってる人っている？

＞＞589
ttps://libre2.adacore.com/
のppc-darwinを使ってる。

>>588
いまなら
Programming in Ada 95:
www.amazon.com/gp/product/0201342936
Ada As A Second Language:
www.amazon.com/gp/product/0070116075

もうすこししたら
Programming in Ada 2005 with CD:
www.amazon.com/gp/product/0321340787
co.ukだと出版がJune 30, 2006と書いてあるけど，
著者もまだ予定を出版社からきいてないみたいだからデマかも。

>>588
とりあえず、
Object Oriented Programming in Ada95
ttp://burks.bton.ac.uk/burks/language/ada/ada95.pdf
とか
Ada for Software Engineers
ttp://stwww.weizmann.ac.il/g-cs/benari/books
なら，もと有料だったのがタダ。
特に、あとのBen-Ariのは，RM95の解説にもなってるのでお薦め。
昔これ読んで、やっとStreamが理解できた。

そろそろ保守

ほす

AdaってGPLなんだよね
それさえなければな

GNATがGPLなだけで、他の有償コンパイラはあるけど？
ちょっと検索すれば一杯出てくる。IBMとかも出してるし。

あれ？コンパイラのGPLも感染するんだっけ？

GNATつかうとGPL汚染されるはず。
リンクされるライブラリの問題？

ライブラリの問題で、コンパイラ自体は、エディタとかと同じ扱いだったはず。

>GNATつかうとGPL汚染されるはず。
ﾌﾞﾙﾌﾞﾙｶﾞﾀｶﾞﾀ

libgnat.aがGPLだしねえ。って震えるほどか？
あとバイナリ配らないことにすればGPLにする必要もないわけで。

バイナリ配らないプログラムにどんな意味が？

相手が非Windowsだったらgccぐらい入ってるだろうから、makeしてくれ、と。
あとCGIとかもバイナリは「配布」する必要が無い。

ソースはGPLとは矛盾しない別ライセンスにして、GPLのバイナリと一緒に公開してもいいわけで。

…Adaの問題というかgcc使う限りそうなんだけどな。
gccが嫌でそれでもAdaを使いたいなんて意思がある奴はどっかの製品買ってるだろうし、こんなのでごねてるのはgccがGPLでなくても結局使わないとも思うが。

gcc は関係ないでしょ。gcc を使っても GPL に汚染されない言語もある訳だし。

そりゃ、ラインタイム全部用意できればねえ。
MinGW用のwindows.hとインポートライブラリなんかはGPLじゃないので、それだけで書いたらGPL以外にできるんだけども。

Cからimportすれば別だけどAdaでfork出来ない、つまり別プロセス立てられないよね
サーバーアプリケーションとかデーモンを作るときはどうするんだ？
サーバーアプリはtaskでいいかもしれんが

あれ？そういえば標準ライブラリに別プロセス実行機能が無いね。
やっぱ組み込みまでターゲットとかそんな理由なんだろうか。(GNAT.OS_Libにspawnの宣言はあるけど)

保守というかチラシの裏:begin
　図書館で検索したら一応4冊のAdaの本があった。
　日本語１冊、英語３冊。
　日本語のは出版が古くAda83で、さらにサンプルが少なかったので、英語の一冊を借りてきた。
　さて、GWはこいつと格闘するか。
end 保守というかチラシの裏;

GPS は凄いけど作るものが無い。
どこかで Adaプログラマ募集してないかな。
内職時給800円くらいでおk。

GPSは2.0代のを見てしょぼいと思ったが
GNAT GPL 2005のほうのGPS 3.0インストールしてみたら凄かった。

更にVS統合が出てた。
ttp://www.martincarlisle.com/VisualStudioIntegration.htm

仕事は……それこそ軍隊にでも雇われないと、内職に出すようなのは無いんじゃないか……。
開発速度を犠牲にしても堅牢性を追求するAdaの姿勢は、一般企業が求めてるものとは違う気がするし、何より日本では知名度が無い。
つーか、仕事あるなら俺を雇ってくださいお願いします。

仕事があるとしても新規開発じゃなくて
過去Adaがポッとで始めたときに物珍しさ?で作られたものの保守くらいだろうね
大概C++で書き直されてるんじゃないかと思うけど

ほしゅ

新参ですが、エイダは何が得意なんですか？

数学と競馬が得意ですわ

多次元配列を扱うサブルーチンが書きやすい。

delphiみたいなradツール作ってよ。

>>616
GWindows
…Delphiの足元どころか一般的に想像されるGUIツールの水準にもとかそういう話はこの際おいといてくれ。

Adaで業務システム組んだことのある奇特な方いますか？

GWindowsがDelphiライクに使えればいいのになぁ、無理か。

GtkAdaは、、、どっちもどっちか。

h

GNAT GPL 2006ｷﾀｰ

マジだー!!!!ktkr!!!!!

保守

と、チラシの裏。
さて、GNAT GPL 2006入れたらコンパイルできなくなったぞ、と。
>Ada compiler not installed on this system
orz
環境変数かな。

インストール時にPATHに追加するか聞いてくるくせに、追加しないかダメみたいだ。なんじゃそら。
私のとこもgcc-4.1いれてたので、そっちが起動されて混乱してた

>>591
>Programming in Ada 2005 with CD:
>www.amazon.com/gp/product/0321340787

届いた！

>>625
うぉ、うらやまし。
AdaCoreにある.pdf以上のこと、書かれてる？

CreateGame〜陸海空オンライン〜
次世代新基軸ＭＭＯ製作プロジェクト始動！

ＰＧ大募集！力あるものだけね。


よろすく

>>624
Windows？
今LinuxにインストールしたけどPATHに追加するかなんて聞かれなかった

俺も聞かれなかった@ppc-darwin
手作業で追加しろ、とは言われたけど。

結局、gccが見つけてくれなかったのはPATHの表現が原因だった。
公式の表記には従っとくものだと思った。

>>628-629
Yes, Windowsです。

GPSで、TABで3文字インデントを行うような設定どっかにないかな……
Ctrl+/で補完される基準もよくわからん

宣言関係は2文字インデント、処理が3文字インデントだっけか。
何かに乗ってたなぁ、何だっけか。。。

拡張リータン構文はどうやって使うの？
return ... do 〜 end return;内とそれが帰った先の両方で
system.address_image 使って変数のアドレスが同じ(= return 時のコピーが行われない)ようだということは確認できたけど
↓のようにしたらアドレスは同じでも中身のデータが壊れてましたよ？
俺使い方間違ってる？

function test return string is
str:string(1..10):=(others=>'n');
begin
return ret_str:string(str'range) do
for i in str'range loop
ret_str(i):=str(i);
end loop;
end return;
end test;

>>633
サイズ可変な型に関しては怪しいらしい。
http://www.adacore.com/2006/05/10/NF-A05-DC16-057-ada/
>subtype is constrained and 〜

もしかControlledもダメか？きついな。

Ada用のx64用コンパイラはありませんか？

>>635
gccを自分でビルドすれ

x64で動作するコンパイラじゃなくて
x64ネイティブバイナリを吐き出すコンパイラって意味じゃないの？
gccのAdaって対応してたっけ？

そう言われると不安だな……。
AonixやIBMなら売ってそうな気もする。知らんが。

>>633
limitedじゃないやつに対してもコンパイラ内部エラーがでた。
実装されたばかりの機能だから、バグバグみたいだ……。
not nullなんかもgcc 4.0.0直後はgenericと混ぜるとすぐ落ちてたしな……。

補足、Limited_Controlledを拡張returnで返そうとするとまだ実装されてませんとかでる。

拡張リターンヤバいマジヤバい
privateなrecord型のメンバー変数のアクセス型返せる上に
それやるとコンパイル時にもランタイム時にもエラーにならない
そして普通に中身書き換えられる

>>640
limited_controlled型は拡張リターンでなくてもエラーにならないか？

そして保守

>>641
普通のリターンでエラーになるのは当たり前なんですよ。コピーができないのがlimited型だから。
ただ、拡張リターンは「コピー無しに値を返せる」わけで、limited型にも使えるのがウリのひとつだった筈。

GNAT GPL 2006アップデートされてる？
libre2.adacore.comの日付がJul 24, 2006になってるけど

DLしなおしてみたが、gdbの日付が変わっているだけだった。しょぼん。

GNAT GPL 2006だとimited withしてもtask typeが見えるようにならないみたいなんだが、
これって仕様通りなのかな？
実験してたらGNAT落ちるし。
package Class_As is
type Hog

途中でおくちゃった

-- class_as.ads
limited with Class_Bs;
package Class_As is
type Class_A is tagged record
B : access Class_Bs.Class_B;
Foo : access String;
end record;
procedure Hoge(O : in out Class_A);
end Class_As;

-- class_as.adb
with Class_Bs;
package body Class_As is
procedure Hoge(O : in out Class_A) is
begin
O.B := new Class_Bs.Class_B;
end Hoge;
end Class_As;

-- class_bs.ads
limited with Class_As;
package Class_Bs is
type Class_B is limited private;
private
task type Class_B is
entry Hoge;
end Class_B;
end Class_Bs;

-- class_bs.adb
with Class_As;
package body Class_Bs is
task body Class_B is
begin
accept Hoge;
end Class_B;
end Class_Bs;

task typeが見えないなら1度privateで宣言したらどうなるか実験してたら、
コンパイル中にGNAT落ちるし。

仕様は知らんがたぶんバグじゃないか？

エイダってあのANUBISの？

>>649
由来は一緒ですがこのスレのAdaと貴方の知るエイダは別物です。

ほす

ほす

hhoo

保守〜

>>650
俺はあのADAが可愛かったからこの言語を勉強し始めたよｗ

拡張returnとかinterfaceとか、、、機能に頭がついていけないorz

>>655
俺はAdaを始めてからADAに惚れたんだ。
ZOE3でも彼女が健在でありますように。

／ADA＼<コンパイル予測時間９０秒

ほす

ZOEのエイダ知ってる奴多すぎ。
多分監督は言語にもAdaがあるなんて知らなかったんだろうな・・・。
おっと、そんな事を書いている場合じゃない。

>>658
絶対知ってる。

ほす

適当に保守

Adaでシステム構築した強者はいる？

>>662
米軍

たしかに強者だな

今年最初の保守

ほっしゅ

一月たちそうだし保守。

AWS使ってる人っていない？
面白そうなんだが、面倒そうでもある。

いつの間に板移転
正直落ちたかと思った保守

>>658
亀レスだけど設定だとDelphiって名前のAIもいる

日本でエイダ使えるやつっているのかね

保守

いねーよ！！

AdaCore TOP の GNAT GPL 2007 Edition が
coming soon から Now available になってｷﾀ━━━━━━(ﾟ∀ﾟ)━━━━━━ !!!!!
と思ったら現時刻ではまだ DL できないでやんの…wktk

orz
プルダウンメニューを 2006 から 2007 にしないと
GNAT GPL 2007 が見えなかったとは一生の不覚…

▼米国FBIの言論弾圧を弾劾せよ！　　　　　　　　　　　　　　　　　　
　米国民主主義に対して第二次世界大戦の戦後審判とはまったく関係なく、新たな主張を行うことにより危険思想保持者と見なし、記事の削除とアクセス禁止による明らかな言論弾圧を行っている。
　FBIは、沖縄米軍基地における軍事的弊害説、９．１１フリーメイソン陰謀説に対する言論弾圧が認められた。
▽民主主義の国民が防衛理念を含む専門知識に基づいて投票することは有り得ない。
　したがって軍事兵器の使用は極めて不明瞭な理由により過ちを繰り返しやすく、軍事的弊害を含んでいると言える。
　イラクの軍事支配という中東の混乱により米軍の軍需産業は事実上沖縄にまでこの軍事的弊害を生じさせたのである。
　一方、１９９６年８月２８日、最高裁は米軍用地の強制使用手続きをめぐる代理署名訴訟で、米軍基地への土地提供を定めた米軍用地特別措置法は憲法に違反しないという判決を下した。
　この米軍用地特別措置法は同盟上の米軍の軍需産業を容認するものであるが、前述した沖縄の軍事的弊害とは、似て異なるものであり、両者を民主主義において憲法上合法とすることは不当な判決であると言わざるを得ない。
▽米国同時多発テロ９．１１は、事実上米軍のイラクでの軍事活動を正当化せしめたのであり、数十万の身体障害者を含む戦争犠牲者を齎した。
　そして、ブッシュ政権はイラクの民主化に必要な要件を満たしていないばかりか、フリーメイソンの教義に含まれる虐殺思想の終端と軍事経済破綻を防ぐべく水面下での隠蔽工作をしたかの如き示唆を繰り返しているのである。
　なぜならば、米国の権威は少数民族を虐殺したことにより維持されてきたからであり、この戦争利権を維持するために大規模なテロ事件を通じて米国民を洗脳する必要があったと言えるからである。
　つまり、戦争の可否は国民洗脳により誘導された似非民主主義的な判断に基づくものである。

Adaって一般用のソフトとかも作られてるのか？

OSなら知ってる
http://marte.unican.es/

もしかして、OSつくっちゃったこと？すごいですね・・・

ほす

O　・・・　オレが作った
Ｓ　・・・　ソフトウェア

アメリカ終わったな
バブル弾けたよ
マーケットリポート
http://kft.livedoor.biz/

このスレまだあったのか。
保守。

保守

age

Ada本買った記念age

>>685
図書館にはマトモな本無くて1冊欲しいんでkwsk

>>686
1990年の頃のやつみたいだから古いですよ。
丸善から出てた「ADA 言語とプログラミング方法論」。1万円以上した orz

新宿のジュンク堂書店に売ってました。
ただ本の場所がプログラミング言語の棚じゃなくて、ソフトウェア開発の辺りの
一番下の棚にあったので見つけずらかった。

まだ他のAda本が2冊くらい売ってたかな。いずれも古いです。

おぉ、ありがとうございます。
今度見に行ってきます。

池袋のジュンク堂にもあったよ？

賀正

age

Adaか、良い言語だった。昔、仕事に使うつうことで大量に書籍買ったが、
それ以後この言語が普及することもなく、書籍はまとめて捨てた。

一体どんな仕事で使ったの？

自衛隊は言語何使ってんだ

N88-BASIC

備品管理システムはCOBOLだよ。

保守sage

結局Adaの国内での開発事例ってないんだな

エイダの利点ってなにですか？

米軍が使うほどの高級言語

けど、それだと、すごくお高いんじゃないですか？

なに言うてるか全然わからへん

>>693
横通の衛星通信システム地上局の系再構成サブシステム。
トランスポンダがどうのこうの言うてたわ。
途中で疾病リタイヤしてしまい、その後このシステムが
実現したかどうかは判らない。
某有名企業が多数参加していた。

エイダってwin用のアプリとか作れんの？

滅多な事言うでねぇ

AdaでGUI作ろうと乱心^h^hした時の選択肢って
GtkAda
QtAda
wxAda
TASH
GWindows
ガチ
で全部？

俺は、会社の上司からCOBOL、Cとペンタゴンの押した言語は
メジャーになるからお前も覚えておけと言われて必死にAdaを覚えたｗ

今思うと騙されたｗ orz

軍事、航空、宇宙関係のシステムやらないとお目にかかれないね。

PL/SQLやる時にはAda互換だから簡単に入れたけど。

>>968
一応、ISSの開発がAdaだと思ったよ。うちの会社の奴が「きぼう」の
開発の時に必死に覚えてた気がする。

>>968

確かF-22 ラプターの制御ソフトはAdaで書かれてたんじゃ？

>>709
その噂はよく聞くよね。真偽は不明だけど。

タイプ量多いけど Adaってそんなに悪くない言語だと思うんだけどなぁ。
subtypeとか名前付き引数とかけっこういいと思った。

軍の情報管理はマイナーな言語使う決まりでもあるのか

>>711
kwsk
その言い方だとアメリカ以外のいずれかの国の軍はAda以外のマイナーな言語を使ってるんだよな？

Adaてマイナーだろ

まあマイナーなのがADAになったな、と。

保守っとこう

以下チラ裏
GMGPLって結局のところ「ユニット自体を弄らずにgenericsか実行可能形式を作る場合はGPLにしなくても良いよ」
って事なんだろうか…？

つーかmacadaには
>They are built from the FSF source tree and the Ada run time library is licensed under the MGPL and can be used to generate code which is not Open Source.
って書いてあるんだが、600辺りと矛盾するよなぁ…。
GNAT GPL限定の話だったのか？
大して英語出来ない俺には険しい道だ…。

ほ

日本人はなぜかみんなADAを避けている。なぜか？猿真似しかできない、周りがやらないとできないから。
日本の会社の製品はこれだけかな？
JEOL Nuclear Magnetic Resonance

だがADAで書かれた最先端の製品は知らずに使っている。
http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html

Airbus 320, 330, 340
Airbus 380
Beechjet 400A (US business jet)
Beech Starship I (US business turboprop)
Beriev BE-200 (Russian forest fire patrol plane)
Boeing 737-200, -400, -500, -600, -700, -800
Boeing 747-400
Boeing 757, 767
Boeing 777
Boeing 787
Boeing 787 Air Conditioning Control Unit
Canadair Regional Jet
Embraer CBA-123 and CBA-145 (Brazilian-made regional airliners)
Fokker F-100 (Dutch DC-9-size airliner - American Airlines flies these)
Ilyushin 96M (Russian jetliner)
Lockheed-Martin Hercules "hurricane chaser"
Saab 2000
Tupolev TU-204 (Russian jetliner)
BARCO Avionics Control Display Manager

>>717
頭が悪いのか釣りなのかはっきりしろ

頭の悪い釣りです

なるほど

age

保守

ho

syu

型推論してくれよ

まだあったのか……ほsy

沖縄に派遣された米軍のF-22ステルス戦闘機だが、搭載コンピューターのソフトウェアに不具合が起きて
一度引き返していたと、CNNのテレビ報道が伝えている 。それによれば、2月11日に沖縄を目指してハワイを飛び立った
12機のF-22は、日付変更線を越えたあたりで全機ともナビゲーションと通信ができなくなったとのこと。
このため、通信が使えないので目視でやりとりをし、同行した空中給油機に誘導されてハワイに引き返したという。
アメリカ空軍はソフトウェアに問題があったことを認めているが、当然ながら軍事機密として詳細を明らかにしていない。
日付変更線を越えたところで起きたことから、日付関連のバグではないかと見られている。
http://it.slashdot.org/article.pl?sid=07/02/25/2038217
http://www.flightglobal.com/articles/2007/02/14/212102/pictures-navigational-software-glitch-forces-lockheed-martin-f-22-raptors-back-to-hawaii.html

プログラミング言語のひとつ。米国防総省が作らせた。

Adaが現れた80年代中期は、プログラマ不足やプログラムの品質が問題になりつつある頃だった。
コンピュータの発展で兵器が「スマート」になる反面、バグが軍事システムに与える影響が真剣に考慮された。
兵器システムの電子化については、1975年初飛行のF-16が火気管制装置をディジタル化し、操縦装置も全電子化を行うなど、待ったなしの状態で進んでいた。
米国国防総省はこの領域に関して詳しく調査した結果、従来のプログラミング言語では兵器の電子装置開発には不十分であるとして、
以下のような趣旨の要求仕様書を作成して新プログラム言語を募集した。

* 厳格な文法を持ち、あいまいさの無いこと
* コンカレント・プロセスを記述できること
* 文字コードなどの外部環境による非互換性を排除できること
*
その他、詳細な要求が挙げられた。プログラム言語が特定業者への発注ではなく募集で行われたのは、
70年代中期からの兵器開発における競争試作が成功したことに基づく。いくつかの候補を退け最終的に勝ち抜いたのは
仏Cll Honneywell-Bullのジャン・イシビアーの設計だった。この設計は国防総省に採用され、正式名称"Ada"が与えられた。
Adaと言う名称は、Charles Babbedgeにゆかりのある女性Ada Lovelaceにちなんでつけられたものである
Adaは記述能力と可読性の高さを高い水準で両立させており、強い期待が寄せられた。国防総省は今後納入されるソフトウェアは
Adaで書かれていなければならないと宣言した。しかし一方では、Algol-68やPL/1の失敗に懲りていたコンピュータ科学分野からはその仕様の巨大さに強い批判が浴びせられた。
最終的にAdaが普及しなかったことは説明の必要がない。しかし、普及しなかった原因が当時浴びせられた批判とは無関係であり、純粋に市場原理によるものであることは特記に値する。
Adaは非常に可読性が高い点とプログラマが見つからないことから"Read Only Language"などと揶揄された。
しかし、同時期に進められた国防総省のVHSIC*2プロジェクトの産物であるVHDLに色濃い影響を残している。

Adaでハローワールドしたけど実行ファイル重過ぎて萎えたわｗ

>>729
リンカに-sを渡しているか？
-s無しだと、デバッグ情報が入ったままだぞ。
Adaのライブラリはデバッグ情報込みでビルド済みだからな。

>>728
確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな〜〜ｗｗ

こんなマイナー言語のスレにも自演荒らしって湧くんだな

Aja, when all my dime dancin' is through, i run to you...

Adaの凄いところは、Algol系のブロック構造を持つ、抽象データ型を
サポートする、統合開発環境（名前忘れた）がある、といったところ。

これらは、当時、膨らむ一方のソフトウェア開発コストに危機感を
持った米国国防総省が、生産性と品質を向上させるために取り組んだプロジェクトがAdaを生んだ。
今の技術常識からすると、上記のAdaの特徴は当たり前すぎて、どう凄いのかピンと来ないと思うけど、
　　これが20年以上前に作られたところが凄い。というか、
　　Adaは、現在のOO言語（+クラスライブラリ+開発環境）の基礎となるアイデアおよび技術の基になっ
ているのだ。


Adaって、言語仕様だけじゃなく、
処理系の正当性を認定するためのテストスイートや、国に認定を受ける手順まで標準化されてるんですね。
さすが軍用言語だ...

こんなのをみつけました

Ada Information Clearinghouse - AdaIC http://www.adaic.org/
Ada Home the Home of the Brave Ada Programmers (HBAP) http://www.adahome.com/

ところで、イベントや並列動作を記述できる、VHDLという、Adaの親戚言語があります。
これも国防総省言語なんですが、この言語は、LSIをつくるとき日常的に使われてます。

adaicは規格を配布しているところなので、次スレの>>1に入れたいねえ。
何年後の話だろ……。

Programming Language Conceptってクラスで、
Fortran -> Python ときて今Adaをやってます
なんか馴染みにくい…
来週からはHaskellだ

>>736
授業！
すごいなー。いいなー。
どこまでやってる？
列挙型の要素が関数とか、genericのis <>とか、デフォルト引数は毎回評価とか、
taskを返す拡張return中でランデブーしたらデッドロックするとかやってる？

>>736
Haskelはなじみにくいどころではないだろうな。
しっかし、次は論理型言語の出番だろうからPrologか?

落ちないね。

定期ho

重要なところとして、タスク、ランデブーが外れてる。

>>122　Ａｄａ自体は如何にも理想主義的ですが、それを延々と使い続けているのは、アングロサクソンにとりわけ顕著な、"pragmatism"ってやつに拠るんじゃないですか？
納得できる程度の種は手に入れたので、それをいちいちおじゃんにしないで改良して使って、「走りながら考えよう。」式開発手法を結局実際にはやっているんですよ。
やっぱり叩き台が無いと集団作業って進まないでしょｗ
７０年代当時、何とは無しにプログラミング言語の学術体系がこなれてきたように思えたので、ひとつ仕切り直して厳格に規定してみようと、お役所らしくやったみたいですが、コンペの結果採用されたのはカソリック系西ゴート人の発案でしたね。
西ゴート人らしい如何にもイデア主義的（≒人間中心的理想主義的）な仕様は社会的基盤としてはやはり優れていたのではなかったのでしょうか。
Ａｄａは彼等にとって単なるプログラミング言語としてのみよりも一般的なソフトウェア開発環境として取り扱われているようでもありますから、
例えばハードウェアの開発史におけるＡＬＵのようなアングロサクソン得意の現実主義的一発屋的背に腹は変えられずだったんだけど出来てみたらこりゃ凄いね的アイデアが生まれた様な成果を期待するための地平として取り扱われているんですよきっと。

>>133　絵だからなｗ(黒　２０１０年時点だとベッキークルーエルちゃんとの対比で語ることも可能かも知れませんねｗｗ

>>323　Ｃ表記マンセーはメモリがキロ５万円した頃の思想と思われｗ　
メモリが産業の米と呼ばれるようになりキロ当たりの単価が本当の米より安くなりＯＯＰが当然の手法になった現代に於いては、逐次処理表記に拘り過ぎると歴史を知らずに蟻地獄コードを書く後輩を再生産する危険が増すと思われまするｗｗ

昔はｘ８６とか、今はＡＲＭ７とか貧相な石で皆Ｃの勉強してるんだから、
石の値段の安くなったのを機会にＡｔｏｍでＡｄａの勉強できるとまた流行るかも知れませんね。
テレビ観るので落ちます。

Adaって最新仕様で一昔前の仕様と比べて随分機能が増えたけど、このスレの人達はそういう部分もちゃんと追えてるの？
スレが立ったころと今では全く違うはず。

スレが立ってからつってもなあ。Ada2005が出ただけとも言える。
次はAda2012だけど、それまでこのスレはあるんだろうか？

立ってから8年も経つんだし、2年くらい余裕じゃないか？ｗ

>>746
05は追えてるつもり
12は全部はやらないかも

このスレの住人は仕事でAda使ってんの？
趣味？

趣味に決まってんだろ。
仕事があるならくれよ、喜んで行くからさ。

アメリカから押し売りされる航空機のソフトウェア開発の仕事があるらしいですよ

行く？目隠されて連れて行かれるんだよ。

ドナドナドーナードーナー

移転ついでに落とされなかった記念保守

http://www.adacore.com/2010/08/05/NF-64-J802-022-gnat/

これがLive-Docsに載らないんだが、どういう機能だろう。
文面からC#の属性みたいなもんとは思うけど。

保守

　　　　　　　　　　　 ＿
　　　　　　　 r-､' ´　　 ｀ヽr-､
　　　　　　　ｨ7　/l: ハヽﾊ ﾄヾ 　　 駄スレを沈めることはこの俺が許さん！
　　　　　　　 '|l |'´_`　´_ ｀| || 　　　信念に基づいて行動する、
　　　　　　　 |　|´ﾋ} 　 ﾋ}｀! l|　　　それを人は正義と言う。
　　　__ノﾞ).　从 l,　　_'_. 　|从　　　今俺が行ってることは保守ではない。
　,_'（＿ ﾉ_ヽ　ヾl.＞ - ,イ;ﾘ　　　　正義という名の粛清だぁ！
　{ f:ﾃ} {'f:ﾃ}',／＼ヽ--/／ヽ 　　　
　ヽ,r─‐ ､ｨ .､､ i l＞Y＜! i　'､ 　　　バーニング！
　/ iゝ＿ﾉ iヽ　/l　　 |l　　l 　 ',
　lﾝヽ/ムノじ

このスレ8年たってるのか
レスつけても相手が見てる可能性がとても低い

見てるよ

俺も見てるよ

で、話題は無しか？w

Ada2012の、コンテナへのアクセサはいろんな案が対立してるが、どれになるかトトカルチョでもする？
俺はAI05-0212かな。

http://bush.sourceforge.net/
ログインシェルとしても使える、Ada のサブセット+α AdaScript の対話式インタプリタ

>>762
誰が好き好んでAdaでシェルスクリプトを書こうとするんだよw
スクリプトなんて短く書けるのが命じゃねーか

これさえあれば搭乗機のシステム書き換えシーンでBASICを使わずに済みます

もしご存知でしたら教えて欲しいのですけれども、
Orbiter SimでMultistageやspacecraftアドオンを作ったvinkaさんって方をご存知な人はいませんか？
エイダ家の関係者ではないか？と思うのですけれども。
イタリア陸軍のお家の方だったのでしょうか？

バイロンはホイヘンスと同じ家の出なのだろうか？

vinkaさん名でのOrbiter用アドオンの開発は2006で止まっているようですが、
いまだにそのアドオンモジュールを使って宇宙船を設定している人もいるようです。
ランディングギア操作部分にバグなどがあったままだったような気がしますが、
その後、どうなったのかな？といったところです。

ほs

落ちないってのが凄いよなあこのスレ

980超えたらすぐ落ちる

this

test

定期保守

テストついで保守

月明け保守

>>774
同上

気になるか？
まあ、お前ごときどうせ株なんか知らんだろうし、どうにも出来んし説明してやろう。

崩壊してんのは、株取引のほうだ。
すでに年金すら韓銀砲で溶けてる。今なお溶かし続けてる。
後、多分だが金持ってる外国人や富裕層はとっくに韓国から亡命（まあ似たようなもん）してる
どこまで持ちこたえるか知らんが、ウォンは貧弱だから安くなりすぎても、高くなりすぎても死亡
すると紙クズと化したウォンを、ハゲタカファンドに捨て値でおもちゃにされてゲームオーバーだ


そしたらまず銀行が閉鎖されて、預金が降ろせなくなるだろうな。
そこからがパニックの引き金になるだろ、あとは想像に任せる。まあしたくもないくらい地獄だろうが

韓国がＩＭＦ入り以外で、自力で浮き上がろうとしたら、これら問題をどうにかする必要があるのだが
首脳陣がそこまで脳ミソ使ってるのかまでは、知らん。


あとそうなったらおそらく円持ってる在日強制召還。これはお前らの問題だな、日本人？復興にいそがしいからまた今度な
これくらいだな、まあ後は勝手に調べてくれ。

７７７

あけましておめでとう。今年はAda2012の年ですね。

hosyu

ACTのAVR用Adaがイギリスのミサイルやベンツに使われているんだって。

日本でAdaの仕事を取ることはできるだろうか。

仕事が取れたらえいだね

日本でAdaを教えている教授やセミナーをしているところを御存知ですか？

日本でAdaが必要な程の仕事，やってみたいですよね．

>>783
そんなのがあったら俺も行きたいわい
正直Adaの仕事はアメリカかフランスにしかないと思ふ

パスカルやん

（´・ω・`）ＡｄａがＪＩＳから消えちゃったね

航空自衛隊次期主力戦闘機F-35のソフトウェアもAdaで書かれてるというのに

内部プロシージャ使えるのはいいが宣言部固定がウザい
procedure Josephus is
   type String_Pointer is access String;

   type Soldier_Type is record
      Name  : String_Pointer;
      Alive : Boolean;
   end record;

   Max_Number_Of_Soldiers: constant := 100;
   Number_Of_Soldiers    : Integer range 0..Max_Number_Of_Soldiers := 0;

   -- start with 0 to facilitate modular arithmetic
   Soldiers: array (0..Max_Number_Of_Soldiers-1) of Soldier_Type;

   procedure Next (Index: in out Integer; Interval: Positive) is
   begin
      for I in 1..Interval loop
         loop
           Index := (Index + 1) mod Number_Of_Soldiers;
           exit when Soldiers(Index).Alive;
         end loop;
      end loop;
   end Next;
begin
省略
end Josephus;

>>788
関係ないけど、
subtype Soldiers_Index is Integer range 0 .. 99;
Soldiers: array (Soldiers_Index) of Soldier_Type;
Number_Of_Soldiersの代わりにSoldiers_Index'Range_Length
のほうがスマートだぜ

保守しとくか

生き残り記念保守

保守しても落とされたスレあるのに
どういう好みで落としてんだ

>>792
日ごろの行いが良いか悪いか

(・∀・)ISO/IEC 8652:2012(E)制定おめでとう！！

Ada 2012かー

　　∧＿∧
　 （　・∀・）　　　　　　　　　　　　人　ｶﾞｯ
　 （　　　　つ―-‐-‐-‐-‐-‐○ < 　>__Λ∩
　 人　Y ノ.　　　　　　　　　　　 　Ｖ｀Д´）/
　 し（＿）　　　　　　　　　　　　　　　 　　/ 　←>>251

アダパー

ねえ、波の間になにか泳いでるよ・・・？

あっ、エイだ！！

【審議終了】
　　　　　 　　　　　　∧,,∧ 　　　　∧,,∧
　　　 ∧ ∧　　　　(　　　 ) 　　　(　・ω・)
　　　(ω・　)　　 　 (　　Ｕ) 　　　 ( つ日ﾉ　　　∧,,∧
　　　｜　Ｕ　　 　 　 u-ｕ 　　　　　 u-ｕ 　　 　(　uω)
　　　　ｕ-ｕ　　　　　　　　　　　　　　　　　　　　(∩∩)

　　　　　　　　∧,,∧　　　　　　∩ ∧_∧　審議結果
　　　　　　　　(・ω・')　　　　⊂⌒（ ・ω・）　「はいはいわろす」
　　　　　　　⊂∪∪⊃　　　　　 ｀ヽ_∩∩

F35の制御システムはC++で書かれたんやな。

http://techon.nikkeibp.co.jp/article/COLUMN/20120210/204592/

面白い記事やな

1800万行か…
おれのC#製フリーウェアが15万行だから
あと100倍がんばれば空も飛べるはず

アマゾンでAda基準文法書を買ったのを思い出した。PCが壊れてるという意味で一度も活用できていない。

11年もあんの？ここ

Adaの説明に枕詞のように付く「詩人バイロンの娘」
がウザいです。
父親なんかどうでもいいだろ。
それに詩人ってなんだ詩人って。
詩を詠んでればメシ食っていけるのかよ。
名前も酷い。ラブレス。Lovelessですか。
母親の名前が「アナベラ・ミルバンク」。ネタ強烈過ぎ。

lovelaceな

あーだこーだ言ってんじゃねー

規制明け保守

今回も生き残った

Adaか
プログラムの紹介ページを見たことあるけど
コード見ただけでちょっとコレはと思ってしまったな

>>810
Pascal系(ってかALGOL？)な記述に見慣れてないからじゃない？

Adaと聞くとZOEのアレを思い出す

あけまして保守

F35に採用されなかったadaに未来はあるのか

begin〜endを {〜} に変えて型推論を入れればよみがえるかも

やめてくれ

ID記念保守

最近は(変数に)型あり言語が盛り返してる気がする。
このあたりでAdaがまた見直されるようになるかも。


と上げるため書いてみる。

スレタイのAda全角じゃねーか？
次スレは半角にしてくれ。

ゴミみたいな言語だな

★2ch勢いランキングサイトリスト★

◎ +ニュース
・ 2NN
・ 2chTimes
◎ +ニュース新着
・ 2NN新着
・ Headline BBY
◎ +ニュース他
・ Desktop2ch
・ 記者別一覧
◎ 全板
・ 全板縦断勢いランキング
・ スレッドランキング総合ランキング
◎ 実況込み
・ 2勢
・ READ2CH
・ i-ikioi

※ 要サイト名検索

高校生がAda書けるようになってなんかいいことあるかな？

古代語で最新の遺伝子研究論文を書くようなもの

Adaはもともとロボット制御に使われていた言語。これからjavaができたんじゃ
なかったっけ？

まだ現役だよ
オブジェクト指向取り入れたの一番最初だし米の最新鋭機器に使われてる
中華スパイにとっても必須科目じゃね

そろそろ保守の季節

javaは今で言うswiftみたいに、当時の言語のいいとこ取りで仕様が決められた。

年末保守