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

1 名前：名無しさんは伊達じゃない [02/01/08 21:29.net] どうよ？ 710 名前：デフォルトの名無しさん [2008/03/29(土) 16:56:00 .net] 結局Adaの国内での開発事例ってないんだな 711 名前：デフォルトの名無しさん mailto:sage [2008/03/29(土) 17:10:11 .net] エイダの利点ってなにですか？ 712 名前：デフォルトの名無しさん mailto:sage [2008/03/29(土) 18:34:08 .net] 米軍が使うほどの高級言語 713 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 00:29:14 .net] けど、それだと、すごくお高いんじゃないですか？ 714 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 14:56:51 .net] なに言うてるか全然わからへん 715 名前：デフォルトの名無しさん [2008/03/31(月) 23:48:39 .net] >>693 横通の衛星通信システム地上局の系再構成サブシステム。 トランスポンダがどうのこうの言うてたわ。 途中で疾病リタイヤしてしまい、その後このシステムが 実現したかどうかは判らない。 某有名企業が多数参加していた。 716 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 00:49:15 .net] エイダってwin用のアプリとか作れんの？ 717 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 01:23:28 .net] 滅多な事言うでねぇ 718 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 03:06:12 .net] AdaでGUI作ろうと乱心^h^hした時の選択肢って GtkAda QtAda wxAda TASH GWindows ガチ で全部？ 719 名前：デフォルトの名無しさん mailto:sage [2008/04/11(金) 02:50:28 .net] 俺は、会社の上司からCOBOL、Cとペンタゴンの押した言語は メジャーになるからお前も覚えておけと言われて必死にAdaを覚えたｗ 今思うと騙されたｗ orz 軍事、航空、宇宙関係のシステムやらないとお目にかかれないね。 PL/SQLやる時にはAda互換だから簡単に入れたけど。 >>968 一応、ISSの開発がAdaだと思ったよ。うちの会社の奴が「きぼう」の 開発の時に必死に覚えてた気がする。 720 名前：デフォルトの名無しさん [2008/04/14(月) 11:19:32 .net] >>968 721 名前：デフォルトの名無しさん mailto:sage [2008/05/20(火) 01:34:20 .net] 確かF-22 ラプターの制御ソフトはAdaで書かれてたんじゃ？ 722 名前：デフォルトの名無しさん [2008/05/22(木) 13:05:33 .net] >>709 その噂はよく聞くよね。真偽は不明だけど。 タイプ量多いけど Adaってそんなに悪くない言語だと思うんだけどなぁ。 subtypeとか名前付き引数とかけっこういいと思った。 723 名前：デフォルトの名無しさん [2008/05/22(木) 21:41:55 .net] 軍の情報管理はマイナーな言語使う決まりでもあるのか 724 名前：デフォルトの名無しさん mailto:sage [2008/05/22(木) 22:15:03 .net] >>711 kwsk その言い方だとアメリカ以外のいずれかの国の軍はAda以外のマイナーな言語を使ってるんだよな？ 725 名前：デフォルトの名無しさん mailto:sage [2008/05/22(木) 22:44:27 .net] Adaてマイナーだろ 726 名前：デフォルトの名無しさん mailto:sage [2008/05/26(月) 04:18:46 .net] まあマイナーなのがADAになったな、と。 727 名前：デフォルトの名無しさん mailto:sage [2008/07/24(木) 01:10:09 .net] 保守っとこう 以下チラ裏 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限定の話だったのか？ 大して英語出来ない俺には険しい道だ…。 728 名前：デフォルトの名無しさん mailto:sage [2008/09/23(火) 07:22:50 .net] ほ 729 名前：デフォルトの名無しさん [2008/09/23(火) 19:54:38 .net] 日本人はなぜかみんな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 730 名前：デフォルトの名無しさん mailto:sage [2008/09/23(火) 20:34:32 .net] >>717 頭が悪いのか釣りなのかはっきりしろ 731 名前：デフォルトの名無しさん mailto:sage [2008/09/26(金) 11:32:14 .net] 頭の悪い釣りです 732 名前：デフォルトの名無しさん mailto:sage [2008/09/27(土) 00:18:46 .net] なるほど 733 名前：デフォルトの名無しさん [2008/10/22(水) 22:33:09 .net] age 734 名前：デフォルトの名無しさん [2008/12/15(月) 20:39:23 .net] 保守 735 名前：デフォルトの名無しさん mailto:sage [2009/02/20(金) 00:15:21 .net] ho 736 名前：デフォルトの名無しさん [2009/03/14(土) 23:39:31 .net] syu 737 名前：デフォルトの名無しさん [2009/04/25(土) 18:17:07 .net] 型推論してくれよ 738 名前：デフォルトの名無しさん mailto:sage [2009/09/18(金) 17:16:36 .net] まだあったのか……ほsy 739 名前：Ｆ-22Ａがバグった！！ [2009/09/28(月) 23:29:07 .net] 沖縄に派遣された米軍の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 740 名前：Adaとは？ [2009/09/28(月) 23:38:15 .net] プログラミング言語のひとつ。米国防総省が作らせた。 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に色濃い影響を残している。 741 名前：デフォルトの名無しさん mailto:sage [2009/09/29(火) 01:54:47 .net] Adaでハローワールドしたけど実行ファイル重過ぎて萎えたわｗ 742 名前：デフォルトの名無しさん mailto:sage [2009/09/29(火) 10:09:00 .net] >>729 リンカに-sを渡しているか？ -s無しだと、デバッグ情報が入ったままだぞ。 Adaのライブラリはデバッグ情報込みでビルド済みだからな。 743 名前：デフォルトの名無しさん [2009/10/01(木) 12:51:49 .net] >>728 確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな〜〜ｗｗ 744 名前：デフォルトの名無しさん mailto:sage [2009/10/05(月) 11:06:45 .net] こんなマイナー言語のスレにも自演荒らしって湧くんだな 745 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 05:24:28 .net] Aja, when all my dime dancin' is through, i run to you... 746 名前：デフォルトの名無しさん [2009/10/08(木) 00:26:59 .net] 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をつくるとき日常的に使われてます。 747 名前：デフォルトの名無しさん mailto:sage [2009/10/08(木) 01:22:24 .net] adaicは規格を配布しているところなので、次スレの>>1に入れたいねえ。 何年後の話だろ……。 748 名前：デフォルトの名無しさん mailto:sage [2009/11/05(木) 11:05:38 .net] Programming Language Conceptってクラスで、 Fortran -> Python ときて今Adaをやってます なんか馴染みにくい… 来週からはHaskellだ 749 名前：デフォルトの名無しさん mailto:sage [2009/11/06(金) 19:27:08 .net] >>736 授業！ すごいなー。いいなー。 どこまでやってる？ 列挙型の要素が関数とか、genericのis <>とか、デフォルト引数は毎回評価とか、 taskを返す拡張return中でランデブーしたらデッドロックするとかやってる？ 750 名前：デフォルトの名無しさん mailto:sage [2009/11/12(木) 12:04:20 .net] >>736 Haskelはなじみにくいどころではないだろうな。 しっかし、次は論理型言語の出番だろうからPrologか? 751 名前：デフォルトの名無しさん mailto:sage [2010/02/12(金) 19:36:56 .net] 落ちないね。 752 名前：デフォルトの名無しさん mailto:sage [2010/03/17(水) 18:37:31 .net] 定期ho 753 名前：デフォルトの名無しさん mailto:sage [2010/03/17(水) 18:57:02 .net] 重要なところとして、タスク、ランデブーが外れてる。 754 名前：デフォルトの名無しさん [2010/05/23(日) 19:07:15 .net] >>122　Ａｄａ自体は如何にも理想主義的ですが、それを延々と使い続けているのは、アングロサクソンにとりわけ顕著な、"pragmatism"ってやつに拠るんじゃないですか？ 納得できる程度の種は手に入れたので、それをいちいちおじゃんにしないで改良して使って、「走りながら考えよう。」式開発手法を結局実際にはやっているんですよ。 やっぱり叩き台が無いと集団作業って進まないでしょｗ ７０年代当時、何とは無しにプログラミング言語の学術体系がこなれてきたように思えたので、ひとつ仕切り直して厳格に規定してみようと、お役所らしくやったみたいですが、コンペの結果採用されたのはカソリック系西ゴート人の発案でしたね。 西ゴート人らしい如何にもイデア主義的（≒人間中心的理想主義的）な仕様は社会的基盤としてはやはり優れていたのではなかったのでしょうか。 Ａｄａは彼等にとって単なるプログラミング言語としてのみよりも一般的なソフトウェア開発環境として取り扱われているようでもありますから、 例えばハードウェアの開発史におけるＡＬＵのようなアングロサクソン得意の現実主義的一発屋的背に腹は変えられずだったんだけど出来てみたらこりゃ凄いね的アイデアが生まれた様な成果を期待するための地平として取り扱われているんですよきっと。 [] [ここ壊れてます] 756 名前：デフォルトの名無しさん [2010/05/23(日) 19:15:03 .net] >>133　絵だからなｗ(黒　２０１０年時点だとベッキークルーエルちゃんとの対比で語ることも可能かも知れませんねｗｗ 757 名前：デフォルトの名無しさん [2010/05/23(日) 19:39:30 .net] >>323　Ｃ表記マンセーはメモリがキロ５万円した頃の思想と思われｗ　 メモリが産業の米と呼ばれるようになりキロ当たりの単価が本当の米より安くなりＯＯＰが当然の手法になった現代に於いては、逐次処理表記に拘り過ぎると歴史を知らずに蟻地獄コードを書く後輩を再生産する危険が増すと思われまするｗｗ 758 名前：デフォルトの名無しさん [2010/05/23(日) 20:03:13 .net] 昔はｘ８６とか、今はＡＲＭ７とか貧相な石で皆Ｃの勉強してるんだから、 石の値段の安くなったのを機会にＡｔｏｍでＡｄａの勉強できるとまた流行るかも知れませんね。 テレビ観るので落ちます。 759 名前：デフォルトの名無しさん mailto:sage [2010/05/23(日) 20:36:53 .net] Adaって最新仕様で一昔前の仕様と比べて随分機能が増えたけど、このスレの人達はそういう部分もちゃんと追えてるの？ スレが立ったころと今では全く違うはず。 760 名前：デフォルトの名無しさん mailto:sage [2010/05/24(月) 21:47:57 .net] スレが立ってからつってもなあ。Ada2005が出ただけとも言える。 次はAda2012だけど、それまでこのスレはあるんだろうか？ 761 名前：デフォルトの名無しさん mailto:sage [2010/05/25(火) 18:58:58 .net] 立ってから8年も経つんだし、2年くらい余裕じゃないか？ｗ >>746 05は追えてるつもり 12は全部はやらないかも 762 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 07:06:13 .net] このスレの住人は仕事でAda使ってんの？ 趣味？ 763 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 18:24:37 .net] 趣味に決まってんだろ。 仕事があるならくれよ、喜んで行くからさ。 764 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 19:06:39 .net] アメリカから押し売りされる航空機のソフトウェア開発の仕事があるらしいですよ 765 名前：デフォルトの名無しさん mailto:sage [2010/06/05(土) 20:10:36 .net] 行く？目隠されて連れて行かれるんだよ。 766 名前：デフォルトの名無しさん mailto:sage [2010/06/07(月) 21:25:31 .net] ドナドナドーナードーナー 767 名前：デフォルトの名無しさん mailto:sage [2010/08/03(火) 21:41:41 .net] 移転ついでに落とされなかった記念保守 768 名前：デフォルトの名無しさん mailto:sage [2010/08/19(木) 02:18:28 .net] www.adacore.com/2010/08/05/NF-64-J802-022-gnat/ これがLive-Docsに載らないんだが、どういう機能だろう。 文面からC#の属性みたいなもんとは思うけど。 769 名前：デフォルトの名無しさん mailto:sage [2010/09/28(火) 18:10:05 .net] 保守 770 名前：デフォルトの名無しさん [2010/10/16(土) 12:23:20 .net] 　　　　　　　　　　　 ＿ 　　　　　　　 r-､' ´　　 ｀ヽr-､ 　　　　　　　ｨ7　/l: ハヽﾊ ﾄヾ 　　 駄スレを沈めることはこの俺が許さん！ 　　　　　　　 '|l |'´_`　´_ ｀| || 　　　信念に基づいて行動する、 　　　　　　　 |　|´ﾋ} 　 ﾋ}｀! l|　　　それを人は正義と言う。 　　　__ノﾞ).　从 l,　　_'_. 　|从　　　今俺が行ってることは保守ではない。 　,_'（＿ ﾉ_ヽ　ヾl.＞ - ,イ;ﾘ　　　　正義という名の粛清だぁ！ 　{ f:ﾃ} {'f:ﾃ}',／＼ヽ--/／ヽ 　　　 　ヽ,r─‐ ､ｨ .､､ i l＞Y＜! i　'､ 　　　バーニング！ 　/ iゝ＿ﾉ iヽ　/l　　 |l　　l 　 ', 　lﾝヽ/ムノじ 771 名前：デフォルトの名無しさん [2010/10/16(土) 16:55:03 .net] このスレ8年たってるのか レスつけても相手が見てる可能性がとても低い 772 名前：デフォルトの名無しさん mailto:sage [2010/10/16(土) 18:03:58 .net] 見てるよ 773 名前：デフォルトの名無しさん mailto:sage [2010/10/16(土) 19:06:29 .net] 俺も見てるよ 774 名前：デフォルトの名無しさん mailto:sage [2010/10/23(土) 17:40:30 .net] で、話題は無しか？w Ada2012の、コンテナへのアクセサはいろんな案が対立してるが、どれになるかトトカルチョでもする？ 俺はAI05-0212かな。 775 名前：デフォルトの名無しさん mailto:sage [2010/11/18(木) 13:54:37 .net] bush.sourceforge.net/ ログインシェルとしても使える、Ada のサブセット+α AdaScript の対話式インタプリタ 776 名前：デフォルトの名無しさん mailto:sage [2010/11/19(金) 20:23:38 .net] >>762 誰が好き好んでAdaでシェルスクリプトを書こうとするんだよw スクリプトなんて短く書けるのが命じゃねーか 777 名前：デフォルトの名無しさん mailto:sage [2010/11/20(土) 02:01:18 .net] これさえあれば搭乗機のシステム書き換えシーンでBASICを使わずに済みます 778 名前：デフォルトの名無しさん [2010/11/24(水) 11:13:17 .net] もしご存知でしたら教えて欲しいのですけれども、 Orbiter SimでMultistageやspacecraftアドオンを作ったvinkaさんって方をご存知な人はいませんか？ エイダ家の関係者ではないか？と思うのですけれども。 イタリア陸軍のお家の方だったのでしょうか？ 779 名前：デフォルトの名無しさん [2010/11/24(水) 11:38:53 .net] バイロンはホイヘンスと同じ家の出なのだろうか？ vinkaさん名でのOrbiter用アドオンの開発は2006で止まっているようですが、 いまだにそのアドオンモジュールを使って宇宙船を設定している人もいるようです。 ランディングギア操作部分にバグなどがあったままだったような気がしますが、 その後、どうなったのかな？といったところです。 780 名前：デフォルトの名無しさん mailto:sage [2011/01/05(水) 14:26:45 .net] ほs 781 名前：デフォルトの名無しさん mailto:sage [2011/03/04(金) 15:58:51.40 .net] 落ちないってのが凄いよなあこのスレ 782 名前：デフォルトの名無しさん mailto:sage [2011/03/04(金) 22:34:03.97 .net] 980超えたらすぐ落ちる 783 名前： 忍法帖【Lv=1,xxxP】 mailto:sage [2011/04/14(木) 21:14:38.28 .net] this 784 名前： 忍法帖【Lv=1,xxxP】 mailto:sage [2011/04/14(木) 21:41:00.98 .net] test 785 名前：デフォルトの名無しさん mailto:sage [2011/05/24(火) 22:05:28.47 .net] 定期保守 786 名前： 忍法帖【Lv=6,xxxP】 mailto:sage [2011/06/28(火) 12:59:58.63 .net] テストついで保守 787 名前： 忍法帖【Lv=23,xxxPT】 mailto:sage [2011/08/01(月) 14:42:59.77 .net] 月明け保守 788 名前：デフォルトの名無しさん mailto:sage [2011/09/05(月) 23:51:12.72 .net] >>774 同上 789 名前：デフォルトの名無しさん mailto:sage [2011/11/14(月) 11:36:31.75 .net] 気になるか？ まあ、お前ごときどうせ株なんか知らんだろうし、どうにも出来んし説明してやろう。 崩壊してんのは、株取引のほうだ。 すでに年金すら韓銀砲で溶けてる。今なお溶かし続けてる。 後、多分だが金持ってる外国人や富裕層はとっくに韓国から亡命（まあ似たようなもん）してる どこまで持ちこたえるか知らんが、ウォンは貧弱だから安くなりすぎても、高くなりすぎても死亡 すると紙クズと化したウォンを、ハゲタカファンドに捨て値でおもちゃにされてゲームオーバーだ そしたらまず銀行が閉鎖されて、預金が降ろせなくなるだろうな。 そこからがパニックの引き金になるだろ、あとは想像に任せる。まあしたくもないくらい地獄だろうが 韓国がＩＭＦ入り以外で、自力で浮き上がろうとしたら、これら問題をどうにかする必要があるのだが 首脳陣がそこまで脳ミソ使ってるのかまでは、知らん。 あとそうなったらおそらく円持ってる在日強制召還。これはお前らの問題だな、日本人？復興にいそがしいからまた今度な これくらいだな、まあ後は勝手に調べてくれ。 790 名前：デフォルトの名無しさん mailto:sage [2011/11/14(月) 11:59:55.29 .net] ７７７ 791 名前：デフォルトの名無しさん mailto:sage [2012/01/26(木) 18:13:31.61 .net] あけましておめでとう。今年はAda2012の年ですね。 792 名前：デフォルトの名無しさん mailto:sage [2012/05/04(金) 08:20:49.15 .net] hosyu 793 名前：デフォルトの名無しさん [2012/05/06(日) 22:06:59.69 .net] ACTのAVR用Adaがイギリスのミサイルやベンツに使われているんだって。 794 名前：デフォルトの名無しさん mailto:sage [2012/05/09(水) 09:52:44.17 .net] 日本でAdaの仕事を取ることはできるだろうか。 795 名前：デフォルトの名無しさん mailto:sage [2012/05/14(月) 20:18:16.45 .net] 仕事が取れたらえいだね 796 名前：黒い猫 [2012/06/20(水) 01:41:16.24 .net] 日本でAdaを教えている教授やセミナーをしているところを御存知ですか？ 日本でAdaが必要な程の仕事，やってみたいですよね． 797 名前：デフォルトの名無しさん mailto:sage [2012/06/20(水) 20:27:05.61 .net] >>783 そんなのがあったら俺も行きたいわい 正直Adaの仕事はアメリカかフランスにしかないと思ふ 798 名前：デフォルトの名無しさん mailto:sage [2012/08/02(木) 04:34:36.22 .net] パスカルやん 799 名前：デフォルトの名無しさん [2012/08/22(水) 19:24:46.02 .net] （´・ω・`）ＡｄａがＪＩＳから消えちゃったね 800 名前： [―{}@{}@{}-] デフォルトの名無しさん mailto:sage [2012/08/26(日) 12:24:59.65 .net] 航空自衛隊次期主力戦闘機F-35のソフトウェアもAdaで書かれてるというのに 801 名前：デフォルトの名無しさん mailto:sage [2012/10/07(日) 00:28:34.52 .net] 内部プロシージャ使えるのはいいが宣言部固定がウザい procedure Josephus is    type String_Pointer is access String;    type Soldier_Type is record       Name  : String_Pointer;       Alive : Boolean;    end record;    Max_Number_Of_Soldiers: constant := 100;    Number_Of_Soldiers    : Integer range 0..Max_Number_Of_Soldiers := 0;    -- start with 0 to facilitate modular arithmetic    Soldiers: array (0..Max_Number_Of_Soldiers-1) of Soldier_Type;    procedure Next (Index: in out Integer; Interval: Positive) is    begin       for I in 1..Interval loop          loop            Index := (Index + 1) mod Number_Of_Soldiers;            exit when Soldiers(Index).Alive;          end loop;       end loop;    end Next; begin 省略 end Josephus; 802 名前：デフォルトの名無しさん mailto:sage [2012/10/07(日) 01:57:03.45 .net] >>788 関係ないけど、 subtype Soldiers_Index is Integer range 0 .. 99; Soldiers: array (Soldiers_Index) of Soldier_Type; Number_Of_Soldiersの代わりにSoldiers_Index'Range_Length のほうがスマートだぜ 803 名前：デフォルトの名無しさん mailto:sage [2012/10/10(水) 02:33:25.69 .net] 保守しとくか 804 名前：デフォルトの名無しさん mailto:sage [2012/11/08(木) 01:23:52.94 .net] 生き残り記念保守 805 名前：デフォルトの名無しさん mailto:sage [2012/11/08(木) 15:08:32.31 .net] 保守しても落とされたスレあるのに どういう好みで落としてんだ 806 名前：デフォルトの名無しさん mailto:sage [2012/11/09(金) 14:00:25.77 .net] >>792 日ごろの行いが良いか悪いか 807 名前：デフォルトの名無しさん [2012/12/19(水) 20:54:43.27 .net] (・∀・)ISO/IEC 8652:2012(E)制定おめでとう！！ 808 名前：デフォルトの名無しさん mailto:sage [2012/12/20(木) 16:33:03.16 .net] Ada 2012かー 809 名前：電脳プリオン 忍法帖【Lv=40,xxxPT】(4+0：5) 【31.7m】 mailto:sage [2013/01/27(日) 19:01:41.50 ?PLT(12080).net] 　　∧＿∧ 　 （　・∀・）　　　　　　　　　　　　人　ｶﾞｯ 　 （　　　　つ―-‐-‐-‐-‐-‐○ < 　>__Λ∩ 　 人　Y ノ.　　　　　　　　　　　 　Ｖ｀Д´）/ 　 し（＿）　　　　　　　　　　　　　　　 　　/ 　←>>251 810 名前：デフォルトの名無しさん [2013/02/15(金) 11:09:23.85 .net] アダパー

---

---

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

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