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

■ このスレッドは過去ログ倉庫に格納されています
1名無しさんは伊達じゃない
垢版 |
NGNG
どうよ?
42
垢版 |
NGNG
こりゃあエーダ。
NGNG
>>40
カナーリ眉唾だねぇ。Eiffel.NET とかも (話だけは) でてたけど。
4440
垢版 |
NGNG
ひさしぶりにあがっていると思ったらレスが…

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

Eiffel.NETのほうは、Microsoftの記事からリンクが貼られてましたから
こっちは実在するのではないかと
45デフォルトの名無しさん
垢版 |
NGNG
http://www.microsoft.com/japan/developer/net/multilang/pdc_eiffel.asp
Eiffel.NET↑
Adaも昔の記事を見るとリストに入ってるんだけど。
NGNG
PL/SQLはAda互換だよ〜
47デフォルトの名無しさん
垢版 |
NGNG
>>46
まじ?
48デフォルトの名無しさん
垢版 |
NGNG
多重継承も総称もない Eiffel.NET は嫌だ〜
49デフォルトの名無しさん
垢版 |
NGNG
AdaってF-22戦闘機にも採用されてるんですよね?

どんな記述なんですか?、2〜3行見てみたい気もするのですが
もし関連書籍とかあればうれしいかなと、、
50デフォルトの名無しさん
垢版 |
NGNG
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/
51デフォルトの名無しさん
垢版 |
NGNG
さいきんのアフガン派兵で兵士の装備がWin2000搭載だと言ってますが、
Adaで書かなくてもペンタゴンに納入できるんですか?
NGNG
ていうかどんな言語なのよ。
ためしにHello, World!のサンプルコードでも書いておくれよ。
53デフォルトの名無しさん
垢版 |
NGNG
with Ada.Text_IO;
procedure Hello is
begin
 Ada.Text_IO.Put_line("Hello World !");
end Hello;

GCあるがネイティブ(他のスレで話題になっているD言語と同じような組み合わせ)、
Win32APIなんかも直接呼べる。何ならサンプル貼るけど、
Cとかと違い厳格な分白紙窓出すだけで膨大になるぞ〜(w
NGNG
次のgccでAda使えるYO!
5547
垢版 |
NGNG
今日 PL/SQL の本を買ってみたら確かに Ada に近いと書いてあった。
何でそういう事になったのか詳しい人いませんか?
NGNG
俺にAdaについて語らせれば、右にでるものはいないぜ!

  「Adaはエ〜ダ」
5748
垢版 |
NGNG
Ada.NET はあったとしても、たぶん総称がないと思う。
NGNG
Ada.NETはともかく、.NETに総称を付け加える研究をMSRでやってるよ。
NGNG
>>56
どうでもええだ。
NGNG
>>59
そりゃねぇ〜だ。
NGNG
結局、なんで流行らなかったんですか?
62名無しタン
垢版 |
NGNG
身近な実装があればなあ。
TurboAdaとかVisualAdaが出てればオレもやったかも。
63デフォルトの名無しさん
垢版 |
NGNG
>>51
.govと.milでは基準が違うのかも。
64デフォルトの名無しさん
垢版 |
NGNG
CマガジンにSRのこと載ってたね。
(SR=AdaなどのCSP系の通信機構をまとめて出来た言語)
NGNG
>>61
2〜16進表現全部フォローしなきゃならないとか(3とか15とかも)
Adaと名乗る為に審査パスしなきゃいけないとか
サブセットは認めないとかで
面倒だったのかな。(単なる憶測)
66デフォルトの名無しさん
垢版 |
NGNG
>>62
>TurboAdaとかVisualAda
いくら仕様が厳格でも、上記の処理系じゃ、
軍にソフトを納入できないような気がする。
NGNG
枝スレはたまにあがるが盛り上がらんな
NGNG
米軍は Ada+InterBase なのだろうか
69デフォルトの名無しさん
垢版 |
NGNG
>>68 InterBaseってボーランドのですか?

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

>>64 いつの号でしょうか?
   3月号なら、音楽信号処理が載ってたんで、買ったけど読んでない(鬱
70デフォルトの名無しさん
垢版 |
NGNG
あげ
NGNG
OracleのPL/SQLがAda似なのは米軍へ売り込むためだったのかな
72デフォルトの名無しさん
垢版 |
NGNG
米軍はHSP使ってます。先日国防省を訪ねたときにみました。
73 
垢版 |
NGNG
>72
そりゃねぇ〜だ。Again
NGNG
例え総称がCLRに無くても、その言語内だけで使うぶんには勝手に展開してしまえばいいような気も…と言ってみる
総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果…
NGNG
エイダ・ウォン
NGNG
>>74
> 例え総称がCLRに無くても、その言語内だけで使うぶんには勝手に展開して
> しまえばいいような気も…と言ってみる
> 総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果…

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

それにメイヤーが何言っても聞くような奴じゃないぞ、あいつは。
つい最近までPascalやっていたような偏屈だからな。
77デフォルトの名無しさん
垢版 |
NGNG
raise Age;
NGNG
密かに>>75がつまらないギャグを言うスレはここですか。

gamecubeノBAIOヤリタイキブン
7950
垢版 |
NGNG
>>69
>    SR(Syncronized Resource)とは違うのですか?

スマン間違えた。Serialize-じゃなくてSynchronizedだ。
80デフォルトの名無しさん
垢版 |
NGNG
純国産OSのEOTAに標準でAdaがインストールされているのは
米軍へ売り込むためなのかな。
81デフォルトの名無しさん
垢版 |
NGNG
Ada, 楽々受かるからだ。
82デフォルトの名無しさん
垢版 |
NGNG
Ada, rakurakuukarukarada
NGNG
82が気が付いてくれて、81も浮かばれただろ

もっとも82=81ならその限りではないが
84デフォルトの名無しさん
垢版 |
NGNG
>>83
たぶん、>>82=>>81と思われ。

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

よくできてるとは思うけどね。
85デフォルトの名無しさん
垢版 |
NGNG
Adaから派生したDIANAって知ってる?
80年代、Adaを勉強しようとして、まちがえてDIANAの本買って鬱になった。
Ada構文⇔DIANA木に変換できるらしい。NTT通研がやっていたと思う。
NGNG
>>84
81って、大昔の ASCII かなんかの雑誌にのっていた覚えがあるよ。
87デフォルトの名無しさん
垢版 |
NGNG
Ada って Pascal から生まれたんでしょ?
だからいまだにアメリカではPascalを教えてるんだね。
あとでCにもAdaにもいけるからね。
88デフォルトの名無しさん
垢版 |
NGNG
Algol系の言語が好まれるということだな。
PL/1, JOVIAL, modula-2/3などなど

PascalからCという流れは?だが。
NGNG
raise Sage; --(意味不明)
NGNG
>>89
そういやコメントが--なんだよね。
NGNG
if 書き込む then
 存続;
else
 dat落ち;
end if;

-- ぶらさがりelse問題の無い理想的なif文です
NGNG
loop
 存続;
 exit when dat落ち;
end loop;

-- 無限ループ専用の構文があるのも珍しいかも
NGNG
A: loop
 loop
  exit A;
 end loop;
end loop;

loop
 loop
  goto B;
 end loop;
end loop;
<<B>>
NGNG
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;
NGNG
Thread.Write(Text => "仮引数明示呼びだし", Mail => sage);
NGNG
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;
NGNG
ADA95どうよ?
NGNG
Ada95で、クラスワイド型じゃないと多態しないというのはまあいいのですけど、
多態で飛んでいった先の各ルーチンに渡されるオブジェクトはクラスワイド型じゃない方ですよね?
多態先からまた多態したい時はそのつどクラスワイド型にキャストし直すしか無いのでしょうか?
NGNG
>>92
> -- 無限ループ専用の構文があるのも珍しいかも

CSPの影響でしょうね。
100デフォルトの名無しさん
垢版 |
NGNG
>>87
Concurrent Cは、Adaから影響を受けたね。
NGNG
委員会が作った言語に優れたものは1つもない。
102C++好き
垢版 |
NGNG
>>101
最近のC++には耳の痛いお言葉で…
103デフォルトの名無しさん
垢版 |
NGNG
C++は、委員会が決めたのか?
NGNG
C++に贈る言葉
「船頭多くして、船、山に登る」
105C++好き
垢版 |
NGNG
>>103
最近は http://anubis.dkuug.dk/jtc1/sc22/wg21/ こういうところがメインですよ。
もうBjarne Stroustrup個人の言語じゃないです。
NGNG
しかしAda(やCommonLisp)はそもそも委員会が設計した言語だからな。
もっとひどい。
107C++好き
垢版 |
NGNG
CommonLispは、mailing-listの議論をGuy Steeleの独断でまとめた。
だから委員会じゃないが、確かにすっきりしない言語だな。
NGNG
対照的なのはOberonとかSchemeとか。
好き嫌いはともかく、すっきりしてる。
109デフォルトの名無しさん
垢版 |
NGNG
うんだ、Ada はええだ。
恩を Ada で返すだ。
NGNG
>>109
ワラタ
NGNG
Adaに無限ループ専用の構文なんてないぞ。
loop文の繰り返し規則がオプションになってるだけ。

for ch in CHAR'RANGE loop ... end loop;
while ch in CHAR'RANGE loop ... end loop;
loop ... end loop;
112デフォルトの名無しさん
垢版 |
NGNG
平社員: 係長、何か泳いでいますね〜
係長: エイだ。
113ADA
垢版 |
NGNG
ADA
NGNG
保守
NGNG
AADDAA
NGNG
人類初のプログラマーは女性
http://www-6.ibm.com/jp/lead/010115_a.html
NGNG
raise…してもネタも無し。保守
NGNG
国防省というと、Multicsがついこないだまで現役で動いていた
そうですが、それってPL/IをAdaに焼き直して動かしていた
とかいう話はあるんでしょうか?
NGNG
保守sage
120デフォルトの名無しさん
垢版 |
NGNG
age
121_
垢版 |
NGNG
作られた時代を考えたらAdaって凄く先進的な言語ですね。。。
122デフォルトの名無しさん
垢版 |
NGNG
作られたときは先進的だけど今はどうってことないじゃん。なんて国防総省が
いまだにエーダなんてつかってるかわからないよーん。ボケ。
NGNG
F-22しか使われてるの知らないけど、他にはどんな軍用兵器の開発に
使われてるの?

124デフォルトの名無しさん
垢版 |
NGNG
スティンガー
125デフォルトの名無しさん
垢版 |
NGNG
エイダちゃん
キタ━━━(゚∀゚)━━━!!


でも年輩ハッカーしか知らないに( つД`)1デリゲート
126C++好き
垢版 |
NGNG
>>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から辿ってね〜。
NGNG
国内でも航空管制で使われてない?
NGNG
保守
NGNG
Text_IO.Put_Line("下へ参ります");
130デフォルトの名無しさん
垢版 |
NGNG
GCC に Ada が入ったみたいだが、なぜ?
NGNG
Ada.Coda.IUNA
NGNG
Ada.Coda.You.Know
NGNG
ttp://www.adahome.com/Pictures/ladyada.gif結構美人じゃない??
134 
垢版 |
NGNG
いまgnat-3.13p-8.i386.rpm ってのダウソしてるんだが・・・
・・・不安
135134
垢版 |
NGNG
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じゃないとコンパイル
しなかった事ぐらいだった。

まぁ温故知新って言うか、割と楽しめそうな感じ。
NGNG
lovelaceっていうAdaチュートリアルみつけた。
なんかよさげ。

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

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

・・・つうか暇。。。
NGNG
Windowsでも、mingw版gccで試せる、と一応書いておく。
138デフォルトの名無しさん
垢版 |
NGNG
levelace って名前がなんか
軍用って香りがするのは
Ada に対する偏見だろうか?
139 
垢版 |
NGNG
Augusta Ada Lovelace(バイロンの娘。世界最初のプログラマ)
NGNG
Boochなんかも、もとはAda畑の人だったわけね。
でRational Rose もAda Illustratorってツールに起源をもつとか。

もしかしてSmalltalk程度には評価されていいのかも知らんね。
case-insensitiveなのは、いやなんだが・・・。
NGNG
さてと、lovelaceとか言うチュートリアルを半分までやって見た。

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

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

マルチディスパッチできるらしいんだが、これはちょっと面白いかも。
寝る時間までちょっといろいろ書いて見るか。
142デフォルトの名無しさん
垢版 |
NGNG
Adaたんって可愛かったのかな?
写真なんか無い時代だよね…
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

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