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

■ このスレッドは過去ログ倉庫に格納されています
1名無しさんは伊達じゃない
垢版 |
NGNG
どうよ？
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
仕様は知らんがたぶんバグじゃないか？
649デフォルトの名無しさん
垢版 |
2006/08/10(木) 18:58:15
エイダってあのANUBISの？
2006/08/10(木) 21:16:40
>>649
由来は一緒ですがこのスレのAdaと貴方の知るエイダは別物です。
2006/08/16(水) 00:43:24
ほす
652デフォルトの名無しさん
垢版 |
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
適当に保守
662デフォルトの名無しさん
垢版 |
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もいる
670デフォルトの名無しさん
垢版 |
2007/03/23(金) 10:31:45
日本でエイダ使えるやつっているのかね
2007/04/17(火) 21:01:51
保守
672デフォルトの名無しさん
垢版 |
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 が見えなかったとは一生の不覚…
NGNG?2BP(201)
▼米国FBIの言論弾圧を弾劾せよ！　　　　　　　　　　　　　　　　　　
　米国民主主義に対して第二次世界大戦の戦後審判とはまったく関係なく、新たな主張を行うことにより危険思想保持者と見なし、記事の削除とアクセス禁止による明らかな言論弾圧を行っている。
　FBIは、沖縄米軍基地における軍事的弊害説、９．１１フリーメイソン陰謀説に対する言論弾圧が認められた。
▽民主主義の国民が防衛理念を含む専門知識に基づいて投票することは有り得ない。
　したがって軍事兵器の使用は極めて不明瞭な理由により過ちを繰り返しやすく、軍事的弊害を含んでいると言える。
　イラクの軍事支配という中東の混乱により米軍の軍需産業は事実上沖縄にまでこの軍事的弊害を生じさせたのである。
　一方、１９９６年８月２８日、最高裁は米軍用地の強制使用手続きをめぐる代理署名訴訟で、米軍基地への土地提供を定めた米軍用地特別措置法は憲法に違反しないという判決を下した。
　この米軍用地特別措置法は同盟上の米軍の軍需産業を容認するものであるが、前述した沖縄の軍事的弊害とは、似て異なるものであり、両者を民主主義において憲法上合法とすることは不当な判決であると言わざるを得ない。
▽米国同時多発テロ９．１１は、事実上米軍のイラクでの軍事活動を正当化せしめたのであり、数十万の身体障害者を含む戦争犠牲者を齎した。
　そして、ブッシュ政権はイラクの民主化に必要な要件を満たしていないばかりか、フリーメイソンの教義に含まれる虐殺思想の終端と軍事経済破綻を防ぐべく水面下での隠蔽工作をしたかの如き示唆を繰り返しているのである。
　なぜならば、米国の権威は少数民族を虐殺したことにより維持されてきたからであり、この戦争利権を維持するために大規模なテロ事件を通じて米国民を洗脳する必要があったと言えるからである。
　つまり、戦争の可否は国民洗脳により誘導された似非民主主義的な判断に基づくものである。
676デフォルトの名無しさん
垢版 |
2007/06/12(火) 03:27:53
Adaって一般用のソフトとかも作られてるのか？
2007/06/12(火) 21:51:56
OSなら知ってる
http://marte.unican.es/
2007/06/13(水) 03:12:16
もしかして、OSつくっちゃったこと？すごいですね・・・
2007/07/17(火) 19:07:05
ほす
2007/07/17(火) 23:35:27
O　・・・　オレが作った
Ｓ　・・・　ソフトウェア
2007/08/16(木) 23:49:48
アメリカ終わったな
バブル弾けたよ
マーケットリポート
http://kft.livedoor.biz/
2007/09/12(水) 22:57:43
このスレまだあったのか。
保守。
2007/10/13(土) 16:19:18
保守
684デフォルトの名無しさん
垢版 |
2007/11/09(金) 16:35:00
age
685デフォルトの名無しさん
垢版 |
2007/11/20(火) 17:08:54
Ada本買った記念age
2007/11/20(火) 23:00:53
>>685
図書館にはマトモな本無くて1冊欲しいんでkwsk
687685
垢版 |
2007/11/21(水) 11:36:55
>>686
1990年の頃のやつみたいだから古いですよ。
丸善から出てた「ADA 言語とプログラミング方法論」。1万円以上した orz

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

まだ他のAda本が2冊くらい売ってたかな。いずれも古いです。
688686
垢版 |
2007/11/21(水) 12:53:55
おぉ、ありがとうございます。
今度見に行ってきます。
2007/11/23(金) 16:58:09
池袋のジュンク堂にもあったよ？
2008/01/28(月) 17:31:21
賀正
691デフォルトの名無しさん
垢版 |
2008/02/19(火) 01:08:21
age
2008/02/20(水) 22:49:48
Adaか、良い言語だった。昔、仕事に使うつうことで大量に書籍買ったが、
それ以後この言語が普及することもなく、書籍はまとめて捨てた。
693デフォルトの名無しさん
垢版 |
2008/02/20(水) 23:23:03
一体どんな仕事で使ったの？
2008/02/21(木) 02:39:56
自衛隊は言語何使ってんだ
2008/03/01(土) 21:04:25
N88-BASIC
2008/03/02(日) 11:45:26
備品管理システムはCOBOLだよ。
2008/03/29(土) 00:50:07
保守sage
698デフォルトの名無しさん
垢版 |
2008/03/29(土) 16:56:00
結局Adaの国内での開発事例ってないんだな

2008/03/29(土) 17:10:11
エイダの利点ってなにですか？
2008/03/29(土) 18:34:08
米軍が使うほどの高級言語
2008/03/30(日) 00:29:14
けど、それだと、すごくお高いんじゃないですか？
2008/03/30(日) 14:56:51
なに言うてるか全然わからへん
703デフォルトの名無しさん
垢版 |
2008/03/31(月) 23:48:39
>>693
横通の衛星通信システム地上局の系再構成サブシステム。
トランスポンダがどうのこうの言うてたわ。
途中で疾病リタイヤしてしまい、その後このシステムが
実現したかどうかは判らない。
某有名企業が多数参加していた。
2008/04/01(火) 00:49:15
エイダってwin用のアプリとか作れんの？
2008/04/01(火) 01:23:28
滅多な事言うでねぇ
2008/04/01(火) 03:06:12
AdaでGUI作ろうと乱心^h^hした時の選択肢って
GtkAda
QtAda
wxAda
TASH
GWindows
ガチ
で全部？
2008/04/11(金) 02:50:28
俺は、会社の上司からCOBOL、Cとペンタゴンの押した言語は
メジャーになるからお前も覚えておけと言われて必死にAdaを覚えたｗ

今思うと騙されたｗ orz

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

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

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

708デフォルトの名無しさん
垢版 |
2008/04/14(月) 11:19:32
>>968
2008/05/20(火) 01:34:20
確かF-22 ラプターの制御ソフトはAdaで書かれてたんじゃ？
710デフォルトの名無しさん
垢版 |
2008/05/22(木) 13:05:33
>>709
その噂はよく聞くよね。真偽は不明だけど。

タイプ量多いけど Adaってそんなに悪くない言語だと思うんだけどなぁ。
subtypeとか名前付き引数とかけっこういいと思った。
711デフォルトの名無しさん
垢版 |
2008/05/22(木) 21:41:55
軍の情報管理はマイナーな言語使う決まりでもあるのか
2008/05/22(木) 22:15:03
>>711
kwsk
その言い方だとアメリカ以外のいずれかの国の軍はAda以外のマイナーな言語を使ってるんだよな？
2008/05/22(木) 22:44:27
Adaてマイナーだろ
2008/05/26(月) 04:18:46
まあマイナーなのがADAになったな、と。
2008/07/24(木) 01:10:09
保守っとこう

以下チラ裏
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限定の話だったのか？
大して英語出来ない俺には険しい道だ…。
2008/09/23(火) 07:22:50
ほ
717デフォルトの名無しさん
垢版 |
2008/09/23(火) 19:54:38
日本人はなぜかみんな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

2008/09/23(火) 20:34:32
>>717
頭が悪いのか釣りなのかはっきりしろ
2008/09/26(金) 11:32:14
頭の悪い釣りです
2008/09/27(土) 00:18:46
なるほど
721デフォルトの名無しさん
垢版 |
2008/10/22(水) 22:33:09
age
722デフォルトの名無しさん
垢版 |
2008/12/15(月) 20:39:23
保守
2009/02/20(金) 00:15:21
ho
724デフォルトの名無しさん
垢版 |
2009/03/14(土) 23:39:31
syu
725デフォルトの名無しさん
垢版 |
2009/04/25(土) 18:17:07
型推論してくれよ
2009/09/18(金) 17:16:36
まだあったのか……ほsy
727Ｆ-22Ａがバグった！！
垢版 |
2009/09/28(月) 23:29:07
沖縄に派遣された米軍の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
728Adaとは？
垢版 |
2009/09/28(月) 23:38:15
プログラミング言語のひとつ。米国防総省が作らせた。

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に色濃い影響を残している。
2009/09/29(火) 01:54:47
Adaでハローワールドしたけど実行ファイル重過ぎて萎えたわｗ
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況