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

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

---

---

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

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