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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29.net] どうよ？ 357 名前：デフォルトの名無しさん [04/06/13 09:31.net] adaどんな環境で書いてる？ emacs？ 愛用のxyzzyにada-modeなくて悲しい・・・ 358 名前：デフォルトの名無しさん [04/06/16 22:04.net] >>352 XEmacsです。 359 名前：デフォルトの名無しさん mailto:sage [04/06/16 22:44.net] vi 360 名前：デフォルトの名無しさん mailto:sage [04/06/17 00:09.net] xyzzyで自作ada-mode 361 名前：デフォルトの名無しさん mailto:sage [04/06/17 08:06.net] >>355 晒して下さい。おながいします ハァハァ 362 名前：デフォルトの名無しさん [04/06/18 22:26.net] 漏れは趣味プログラミングで使ってるけど、仕事で使ってる人いる？ 363 名前：デフォルトの名無しさん [04/06/18 22:58.net] いたら怖い F22を自衛隊が採用しても F22のメンテするのはメリケンでしょ？ 364 名前：デフォルトの名無しさん mailto:sage [04/06/18 23:11.net] メンテは日本人がやるでしょ。 ただブラックボックスを開けようとすると爆発するけど。 365 名前：デフォルトの名無しさん mailto:sage [04/06/19 15:17.net] IBMとかAONIXがPC向けにコンパイラ売ってるよ ってことはPC向けの仕事があるからじゃないか？＞向こうでは 潜水艦にNTなんて馬鹿な真似用じゃ無いことは祈っておくが 366 名前：デフォルトの名無しさん [04/06/20 01:52.net] GTK　Ada libre.act-europe.fr/GtkAda/ 367 名前：デフォルトの名無しさん mailto:sage [04/06/20 23:29.net] >>356 ruby.lのキーワード変えたくらいの しょぼいものなので、晒すほどのできではないです。 emacsのやつを移植使おうとしたけどでかくてやめた。 368 名前：デフォルトの名無しさん mailto:sage [04/06/21 07:46.net] おお、ruby.lを見 369 名前：ればなんとかインデントくらいは実装できそうだ thanx！ [] [ここ壊れてます] 370 名前：デフォルトの名無しさん [04/06/21 21:55.net] Ada0Yはいつ頃出るんだろう…？ 371 名前：デフォルトの名無しさん [04/06/26 22:53.net] >>364 0Yだけに、2009年までには出るのでは？ 372 名前：デフォルトの名無しさん mailto:sage [04/06/27 01:45.net] >>364 英語でぐぐったところ、どうやら"Ada05"になりそう。来年。 373 名前：デフォルトの名無しさん [04/07/03 15:51.net] >>366 来年ですか、ありがとう。 374 名前：デフォルトの名無しさん mailto:sage [04/07/03 16:25.net] >>367 規格が来年ってだけで、GNAT(gcc)に限れば先行実装されてきてるYO！ とりあえず今のところlimited withと、他のOOPLライクなメソッド呼び出し構文ぐらいは動く。 -gnatXをつけてコンパイルだ。 375 名前：デフォルトの名無しさん mailto:sage [04/07/06 07:48.net] だれか、俺にrandezvousを教えてくれ。 メッセージを送信すると受信側のタスクが受信して処理し終わるまでブロッキング。 受信側のタスクはメッセージが送られてくるまでブロッキングされる。 というニュアンスでいいの？ 正確なところをフォロープリーズ。 376 名前：デフォルトの名無しさん mailto:sage [04/07/09 12:34.net] 私も教えてほしい… 一般に使われてるMutex/クリティカルセクションと、 Adaのランデブー/protected型の違いによる コーディングスタイルというかマルチスレッド用デザパタというか そういうのの差違を説明したところないですかー？ 377 名前：デフォルトの名無しさん mailto:sage [04/07/10 00:20.net] ランデブーって MPI みたいなやつ？ www-unix.mcs.anl.gov/mpi/ 378 名前：デフォルトの名無しさん [04/07/16 21:16.net] 早く規格ができないかな。 379 名前：デフォルトの名無しさん [04/07/22 22:17.net] 面白そうだから今度使ってみようかな 380 名前：デフォルトの名無しさん [04/07/24 12:46.net] win版開発環境はあるのか？ 381 名前：デフォルトの名無しさん mailto:sage [04/07/24 14:24.net] >>374 コマンドラインだけでよければgccの対応言語のひとつ。 開発環境が欲しければgnat.comとかIBMとかaonixが売っているらしい 382 名前：デフォルトの名無しさん [04/08/07 19:21.net] この言語を使うことによるメリットは何だろう？ 383 名前：デフォルトの名無しさん mailto:sage [04/08/08 02:52.net] そりゃもう、徹底的なコンパイル時チェックによって、コンパイルエラーと戦いながら バグの混じる余地の無いソースを書き上げる快感ですよ 384 名前：デフォルトの名無しさん mailto:sage [04/08/09 14:05.net] あだスレまだあったのか 385 名前：デフォルトの名無しさん [04/08/12 17:54.net] こりゃえいだ 386 名前：デフォルトの名無しさん [04/08/14 01:24.net] >>379 工エｴェｪ(´д｀)ｪェｴエ工 387 名前：デフォルトの名無しさん mailto:sage [04/08/14 01:37.net] gcc3.5はいつになるのかな… 388 名前：デフォルトの名無しさん mailto:sage [04/08/14 02:10.net] >>375 gcc って直接ネイティブコード吐くの? それとも C を経由? 389 名前：デフォルトの名無しさん mailto:sage [04/08/14 02:36.net] >>382 gcc -c aaa.adbとかでコンパイルするから、Cは経由してないはず。 もっとも、gccの中間表現は経由してるだろうけど、これはgccでコンパイルできる言語ならどれも同じ 390 名前：デフォルトの名無しさん [04/08/14 23:24.net] この言語を使うと、他の言語を使った時よりもセキュリティが堅固なシステムを作れるのか？ 391 名前：デフォルトの名無しさん mailto:sage [04/08/15 05:19.net] >>384 いんや、実行時はCと変わんないよ。コンパイル時チェックが厳しいだけ まあ、デバッグコンパイルしたのを運用すれば範囲外の数値なんかは検出してくれるが… 392 名前：デフォルトの名無しさん [04/08/29 01:33.net] 盛り上がってまいりました！ 393 名前：デフォルトの名無しさん [04/08/31 01:31.net] >>386 工エｴェｪ（´д｀）ｪェｴエ工 394 名前：デフォルトの名無しさん mailto:sage [04/08/31 01:51.net] >>387 (・∀・)ｲﾀﾞ!! 395 名前：デフォルトの名無しさん [04/09/09 07:26.net] >>374 >>375 名前がまぎらわしいけど、フリーのIDEあるよ。 GPS: The GNAT Programming System libre.act-europe.fr/gps/main.html あと、前からあるのはAdaGIDEとか。 www.usafa.af.mil/dfcs 396 名前：/bios/mcc_html/adagide.html [] [ここ壊れてます] 397 名前：デフォルトの名無しさん mailto:sage [04/09/09 20:49.net] GPS…酷い名前だ。 398 名前：デフォルトの名無しさん [04/09/11 01:34:42.net] >>390 誤解されそうだな。 399 名前：デフォルトの名無しさん [04/09/11 23:01:09.net] >>390 名前が一緒っていいのか？ 400 名前：デフォルトの名無しさん [04/09/14 23:46:12.net] >>384 まあ、C/C++でいうバッファオーバフローはないね。 www.linux.or.jp/JF/JFdocs/Secure-Programs-HOWTO/c-cpp.html 401 名前：デフォルトの名無しさん [04/09/15 03:02:16.net] >> 371 MPIとは違うな。 rendezvousは、1ノード上のマルチスレッド間通信。 MPIみたいな多ノード間の通信の言語仕様は、Annex E "Distributed Systems"。 www.adaic.org/standards/95lrm/html/RM-E.html 402 名前：デフォルトの名無しさん [04/09/17 21:36:58.net] このスレの住人には常識かもしれんけど e-words.jp/w/Ada.html >　当時の最新のプログラミング理論やソフトウェア方法論をまるごと取り入れようとした野心的な言語仕様で、厳密なデータ型の定義や、ソフトウェアのモジュール(部品)化、並行処理に関する仕様が特徴的である。 >　しかし、あまりに多くの仕様を取り込もうとしたことが過度の肥大化を招き、当時の貧弱なハードウェアで開発を行なうのは困難になってしまった。 >　このため、1980年代中盤から後半にかけて、より「軽い」仕様を持ったC言語に取って代わられた。 これ文の特にこの部分 >当時の貧弱なハードウェアで開発を行なうのは困難になってしまった。 これ読んでふと思た。 パソコンでもメモリが1G、CPUクロック3Gが常識な今、まだアセンブラに近いようなC言語使ってて良いの？ ポインタなんてのはCPUの構造を熟知してアセンブラがある程度わかって初めて正確に理解できるようなもんでしょ。 きっとAdaの時代がくるに違いありません。ひょっとしたら進化したPascalなのかもしれないけど？ 識者の検証を頂けたら幸いです。 403 名前：デフォルトの名無しさん mailto:sage [04/09/17 22:50:33.net] Adaって、C並にガリガリの組込用言語だと思ってるんだけど。 Cの場合実装依存として投げてしまってる部分を、 全部ガッチガッチに文法にしてコンパイルエラー出せるようにしてあるから 仕様がでっかくなってるだけで。 404 名前：デフォルトの名無しさん mailto:sage [04/09/17 23:30:37.net] >>393にも関連するけどAdaでOSを作ろうとかいう話があったね。 （海外Webサイト） 405 名前：デフォルトの名無しさん mailto:sage [04/09/19 22:36:56.net] コンパイルエラーちゃんと出してくれる方がプログラマにはやさしいと思うが？ 406 名前：デフォルトの名無しさん mailto:sage [04/09/19 22:46:28.net] >Adaって、C並にガリガリの組込用言語だと思ってるんだけど。 Adaを論理回路設計に特化させたのがVHDLだし。 つまりVHDLでCPUも造れてしまうわけで。 407 名前：デフォルトの名無しさん [04/09/28 18:37:57.net] 　 408 名前：デフォルトの名無しさん mailto:sage [04/09/29 16:58:55.net] なかなか次のgcc出ないなあ…Ada05早く使いたいYO！ 409 名前：デフォルトの名無しさん [04/09/30 23:00:18.net] >>402 05だけに、2005年まで出ないのでは？ 410 名前：デフォルトの名無しさん mailto:sage [04/09/30 23:03:54.net] ではこのスレも来年まで保守か…長寿スレだな(いまでも充分 411 名前：デフォルトの名無しさん mailto:sage [04/10/01 03:19:05.net] 型の種類が多すぎて覚えられない。 あと、変数を大文字から始めるという慣習のために、小指がいたくなる。 412 名前：デフォルトの名無しさん mailto:sage [04/10/01 16:53:56.net] こんなイイ言語がCより前からあったなんて…． 413 名前：デフォルトの名無しさん mailto:sage [04/10/01 20:14:30.net] >>404 そんな貴方に親指シフト マジレスすると、大文字小文字無視(だから"_"で区切ってる)なので、全部小文字で打て 414 名前：デフォルトの名無しさん [04/10/10 01:04:37.net] 415 名前：デフォルトの名無しさん [04/10/13 04:57:50.net] >> 405 Plauger（ANSI C委員会）さんも昔 “Beyond 100,000 lines of code, you should probably be coding in Ada.” と言ってた。 416 名前：デフォルトの名無しさん mailto:sage [04/10/13 22:06:39.net] なに？コンテナライブラリが作って？ 417 名前：デフォルトの名無しさん mailto:sage [04/10/14 01:06:20.net] www.ada-auth.org/ai-files/grab_bag/Amendment-D8.html 誰かこいつを要約してくれ 418 名前：デフォルトの名無しさん mailto:sage [04/10/14 05:30:38.net] ISOで制定されたAda95に対する修正案のドラフト版？ 419 名前：デフォルトの名無しさん mailto:sage [04/10/14 05:39:50.net] 列挙型としてboolean,character,Wide_Characterが予め定義されている。 　↓（修正） それにWide_Wide_Characterも追加しる！ とかそんなのがいっぱい書いてあるみたいだけど… 420 名前：デフォルトの名無しさん mailto:sage [04/10/14 09:54:56.net] overridingの明示が、overriding procedure …って書くようになってるなあ pragma overriding …はどうなるんだろう あと面白そうなのが拡張return文 C++なんかではreturnで(コピー)コンストラクタが走った後もうそのオブジェクトには触れないが 関数を抜ける前に細工ができるようになってる 421 名前：デフォルトの名無しさん [04/10/16 00:53:27.net] Ada05がメジャーになる日は果たしてくるのだろうか？ 422 名前：デフォルトの名無しさん [04/10/16 01:06:24.net] 来ないでしょ。 423 名前：デフォルトの名無しさん mailto:sage [04/10/16 02:08:07.net] ていうか日本語で入門記事キボンヌ マジわからん Delphiやっててもさっぱりなんだが 424 名前：デフォルトの名無しさん mailto:sage [04/10/16 11:17:01.net] >>416 Hello World程度ならこのスレの上の方にあるだろ それ以上は逐次質問してくれい …このスレ三人ぐらいはいそうなので俺もわからなくても誰か答えてくれるさ 425 名前：デフォルトの名無しさん mailto:sage [04/10/16 13:46:40.net] じゃあ質問して見るか。 並列処理の制御ってどうやるの？ task,task body...をいくつか書いておけばそれらは同時に処理されるんだけど 勝手に処理が始まる。こちらで任意に処理を開始したり停止したりできない。 英語のサイトも見てacceptも試して見たがさっぱりだ。 誰かわかる？ ...ああいま昔のレス見てたらlovelaceっていうAdaチュートリアルにも並列処理の事載ってるみたいだな。 そこを見るの忘れてた。当たって見るか。 426 名前：デフォルトの名無しさん [04/10/16 14:59:42.net] ゲーム作りはＣ＋＋やＪＡＶＡが主流だし、日本ではこの言語がどんな所で 使われてるのかさっぱり分からん。 日本語の参考書も見たことないし… 大学か趣味プログラミングが主流なのかな？ 427 名前：デフォルトの名無しさん mailto:sage [04/10/16 15:02:41.net] アメリカでも使ってるヤツ少ないんじゃないか？ 428 名前：デフォルトの名無しさん mailto:sage [04/10/16 15:23:27.net] 今書いてみたヘボサンプルを貼ってみるテスト。 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; 429 名前：デフォルトの名無しさん mailto:sage [04/10/16 15:28:36.net] Win32で言えば、entryがCreateEventで、acceptがWaitForSingleObjectで、 selectがWaitForMultipleObjectsで、delayがSleepで、abortがExitThread…かな。 なおacceptの後にdoを続けた場合、そのブロックが終わるまで呼び出し元は待ってるようだ。 それとtask typeって形で型にしておけば、newするまで実行されない。 430 名前：デフォルトの名無しさん mailto:sage [04/10/16 16:29:31.net] 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読んでたら、並列処理関係はほんとのほんとに無駄に機能豊富。 431 名前：418 mailto:sage [04/10/16 19:47:23.net] >>421-422 ありがたい。助かるよ。 が、>>421のプログラムをそのままコンパして実行って見たが やっぱりtask body A_Task 内のaccept　setup（）の所で止まる... いやぁ、上で「acceptも試して見たがさっぱりだ」と書いたが同じだよ。 acceptに入った時点でプログラムが止まるんだ。無いと普通に動くんだけどねぇ。 しかもacceptの有無にかかわらず呼び出し元も止まるし。 コンパるときに何かオプション必要だっけ？ とりあえず今やらんとしていることは>>421を参考にできそうだ。ありがとう。 432 名前：デフォルトの名無しさん mailto:sage [04/10/16 23:08:40.net] >>424 んー…別にオプションも要らないけど… 環境は？こっちはMinGWの3.4.2@Windows2000 433 名前：418 mailto:sage [04/10/16 23:28:54.net] >>425 GNAT3.15p+gcc2.8.1@MandrakeLinux10.0也。 gcc3.4.2でやりたいんだけどね。うまくいかなくて。 まずはしっかりと環境を整えるべきだったか。 先にgcc3.4.2使えるようにするか...。 434 名前：デフォルトの名無しさん [04/10/16 23:31:28.net] 　 435 名前：デフォルトの名無しさん [04/10/19 07:56:04.net] >>423 select-then abortはそれなりに便利だよ。 時間をかければかけるほど精度の高い解が得られる近似計算があって、 ただし時間制約(100msecとか、イベントが入ってくるまで)が来たら、 その時点までに得られた近似解を採用しなければならない、なんて 「タイムアウト」は、リアルタイムシステムには 割とよくある 問題領域だと思うけど。 「タイムアウト」がどんなOSでもソース・コンパチで書けるって、 かなり樂。 436 名前：デフォルトの名無しさん mailto:sage [04/10/20 15:21:33.net] >>428 ほうほう 437 名前：デフォルトの名無しさん [04/10/26 22:16:15.net] >>396 確かに。 例えばメモリマップドのハードウエアをアクセスするなら、 ＣやＣ++よりもAdaのほうが確実で樂だしね。 ユーザ定義の固定小数点も使えるからA/DやD/Aなんかも直感的。 438 名前：デフォルトの名無しさん mailto:sage [04/10/27 04:29:46.net] GNATのprotected型、multi-read-exclusive-writeになってない気がする… 気のせいだろうか？単なるクリティカルセクションのような… 439 名前：デフォルトの名無しさん [04/10/27 10:35:41.net] >>274 ﾀｲｰﾌｫ 440 名前：デフォルトの名無しさん mailto:sage [04/10/27 14:34:29.net] >>430 まじで？ 俺GBAで使ってみたいんだけど、誰かやってみるやつはいないか？ 441 名前：デフォルトの名無しさん mailto:sage [04/10/27 19:56:21.net] >>433 ARM向けクロスコンパイラ、ですか。 442 名前：デフォルトの名無しさん mailto:sage [04/10/28 13:26:14.net] YES!YES!YES! 443 名前：デフォルトの名無しさん mailto:sage [04/10/28 18:52:38.net] よくわからないデスケド、この辺？ www.mingw.org/MinGWiki/index.php/build%20a%20Win32%20x-compiler%20for%20Linux …逆かも 444 名前：デフォルトの名無しさん [04/10/30 10:36:04.net] ＡＧＥ 445 名前：デフォルトの名無しさん mailto:sage [04/10/30 16:19:33.net] CLONE OF ADA sage ! 446 名前：433 mailto:sage [04/11/02 16:43:11.net] とりあえず、コンパイルできたら報告するよ 447 名前：デフォルトの名無しさん [04/11/02 17:30:23.net] >>439 がんがれ！ 448 名前：デフォルトの名無しさん mailto:sage [04/11/03 06:34:18.net] >>439 GOGO 449 名前：433 mailto:sage [04/11/03 16:48:20.net] コンパイルできたヽ( ´ー｀)ノ 手順まとめてみた tinyurl.com/42wx4 この辺が参考になりますた milky.way-nifty.com/nuzou/2003/12/cygwinarmgbazau.html gba.imou.to/gcc.html ただ、adaでコンパイルはまだ試してないorz 450 名前：418 mailto:sage [04/11/07 13:52:44.net] ようやくgcc3.4.2のgnat*がインストールできた... 初心者よ、 ttp://gcc.gnu.org/install/build.htmlを見る前に INSTALL/build.htmlを見よう。 ...インストールなんかで詰まるのは俺ぐらいか... ちなみにgcc3.4.2だと>>421のプログラムも正常に動作。 GNAT3.15じゃなくgccを使おう。 ...GNAT3.15でいいやと思うのは俺ぐらいか... 長かったor2 451 名前：デフォルトの名無しさん [04/11/07 18:14:41.net] >>443 乙！ 452 名前：デフォルトの名無しさん mailto:sage [04/11/07 19:20:35.net] もつかれ 453 名前：デフォルトの名無しさん [04/11/13 17:53:52.net] Adaは宇宙開発にも使われてるのかな？ 454 名前：デフォルトの名無しさん [04/11/16 16:43:51.net] ada 455 名前：デフォルトの名無しさん mailto:sage [04/11/16 17:18:08.net] PL/Iと同じ轍を踏んだ言語 456 名前：デフォルトの名無しさん [04/11/17 00:07:40.net] >>446 FedSat - Ada Inside groups.google.co.jp/groups?selm=3dfc72d4%241%40iridium.webone.com.au International Space Station www.boeing.com/defense-space/space/power/iss.html 457 名前：デフォルトの名無しさん mailto:sage [04/11/17 12:14:47.net] >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. カコイイ。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef