[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 02/06 10:45 / Filesize : 196 KB / Number-of Response : 1021
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

米国国防省の標準高等言語エイダ(Ada)を語れ!



1 名前:名無しさんは伊達じゃない [02/01/08 21:29.net]
どうよ?

321 名前:デフォルトの名無しさん mailto:sage [04/03/31 01:42.net]
10歳違いの妹?


322 名前:デフォルトの名無しさん mailto:sage [04/03/31 05:52.net]
頑固でかたくなにゆずらない親父 ada
若くてすぐにつっぱしる Delphi

323 名前:デフォルトの名無しさん [04/04/02 21:44.net]
日本語の参考サイトがあんまりないね…

324 名前:デフォルトの名無しさん [04/04/10 12:18.net]
>>318
確かにあまりみかけないな

325 名前:デフォルトの名無しさん [04/04/11 16:54.net]
ちょっと使ってみようっと。

326 名前:デフォルトの名無しさん [04/04/15 23:38.net]
レス数が少ないけど、あまり使われてないのか

327 名前:デフォルトの名無しさん [04/04/24 18:40.net]
>>321
多分そうだろうな。

328 名前:デフォルトの名無しさん [04/04/24 21:16.net]
Adaの構文がCよりだったらなぁ…。で、Ada使ってるヤシのOSって何?
漏れはデビアソだけど。

329 名前:デフォルトの名無しさん mailto:sage [04/04/24 21:26.net]
点呼2!…って解釈でいいのかな?

Windows2000
上の方でA#いじってた奴です



330 名前:デフォルトの名無しさん [04/04/24 21:38.net]
>>324
Linuxだと、Adaの独自のマニュアルがあったり、cursesっていう端末制御ライブラリが使えたりで、
他にもGNATとか色々ありますよ。Linuxは低燃費だからいらなくなったPCで試してみると面白いよ。

331 名前:デフォルトの名無しさん mailto:sage [04/04/25 20:01.net]
>>325
「いらなくなったPC」欲しいなあ…
WindowsでもgnatはありますしAPIは呼べますよん

…まさか、ふたりしかこのスレに残って無いなんてことは…!?

332 名前:デフォルトの名無しさん mailto:sage [04/04/25 20:11.net]
え? 点呼とってたんですか?
じゃ、3。

Win2000 & gnat & gwindows


333 名前:デフォルトの名無しさん mailto:sage [04/04/25 23:42.net]
4
redhat


334 名前:323,325 [04/04/26 00:34.net]
WindowsにもGNATとかあるんだ。スマソ。ところで「プログラミングの壷 III技術編」なる本に
Adaについて少し語ってある。数頁にわたって他の言語と比較してた。
ちなみに著者はプローガさんでつ。他には「ハッカーズ大事典」にもあった。話は変わるけどさ
(また重複してたらスマソ)Linuxには開発者(ユーザではなく)向けのパッケージが別にあって
開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に
あるからユーザには開発者レベルの自由もあるんだよね。よく「Have Fun!」とか書いてある。
で、デュアルブートしてLinux使ってるWindowserはいる?

335 名前:323,325 mailto:sage [04/04/26 00:34.net]
WindowsにもGNATとかあるんだ。スマソ。ところで「プログラミングの壷 III技術編」なる本に
Adaについて少し語ってある。数頁にわたって他の言語と比較してた。
ちなみに著者はプローガさんでつ。他には「ハッカーズ大事典」にもあった。話は変わるけどさ
(また重複してたらスマソ)Linuxには開発者(ユーザではなく)向けのパッケージが別にあって
開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に
あるからユーザには開発者レベルの自由もあるんだよね。よく「Have Fun!」とか書いてある。
で、デュアルブートしてLinux使ってるWindowserはいる?

336 名前:デフォルトの名無しさん mailto:sage [04/04/26 00:36.net]
sage忘れを阻止しようとした末の二重カキコ。スレ汚してスマソ(´・ω・`)

337 名前:デフォルトの名無しさん mailto:sage [04/04/26 19:13.net]
>>329
デュアルブートじゃないけど、
Win2000で、Virtual PCにLinux入れて遊んでる。


338 名前:デフォルトの名無しさん mailto:sage [04/04/27 13:30.net]
記述量がめちゃくちゃ多いだろ?

339 名前:デフォルトの名無しさん mailto:sage [04/04/27 19:07.net]
うん。



340 名前:デフォルトの名無しさん [04/04/30 15:39.net]
>>333
もう少し少なくなればいいのにね。

341 名前:デフォルトの名無しさん [04/05/10 18:16.net]
Ada は、Panic に成らないような、エラー処理がふんだんにできると
聞きましたが、そうなんでしょうか。

342 名前:デフォルトの名無しさん mailto:sage [04/05/10 22:51.net]
>>336
むかしのイメージだねえ。


343 名前:デフォルトの名無しさん mailto:sage [04/05/10 23:01.net]
>>336

冷戦前はね、といってみる…。

344 名前:デフォルトの名無しさん mailto:age [04/05/14 04:32.net]
商業ベースのAdaはものすごく枯れてるらしいねぇ。そして、このスレは別の意味で
枯れてきてるような気がw。「2ch流らくらくAda学習術」みたいな、Ada版K&Rでも作って
みたいなぁ。ちなみに、Adaで有名なTutorialみたいな物はあるのでしょうか >詳しい人

345 名前:デフォルトの名無しさん mailto:sage [04/05/14 09:18.net]
>>336
いまや、C++, Java, C#にも例外処理はあるし、
オブジェクト指向だから協力。

346 名前:デフォルトの名無しさん mailto:sage [04/05/14 09:18.net]
>>339
昔のbitの別冊。

347 名前:デフォルトの名無しさん [04/05/20 21:48.net]
今現在で、他の言語と比べたAdaの利点ってなんだろう?

348 名前:デフォルトの名無しさん mailto:sage [04/05/22 01:01.net]
ランデブーという圧倒的利点が・・・w

ボーランドがコンパイラを出してれば、Adaもメジャーになれてたかもな

349 名前:デフォルトの名無しさん mailto:sage [04/05/22 16:03.net]
Ada0Yになると、また色々面白いことができそうなんだが、
正直Ada95時点では、強力過ぎて迷惑な型チェックとランデブー等組み込みの同期メカニズムぐらいしか無いな

いや、マルチスレッドプログラムで、構文故にケアレスミスを弾いてくれるのはありがたい筈なんだけど



350 名前:デフォルトの名無しさん [04/05/23 00:05.net]
Ada0Yが登場するのはいつなんだ?

351 名前:デフォルトの名無しさん mailto:sage [04/05/23 00:40.net]
独立型戦闘支援ユニットADA

352 名前:デフォルトの名無しさん mailto:sage [04/05/23 06:05.net]
このまま消えるのは、惜しい逸材なんだが
PL/Iと同じ運命をたどるのだろうな
Adaの先進的だった機能は
C++にほとんどキャッチアップされてしまったから
存在意義もあまりないし

353 名前:デフォルトの名無しさん mailto:sage [04/05/23 06:23.net]
米軍のいろんな所で使われているんじゃないの?

354 名前:デフォルトの名無しさん mailto:sage [04/05/23 06:35.net]
Ada0Yを知った時はびっくりしたが、Fortranですら改定され続けてるんだ。
それに、先進的な言語を作ろうとしたのではなくて、
必要な機能を備えた言語を作ろうとしてできたわけだから。
しかも組み込み向けだし。
日本での需要が無かろうが余計な心配だろ。

355 名前:デフォルトの名無しさん [04/06/12 16:43.net]
この言語すたれちゃったのか?

356 名前:デフォルトの名無しさん mailto:sage [04/06/12 20:09.net]
gccのメーリングリストとか見てると、続々とAda0Yの先取り実装がなされてて
このところ次のバージョンが楽しみではある。

とりあえずクロージャとinterfaceさえ追加されれば他の言語に追いつける。
そうすれば元から持ってたスレッドや低レベル操作で優位に立てる…んじゃないかなー、と


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がメジャーになる日は果たしてくるのだろうか?






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

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<196KB

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