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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29] どうよ？ 303 名前：デフォルトの名無しさん [04/03/04 23:07] Anubis zoeで出てた奴？ 304 名前：デフォルトの名無しさん [04/03/06 00:57] >>303 何それ？ 305 名前：デフォルトの名無しさん mailto:sage [04/03/09 21:12] GWindowsを使ってWindowを表示してみました。(Win2000) GWindows url: www.adapower.com/gwindows/ -- -- wintest.adb -- with GWindows.Windows.Main; with GWindows.Application; procedure WinTest is use GWindows.Windows.Main; Top: GWindows.Windows.Main.Main_Window_Type; begin Create (Top, "Hello World"); Size (Top, 300, 100); visible (Top); Gwindows.Application.Message_Loop; end; 306 名前：デフォルトの名無しさん mailto:sage [04/03/09 21:35] >>305 おーっ(拍手 なんかすごそうだ。もっと使ってみた感想とか聞きたいかも 307 名前：デフォルトの名無しさん mailto:sage [04/03/09 22:52] >>306 まず使えるようになるまでが大変でした。 MinGWのgnatだとうまく動かなかったので、 ftp://cs.nyu.edu/pub/gnat/3.15p/winnt/ から、改めてダウンロードしてインストール。 で、環境変数を設定。（gnatはc:\gnatにインストールしたとする） PATHにc:\gnat\binを追加。 ADA_INCLUDE_PATH=c:\gnat\lib\gcc-lib\pentium-mingw32msv\2.8.1\adainclude ADA_OBJECTS_PATH=c:\gnat\lib\gcc-lib\pentium-mingw32msv\2.8.1\adalib C_INCLUDE_PATH=c:\gnat\pentium-mingw32msv\include LIBRARY_PATH=c:\gnat\lib\gcc-lib\pentium-mingw32msv\2.8.1 ここで、サンプルをコンパイルしようとすると、 なぜか、collect2が見つからないとかしかられるので、 c:\gnat\binにあるld.exeをcollect2.exeという名前でコピー。 （これに気づくまで、かなり悩みました。。。） つぎに、gnatcom（www.adapower.com/gnatcom/）をインストール。 make install そして最後にGWindowsをインストール。 make UNICODE=1 install ってな感じで、疲れました。。。（インストールするまでに三日ぐらい悩んだ） まだ、サンプルをコンパイルする程度なので、詳しい感想はのちほど。 308 名前：305 mailto:sage [04/03/10 22:48] マウスクリックイベントを取得してみました。 -- -- mousetest.adb -- compile: gnatmake mousetest.adb -- with GWindows.Message_Boxes; with GWindows.Windows; use GWindows.Windows; with GWindows.Windows.Main; use GWindows.Windows.Main; with GWindows.Base; with GWindows.Types; with GWindows.Application; procedure MouseTest is Top: GWindows.Windows.Main.Main_Window_Type; procedure OnMouseClick (Window: in out GWindows.Base.Base_Window_Type'Class; X : in Integer; Y : in Integer; Keys : in GWindows.Windows.Mouse_Key_States) is New_Point : GWindows.Types.Point_Type := (X, Y); begin GWindows.Message_Boxes.Message_Box ("on mouse click", "Clicked!"); end; begin Create (Top, "Hello World"); Size (Top, 300, 100); On_Left_Mouse_Button_Down_Handler (Top, OnMouseClick'Unrestricted_Access); visible (Top); Gwindows.Application.Message_Loop; end; 309 名前：デフォルトの名無しさん mailto:sage [04/03/12 01:20] Delphiより、いいところってある？ 310 名前：305 mailto:sage [04/03/13 22:30] >>309 Delphiと比べて考えたことはなかったですが、 並行プログラミングが言語の文法に組み込まれている あたりが個人的には気になっています。 311 名前：デフォルトの名無しさん mailto:sage [04/03/19 09:31] ゲーム製作技術板より転載 AdaSDL 　adasdl.sourceforge.net/ NeHe new base code with Ada 　www.abyss2.demon.co.uk/projects/ada/index.html 312 名前：デフォルトの名無しさん [04/03/30 18:40] 今でも使ってるのかな？ 313 名前：デフォルトの名無しさん mailto:sage [04/03/30 20:49] >>312 今でも使っているし、多分１００年後も使っているだろう。 軍隊という所はそういう所です。 314 名前：デフォルトの名無しさん [04/03/30 23:12] Delphiのそっくりじゃん！ 妹？ 315 名前：デフォルトの名無しさん mailto:sage [04/03/30 23:43] >>314 C++とDが違う程度には違う 316 名前：デフォルトの名無しさん mailto:sage [04/03/31 01:42] 10歳違いの妹？ 317 名前：デフォルトの名無しさん mailto:sage [04/03/31 05:52] 頑固でかたくなにゆずらない親父 ada 若くてすぐにつっぱしる Delphi 318 名前：デフォルトの名無しさん [04/04/02 21:44] 日本語の参考サイトがあんまりないね… 319 名前：デフォルトの名無しさん [04/04/10 12:18] >>318 確かにあまりみかけないな 320 名前：デフォルトの名無しさん [04/04/11 16:54] ちょっと使ってみようっと。 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] ではこのスレも来年まで保守か…長寿スレだな(いまでも充分

---

---

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

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