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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29] どうよ？ 321 名前：デフォルトの名無しさん [04/04/15 23:38] レス数が少ないけど、あまり使われてないのか 322 名前：デフォルトの名無しさん [04/04/24 18:40] >>321 多分そうだろうな。 323 名前：デフォルトの名無しさん [04/04/24 21:16] Adaの構文がCよりだったらなぁ…。で、Ada使ってるﾔｼのOSって何？ 漏れはﾃﾞﾋﾞｱｿだけど。 324 名前：デフォルトの名無しさん mailto:sage [04/04/24 21:26] 点呼2！…って解釈でいいのかな？ Windows2000 上の方でA#いじってた奴です 325 名前：デフォルトの名無しさん [04/04/24 21:38] >>324 Linuxだと、Adaの独自のﾏﾆｭｱﾙがあったり、cursesっていう端末制御ﾗｲﾌﾞﾗﾘが使えたりで、 他にもGNATとか色々ありますよ。Linuxは低燃費だからいらなくなったPCで試してみると面白いよ。 326 名前：デフォルトの名無しさん mailto:sage [04/04/25 20:01] >>325 「いらなくなったPC」欲しいなあ… WindowsでもgnatはありますしAPIは呼べますよん …まさか、ふたりしかこのスレに残って無いなんてことは…！？ 327 名前：デフォルトの名無しさん mailto:sage [04/04/25 20:11] え？　点呼とってたんですか？ じゃ、３。 Win2000 & gnat & gwindows 328 名前：デフォルトの名無しさん mailto:sage [04/04/25 23:42] 4 redhat 329 名前：323,325 [04/04/26 00:34] WindowsにもGNATとかあるんだ。ｽﾏｿ。ところで「ﾌﾟﾛｸﾞﾗﾐﾝｸﾞの壷　III技術編」なる本に Adaについて少し語ってある。数頁にわたって他の言語と比較してた。 ちなみに著者はﾌﾟﾛｰｶﾞさんでつ。他には「ﾊｯｶｰｽﾞ大事典」にもあった。話は変わるけどさ (また重複してたらｽﾏｿ)Linuxには開発者(ﾕｰｻﾞではなく)向けのﾊﾟｯｹｰｼﾞが別にあって 開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に あるからﾕｰｻﾞには開発者ﾚﾍﾞﾙの自由もあるんだよね。よく「Have Fun！」とか書いてある。 で、ﾃﾞｭｱﾙﾌﾞｰﾄしてLinux使ってるWindowserはいる？ 330 名前：323,325 mailto:sage [04/04/26 00:34] WindowsにもGNATとかあるんだ。ｽﾏｿ。ところで「ﾌﾟﾛｸﾞﾗﾐﾝｸﾞの壷　III技術編」なる本に Adaについて少し語ってある。数頁にわたって他の言語と比較してた。 ちなみに著者はﾌﾟﾛｰｶﾞさんでつ。他には「ﾊｯｶｰｽﾞ大事典」にもあった。話は変わるけどさ (また重複してたらｽﾏｿ)Linuxには開発者(ﾕｰｻﾞではなく)向けのﾊﾟｯｹｰｼﾞが別にあって 開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に あるからﾕｰｻﾞには開発者ﾚﾍﾞﾙの自由もあるんだよね。よく「Have Fun！」とか書いてある。 で、ﾃﾞｭｱﾙﾌﾞｰﾄしてLinux使ってるWindowserはいる？ 331 名前：デフォルトの名無しさん mailto:sage [04/04/26 00:36] sage忘れを阻止しようとした末の二重ｶｷｺ。ｽﾚ汚してｽﾏｿ(´･ω･｀) 332 名前：デフォルトの名無しさん mailto:sage [04/04/26 19:13] >>329 デュアルブートじゃないけど、 Win2000で、Virtual PCにLinux入れて遊んでる。 333 名前：デフォルトの名無しさん mailto:sage [04/04/27 13:30] 記述量がめちゃくちゃ多いだろ？ 334 名前：デフォルトの名無しさん mailto:sage [04/04/27 19:07] うん。 335 名前：デフォルトの名無しさん [04/04/30 15:39] >>333 もう少し少なくなればいいのにね。 336 名前：デフォルトの名無しさん [04/05/10 18:16] Ada は、Panic に成らないような、エラー処理がふんだんにできると 聞きましたが、そうなんでしょうか｡ 337 名前：デフォルトの名無しさん mailto:sage [04/05/10 22:51] >>336 むかしのイメージだねえ。 338 名前：デフォルトの名無しさん mailto:sage [04/05/10 23:01] >>336 冷戦前はね、といってみる…。 339 名前：デフォルトの名無しさん mailto:age [04/05/14 04:32] 商業ﾍﾞｰｽのAdaはものすごく枯れてるらしいねぇ。そして、このｽﾚは別の意味で 枯れてきてるような気がw。「2ch流らくらくAda学習術」みたいな、Ada版K&Rでも作って みたいなぁ。ちなみに、Adaで有名なTutorialみたいな物はあるのでしょうか ＞詳しい人 340 名前：デフォルトの名無しさん mailto:sage [04/05/14 09:18] >>336 いまや、C++, Java, C#にも例外処理はあるし、 オブジェクト指向だから協力。 341 名前：デフォルトの名無しさん mailto:sage [04/05/14 09:18] >>339 昔のbitの別冊。 342 名前：デフォルトの名無しさん [04/05/20 21:48] 今現在で、他の言語と比べたAdaの利点ってなんだろう？ 343 名前：デフォルトの名無しさん mailto:sage [04/05/22 01:01] ランデブーという圧倒的利点が・・・ｗ ボーランドがコンパイラを出してれば、Adaもメジャーになれてたかもな 344 名前：デフォルトの名無しさん mailto:sage [04/05/22 16:03] Ada0Yになると、また色々面白いことができそうなんだが、 正直Ada95時点では、強力過ぎて迷惑な型チェックとランデブー等組み込みの同期メカニズムぐらいしか無いな いや、マルチスレッドプログラムで、構文故にケアレスミスを弾いてくれるのはありがたい筈なんだけど 345 名前：デフォルトの名無しさん [04/05/23 00:05] Ada0Yが登場するのはいつなんだ？ 346 名前：デフォルトの名無しさん mailto:sage [04/05/23 00:40] 独立型戦闘支援ユニットADA 347 名前：デフォルトの名無しさん mailto:sage [04/05/23 06:05] このまま消えるのは、惜しい逸材なんだが PL/Iと同じ運命をたどるのだろうな Adaの先進的だった機能は C++にほとんどキャッチアップされてしまったから 存在意義もあまりないし 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;

---

---

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

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