米国国防省の標準高等言語エイダ(Ada)を語れ!

■ このスレッドは過去ログ倉庫に格納されています
1名無しさんは伊達じゃない
垢版 |
NGNG
どうよ?
NGNG
ここって改行いくつまで...?
まぁもっとうまいひとが書けばもっと短くなるだろうが。
473デフォルトの名無しさん
垢版 |
NGNG
474デフォルトの名無しさん
垢版 |
NGNG
>>24
> あの設計者は、懲役3年執行猶予2年くらいには相当するね。
執行猶予のほうが短いなんて…
NGNG
>>29
ぬるぽ
476デフォルトの名無しさん
垢版 |
NGNG
>>465
embedded?
477デフォルトの名無しさん
垢版 |
NGNG
>>475
ガッ!
478デフォルトの名無しさん
垢版 |
NGNG
(;´Д`)ハァハァ
NGNG
Adaって今更な感じもあってか、書籍やWebページが少ないね。
特に書籍にいたっては絶版になっているのか入手がむずい。

みなさんはどうやって情報を得てるんですか?
NGNG
RM読む
NGNG
A#+DirectXとかやったひといないのかな
482デフォルトの名無しさん
垢版 |
NGNG
>>481
そんなのがあるのか、知らなかったよ。
483デフォルトの名無しさん
垢版 |
NGNG
(;´д`)ハァハァ (;´Д`)ハァハァ (;゜Д゚ )ハァッハァッ :.` ;:.・∵ ゚ д:.`
484デフォルトの名無しさん
垢版 |
NGNG
すでにこれまでに話題なってそうな質問です。恐縮。
Adaが突然実装できなくなるとどんな飛行機が落っこちますか。
NGNG
? 工場から出荷できないんじゃない?
既に稼動してるのは落ちないと思うし。
05/01/22 02:06:43
保守〜
05/01/22 02:21:50
Mingw入れたら必要ないのに付いてきた。
488デフォルトの名無しさん
垢版 |
05/01/23 02:29:04
>>446
こないだタイタンに着地したホイヘンスも、Adaらしい。
http://www.crn.vnunet.com/analysis/1157756
489デフォルトの名無しさん
垢版 |
05/01/23 08:48:22
LogicaCMG designed the Huygens software using the hierarchical object-oriented design (Hood) method
and then developed it in Ada 83, a general-purpose programming language developed
by the US Department of Defence to help software designers develop large, reliable applications.

05/01/23 18:16:57
Nida
05/01/30 22:52:20
英語力不足でLovelaceがPut_Line("Hello, world!");から先に進めませんorz
現在のAda力も同レベル・・・日本語文献が欲しい…
492デフォルトの名無しさん
垢版 |
05/02/04 18:16:23
>>491
古いやつならあるぞ。
05/02/24 22:43:48
ほっしゅ。
494デフォルトの名無しさん
垢版 |
05/03/03 14:31:19
保守
495デフォルトの名無しさん
垢版 |
05/03/03 14:56:31
国防総省がAda作った背景何て言うんだっけ?

言語の統一の必要性の方じゃなくて、
プログラマが足りなくなるって事象を。
ソフトウェア危機だっけ?
それに対する回答が言語の統一だったような。
496デフォルトの名無しさん
垢版 |
05/03/12 18:30:28
Ada0Yはどうなったんだ?
05/03/12 19:22:01
>>496
tp://hp.vector.co.jp/authors/VA028375/ada/
ここお薦め。
498デフォルトの名無しさん
垢版 |
2005/03/22(火) 00:15:23
オブジェクト指向なの?
499デフォルトの名無しさん
垢版 |
2005/03/27(日) 10:48:07
>>1
どうだろうね
500デフォルトの名無しさん
垢版 |
2005/03/28(月) 15:11:32
ada
2005/03/30(水) 00:18:38
>>498
http://web.archive.org/web/20020605044428/http://www.tsujiken.ee.kogakuin.ac.jp/jada95.html
502デフォルトの名無しさん
垢版 |
2005/04/06(水) 13:03:49
?
2005/04/18(月) 12:46:28
hoshu
504デフォルトの名無しさん
垢版 |
2005/04/22(金) 17:50:19
使用者が少ないっぽいな
505デフォルトの名無しさん
垢版 |
2005/04/22(金) 21:45:29
実際の話、この言語で情報システムとか組んだことのある香具師いるのか?
506デフォルトの名無しさん
垢版 |
2005/04/30(土) 20:39:36
ほしゅ
507デフォルトの名無しさん
垢版 |
2005/05/11(水) 15:45:08
保守
2005/05/12(木) 05:03:14
gcc4.0で、無名アクセス型とそれに伴いクロージャ(関数内関数の持ち出し)が使えるようになってるが、祭りじゃないのか?
2005/05/12(木) 08:13:33
現況では、組み込みのリアルタイム処理しかadaを使っておいしいシステムはなさそう。
しかも、ある程度規模が大きいとか、変なCPUとかじゃないと利点も生かせない。(24BitCPUとか)
必要なところでは必要だけど、メジャーにはならんね。
510デフォルトの名無しさん
垢版 |
2005/05/13(金) 23:07:33
win版の統合開発環境はでるのかな?
2005/05/13(金) 23:12:43
>>510
既に沢山あるようだが、無料のはGPSぐらいしかないな…。
2005/05/14(土) 11:20:50
メインステートからexit出来ないのが不便だ
SIGTERM受けたときにexit(0)したいんだけど
誰か良い方法知りません?
2005/05/14(土) 18:39:44
>>512
「メインステート」の意味がよくわからないけど、returnでだめなら例外投げるとか?
514デフォルトの名無しさん
垢版 |
2005/05/19(木) 14:42:35
Ada05
2005/06/03(金) 23:46:19
ループを次に進めるような奴は無いんだろうか…?
DelphiだとContinueみたいな。
2005/06/04(土) 01:47:31
>>515
ラベル付きexitが使えるので、end loopの直前まで飛べばいい。
517515
垢版 |
2005/06/05(日) 10:51:50
>516
ありがとうございます。
exitがラベル取れなかったので(exit_statement ::=exit [loop_name] [when condition];)
gotoに読み替えて、end loop;直前まで飛んで解決しました。
518デフォルトの名無しさん
垢版 |
2005/06/05(日) 16:54:53
おお、技術的な会話をしてるのか
519516
垢版 |
2005/06/05(日) 20:01:25
あー、悪い。
exitはループ以外の名前やgoto用ラベルは取れなかったっけね。
begin〜endにも名前が付けられるのだから、begin〜endもexitで脱出できていいと思うのだけどなあ。
520515
垢版 |
2005/06/08(水) 22:33:42
>516
どうせなら、やっぱり全部exitで出れる様に統一して欲しいですよねぇ。
begin...end;を出れるだけでも変わってくるのだけどなぁ。
2005/06/09(木) 00:29:49
常に一回だけ素通りする、loop 〜 exit; end loop; でくくるとか。
2005/06/25(土) 22:42:48
ほっしゅ。
2005/07/21(木) 22:55:42
524デフォルトの名無しさん
垢版 |
2005/07/26(火) 09:31:15
2005/07/27(水) 00:19:45
2005/07/27(水) 22:36:25
2005/07/27(水) 23:34:24
OY for 95がインスコできないよorz
gnatmakeして置き換えで何故駄目なんだ。。。
それ以上のインストール方法も書いてないし。。。

助けてぇ、エロい人ぉ
2005/07/28(木) 15:56:16
>>527
gcc 4.0.0以降は、Ada.ContainersもAda.Directoriesも標準装備。
2005/07/28(木) 16:20:20
ところで、配列の初期化でothers => <>を使ったら、要素数分空ループが生成されているような…。
除去してくれないのかgcc 4.0.1…。

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

なんでこんな書き方してるのかというと、aliasedつけて'Accessで渡そうとすると、初期化されてないってエラー?が出るから…。
530527
垢版 |
2005/08/11(木) 22:51:13
>528
ありがとうエロイ人!
今までGNAT使ってたけどやっぱgccに乗り換えるよ。
そして亀レスすまん。
2005/08/12(金) 09:16:10
"GNAT"としてパッケージ化がされてないってだけで、GNATとgccの中のAdaは同じものに思えるのは…気のせいではあるまい。
532デフォルトの名無しさん
垢版 |
2005/08/15(月) 16:37:09
あはは
2005/08/29(月) 11:38:04
ふと思ったんだけど、windowsで*.dllロードしたいときはどうするんだろう?
そのままImportしても出来ないし。。。
2005/08/29(月) 20:21:27
>>533
libgdi32.aみたいなのをリンクしても駄目?
-lgdi32
2005/08/30(火) 22:54:04
>>534
出来たよ、ありがとう。
つーか、リンカオプションまとめてる所とかないかな。
あの辺がさっぱり解らん。
2005/09/15(木) 20:51:11
GNAT GPL 2005パッケージ出たね。
https://libre2.adacore.com/

gcc見る限り多態コンストラクタや拡張returnはまたパッチが出て無いようではあるのだけれど、実装済みなのだろうか?
ベースがgcc 3.4.5というのがまた。どうせなら4.0.2ベースに…。
537デフォルトの名無しさん
垢版 |
2005/09/15(木) 20:51:41
えーい、どうせだからあげ、あげ。
2005/09/15(木) 21:11:50
gccのスナップショット見る限りは、新機能パッチは最新ver(いまだと4.1.0)にしか適用されていないので、3.4.5ベースでAda2005というのはAdaCoreのカスタムなんだろうが…。
ぐだぐだ言ってないで落としてみればいいのだろうが、登録がw
2005/10/05(水) 10:00:03
STLの元になったAdaのコンテナライブラリってソース出ているの?
2005/10/11(火) 00:27:57
>>539
知らないなあ…。
逆にSTLをバックポートしたようなものは幾つか見かけたが。
2005/10/11(火) 00:31:31
ところで、interfaceへのダウンキャストができないのだが…そういうものなのか?
Java-like interfaceなんて言って、そのつもりで使ってると、困るんだが…。
2005/10/12(水) 14:39:57
task内でなくとも
select
delay xx.x;

then abort

end select;
が使えることに驚き。
そんな今日。
ついでにage。
2005/10/12(水) 15:25:17
>>542
>>423

exit when なんていう構文をさっぱり綺麗に忘れていた今日この頃。
そしてsage
2005/10/12(水) 21:02:30
次スレではタイトル半角希望。
そして次スレとC++0xはどちらが早いだろうか…
2005/10/30(日) 13:51:47
保守
2005/11/13(日) 10:32:48
保守ついでに
<チラシの裏。>
307でgwindowsがMinGWで動かないって書いてあるけど、展開してADA_*_Path通す(”<展開したどこか>\bindings”)だけで此方では一応動いた。
gnatcomも同様。(よくは知らないが)
ただ文字列関係がANSIのままなので2k, xpではcoding\*_unicode.ad?で置換した方がよさ気。
私みたいなmeユーザには関係のない話だけど。
</チラシの裏。>


ところで、誰かRendez-vons教えてください。
何の事だかさっぱりわからない。
2005/11/14(月) 21:00:21
>>546
entryで待ち合わせて一時的に合流処理、っぽい。
Javaなんかのsynchronizedとは逆の考え方っぽい。
共有資源に対して直接排他アクセス権をどうこうするのではなく、
共有資源を扱うガイド役のタスクがあって、
そいつがあちこちからの要求に付き添って行動することで
同時にアクセスされないことを保証してる、っぽい。

…間違ってたらすまん。
548デフォルトの名無しさん
垢版 |
2005/11/17(木) 19:44:08
なんでこんな終わった言語をいつまでもGCCはサポートするん?
2005/11/17(木) 23:01:49
終わって無いから。
2005/11/18(金) 02:37:35
adaの利点って何ですか?
例えばD言語やC++なんかと比べてアドバンテージってある?
2005/11/18(金) 23:05:01
アドバンテージが必要か?
2005/11/19(土) 01:35:43
>>550
おもいっきし書くのが面倒くさくて
しかもコンパイラが厳しすぎること。

いや、マジで。
2005/11/19(土) 12:35:19
>>552
つまりアフォには書けない ⇒ バグが減る、ウマー

ってことか。(w
2005/11/20(日) 00:16:04
…Σ (゚Д゚;)さてはお前、頭いいな。

Adaでアドバンテージと言えば、並行処理を挙げないと。
2005/11/20(日) 01:18:06
sourceforge.netにAda関連のプロジェクトがあるね
2005年になってから増えたようだ

コンテナライブラリもいろいろあるようだが皆使ってる?
Booch Componentsなんてどうよ?
2005/11/20(日) 19:08:11
>>553
俺のようなアフォでも苦労してコンパイルが通る頃には
なかなかバグの無いコードになってるところとかな。
Adaにしかないような機能はいっぱいあるけど
アドバンテージとするなら「コンパイラの厳しさ」が勝ると思う。
2005/11/21(月) 20:45:56
コンパイルといえば

GCC3.4.2でコンパイルしたら実行ファイルのサイズが202KBだったんだが
GCC4.0.1でコンパイルしたら29KBになってワロス
何もオプション変えてないのにな
素敵コンパイラ(´∀`)
2005/11/21(月) 20:59:33
・何かの拍子でデバッグシンボルを削除した
・知らないうちにlibgnat-4.0.dllを使うようになってる

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

Ada.Containersも微妙に肥大だったり小回りが利かなかったりするんで
互換の軽量コンテナがあればいいんだが。
2005/11/21(月) 22:20:39
>>558
> ・知らないうちにlibgnat-4.0.dllを使うようになってる
ディストリビューションごと変えた(だけな)んで多分こっちだワ
lddで見てみたらリンクしてた
2005/12/01(木) 18:44:12
declare
 torf:boolean:=false;
begin
 put_line(torf'img);
 torf:=boolean'value("true");
end;

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

他にこれができる言語ってある?
2005/12/01(木) 20:39:28
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.
2005/12/01(木) 21:26:01
PascalはRead/Writeで列挙型が入出力できる。文字列とのスマートな変換は無かったと思う。DelphiならRTTIで可能。
あとはJavaだのC#だのVM系はできて当然なんじゃないかな?

でもAdaのが一番手軽で便利っぽい。
2005/12/01(木) 21:28:15
…ていうか562はPascalか…処理系によってはあるのかもなあ。
Delphiのリファレンスには562の使い方のReadStringは無かった。
2005/12/02(金) 08:04:35
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);
}

最近のスクリプト系の言語だと連想配列(ハッシュ)使うかな?
2005/12/03(土) 20:48:42
これどうですか?
Ada―移植性とプログラミング・スタイル
ttp://www.amazon.co.jp/exec/obidos/ASIN/4764901579/503-1051603-3695108
2005/12/04(日) 00:43:52
1989年かー。
Ada2005どころかAda95もまだだなー。

でもAdaは他の言語と違って、言語の底にある考え方を理解して無いと、何もできないっぽい(←うけうり)ので、今も売られてる本があるだけマシか…?
2005/12/04(日) 02:56:04
レオン:エイダ〜

エイダ:レオ〜ン

シェリー:うぅ・・・

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

レオン:エイダ〜

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

自爆シークエンス:あぼ〜ん
569デフォルトの名無しさん
垢版 |
2005/12/04(日) 03:19:06
AdaでOracleにアクセスできる処理系ってありますか?
AdaでWebアプリケーションを作成することはできますか?
2005/12/04(日) 04:03:14
>>569
Webアプリは単にCGIなら標準入出力が扱える言語ならなんでもできるので勿論Adaでも可能。
サーバー向けにgccでクロスコンパイラ作ればいい。
JSPだのASP.NETだのは、JGNATやMGNATでがんばれ。
Oracleは、商用Adaなら普通にバインディングついてくるっぽい。
2005/12/05(月) 21:11:19
>566
どうだったかなぁ。
お勧めはこれだけど。
http://www.amazon.co.jp/exec/obidos/ASIN/4781904734/qid=1133784487/sr=1-17/ref=sr_1_2_17/250-5384434-5362614
在庫切れか。
2005/12/23(金) 22:25:25
h
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況