1 名前:名無しさんは伊達じゃない [02/01/08 21:29] どうよ?
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] ランデブーという圧倒的利点が・・・w ボーランドがコンパイラを出してれば、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] ゲーム作りはC++やJAVAが主流だし、日本ではこの言語がどんな所で 使われてるのかさっぱり分からん。 日本語の参考書も見たことないし… 大学か趣味プログラミングが主流なのかな?
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 確かに。 例えばメモリマップドのハードウエアをアクセスするなら、 CやC++よりも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] AGE
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と同じ轍を踏んだ言語
449 名前:デフォルトの名無しさん [04/11/17 00:07:40] >>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
450 名前:デフォルトの名無しさん mailto:sage [04/11/17 12:14:47] >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. カコイイ。
451 名前:446 [04/11/17 23:59:54] >>449 ありがd。 やっぱり使われてたんだ!
452 名前:デフォルトの名無しさん [04/11/18 22:48:43] こりゃえいだって既出ですか、そうですか
453 名前:デフォルトの名無しさん mailto:sage [04/11/19 23:16:35] ぷ
454 名前:デフォルトの名無しさん [04/11/19 23:55:43] >>449 おお
455 名前:デフォルトの名無しさん [04/11/20 00:18:10] Beagle 2: www.xgc.com/news/2000.htm The Beagle 2 Mars lander, using ERC32 Ada, successfully separated from Mars Express and started its descent to the red planet.
456 名前:デフォルトの名無しさん [04/11/20 00:27:35] Atlas V: www.ddci.com/programs_atlasv.shtml Lockheed Martin Space Systems depends on TADS to develop modern, object-oriented real-time flight control software for the new Atlas V launch vehicle. The maiden voyage of Lockheed Martin’s first Atlas V rocket lifted off from Space Launch Complex 41 at Cape Canaveral on August 12, 2002, freed from its earthly bonds by flight control software created with DDC-I’s Tartan Ada Development System (TADS).
457 名前:デフォルトの名無しさん [04/11/20 00:42:28] こいつもAdaという噂。 www.nasda.go.jp/projects/rockets/gx/component_02_j.html#configuration まあ1段目はロッキードだけど。 他のところはどうなんだろう?
458 名前:デフォルトの名無しさん [04/11/20 20:40:27] アメリカではいろいろ使われてるんだな
459 名前:デフォルトの名無しさん [04/11/21 17:42:33] >>458 参考書もいっぱい出てるし、そうだろうな。
460 名前:デフォルトの名無しさん [04/11/22 09:28:24]
461 名前:デフォルトの名無しさん [04/11/23 14:27:52] >>1 m9(^Д^)プギャー
462 名前:デフォルトの名無しさん mailto:sage [04/11/23 20:12:11] burks.brighton.ac.uk/burks/language/shoot.htm すごい言われようだな(w
463 名前:デフォルトの名無しさん [04/11/24 14:51:06] >>462 まあAda以外の言語にもすごいこといってるし
464 名前:デフォルトの名無しさん [04/11/26 15:09:12] 盛り上がってきたな!
465 名前:デフォルトの名無しさん mailto:sage [04/11/26 18:02:13] ADAはたぶん埋もれる言語の一つだと思う。
466 名前:デフォルトの名無しさん [04/11/26 22:27:30] >>465 このスレがそのことを暗示しているような…
467 名前:デフォルトの名無しさん [04/11/30 18:21:01]
468 名前:はるな [04/11/30 19:30:11] 作り方分かりますか? コンピュータが 0から 9までの数を 4つ, 順序付きで重複なく選ぶとする. プレイヤ(人間)は, この数列を当てるのだが, はずれた場合に提示されるヒントは次の通り. 正解の n番目の数を n番目に解答していれば, Hit と呼ぶ. Hit の個数がヒントとして提示される. 正解の n番目の数を m番目(n≠m)に解答していれば, Blow と呼ぶ. Blow の個数がヒントとして提示される.
469 名前:作ってみたその1 mailto:sage [04/12/01 00:02:43] with Ada.Numerics.Discrete_Random,Ada.Text_Io,Ada.Integer_Text_Io,Ada.Calendar; use Ada.Text_Io,Ada.Integer_Text_Io,Ada.Calendar; procedure game Is package R Is New Ada.Numerics.Discrete_Random(natural); use R; type Four_Array is array(1..4)of Integer; function Generate Return Integer is seed:Generator; begin Reset(seed,Integer(Seconds(Clock)*100)); return Random(Seed) mod 10; end Generate; function Search(Target:Four_array;Seed:In Integer) Return integer Is begin for I in 1..4 loop if Target(I) = Seed then return i; end if; end loop; return 0; end Search; procedure Initialize(computer:In out Four_array) is begin for I in 1..4 loop computer(I):=-1; end loop; end initialize;
470 名前:作ってみたその2/3 mailto:sage [04/12/01 00:08:55] procedure Decide(computer:in out Four_array) Is int:Integer; begin Initialize(Computer); for I in 1..4 Loop loop Int:=Generate;exit when Search(computer,Int) = 0; end loop; Computer(I):=Int;delay 0.01; end loop; end Decide; procedure Read(Player:in out Four_array) is int,Index:Integer:=1;Char:character; begin while Index <= 4 Loop Get_Immediate(char); case Char is when '0'..'9' => Int:=Character'Pos(char)-16#30#; if Search(Player,int) /= 0 then New_Line;Put_Line("その値はもう使えません"); for I in 1..Index-1 loop Put(Character'Val(Player(i)+16#30#)); end loop; else Put(char);Player(index):=int;Index:=Index+1; end if; when others => New_Line;Put_Line("0から9までの数値を入れてください"); for I in 1..Index-1 Loop Put(Character'Val(Player(I)+16#30#)); end loop; end case; end loop; end Read;
471 名前:作ってみたその3/3 mailto:sage [04/12/01 00:09:44] function Compare(computer,Player:in Four_array) return Boolean is Hit_Count:Integer:=0; Blow_Count:Integer:=0; Search_Result:integer; begin for I In 1..4 Loop Search_Result:=Search(Computer,Player(i)); if Search_Result = I Then Hit_Count:=Hit_Count+1; elsif Search_result /= 0 then Blow_Count:=Blow_Count+1; end if; end loop; New_Line; Put_Line("Hit : "&Integer'Image(Hit_count)); Put_Line("Blow : "&Integer'Image(Blow_count)); if Hit_Count = 4 then return True; end if; return False; end Compare; computer,player:Four_Array; begin Decide(computer); loop Initialize(player); Read(Player); exit when Compare(computer,Player); end loop; end game;
472 名前:作ってみた人 mailto:sage [04/12/01 00:11:01] ここって改行いくつまで...? まぁもっとうまいひとが書けばもっと短くなるだろうが。
473 名前:デフォルトの名無しさん [04/12/05 00:06:46] ?
474 名前:デフォルトの名無しさん [04/12/05 01:10:19] >>24 > あの設計者は、懲役3年執行猶予2年くらいには相当するね。 執行猶予のほうが短いなんて…
475 名前:デフォルトの名無しさん mailto:sage [04/12/05 01:11:05] >>29 ぬるぽ
476 名前:デフォルトの名無しさん [04/12/07 23:52:55] >>465 embedded?
477 名前:デフォルトの名無しさん [04/12/09 13:30:08] >>475 ガッ!
478 名前:デフォルトの名無しさん [04/12/10 18:33:23] (;´Д`)ハァハァ
479 名前:デフォルトの名無しさん mailto:sage [04/12/20 00:05:18] Adaって今更な感じもあってか、書籍やWebページが少ないね。 特に書籍にいたっては絶版になっているのか入手がむずい。 みなさんはどうやって情報を得てるんですか?
480 名前:デフォルトの名無しさん mailto:sage [04/12/20 02:32:29] RM読む
481 名前:デフォルトの名無しさん mailto:sage [04/12/22 01:01:37] A#+DirectXとかやったひといないのかな
482 名前:デフォルトの名無しさん [04/12/25 23:42:24] >>481 そんなのがあるのか、知らなかったよ。
483 名前:デフォルトの名無しさん [04/12/30 19:03:17] (;´д`)ハァハァ (;´Д`)ハァハァ (;゜Д゚ )ハァッハァッ :.` ;:.・∵ ゚ д:.`
484 名前:デフォルトの名無しさん [04/12/31 21:59:02] すでにこれまでに話題なってそうな質問です。恐縮。 Adaが突然実装できなくなるとどんな飛行機が落っこちますか。
485 名前:あーげあし〜 mailto:sage [05/01/04 12:15:24] ? 工場から出荷できないんじゃない? 既に稼動してるのは落ちないと思うし。
486 名前:デフォルトの名無しさん mailto:sage [05/01/22 02:06:43 ] 保守〜
487 名前:デフォルトの名無しさん mailto:sage [05/01/22 02:21:50 ] Mingw入れたら必要ないのに付いてきた。
488 名前:デフォルトの名無しさん [05/01/23 02:29:04 ] >>446 こないだタイタンに着地したホイヘンスも、Adaらしい。 www.crn.vnunet.com/analysis/1157756
489 名前:デフォルトの名無しさん [05/01/23 08:48:22 ] LogicaCMG designed the Huygens software using the hierarchical object-oriented design (Hood) method and then developed it in Ada 83, a general-purpose programming language developed by the US Department of Defence to help software designers develop large, reliable applications.
490 名前:デフォルトの名無しさん mailto:sage [05/01/23 18:16:57 ] Nida
491 名前:デフォルトの名無しさん mailto:sage [05/01/30 22:52:20 ] 英語力不足でLovelaceがPut_Line("Hello, world!");から先に進めませんorz 現在のAda力も同レベル・・・日本語文献が欲しい…
492 名前:デフォルトの名無しさん [05/02/04 18:16:23 ] >>491 古いやつならあるぞ。
493 名前:デフォルトの名無しさん mailto:sage [05/02/24 22:43:48 ] ほっしゅ。
494 名前:デフォルトの名無しさん [05/03/03 14:31:19 ] 保守
495 名前:デフォルトの名無しさん [05/03/03 14:56:31 ] 国防総省がAda作った背景何て言うんだっけ? 言語の統一の必要性の方じゃなくて、 プログラマが足りなくなるって事象を。 ソフトウェア危機だっけ? それに対する回答が言語の統一だったような。
496 名前:デフォルトの名無しさん [05/03/12 18:30:28 ] Ada0Yはどうなったんだ?
497 名前:デフォルトの名無しさん mailto:sage [05/03/12 19:22:01 ] >>496 tp://hp.vector.co.jp/authors/VA028375/ada/ ここお薦め。
498 名前:デフォルトの名無しさん [2005/03/22(火) 00:15:23 ] オブジェクト指向なの?
499 名前:デフォルトの名無しさん [2005/03/27(日) 10:48:07 ] >>1 どうだろうね
500 名前:デフォルトの名無しさん [2005/03/28(月) 15:11:32 ] ada
501 名前:デフォルトの名無しさん mailto:sage [2005/03/30(水) 00:18:38 ] >>498 web.archive.org/web/20020605044428/http://www.tsujiken.ee.kogakuin.ac.jp/jada95.html
502 名前:デフォルトの名無しさん [2005/04/06(水) 13:03:49 ] ?
503 名前:デフォルトの名無しさん mailto:sage [2005/04/18(月) 12:46:28 ] hoshu
504 名前:デフォルトの名無しさん [2005/04/22(金) 17:50:19 ] 使用者が少ないっぽいな
505 名前:デフォルトの名無しさん [2005/04/22(金) 21:45:29 ] 実際の話、この言語で情報システムとか組んだことのある香具師いるのか?
506 名前:デフォルトの名無しさん [2005/04/30(土) 20:39:36 ] ほしゅ
507 名前:デフォルトの名無しさん [2005/05/11(水) 15:45:08 ] 保守
508 名前:デフォルトの名無しさん mailto:sage [2005/05/12(木) 05:03:14 ] gcc4.0で、無名アクセス型とそれに伴いクロージャ(関数内関数の持ち出し)が使えるようになってるが、祭りじゃないのか?
509 名前:デフォルトの名無しさん mailto:sage [2005/05/12(木) 08:13:33 ] 現況では、組み込みのリアルタイム処理しかadaを使っておいしいシステムはなさそう。 しかも、ある程度規模が大きいとか、変なCPUとかじゃないと利点も生かせない。(24BitCPUとか) 必要なところでは必要だけど、メジャーにはならんね。
510 名前:デフォルトの名無しさん [2005/05/13(金) 23:07:33 ] win版の統合開発環境はでるのかな?
511 名前:デフォルトの名無しさん mailto:sage [2005/05/13(金) 23:12:43 ] >>510 既に沢山あるようだが、無料のはGPSぐらいしかないな…。
512 名前:デフォルトの名無しさん mailto:sage [2005/05/14(土) 11:20:50 ] メインステートからexit出来ないのが不便だ SIGTERM受けたときにexit(0)したいんだけど 誰か良い方法知りません?
513 名前:デフォルトの名無しさん mailto:sage [2005/05/14(土) 18:39:44 ] >>512 「メインステート」の意味がよくわからないけど、returnでだめなら例外投げるとか?
514 名前:デフォルトの名無しさん [2005/05/19(木) 14:42:35 ] Ada05
515 名前:デフォルトの名無しさん mailto:sage [2005/06/03(金) 23:46:19 ] ループを次に進めるような奴は無いんだろうか…? DelphiだとContinueみたいな。
516 名前:デフォルトの名無しさん mailto:sage [2005/06/04(土) 01:47:31 ] >>515 ラベル付きexitが使えるので、end loopの直前まで飛べばいい。
517 名前:515 mailto:sage [2005/06/05(日) 10:51:50 ] >516 ありがとうございます。 exitがラベル取れなかったので(exit_statement ::=exit [loop_name] [when condition];) gotoに読み替えて、end loop;直前まで飛んで解決しました。
518 名前:デフォルトの名無しさん [2005/06/05(日) 16:54:53 ] おお、技術的な会話をしてるのか
519 名前:516 mailto:sage [2005/06/05(日) 20:01:25 ] あー、悪い。 exitはループ以外の名前やgoto用ラベルは取れなかったっけね。 begin〜endにも名前が付けられるのだから、begin〜endもexitで脱出できていいと思うのだけどなあ。
520 名前:515 mailto:sage [2005/06/08(水) 22:33:42 ] >516 どうせなら、やっぱり全部exitで出れる様に統一して欲しいですよねぇ。 begin...end;を出れるだけでも変わってくるのだけどなぁ。
521 名前:デフォルトの名無しさん mailto:sage [2005/06/09(木) 00:29:49 ] 常に一回だけ素通りする、loop 〜 exit; end loop; でくくるとか。
522 名前:デフォルトの名無しさん mailto:sage [2005/06/25(土) 22:42:48 ] ほっしゅ。
523 名前:デフォルトの名無しさん mailto:sage [2005/07/21(木) 22:55:42 ] ほ
524 名前:デフォルトの名無しさん [2005/07/26(火) 09:31:15 ] し
525 名前:デフォルトの名無しさん mailto:sage [2005/07/27(水) 00:19:45 ] ひ
526 名前:デフォルトの名無しさん mailto:sage [2005/07/27(水) 22:36:25 ] ゅ
527 名前:デフォルトの名無しさん mailto:sage [2005/07/27(水) 23:34:24 ] OY for 95がインスコできないよorz gnatmakeして置き換えで何故駄目なんだ。。。 それ以上のインストール方法も書いてないし。。。 助けてぇ、エロい人ぉ
528 名前:デフォルトの名無しさん mailto:sage [2005/07/28(木) 15:56:16 ] >>527 gcc 4.0.0以降は、Ada.ContainersもAda.Directoriesも標準装備。
529 名前:デフォルトの名無しさん mailto:sage [2005/07/28(木) 16:20:20 ] ところで、配列の初期化でothers => <>を使ったら、要素数分空ループが生成されているような…。 除去してくれないのかgcc 4.0.1…。 subtype T is String(1..10); S : aliased String := T'(others => <>); なんでこんな書き方してるのかというと、aliasedつけて'Accessで渡そうとすると、初期化されてないってエラー?が出るから…。
530 名前:527 mailto:sage [2005/08/11(木) 22:51:13 ] >528 ありがとうエロイ人! 今までGNAT使ってたけどやっぱgccに乗り換えるよ。 そして亀レスすまん。
531 名前:デフォルトの名無しさん mailto:sage [2005/08/12(金) 09:16:10 ] "GNAT"としてパッケージ化がされてないってだけで、GNATとgccの中のAdaは同じものに思えるのは…気のせいではあるまい。
532 名前:デフォルトの名無しさん [2005/08/15(月) 16:37:09 ] あはは
533 名前:デフォルトの名無しさん mailto:sage [2005/08/29(月) 11:38:04 ] ふと思ったんだけど、windowsで*.dllロードしたいときはどうするんだろう? そのままImportしても出来ないし。。。
534 名前:デフォルトの名無しさん mailto:sage [2005/08/29(月) 20:21:27 ] >>533 libgdi32.aみたいなのをリンクしても駄目? -lgdi32
535 名前:デフォルトの名無しさん mailto:sage [2005/08/30(火) 22:54:04 ] >>534 出来たよ、ありがとう。 つーか、リンカオプションまとめてる所とかないかな。 あの辺がさっぱり解らん。
536 名前:デフォルトの名無しさん mailto:sage [2005/09/15(木) 20:51:11 ] GNAT GPL 2005パッケージ出たね。 https://libre2.adacore.com/ gcc見る限り多態コンストラクタや拡張returnはまたパッチが出て無いようではあるのだけれど、実装済みなのだろうか? ベースがgcc 3.4.5というのがまた。どうせなら4.0.2ベースに…。
537 名前:デフォルトの名無しさん [2005/09/15(木) 20:51:41 ] えーい、どうせだからあげ、あげ。
538 名前:デフォルトの名無しさん mailto:sage [2005/09/15(木) 21:11:50 ] gccのスナップショット見る限りは、新機能パッチは最新ver(いまだと4.1.0)にしか適用されていないので、3.4.5ベースでAda2005というのはAdaCoreのカスタムなんだろうが…。 ぐだぐだ言ってないで落としてみればいいのだろうが、登録がw
539 名前:デフォルトの名無しさん mailto:sage [2005/10/05(水) 10:00:03 ] STLの元になったAdaのコンテナライブラリってソース出ているの?
540 名前:デフォルトの名無しさん mailto:sage [2005/10/11(火) 00:27:57 ] >>539 知らないなあ…。 逆にSTLをバックポートしたようなものは幾つか見かけたが。
541 名前:デフォルトの名無しさん mailto:sage [2005/10/11(火) 00:31:31 ] ところで、interfaceへのダウンキャストができないのだが…そういうものなのか? Java-like interfaceなんて言って、そのつもりで使ってると、困るんだが…。
542 名前:デフォルトの名無しさん mailto:age [2005/10/12(水) 14:39:57 ] task内でなくとも select delay xx.x; 〜 then abort 〜 end select; が使えることに驚き。 そんな今日。 ついでにage。
543 名前:デフォルトの名無しさん mailto:sage [2005/10/12(水) 15:25:17 ] >>542 >>423 exit when なんていう構文をさっぱり綺麗に忘れていた今日この頃。 そしてsage
544 名前:デフォルトの名無しさん mailto:sage [2005/10/12(水) 21:02:30 ] 次スレではタイトル半角希望。 そして次スレとC++0xはどちらが早いだろうか…
545 名前:デフォルトの名無しさん mailto:sage [2005/10/30(日) 13:51:47 ] 保守
546 名前:デフォルトの名無しさん mailto:sage [2005/11/13(日) 10:32:48 ] 保守ついでに <チラシの裏。> 307でgwindowsがMinGWで動かないって書いてあるけど、展開してADA_*_Path通す(”<展開したどこか>\bindings”)だけで此方では一応動いた。 gnatcomも同様。(よくは知らないが) ただ文字列関係がANSIのままなので2k, xpではcoding\*_unicode.ad?で置換した方がよさ気。 私みたいなmeユーザには関係のない話だけど。 </チラシの裏。> ところで、誰かRendez-vons教えてください。 何の事だかさっぱりわからない。
547 名前:デフォルトの名無しさん mailto:sage [2005/11/14(月) 21:00:21 ] >>546 entryで待ち合わせて一時的に合流処理、っぽい。 Javaなんかのsynchronizedとは逆の考え方っぽい。 共有資源に対して直接排他アクセス権をどうこうするのではなく、 共有資源を扱うガイド役のタスクがあって、 そいつがあちこちからの要求に付き添って行動することで 同時にアクセスされないことを保証してる、っぽい。 …間違ってたらすまん。
548 名前:デフォルトの名無しさん [2005/11/17(木) 19:44:08 ] なんでこんな終わった言語をいつまでもGCCはサポートするん?
549 名前:デフォルトの名無しさん mailto:sage [2005/11/17(木) 23:01:49 ] 終わって無いから。
550 名前:デフォルトの名無しさん mailto:sage [2005/11/18(金) 02:37:35 ] adaの利点って何ですか? 例えばD言語やC++なんかと比べてアドバンテージってある?
551 名前:デフォルトの名無しさん mailto:age [2005/11/18(金) 23:05:01 ] アドバンテージが必要か?
552 名前:デフォルトの名無しさん mailto:sage [2005/11/19(土) 01:35:43 ] >>550 おもいっきし書くのが面倒くさくて しかもコンパイラが厳しすぎること。 いや、マジで。
553 名前:デフォルトの名無しさん mailto:sage [2005/11/19(土) 12:35:19 ] >>552 つまりアフォには書けない ⇒ バグが減る、ウマー ってことか。(w
554 名前:デフォルトの名無しさん mailto:sage [2005/11/20(日) 00:16:04 ] …Σ (゚Д゚;)さてはお前、頭いいな。 Adaでアドバンテージと言えば、並行処理を挙げないと。
555 名前:デフォルトの名無しさん mailto:age [2005/11/20(日) 01:18:06 ] sourceforge.netにAda関連のプロジェクトがあるね 2005年になってから増えたようだ コンテナライブラリもいろいろあるようだが皆使ってる? Booch Componentsなんてどうよ?
556 名前:デフォルトの名無しさん mailto:sage [2005/11/20(日) 19:08:11 ] >>553 俺のようなアフォでも苦労してコンパイルが通る頃には なかなかバグの無いコードになってるところとかな。 Adaにしかないような機能はいっぱいあるけど アドバンテージとするなら「コンパイラの厳しさ」が勝ると思う。
557 名前:デフォルトの名無しさん mailto:age [2005/11/21(月) 20:45:56 ] コンパイルといえば GCC3.4.2でコンパイルしたら実行ファイルのサイズが202KBだったんだが GCC4.0.1でコンパイルしたら29KBになってワロス 何もオプション変えてないのにな 素敵コンパイラ(´∀`)
558 名前:デフォルトの名無しさん mailto:sage [2005/11/21(月) 20:59:33 ] ・何かの拍子でデバッグシンボルを削除した ・知らないうちにlibgnat-4.0.dllを使うようになってる どっちかじゃないか?
559 名前:デフォルトの名無しさん mailto:sage [2005/11/21(月) 21:02:48 ] >>555 コンテナは標準のAda.Containersができたから、 STLで言うところのalgorithmを共通化するためには 関数のシグネチャ(Adaなんで命名規則は違ってていい)が Ada.Containersと互換じゃないと…。 Ada.Containersも微妙に肥大だったり小回りが利かなかったりするんで 互換の軽量コンテナがあればいいんだが。
560 名前:デフォルトの名無しさん mailto:age [2005/11/21(月) 22:20:39 ] >>558 > ・知らないうちにlibgnat-4.0.dllを使うようになってる ディストリビューションごと変えた(だけな)んで多分こっちだワ lddで見てみたらリンクしてた
561 名前:デフォルトの名無しさん mailto:sage [2005/12/01(木) 18:44:12 ] declare torf:boolean:=false; begin put_line(torf'img); torf:=boolean'value("true"); end; ↑これが通ってちゃんと動く さらにAdaのboolean型は列挙型であるため ユーザー定義の列挙型でも可能 他にこれができる言語ってある?
562 名前:デフォルトの名無しさん mailto:sage [2005/12/01(木) 20:39:28 ] program testBool; var torf: boolean; begin torf := false; writeln(torf); readstring('true', torf); writeln(torf); end. program testEnum; type userEnum = (melon, apple, orange); var userEnumV: userEnum; begin userEnumV := melon; writeln(userEnumV); readstring('apple', userEnumV); writeln(userEnumV); end.
563 名前:デフォルトの名無しさん mailto:sage [2005/12/01(木) 21:26:01 ] PascalはRead/Writeで列挙型が入出力できる。文字列とのスマートな変換は無かったと思う。DelphiならRTTIで可能。 あとはJavaだのC#だのVM系はできて当然なんじゃないかな? でもAdaのが一番手軽で便利っぽい。
564 名前:デフォルトの名無しさん mailto:sage [2005/12/01(木) 21:28:15 ] …ていうか562はPascalか…処理系によってはあるのかもなあ。 Delphiのリファレンスには562の使い方のReadStringは無かった。
565 名前:デフォルトの名無しさん mailto:sage [2005/12/02(金) 08:04:35 ] JDK1.5 enum Foobar { FOO, BAR, BAZ } class FoobarSample { public static void main(String[] a) { boolean b = Boolean.valueOf("true"); System.out.println(b); Foobar fb = Foobar.valueOf("FOO"); System.out.println(fb); } 最近のスクリプト系の言語だと連想配列(ハッシュ)使うかな?
566 名前:デフォルトの名無しさん mailto:sage [2005/12/03(土) 20:48:42 ] これどうですか? Ada―移植性とプログラミング・スタイル ttp://www.amazon.co.jp/exec/obidos/ASIN/4764901579/503-1051603-3695108
567 名前:デフォルトの名無しさん mailto:sage [2005/12/04(日) 00:43:52 ] 1989年かー。 Ada2005どころかAda95もまだだなー。 でもAdaは他の言語と違って、言語の底にある考え方を理解して無いと、何もできないっぽい(←うけうり)ので、今も売られてる本があるだけマシか…?
568 名前:デフォルトの名無しさん mailto:sage [2005/12/04(日) 02:56:04 ] レオン:エイダ〜 エイダ:レオ〜ン シェリー:うぅ・・・ エイダ:Gウィルスが・・・ レオン:エイダ〜 G最終形態:グチャグチャ 自爆シークエンス:あぼ〜ん
569 名前:デフォルトの名無しさん [2005/12/04(日) 03:19:06 ] AdaでOracleにアクセスできる処理系ってありますか? AdaでWebアプリケーションを作成することはできますか?
570 名前:デフォルトの名無しさん mailto:sage [2005/12/04(日) 04:03:14 ] >>569 Webアプリは単にCGIなら標準入出力が扱える言語ならなんでもできるので勿論Adaでも可能。 サーバー向けにgccでクロスコンパイラ作ればいい。 JSPだのASP.NETだのは、JGNATやMGNATでがんばれ。 Oracleは、商用Adaなら普通にバインディングついてくるっぽい。
571 名前:デフォルトの名無しさん mailto:sage [2005/12/05(月) 21:11:19 ] >566 どうだったかなぁ。 お勧めはこれだけど。 www.amazon.co.jp/exec/obidos/ASIN/4781904734/qid=1133784487/sr=1-17/ref=sr_1_2_17/250-5384434-5362614 在庫切れか。
572 名前:デフォルトの名無しさん mailto:sage [2005/12/23(金) 22:25:25 ] h
573 名前:デフォルトの名無しさん [2005/12/28(水) 21:15:15 ] o
574 名前:デフォルトの名無しさん mailto:sage [2005/12/29(木) 06:23:55 ] バグの出にくい言語仕様を考える。 pc8.2ch.net/test/read.cgi/tech/1111747980/ このスレのアイデアの半分ぐらいは既にAdaにあるんだよなあ…。 > そうすると、制約だらけでウザいだけの言語になって、さらに既存の言語の拡張という形はとれなくなるが。 までピッタシカンカンだしなあ…。
575 名前:デフォルトの名無しさん mailto:sage [2006/01/07(土) 19:02:40 ] with Ada.Text_IO; use Ada.Text_IO; with Ada.Integer_Text_IO; use Ada.Integer_Text_IO; procedure NSort is N : Natural; begin Get(N); declare Used : array (1 .. N) of Boolean := (others => False); procedure Rec(F : Natural; Par : not null access procedure) is begin if F < N then for I in Used'Range loop if not Used(I) then declare procedure P is begin Par.all; Put(I, 2); end; begin Used(I) := True; Rec(F + 1, P'Access); Used(I) := False; end; end if; end loop; else Par.all; New_Line; end if; end Rec; procedure Prompt is begin Put('>'); end Prompt; begin Rec(0, Prompt'Access); end; end NSort;
576 名前:デフォルトの名無しさん [2006/01/19(木) 21:02:18 ] age
577 名前:デフォルトの名無しさん mailto:sage [2006/02/05(日) 11:33:10 ] すいませんどなたかlimitedが何なのか教えてもらえませんか 一応RM95読んだんですけど生半可な英語力でわかりませんでした
578 名前:デフォルトの名無しさん mailto:sage [2006/02/05(日) 14:43:56 ] >>577 限られた、とか、限定の、とか、限定版、とかそういう意味で、 Adaでの意味は「代入禁止」。
579 名前:デフォルトの名無しさん mailto:sage [2006/02/06(月) 00:43:16 ] なるほど。tnx
580 名前:デフォルトの名無しさん mailto:sage [2006/02/14(火) 10:30:27 ] 保守するだけじゃなんなので、教えて君。 つか、見てる人何人いるんだろう? とりあえず、Adjustで何をしたらいいのか教えてください。 代入時に呼び出されてるっぽいことはわかるんだけど。 代入直前なのか直後なのか、引数は代入される側なのかする側なのか、とか。
581 名前:デフォルトの名無しさん mailto:sage [2006/02/14(火) 11:47:22 ] このスレの誰か入門書を書いてくれー。
582 名前:デフォルトの名無しさん mailto:sage [2006/02/14(火) 13:08:30 ] 「RM嫁」とか、「とりあえずそれっぽいの書いて、コンパイルエラーを消してけ」としか。 RMは非常に読みにくいが、コンパイルエラーは親切。 「初心者の初心者による入門書」なら書けるけど、、、読んでも得るもの少ないよ?
583 名前:デフォルトの名無しさん mailto:sage [2006/02/14(火) 20:35:12 ] >>580 oopweb.com ttp://oopweb.com/Ada/Documents/AdaLinux/VolumeFrames.html?/Ada/Documents/AdaLinux/Volume/book.html とかどうだ。 コピーコンストラクタのようなものと書かれてはいるが
584 名前:デフォルトの名無しさん mailto:sage [2006/02/14(火) 21:34:42 ] >>580 a := b;としたらAdjust(a);が呼ばれる。 例えば中にポインタがあったりして、その中身まで複写しないと いけないようなケースでコピー後の調整を行うのがAdjust。 全部コピーして回るC++のコピーコンストラクタとはちょと違う。 type a is new Controlled with record x : access Work_Area; y: Integer; end; procedure initialize(obj:in out x) is begin obj.x := new Work_Area; end; procedure Free is new Unchecked_Deallocate(...); procedure finalize(obj:in out x) is begin Free(obj.x); end; とすると必要なAdjustは procedure adjust(obj:in out x) is begin obj.x := new Work_Area'(obj.x.all); end; x,yとも値は勝手にコピーされるけど、xは中身まで複製しないとその後共有してしまうしFinalizeで二重解放になってしまう。
585 名前:デフォルトの名無しさん mailto:sage [2006/02/14(火) 22:04:25 ] なるほど、「複製」ではなく「調整」か
586 名前:580 mailto:sage [2006/02/14(火) 23:33:15 ] >>583-584 ありがとう! とりあえず代入の際の補助と理解しといた。
587 名前:デフォルトの名無しさん mailto:sage [2006/02/15(水) 01:14:38 ] >>581 切実
588 名前:デフォルトの名無しさん mailto:sage [2006/02/15(水) 23:44:59 ] amazonあたりでAdaの洋書を買おうとか思うんだがお薦めある?
589 名前:デフォルトの名無しさん mailto:sage [2006/02/27(月) 09:53:30 ] ttp://www.macada.org/ このへん使ってる人っている?
590 名前:デフォルトの名無しさん [2006/03/02(木) 00:58:34 ] >>589 ttps://libre2.adacore.com/ のppc-darwinを使ってる。
591 名前:デフォルトの名無しさん [2006/03/02(木) 01:09:03 ] >>588 いまなら Programming in Ada 95: www.amazon.com/gp/product/0201342936 Ada As A Second Language: www.amazon.com/gp/product/0070116075 もうすこししたら Programming in Ada 2005 with CD: www.amazon.com/gp/product/0321340787 co.ukだと出版がJune 30, 2006と書いてあるけど, 著者もまだ予定を出版社からきいてないみたいだからデマかも。
592 名前:デフォルトの名無しさん [2006/03/02(木) 01:35:23 ] >>588 とりあえず、 Object Oriented Programming in Ada95 ttp://burks.bton.ac.uk/burks/language/ada/ada95.pdf とか Ada for Software Engineers ttp://stwww.weizmann.ac.il/g-cs/benari/books なら,もと有料だったのがタダ。 特に、あとのBen-Ariのは,RM95の解説にもなってるのでお薦め。 昔これ読んで、やっとStreamが理解できた。
593 名前:デフォルトの名無しさん mailto:sage [2006/03/16(木) 11:11:36 ] そろそろ保守
594 名前:デフォルトの名無しさん [2006/03/28(火) 04:30:58 ] ほす
595 名前:デフォルトの名無しさん mailto:sage [2006/04/06(木) 05:04:02 ] AdaってGPLなんだよね それさえなければな
596 名前:デフォルトの名無しさん mailto:sage [2006/04/06(木) 08:17:58 ] GNATがGPLなだけで、他の有償コンパイラはあるけど? ちょっと検索すれば一杯出てくる。IBMとかも出してるし。
597 名前:デフォルトの名無しさん mailto:sage [2006/04/08(土) 21:46:30 ] あれ?コンパイラのGPLも感染するんだっけ?
598 名前:デフォルトの名無しさん mailto:sage [2006/04/08(土) 22:17:54 ] GNATつかうとGPL汚染されるはず。 リンクされるライブラリの問題?
599 名前:デフォルトの名無しさん mailto:sage [2006/04/08(土) 22:37:34 ] ライブラリの問題で、コンパイラ自体は、エディタとかと同じ扱いだったはず。
600 名前:デフォルトの名無しさん mailto:sage [2006/04/08(土) 22:59:47 ] >GNATつかうとGPL汚染されるはず。 ブルブルガタガタ
601 名前:デフォルトの名無しさん mailto:sage [2006/04/09(日) 00:35:26 ] libgnat.aがGPLだしねえ。って震えるほどか? あとバイナリ配らないことにすればGPLにする必要もないわけで。
602 名前:デフォルトの名無しさん mailto:sage [2006/04/09(日) 14:41:12 ] バイナリ配らないプログラムにどんな意味が?
603 名前:デフォルトの名無しさん mailto:sage [2006/04/09(日) 14:46:17 ] 相手が非Windowsだったらgccぐらい入ってるだろうから、makeしてくれ、と。 あとCGIとかもバイナリは「配布」する必要が無い。 ソースはGPLとは矛盾しない別ライセンスにして、GPLのバイナリと一緒に公開してもいいわけで。 …Adaの問題というかgcc使う限りそうなんだけどな。 gccが嫌でそれでもAdaを使いたいなんて意思がある奴はどっかの製品買ってるだろうし、こんなのでごねてるのはgccがGPLでなくても結局使わないとも思うが。
604 名前:デフォルトの名無しさん mailto:sage [2006/04/09(日) 15:00:35 ] gcc は関係ないでしょ。gcc を使っても GPL に汚染されない言語もある訳だし。
605 名前:デフォルトの名無しさん mailto:sage [2006/04/09(日) 15:14:18 ] そりゃ、ラインタイム全部用意できればねえ。 MinGW用のwindows.hとインポートライブラリなんかはGPLじゃないので、それだけで書いたらGPL以外にできるんだけども。
606 名前:デフォルトの名無しさん mailto:sage [2006/04/15(土) 09:30:31 ] Cからimportすれば別だけどAdaでfork出来ない、つまり別プロセス立てられないよね サーバーアプリケーションとかデーモンを作るときはどうするんだ? サーバーアプリはtaskでいいかもしれんが
607 名前:デフォルトの名無しさん mailto:sage [2006/04/16(日) 00:53:52 ] あれ?そういえば標準ライブラリに別プロセス実行機能が無いね。 やっぱ組み込みまでターゲットとかそんな理由なんだろうか。(GNAT.OS_Libにspawnの宣言はあるけど)
608 名前:デフォルトの名無しさん mailto:sage [2006/04/28(金) 22:45:32 ] 保守というかチラシの裏:begin 図書館で検索したら一応4冊のAdaの本があった。 日本語1冊、英語3冊。 日本語のは出版が古くAda83で、さらにサンプルが少なかったので、英語の一冊を借りてきた。 さて、GWはこいつと格闘するか。 end 保守というかチラシの裏;
609 名前:デフォルトの名無しさん mailto:sage [2006/05/04(木) 04:53:25 ] GPS は凄いけど作るものが無い。 どこかで Adaプログラマ募集してないかな。 内職時給800円くらいでおk。
610 名前:デフォルトの名無しさん mailto:sage [2006/05/04(木) 05:25:49 ] GPSは2.0代のを見てしょぼいと思ったが GNAT GPL 2005のほうのGPS 3.0インストールしてみたら凄かった。 更にVS統合が出てた。 ttp://www.martincarlisle.com/VisualStudioIntegration.htm 仕事は……それこそ軍隊にでも雇われないと、内職に出すようなのは無いんじゃないか……。 開発速度を犠牲にしても堅牢性を追求するAdaの姿勢は、一般企業が求めてるものとは違う気がするし、何より日本では知名度が無い。 つーか、仕事あるなら俺を雇ってくださいお願いします。
611 名前:デフォルトの名無しさん mailto:sage [2006/05/04(木) 11:28:48 ] 仕事があるとしても新規開発じゃなくて 過去Adaがポッとで始めたときに物珍しさ?で作られたものの保守くらいだろうね 大概C++で書き直されてるんじゃないかと思うけど
612 名前:デフォルトの名無しさん [2006/05/13(土) 22:40:35 ] ほしゅ
613 名前:デフォルトの名無しさん [2006/05/13(土) 23:51:08 ] 新参ですが、エイダは何が得意なんですか?
614 名前:デフォルトの名無しさん mailto:sage [2006/05/14(日) 00:19:00 ] 数学と競馬が得意ですわ
615 名前:デフォルトの名無しさん mailto:sage [2006/05/14(日) 00:40:15 ] 多次元配列を扱うサブルーチンが書きやすい。
616 名前:デフォルトの名無しさん mailto:sage [2006/05/14(日) 06:43:58 ] delphiみたいなradツール作ってよ。
617 名前:デフォルトの名無しさん mailto:sage [2006/05/14(日) 16:04:50 ] >>616 GWindows …Delphiの足元どころか一般的に想像されるGUIツールの水準にもとかそういう話はこの際おいといてくれ。
618 名前:デフォルトの名無しさん [2006/05/16(火) 00:02:20 ] Adaで業務システム組んだことのある奇特な方いますか?
619 名前:デフォルトの名無しさん mailto:sage [2006/05/24(水) 22:50:05 ] GWindowsがDelphiライクに使えればいいのになぁ、無理か。 GtkAdaは、、、どっちもどっちか。
620 名前:デフォルトの名無しさん mailto:sage [2006/06/08(木) 12:21:50 ] h
621 名前:デフォルトの名無しさん [2006/06/14(水) 21:09:21 ] GNAT GPL 2006キター
622 名前:デフォルトの名無しさん [2006/06/14(水) 21:37:56 ] マジだー!!!!ktkr!!!!!
623 名前:デフォルトの名無しさん mailto:sage [2006/06/17(土) 21:57:22 ] 保守 と、チラシの裏。 さて、GNAT GPL 2006入れたらコンパイルできなくなったぞ、と。 >Ada compiler not installed on this system orz 環境変数かな。
624 名前:デフォルトの名無しさん mailto:sage [2006/06/20(火) 17:31:12 ] インストール時にPATHに追加するか聞いてくるくせに、追加しないかダメみたいだ。なんじゃそら。 私のとこもgcc-4.1いれてたので、そっちが起動されて混乱してた
625 名前:デフォルトの名無しさん [2006/06/22(木) 01:07:10 ] >>591 >Programming in Ada 2005 with CD: >www.amazon.com/gp/product/0321340787 届いた!
626 名前:デフォルトの名無しさん mailto:sage [2006/06/22(木) 02:11:22 ] >>625 うぉ、うらやまし。 AdaCoreにある.pdf以上のこと、書かれてる?
627 名前:デフォルトの名無しさん [2006/06/22(木) 03:45:22 ] CreateGame〜陸海空オンライン〜 次世代新基軸MMO製作プロジェクト始動! PG大募集!力あるものだけね。 よろすく
628 名前:デフォルトの名無しさん mailto:sage [2006/06/22(木) 08:51:29 ] >>624 Windows? 今LinuxにインストールしたけどPATHに追加するかなんて聞かれなかった
629 名前:623 mailto:sage [2006/06/22(木) 09:26:43 ] 俺も聞かれなかった@ppc-darwin 手作業で追加しろ、とは言われたけど。 結局、gccが見つけてくれなかったのはPATHの表現が原因だった。 公式の表記には従っとくものだと思った。
630 名前:デフォルトの名無しさん mailto:sage [2006/06/22(木) 23:09:51 ] >>628-629 Yes, Windowsです。
631 名前:デフォルトの名無しさん mailto:sage [2006/06/22(木) 23:40:17 ] GPSで、TABで3文字インデントを行うような設定どっかにないかな…… Ctrl+/で補完される基準もよくわからん
632 名前:デフォルトの名無しさん mailto:sage [2006/06/23(金) 01:26:41 ] 宣言関係は2文字インデント、処理が3文字インデントだっけか。 何かに乗ってたなぁ、何だっけか。。。
633 名前:デフォルトの名無しさん mailto:sage [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;
634 名前:デフォルトの名無しさん mailto:sage [2006/06/30(金) 21:06:25 ] >>633 サイズ可変な型に関しては怪しいらしい。 www.adacore.com/2006/05/10/NF-A05-DC16-057-ada/ >subtype is constrained and 〜 もしかControlledもダメか?きついな。
635 名前:デフォルトの名無しさん mailto:sage [2006/06/30(金) 21:49:38 ] Ada用のx64用コンパイラはありませんか?
636 名前:デフォルトの名無しさん mailto:sage [2006/06/30(金) 22:10:28 ] >>635 gccを自分でビルドすれ
637 名前:デフォルトの名無しさん mailto:sage [2006/07/01(土) 00:15:10 ] x64で動作するコンパイラじゃなくて x64ネイティブバイナリを吐き出すコンパイラって意味じゃないの? gccのAdaって対応してたっけ?
638 名前:デフォルトの名無しさん mailto:sage [2006/07/01(土) 15:32:09 ] そう言われると不安だな……。 AonixやIBMなら売ってそうな気もする。知らんが。
639 名前:デフォルトの名無しさん mailto:sage [2006/07/01(土) 23:50:35 ] >>633 limitedじゃないやつに対してもコンパイラ内部エラーがでた。 実装されたばかりの機能だから、バグバグみたいだ……。 not nullなんかもgcc 4.0.0直後はgenericと混ぜるとすぐ落ちてたしな……。
640 名前:デフォルトの名無しさん mailto:sage [2006/07/01(土) 23:51:53 ] 補足、Limited_Controlledを拡張returnで返そうとするとまだ実装されてませんとかでる。
641 名前:デフォルトの名無しさん mailto:sage [2006/07/14(金) 19:12:19 ] 拡張リターンヤバいマジヤバい privateなrecord型のメンバー変数のアクセス型返せる上に それやるとコンパイル時にもランタイム時にもエラーにならない そして普通に中身書き換えられる >>640 limited_controlled型は拡張リターンでなくてもエラーにならないか? そして保守
642 名前:デフォルトの名無しさん mailto:sage [2006/07/15(土) 01:55:07 ] >>641 普通のリターンでエラーになるのは当たり前なんですよ。コピーができないのがlimited型だから。 ただ、拡張リターンは「コピー無しに値を返せる」わけで、limited型にも使えるのがウリのひとつだった筈。
643 名前:デフォルトの名無しさん mailto:sage [2006/07/26(水) 12:32:11 ] GNAT GPL 2006アップデートされてる? libre2.adacore.comの日付がJul 24, 2006になってるけど
644 名前:デフォルトの名無しさん mailto:sage [2006/07/30(日) 02:22:56 ] DLしなおしてみたが、gdbの日付が変わっているだけだった。しょぼん。
645 名前:デフォルトの名無しさん mailto:sage [2006/07/30(日) 02:58:21 ] GNAT GPL 2006だとimited withしてもtask typeが見えるようにならないみたいなんだが、 これって仕様通りなのかな? 実験してたらGNAT落ちるし。 package Class_As is type Hog
646 名前:デフォルトの名無しさん mailto:sage [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;
647 名前:デフォルトの名無しさん mailto:sage [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落ちるし。
648 名前:デフォルトの名無しさん mailto:sage [2006/07/30(日) 08:49:23 ] 仕様は知らんがたぶんバグじゃないか?
649 名前:デフォルトの名無しさん [2006/08/10(木) 18:58:15 ] エイダってあのANUBISの?
650 名前:デフォルトの名無しさん mailto:sage [2006/08/10(木) 21:16:40 ] >>649 由来は一緒ですがこのスレのAdaと貴方の知るエイダは別物です。
651 名前:デフォルトの名無しさん mailto:sage [2006/08/16(水) 00:43:24 ] ほす
652 名前:デフォルトの名無しさん [2006/08/29(火) 02:00:40 ] ほす
653 名前:デフォルトの名無しさん mailto:sage [2006/09/13(水) 00:53:52 ] hhoo
654 名前:デフォルトの名無しさん mailto:sage [2006/10/03(火) 00:37:58 ] 保守〜
655 名前:デフォルトの名無しさん mailto:sage [2006/10/17(火) 20:08:41 ] >>650 俺はあのADAが可愛かったからこの言語を勉強し始めたよw
656 名前:デフォルトの名無しさん mailto:sage [2006/10/17(火) 23:36:19 ] 拡張returnとかinterfaceとか、、、機能に頭がついていけないorz >>655 俺はAdaを始めてからADAに惚れたんだ。 ZOE3でも彼女が健在でありますように。 /ADA\<コンパイル予測時間90秒
657 名前:デフォルトの名無しさん mailto:sage [2006/10/30(月) 22:29:21 ] ほす
658 名前:デフォルトの名無しさん mailto:sage [2006/11/07(火) 17:14:38 ] ZOEのエイダ知ってる奴多すぎ。 多分監督は言語にもAdaがあるなんて知らなかったんだろうな・・・。 おっと、そんな事を書いている場合じゃない。
659 名前:デフォルトの名無しさん mailto:sage [2006/11/07(火) 22:20:20 ] >>658 絶対知ってる。
660 名前:デフォルトの名無しさん mailto:sage [2006/11/27(月) 04:15:34 ] ほす
661 名前:デフォルトの名無しさん mailto:sage [2006/12/14(木) 23:21:17 ] 適当に保守
662 名前:デフォルトの名無しさん [2006/12/15(金) 00:07:45 ] Adaでシステム構築した強者はいる?
663 名前:デフォルトの名無しさん mailto:sage [2006/12/15(金) 23:18:13 ] >>662 米軍
664 名前:デフォルトの名無しさん mailto:sage [2006/12/16(土) 22:39:18 ] たしかに強者だな
665 名前:デフォルトの名無しさん mailto:sage [2007/01/07(日) 23:31:30 ] 今年最初の保守
666 名前:デフォルトの名無しさん mailto:sage [2007/01/20(土) 23:22:04 ] ほっしゅ
667 名前:デフォルトの名無しさん mailto:sage [2007/02/15(木) 22:58:06 ] 一月たちそうだし保守。 AWS使ってる人っていない? 面白そうなんだが、面倒そうでもある。
668 名前:デフォルトの名無しさん mailto:sage [2007/03/02(金) 20:13:19 ] いつの間に板移転 正直落ちたかと思った保守
669 名前:デフォルトの名無しさん mailto:sage [2007/03/17(土) 20:52:26 ] >>658 亀レスだけど設定だとDelphiって名前のAIもいる
670 名前:デフォルトの名無しさん [2007/03/23(金) 10:31:45 ] 日本でエイダ使えるやつっているのかね
671 名前:デフォルトの名無しさん mailto:sage [2007/04/17(火) 21:01:51 ] 保守
672 名前:デフォルトの名無しさん [2007/04/23(月) 17:15:24 ] いねーよ!!
673 名前:デフォルトの名無しさん mailto:sage [2007/05/11(金) 18:03:03 ] AdaCore TOP の GNAT GPL 2007 Edition が coming soon から Now available になってキタ━━━━━━(゚∀゚)━━━━━━ !!!!! と思ったら現時刻ではまだ DL できないでやんの…wktk
674 名前:デフォルトの名無しさん mailto:sage [2007/05/14(月) 12:12:26 ] orz プルダウンメニューを 2006 から 2007 にしないと GNAT GPL 2007 が見えなかったとは一生の不覚…
675 名前:似非民主主義者ごるごるもあ ◆753Z/RLFiY mailto:セクト琉球新赤軍公報 [2007/06/10(日) 17:06:15 BE:50295825-2BP(201)] ▼米国FBIの言論弾圧を弾劾せよ! 米国民主主義に対して第二次世界大戦の戦後審判とはまったく関係なく、新たな主張を行うことにより危険思想保持者と見なし、記事の削除とアクセス禁止による明らかな言論弾圧を行っている。 FBIは、沖縄米軍基地における軍事的弊害説、9.11フリーメイソン陰謀説に対する言論弾圧が認められた。 ▽民主主義の国民が防衛理念を含む専門知識に基づいて投票することは有り得ない。 したがって軍事兵器の使用は極めて不明瞭な理由により過ちを繰り返しやすく、軍事的弊害を含んでいると言える。 イラクの軍事支配という中東の混乱により米軍の軍需産業は事実上沖縄にまでこの軍事的弊害を生じさせたのである。 一方、1996年8月28日、最高裁は米軍用地の強制使用手続きをめぐる代理署名訴訟で、米軍基地への土地提供を定めた米軍用地特別措置法は憲法に違反しないという判決を下した。 この米軍用地特別措置法は同盟上の米軍の軍需産業を容認するものであるが、前述した沖縄の軍事的弊害とは、似て異なるものであり、両者を民主主義において憲法上合法とすることは不当な判決であると言わざるを得ない。 ▽米国同時多発テロ9.11は、事実上米軍のイラクでの軍事活動を正当化せしめたのであり、数十万の身体障害者を含む戦争犠牲者を齎した。 そして、ブッシュ政権はイラクの民主化に必要な要件を満たしていないばかりか、フリーメイソンの教義に含まれる虐殺思想の終端と軍事経済破綻を防ぐべく水面下での隠蔽工作をしたかの如き示唆を繰り返しているのである。 なぜならば、米国の権威は少数民族を虐殺したことにより維持されてきたからであり、この戦争利権を維持するために大規模なテロ事件を通じて米国民を洗脳する必要があったと言えるからである。 つまり、戦争の可否は国民洗脳により誘導された似非民主主義的な判断に基づくものである。
676 名前:デフォルトの名無しさん [2007/06/12(火) 03:27:53 ] Adaって一般用のソフトとかも作られてるのか?
677 名前:デフォルトの名無しさん mailto:sage [2007/06/12(火) 21:51:56 ] OSなら知ってる marte.unican.es/
678 名前:デフォルトの名無しさん mailto:sage [2007/06/13(水) 03:12:16 ] もしかして、OSつくっちゃったこと?すごいですね・・・
679 名前:デフォルトの名無しさん mailto:sage [2007/07/17(火) 19:07:05 ] ほす
680 名前:デフォルトの名無しさん mailto:sage [2007/07/17(火) 23:35:27 ] O ・・・ オレが作った S ・・・ ソフトウェア
681 名前:デフォルトの名無しさん mailto:sage [2007/08/16(木) 23:49:48 ] アメリカ終わったな バブル弾けたよ マーケットリポート kft.livedoor.biz/
682 名前:デフォルトの名無しさん mailto:sage [2007/09/12(水) 22:57:43 ] このスレまだあったのか。 保守。
683 名前:デフォルトの名無しさん mailto:sage [2007/10/13(土) 16:19:18 ] 保守
684 名前:デフォルトの名無しさん [2007/11/09(金) 16:35:00 ] age
685 名前:デフォルトの名無しさん [2007/11/20(火) 17:08:54 ] Ada本買った記念age
686 名前:デフォルトの名無しさん mailto:sage [2007/11/20(火) 23:00:53 ] >>685 図書館にはマトモな本無くて1冊欲しいんでkwsk
687 名前:685 [2007/11/21(水) 11:36:55 ] >>686 1990年の頃のやつみたいだから古いですよ。 丸善から出てた「ADA 言語とプログラミング方法論」。1万円以上した orz 新宿のジュンク堂書店に売ってました。 ただ本の場所がプログラミング言語の棚じゃなくて、ソフトウェア開発の辺りの 一番下の棚にあったので見つけずらかった。 まだ他のAda本が2冊くらい売ってたかな。いずれも古いです。
688 名前:686 mailto:sage [2007/11/21(水) 12:53:55 ] おぉ、ありがとうございます。 今度見に行ってきます。
689 名前:デフォルトの名無しさん mailto:sage [2007/11/23(金) 16:58:09 ] 池袋のジュンク堂にもあったよ?
690 名前:デフォルトの名無しさん mailto:sage [2008/01/28(月) 17:31:21 ] 賀正
691 名前:デフォルトの名無しさん [2008/02/19(火) 01:08:21 ] age
692 名前:デフォルトの名無しさん mailto:sage [2008/02/20(水) 22:49:48 ] Adaか、良い言語だった。昔、仕事に使うつうことで大量に書籍買ったが、 それ以後この言語が普及することもなく、書籍はまとめて捨てた。
693 名前:デフォルトの名無しさん [2008/02/20(水) 23:23:03 ] 一体どんな仕事で使ったの?
694 名前:デフォルトの名無しさん mailto:sage [2008/02/21(木) 02:39:56 ] 自衛隊は言語何使ってんだ
695 名前:デフォルトの名無しさん mailto:sage [2008/03/01(土) 21:04:25 ] N88-BASIC
696 名前:デフォルトの名無しさん mailto:sage [2008/03/02(日) 11:45:26 ] 備品管理システムはCOBOLだよ。
697 名前:デフォルトの名無しさん mailto:sage [2008/03/29(土) 00:50:07 ] 保守sage
698 名前:デフォルトの名無しさん [2008/03/29(土) 16:56:00 ] 結局Adaの国内での開発事例ってないんだな
699 名前:デフォルトの名無しさん mailto:sage [2008/03/29(土) 17:10:11 ] エイダの利点ってなにですか?
700 名前:デフォルトの名無しさん mailto:sage [2008/03/29(土) 18:34:08 ] 米軍が使うほどの高級言語
701 名前:デフォルトの名無しさん mailto:sage [2008/03/30(日) 00:29:14 ] けど、それだと、すごくお高いんじゃないですか?
702 名前:デフォルトの名無しさん mailto:sage [2008/03/30(日) 14:56:51 ] なに言うてるか全然わからへん
703 名前:デフォルトの名無しさん [2008/03/31(月) 23:48:39 ] >>693 横通の衛星通信システム地上局の系再構成サブシステム。 トランスポンダがどうのこうの言うてたわ。 途中で疾病リタイヤしてしまい、その後このシステムが 実現したかどうかは判らない。 某有名企業が多数参加していた。
704 名前:デフォルトの名無しさん mailto:sage [2008/04/01(火) 00:49:15 ] エイダってwin用のアプリとか作れんの?
705 名前:デフォルトの名無しさん mailto:sage [2008/04/01(火) 01:23:28 ] 滅多な事言うでねぇ
706 名前:デフォルトの名無しさん mailto:sage [2008/04/01(火) 03:06:12 ] AdaでGUI作ろうと乱心^h^hした時の選択肢って GtkAda QtAda wxAda TASH GWindows ガチ で全部?
707 名前:デフォルトの名無しさん mailto:sage [2008/04/11(金) 02:50:28 ] 俺は、会社の上司からCOBOL、Cとペンタゴンの押した言語は メジャーになるからお前も覚えておけと言われて必死にAdaを覚えたw 今思うと騙されたw orz 軍事、航空、宇宙関係のシステムやらないとお目にかかれないね。 PL/SQLやる時にはAda互換だから簡単に入れたけど。 >>968 一応、ISSの開発がAdaだと思ったよ。うちの会社の奴が「きぼう」の 開発の時に必死に覚えてた気がする。
708 名前:デフォルトの名無しさん [2008/04/14(月) 11:19:32 ] >>968
709 名前:デフォルトの名無しさん mailto:sage [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 ] 軍の情報管理はマイナーな言語使う決まりでもあるのか
712 名前:デフォルトの名無しさん mailto:sage [2008/05/22(木) 22:15:03 ] >>711 kwsk その言い方だとアメリカ以外のいずれかの国の軍はAda以外のマイナーな言語を使ってるんだよな?
713 名前:デフォルトの名無しさん mailto:sage [2008/05/22(木) 22:44:27 ] Adaてマイナーだろ
714 名前:デフォルトの名無しさん mailto:sage [2008/05/26(月) 04:18:46 ] まあマイナーなのがADAになったな、と。
715 名前:デフォルトの名無しさん mailto:sage [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限定の話だったのか? 大して英語出来ない俺には険しい道だ…。
716 名前:デフォルトの名無しさん mailto:sage [2008/09/23(火) 07:22:50 ] ほ
717 名前:デフォルトの名無しさん [2008/09/23(火) 19:54:38 ] 日本人はなぜかみんなADAを避けている。なぜか?猿真似しかできない、周りがやらないとできないから。 日本の会社の製品はこれだけかな? JEOL Nuclear Magnetic Resonance だがADAで書かれた最先端の製品は知らずに使っている。 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
718 名前:デフォルトの名無しさん mailto:sage [2008/09/23(火) 20:34:32 ] >>717 頭が悪いのか釣りなのかはっきりしろ
719 名前:デフォルトの名無しさん mailto:sage [2008/09/26(金) 11:32:14 ] 頭の悪い釣りです
720 名前:デフォルトの名無しさん mailto:sage [2008/09/27(土) 00:18:46 ] なるほど
721 名前:デフォルトの名無しさん [2008/10/22(水) 22:33:09 ] age
722 名前:デフォルトの名無しさん [2008/12/15(月) 20:39:23 ] 保守
723 名前:デフォルトの名無しさん mailto:sage [2009/02/20(金) 00:15:21 ] ho
724 名前:デフォルトの名無しさん [2009/03/14(土) 23:39:31 ] syu
725 名前:デフォルトの名無しさん [2009/04/25(土) 18:17:07 ] 型推論してくれよ
726 名前:デフォルトの名無しさん mailto:sage [2009/09/18(金) 17:16:36 ] まだあったのか……ほsy
727 名前:F-22Aがバグった!! [2009/09/28(月) 23:29:07 ] 沖縄に派遣された米軍のF-22ステルス戦闘機だが、搭載コンピューターのソフトウェアに不具合が起きて 一度引き返していたと、CNNのテレビ報道が伝えている 。それによれば、2月11日に沖縄を目指してハワイを飛び立った 12機のF-22は、日付変更線を越えたあたりで全機ともナビゲーションと通信ができなくなったとのこと。 このため、通信が使えないので目視でやりとりをし、同行した空中給油機に誘導されてハワイに引き返したという。 アメリカ空軍はソフトウェアに問題があったことを認めているが、当然ながら軍事機密として詳細を明らかにしていない。 日付変更線を越えたところで起きたことから、日付関連のバグではないかと見られている。 it.slashdot.org/article.pl?sid=07/02/25/2038217 www.flightglobal.com/articles/2007/02/14/212102/pictures-navigational-software-glitch-forces-lockheed-martin-f-22-raptors-back-to-hawaii.html
728 名前:Adaとは? [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に色濃い影響を残している。
729 名前:デフォルトの名無しさん mailto:sage [2009/09/29(火) 01:54:47 ] Adaでハローワールドしたけど実行ファイル重過ぎて萎えたわw
730 名前:デフォルトの名無しさん mailto:sage [2009/09/29(火) 10:09:00 ] >>729 リンカに-sを渡しているか? -s無しだと、デバッグ情報が入ったままだぞ。 Adaのライブラリはデバッグ情報込みでビルド済みだからな。
731 名前:デフォルトの名無しさん [2009/10/01(木) 12:51:49 ] >>728 確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな〜〜ww
732 名前:デフォルトの名無しさん mailto:sage [2009/10/05(月) 11:06:45 ] こんなマイナー言語のスレにも自演荒らしって湧くんだな
733 名前:デフォルトの名無しさん mailto:sage [2009/10/06(火) 05:24:28 ] Aja, when all my dime dancin' is through, i run to you...
734 名前:デフォルトの名無しさん [2009/10/08(木) 00:26:59 ] Adaの凄いところは、Algol系のブロック構造を持つ、抽象データ型を サポートする、統合開発環境(名前忘れた)がある、といったところ。 これらは、当時、膨らむ一方のソフトウェア開発コストに危機感を 持った米国国防総省が、生産性と品質を向上させるために取り組んだプロジェクトがAdaを生んだ。 今の技術常識からすると、上記のAdaの特徴は当たり前すぎて、どう凄いのかピンと来ないと思うけど、 これが20年以上前に作られたところが凄い。というか、 Adaは、現在のOO言語(+クラスライブラリ+開発環境)の基礎となるアイデアおよび技術の基になっ ているのだ。 Adaって、言語仕様だけじゃなく、 処理系の正当性を認定するためのテストスイートや、国に認定を受ける手順まで標準化されてるんですね。 さすが軍用言語だ... こんなのをみつけました Ada Information Clearinghouse - AdaIC www.adaic.org/ Ada Home the Home of the Brave Ada Programmers (HBAP) www.adahome.com/ ところで、イベントや並列動作を記述できる、VHDLという、Adaの親戚言語があります。 これも国防総省言語なんですが、この言語は、LSIをつくるとき日常的に使われてます。
735 名前:デフォルトの名無しさん mailto:sage [2009/10/08(木) 01:22:24 ] adaicは規格を配布しているところなので、次スレの>>1 に入れたいねえ。 何年後の話だろ……。
736 名前:デフォルトの名無しさん mailto:sage [2009/11/05(木) 11:05:38 ] Programming Language Conceptってクラスで、 Fortran -> Python ときて今Adaをやってます なんか馴染みにくい… 来週からはHaskellだ
737 名前:デフォルトの名無しさん mailto:sage [2009/11/06(金) 19:27:08 ] >>736 授業! すごいなー。いいなー。 どこまでやってる? 列挙型の要素が関数とか、genericのis <>とか、デフォルト引数は毎回評価とか、 taskを返す拡張return中でランデブーしたらデッドロックするとかやってる?
738 名前:デフォルトの名無しさん mailto:sage [2009/11/12(木) 12:04:20 ] >>736 Haskelはなじみにくいどころではないだろうな。 しっかし、次は論理型言語の出番だろうからPrologか?
739 名前:デフォルトの名無しさん mailto:sage [2010/02/12(金) 19:36:56 ] 落ちないね。
740 名前:デフォルトの名無しさん mailto:sage [2010/03/17(水) 18:37:31 ] 定期ho
741 名前:デフォルトの名無しさん mailto:sage [2010/03/17(水) 18:57:02 ] 重要なところとして、タスク、ランデブーが外れてる。
742 名前:デフォルトの名無しさん [2010/05/23(日) 19:07:15 ] >>122 Ada自体は如何にも理想主義的ですが、それを延々と使い続けているのは、アングロサクソンにとりわけ顕著な、"pragmatism"ってやつに拠るんじゃないですか? 納得できる程度の種は手に入れたので、それをいちいちおじゃんにしないで改良して使って、「走りながら考えよう。」式開発手法を結局実際にはやっているんですよ。 やっぱり叩き台が無いと集団作業って進まないでしょw 70年代当時、何とは無しにプログラミング言語の学術体系がこなれてきたように思えたので、ひとつ仕切り直して厳格に規定してみようと、お役所らしくやったみたいですが、コンペの結果採用されたのはカソリック系西ゴート人の発案でしたね。 西ゴート人らしい如何にもイデア主義的(≒人間中心的理想主義的)な仕様は社会的基盤としてはやはり優れていたのではなかったのでしょうか。 Adaは彼等にとって単なるプログラミング言語としてのみよりも一般的なソフトウェア開発環境として取り扱われているようでもありますから、 例えばハードウェアの開発史におけるALUのようなアングロサクソン得意の現実主義的一発屋的背に腹は変えられずだったんだけど出来てみたらこりゃ凄いね的アイデアが生まれた様な成果を期待するための地平として取り扱われているんですよきっと。
743 名前:デフォルトの名無しさん [2010/05/23(日) 19:15:03 ] >>133 絵だからなw(黒 2010年時点だとベッキークルーエルちゃんとの対比で語ることも可能かも知れませんねww
744 名前:デフォルトの名無しさん [2010/05/23(日) 19:39:30 ] >>323 C表記マンセーはメモリがキロ5万円した頃の思想と思われw メモリが産業の米と呼ばれるようになりキロ当たりの単価が本当の米より安くなりOOPが当然の手法になった現代に於いては、逐次処理表記に拘り過ぎると歴史を知らずに蟻地獄コードを書く後輩を再生産する危険が増すと思われまするww
745 名前:デフォルトの名無しさん [2010/05/23(日) 20:03:13 ] 昔はx86とか、今はARM7とか貧相な石で皆Cの勉強してるんだから、 石の値段の安くなったのを機会にAtomでAdaの勉強できるとまた流行るかも知れませんね。 テレビ観るので落ちます。
746 名前:デフォルトの名無しさん mailto:sage [2010/05/23(日) 20:36:53 ] Adaって最新仕様で一昔前の仕様と比べて随分機能が増えたけど、このスレの人達はそういう部分もちゃんと追えてるの? スレが立ったころと今では全く違うはず。
747 名前:デフォルトの名無しさん mailto:sage [2010/05/24(月) 21:47:57 ] スレが立ってからつってもなあ。Ada2005が出ただけとも言える。 次はAda2012だけど、それまでこのスレはあるんだろうか?
748 名前:デフォルトの名無しさん mailto:sage [2010/05/25(火) 18:58:58 ] 立ってから8年も経つんだし、2年くらい余裕じゃないか?w >>746 05は追えてるつもり 12は全部はやらないかも
749 名前:デフォルトの名無しさん mailto:sage [2010/06/05(土) 07:06:13 ] このスレの住人は仕事でAda使ってんの? 趣味?
750 名前:デフォルトの名無しさん mailto:sage [2010/06/05(土) 18:24:37 ] 趣味に決まってんだろ。 仕事があるならくれよ、喜んで行くからさ。
751 名前:デフォルトの名無しさん mailto:sage [2010/06/05(土) 19:06:39 ] アメリカから押し売りされる航空機のソフトウェア開発の仕事があるらしいですよ
752 名前:デフォルトの名無しさん mailto:sage [2010/06/05(土) 20:10:36 ] 行く?目隠されて連れて行かれるんだよ。
753 名前:デフォルトの名無しさん mailto:sage [2010/06/07(月) 21:25:31 ] ドナドナドーナードーナー