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

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

どうよ？

**デフォルトの名無しさん** · 2006/02/05(日) 14:43:56

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

**デフォルトの名無しさん** · 2006/02/06(月) 00:43:16

なるほど。tnx

**デフォルトの名無しさん** · 2006/02/14(火) 10:30:27

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

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

**デフォルトの名無しさん** · 2006/02/14(火) 11:47:22

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

**デフォルトの名無しさん** · 2006/02/14(火) 13:08:30

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

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

**デフォルトの名無しさん** · 2006/02/14(火) 20:35:12

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

**デフォルトの名無しさん** · 2006/02/14(火) 21:34:42

>>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で二重解放になってしまう。

**デフォルトの名無しさん** · 2006/02/14(火) 22:04:25

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

**580** · 2006/02/14(火) 23:33:15

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

**デフォルトの名無しさん** · 2006/02/15(水) 01:14:38

>>581
切実

**デフォルトの名無しさん** · 2006/02/15(水) 23:44:59

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

**デフォルトの名無しさん** · 2006/02/27(月) 09:53:30

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

**デフォルトの名無しさん** · 2006/03/02(木) 00:58:34

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

**デフォルトの名無しさん** · 2006/03/02(木) 01:09:03

>>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と書いてあるけど，
著者もまだ予定を出版社からきいてないみたいだからデマかも。

**デフォルトの名無しさん** · 2006/03/02(木) 01:35:23

>>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が理解できた。

**デフォルトの名無しさん** · 2006/03/16(木) 11:11:36

そろそろ保守

**デフォルトの名無しさん** · 2006/03/28(火) 04:30:58

ほす

**デフォルトの名無しさん** · 2006/04/06(木) 05:04:02

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

**デフォルトの名無しさん** · 2006/04/06(木) 08:17:58

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

**デフォルトの名無しさん** · 2006/04/08(土) 21:46:30

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

**デフォルトの名無しさん** · 2006/04/08(土) 22:17:54

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

**デフォルトの名無しさん** · 2006/04/08(土) 22:37:34

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

**デフォルトの名無しさん** · 2006/04/08(土) 22:59:47

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

**デフォルトの名無しさん** · 2006/04/09(日) 00:35:26

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

**デフォルトの名無しさん** · 2006/04/09(日) 14:41:12

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

**デフォルトの名無しさん** · 2006/04/09(日) 14:46:17

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

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

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

**デフォルトの名無しさん** · 2006/04/09(日) 15:00:35

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

**デフォルトの名無しさん** · 2006/04/09(日) 15:14:18

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

**デフォルトの名無しさん** · 2006/04/15(土) 09:30:31

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

**デフォルトの名無しさん** · 2006/04/16(日) 00:53:52

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

**デフォルトの名無しさん** · 2006/04/28(金) 22:45:32

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

**デフォルトの名無しさん** · 2006/05/04(木) 04:53:25

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

**デフォルトの名無しさん** · 2006/05/04(木) 05:25:49

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

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

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

**デフォルトの名無しさん** · 2006/05/04(木) 11:28:48

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

**デフォルトの名無しさん** · 2006/05/13(土) 22:40:35

ほしゅ

**デフォルトの名無しさん** · 2006/05/13(土) 23:51:08

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

**デフォルトの名無しさん** · 2006/05/14(日) 00:19:00

数学と競馬が得意ですわ

**デフォルトの名無しさん** · 2006/05/14(日) 00:40:15

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

**デフォルトの名無しさん** · 2006/05/14(日) 06:43:58

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

**デフォルトの名無しさん** · 2006/05/14(日) 16:04:50

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

**デフォルトの名無しさん** · 2006/05/16(火) 00:02:20

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

**デフォルトの名無しさん** · 2006/05/24(水) 22:50:05

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

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

**デフォルトの名無しさん** · 2006/06/08(木) 12:21:50

**デフォルトの名無しさん** · 2006/06/14(水) 21:09:21

GNAT GPL 2006ｷﾀｰ

**デフォルトの名無しさん** · 2006/06/14(水) 21:37:56

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

**デフォルトの名無しさん** · 2006/06/17(土) 21:57:22

保守

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

**デフォルトの名無しさん** · 2006/06/20(火) 17:31:12

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

**デフォルトの名無しさん** · 2006/06/22(木) 01:07:10

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

届いた！

**デフォルトの名無しさん** · 2006/06/22(木) 02:11:22

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

**デフォルトの名無しさん** · 2006/06/22(木) 03:45:22

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

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

よろすく

**デフォルトの名無しさん** · 2006/06/22(木) 08:51:29

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

**623** · 2006/06/22(木) 09:26:43

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

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

**デフォルトの名無しさん** · 2006/06/22(木) 23:09:51

>>628-629
Yes, Windowsです。

**デフォルトの名無しさん** · 2006/06/22(木) 23:40:17

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

**デフォルトの名無しさん** · 2006/06/23(金) 01:26:41

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

**デフォルトの名無しさん** · 2006/06/30(金) 12:58:34

拡張リータン構文はどうやって使うの？
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;

**デフォルトの名無しさん** · 2006/06/30(金) 21:06:25

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

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

**デフォルトの名無しさん** · 2006/06/30(金) 21:49:38

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

**デフォルトの名無しさん** · 2006/06/30(金) 22:10:28

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

**デフォルトの名無しさん** · 2006/07/01(土) 00:15:10

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

**デフォルトの名無しさん** · 2006/07/01(土) 15:32:09

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

**デフォルトの名無しさん** · 2006/07/01(土) 23:50:35

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

**デフォルトの名無しさん** · 2006/07/01(土) 23:51:53

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

**デフォルトの名無しさん** · 2006/07/14(金) 19:12:19

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

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

そして保守

**デフォルトの名無しさん** · 2006/07/15(土) 01:55:07

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

**デフォルトの名無しさん** · 2006/07/26(水) 12:32:11

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

**デフォルトの名無しさん** · 2006/07/30(日) 02:22:56

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

**デフォルトの名無しさん** · 2006/07/30(日) 02:58:21

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

**デフォルトの名無しさん** · 2006/07/30(日) 03:00:29

途中でおくちゃった

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

**デフォルトの名無しさん** · 2006/07/30(日) 03:01:52

-- 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落ちるし。

**デフォルトの名無しさん** · 2006/07/30(日) 08:49:23

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

**デフォルトの名無しさん** · 2006/08/10(木) 18:58:15

エイダってあのANUBISの？

**デフォルトの名無しさん** · 2006/08/10(木) 21:16:40

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

**デフォルトの名無しさん** · 2006/08/16(水) 00:43:24

ほす

**デフォルトの名無しさん** · 2006/08/29(火) 02:00:40

ほす

**デフォルトの名無しさん** · 2006/09/13(水) 00:53:52

hhoo

**デフォルトの名無しさん** · 2006/10/03(火) 00:37:58

保守～

**デフォルトの名無しさん** · 2006/10/17(火) 20:08:41

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

**デフォルトの名無しさん** · 2006/10/17(火) 23:36:19

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

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

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

**デフォルトの名無しさん** · 2006/10/30(月) 22:29:21

ほす

**デフォルトの名無しさん** · 2006/11/07(火) 17:14:38

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

**デフォルトの名無しさん** · 2006/11/07(火) 22:20:20

>>658
絶対知ってる。

**デフォルトの名無しさん** · 2006/11/27(月) 04:15:34

ほす

**デフォルトの名無しさん** · 2006/12/14(木) 23:21:17

適当に保守

**デフォルトの名無しさん** · 2006/12/15(金) 00:07:45

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

**デフォルトの名無しさん** · 2006/12/15(金) 23:18:13

>>662
米軍

**デフォルトの名無しさん** · 2006/12/16(土) 22:39:18

たしかに強者だな

**デフォルトの名無しさん** · 2007/01/07(日) 23:31:30

今年最初の保守

**デフォルトの名無しさん** · 2007/01/20(土) 23:22:04

ほっしゅ

**デフォルトの名無しさん** · 2007/02/15(木) 22:58:06

一月たちそうだし保守。

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

**デフォルトの名無しさん** · 2007/03/02(金) 20:13:19

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

**デフォルトの名無しさん** · 2007/03/17(土) 20:52:26

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

**デフォルトの名無しさん** · 2007/03/23(金) 10:31:45

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

**デフォルトの名無しさん** · 2007/04/17(火) 21:01:51

保守

**デフォルトの名無しさん** · 2007/04/23(月) 17:15:24

いねーよ！！

**デフォルトの名無しさん** · 2007/05/11(金) 18:03:03

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

**デフォルトの名無しさん** · 2007/05/14(月) 12:12:26

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

**似非民主主義者ごるごるもあ** ◆753Z/RLFiY · NG

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

**デフォルトの名無しさん** · 2007/06/12(火) 03:27:53

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

**デフォルトの名無しさん** · 2007/06/12(火) 21:51:56

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