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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29] どうよ？ 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の本があった。 　日本語１冊、英語３冊。 　日本語のは出版が古く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〜陸海空オンライン〜 次世代新基軸ＭＭＯ製作プロジェクト始動！ ＰＧ大募集！力あるものだけね。 よろすく 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が可愛かったからこの言語を勉強し始めたよｗ 656 名前：デフォルトの名無しさん mailto:sage [2006/10/17(火) 23:36:19 ] 拡張returnとかinterfaceとか、、、機能に頭がついていけないorz >>655 俺はAdaを始めてからADAに惚れたんだ。 ZOE3でも彼女が健在でありますように。 ／ADA＼<コンパイル予測時間９０秒 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は、沖縄米軍基地における軍事的弊害説、９．１１フリーメイソン陰謀説に対する言論弾圧が認められた。 ▽民主主義の国民が防衛理念を含む専門知識に基づいて投票することは有り得ない。 　したがって軍事兵器の使用は極めて不明瞭な理由により過ちを繰り返しやすく、軍事的弊害を含んでいると言える。 　イラクの軍事支配という中東の混乱により米軍の軍需産業は事実上沖縄にまでこの軍事的弊害を生じさせたのである。 　一方、１９９６年８月２８日、最高裁は米軍用地の強制使用手続きをめぐる代理署名訴訟で、米軍基地への土地提供を定めた米軍用地特別措置法は憲法に違反しないという判決を下した。 　この米軍用地特別措置法は同盟上の米軍の軍需産業を容認するものであるが、前述した沖縄の軍事的弊害とは、似て異なるものであり、両者を民主主義において憲法上合法とすることは不当な判決であると言わざるを得ない。 ▽米国同時多発テロ９．１１は、事実上米軍のイラクでの軍事活動を正当化せしめたのであり、数十万の身体障害者を含む戦争犠牲者を齎した。 　そして、ブッシュ政権はイラクの民主化に必要な要件を満たしていないばかりか、フリーメイソンの教義に含まれる虐殺思想の終端と軍事経済破綻を防ぐべく水面下での隠蔽工作をしたかの如き示唆を繰り返しているのである。 　なぜならば、米国の権威は少数民族を虐殺したことにより維持されてきたからであり、この戦争利権を維持するために大規模なテロ事件を通じて米国民を洗脳する必要があったと言えるからである。 　つまり、戦争の可否は国民洗脳により誘導された似非民主主義的な判断に基づくものである。 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　・・・　オレが作った Ｓ　・・・　ソフトウェア 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だよ。

---

---

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

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