米国国防省の標準高等言語エイダ（Ａｄａ）を語れ！
■ このスレッドは過去ログ倉庫に格納されています
1名無しさんは伊達じゃない
NGNG どうよ？
717デフォルトの名無しさん
2008/09/23(火) 19:54:38 日本人はなぜかみんなADAを避けている。なぜか？猿真似しかできない、周りがやらないとできないから。
日本の会社の製品はこれだけかな？
JEOL Nuclear Magnetic Resonance
だがADAで書かれた最先端の製品は知らずに使っている。
http://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
日本の会社の製品はこれだけかな？
JEOL Nuclear Magnetic Resonance
だがADAで書かれた最先端の製品は知らずに使っている。
http://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デフォルトの名無しさん
2008/09/23(火) 20:34:32 >>717
頭が悪いのか釣りなのかはっきりしろ
頭が悪いのか釣りなのかはっきりしろ
719デフォルトの名無しさん
2008/09/26(金) 11:32:14 頭の悪い釣りです
720デフォルトの名無しさん
2008/09/27(土) 00:18:46 なるほど
721デフォルトの名無しさん
2008/10/22(水) 22:33:09 age
722デフォルトの名無しさん
2008/12/15(月) 20:39:23 保守
723デフォルトの名無しさん
2009/02/20(金) 00:15:21 ho
724デフォルトの名無しさん
2009/03/14(土) 23:39:31 syu
725デフォルトの名無しさん
2009/04/25(土) 18:17:07 型推論してくれよ
726デフォルトの名無しさん
2009/09/18(金) 17:16:36 まだあったのか……ほsy
727Ｆ-22Ａがバグった！！
2009/09/28(月) 23:29:07 沖縄に派遣された米軍のF-22ステルス戦闘機だが、搭載コンピューターのソフトウェアに不具合が起きて
一度引き返していたと、CNNのテレビ報道が伝えている 。それによれば、2月11日に沖縄を目指してハワイを飛び立った
12機のF-22は、日付変更線を越えたあたりで全機ともナビゲーションと通信ができなくなったとのこと。
このため、通信が使えないので目視でやりとりをし、同行した空中給油機に誘導されてハワイに引き返したという。
アメリカ空軍はソフトウェアに問題があったことを認めているが、当然ながら軍事機密として詳細を明らかにしていない。
日付変更線を越えたところで起きたことから、日付関連のバグではないかと見られている。
http://it.slashdot.org/article.pl?sid=07/02/25/2038217
http://www.flightglobal.com/articles/2007/02/14/212102/pictures-navigational-software-glitch-forces-lockheed-martin-f-22-raptors-back-to-hawaii.html
一度引き返していたと、CNNのテレビ報道が伝えている 。それによれば、2月11日に沖縄を目指してハワイを飛び立った
12機のF-22は、日付変更線を越えたあたりで全機ともナビゲーションと通信ができなくなったとのこと。
このため、通信が使えないので目視でやりとりをし、同行した空中給油機に誘導されてハワイに引き返したという。
アメリカ空軍はソフトウェアに問題があったことを認めているが、当然ながら軍事機密として詳細を明らかにしていない。
日付変更線を越えたところで起きたことから、日付関連のバグではないかと見られている。
http://it.slashdot.org/article.pl?sid=07/02/25/2038217
http://www.flightglobal.com/articles/2007/02/14/212102/pictures-navigational-software-glitch-forces-lockheed-martin-f-22-raptors-back-to-hawaii.html
728Adaとは？
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に色濃い影響を残している。
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デフォルトの名無しさん
2009/09/29(火) 01:54:47 Adaでハローワールドしたけど実行ファイル重過ぎて萎えたわｗ
730デフォルトの名無しさん
2009/09/29(火) 10:09:00731デフォルトの名無しさん
2009/10/01(木) 12:51:49 >>728
確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな〜〜ｗｗ
確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな〜〜ｗｗ
732デフォルトの名無しさん
2009/10/05(月) 11:06:45 こんなマイナー言語のスレにも自演荒らしって湧くんだな
733デフォルトの名無しさん
2009/10/06(火) 05:24:28 Aja, when all my dime dancin' is through, i run to you...
734デフォルトの名無しさん
2009/10/08(木) 00:26:59Adaの凄いところは、Algol系のブロック構造を持つ、抽象データ型を
サポートする、統合開発環境（名前忘れた）がある、といったところ。
これらは、当時、膨らむ一方のソフトウェア開発コストに危機感を
持った米国国防総省が、生産性と品質を向上させるために取り組んだプロジェクトがAdaを生んだ。
今の技術常識からすると、上記のAdaの特徴は当たり前すぎて、どう凄いのかピンと来ないと思うけど、
これが20年以上前に作られたところが凄い。というか、
Adaは、現在のOO言語（+クラスライブラリ+開発環境）の基礎となるアイデアおよび技術の基になっ
ているのだ。
Adaって、言語仕様だけじゃなく、
処理系の正当性を認定するためのテストスイートや、国に認定を受ける手順まで標準化されてるんですね。
さすが軍用言語だ...
こんなのをみつけました
Ada Information Clearinghouse - AdaIC http://www.adaic.org/
Ada Home the Home of the Brave Ada Programmers (HBAP) http://www.adahome.com/
ところで、イベントや並列動作を記述できる、VHDLという、Adaの親戚言語があります。
これも国防総省言語なんですが、この言語は、LSIをつくるとき日常的に使われてます。
735デフォルトの名無しさん
2009/10/08(木) 01:22:24 adaicは規格を配布しているところなので、次スレの>>1に入れたいねえ。
何年後の話だろ……。
何年後の話だろ……。
736デフォルトの名無しさん
2009/11/05(木) 11:05:38 Programming Language Conceptってクラスで、
Fortran -> Python ときて今Adaをやってます
なんか馴染みにくい…
来週からはHaskellだ
Fortran -> Python ときて今Adaをやってます
なんか馴染みにくい…
来週からはHaskellだ
737デフォルトの名無しさん
2009/11/06(金) 19:27:08 >>736
授業！
すごいなー。いいなー。
どこまでやってる？
列挙型の要素が関数とか、genericのis <>とか、デフォルト引数は毎回評価とか、
taskを返す拡張return中でランデブーしたらデッドロックするとかやってる？
授業！
すごいなー。いいなー。
どこまでやってる？
列挙型の要素が関数とか、genericのis <>とか、デフォルト引数は毎回評価とか、
taskを返す拡張return中でランデブーしたらデッドロックするとかやってる？
738デフォルトの名無しさん
2009/11/12(木) 12:04:20739デフォルトの名無しさん
2010/02/12(金) 19:36:56 落ちないね。
740デフォルトの名無しさん
2010/03/17(水) 18:37:31 定期ho
741デフォルトの名無しさん
2010/03/17(水) 18:57:02 重要なところとして、タスク、ランデブーが外れてる。
742デフォルトの名無しさん
2010/05/23(日) 19:07:15 >>122 Ａｄａ自体は如何にも理想主義的ですが、それを延々と使い続けているのは、アングロサクソンにとりわけ顕著な、"pragmatism"ってやつに拠るんじゃないですか？
納得できる程度の種は手に入れたので、それをいちいちおじゃんにしないで改良して使って、「走りながら考えよう。」式開発手法を結局実際にはやっているんですよ。
やっぱり叩き台が無いと集団作業って進まないでしょｗ
７０年代当時、何とは無しにプログラミング言語の学術体系がこなれてきたように思えたので、ひとつ仕切り直して厳格に規定してみようと、お役所らしくやったみたいですが、コンペの結果採用されたのはカソリック系西ゴート人の発案でしたね。
西ゴート人らしい如何にもイデア主義的（≒人間中心的理想主義的）な仕様は社会的基盤としてはやはり優れていたのではなかったのでしょうか。
Ａｄａは彼等にとって単なるプログラミング言語としてのみよりも一般的なソフトウェア開発環境として取り扱われているようでもありますから、
例えばハードウェアの開発史におけるＡＬＵのようなアングロサクソン得意の現実主義的一発屋的背に腹は変えられずだったんだけど出来てみたらこりゃ凄いね的アイデアが生まれた様な成果を期待するための地平として取り扱われているんですよきっと。
納得できる程度の種は手に入れたので、それをいちいちおじゃんにしないで改良して使って、「走りながら考えよう。」式開発手法を結局実際にはやっているんですよ。
やっぱり叩き台が無いと集団作業って進まないでしょｗ
７０年代当時、何とは無しにプログラミング言語の学術体系がこなれてきたように思えたので、ひとつ仕切り直して厳格に規定してみようと、お役所らしくやったみたいですが、コンペの結果採用されたのはカソリック系西ゴート人の発案でしたね。
西ゴート人らしい如何にもイデア主義的（≒人間中心的理想主義的）な仕様は社会的基盤としてはやはり優れていたのではなかったのでしょうか。
Ａｄａは彼等にとって単なるプログラミング言語としてのみよりも一般的なソフトウェア開発環境として取り扱われているようでもありますから、
例えばハードウェアの開発史におけるＡＬＵのようなアングロサクソン得意の現実主義的一発屋的背に腹は変えられずだったんだけど出来てみたらこりゃ凄いね的アイデアが生まれた様な成果を期待するための地平として取り扱われているんですよきっと。
743デフォルトの名無しさん
2010/05/23(日) 19:15:03 >>133 絵だからなｗ(黒 ２０１０年時点だとベッキークルーエルちゃんとの対比で語ることも可能かも知れませんねｗｗ
744デフォルトの名無しさん
2010/05/23(日) 19:39:30 >>323 Ｃ表記マンセーはメモリがキロ５万円した頃の思想と思われｗ
メモリが産業の米と呼ばれるようになりキロ当たりの単価が本当の米より安くなりＯＯＰが当然の手法になった現代に於いては、逐次処理表記に拘り過ぎると歴史を知らずに蟻地獄コードを書く後輩を再生産する危険が増すと思われまするｗｗ
メモリが産業の米と呼ばれるようになりキロ当たりの単価が本当の米より安くなりＯＯＰが当然の手法になった現代に於いては、逐次処理表記に拘り過ぎると歴史を知らずに蟻地獄コードを書く後輩を再生産する危険が増すと思われまするｗｗ
745デフォルトの名無しさん
2010/05/23(日) 20:03:13 昔はｘ８６とか、今はＡＲＭ７とか貧相な石で皆Ｃの勉強してるんだから、
石の値段の安くなったのを機会にＡｔｏｍでＡｄａの勉強できるとまた流行るかも知れませんね。
テレビ観るので落ちます。
石の値段の安くなったのを機会にＡｔｏｍでＡｄａの勉強できるとまた流行るかも知れませんね。
テレビ観るので落ちます。
746デフォルトの名無しさん
2010/05/23(日) 20:36:53 Adaって最新仕様で一昔前の仕様と比べて随分機能が増えたけど、このスレの人達はそういう部分もちゃんと追えてるの？
スレが立ったころと今では全く違うはず。
スレが立ったころと今では全く違うはず。
747デフォルトの名無しさん
2010/05/24(月) 21:47:57 スレが立ってからつってもなあ。Ada2005が出ただけとも言える。
次はAda2012だけど、それまでこのスレはあるんだろうか？
次はAda2012だけど、それまでこのスレはあるんだろうか？
748デフォルトの名無しさん
2010/05/25(火) 18:58:58749デフォルトの名無しさん
2010/06/05(土) 07:06:13 このスレの住人は仕事でAda使ってんの？
趣味？
趣味？
750デフォルトの名無しさん
2010/06/05(土) 18:24:37 趣味に決まってんだろ。
仕事があるならくれよ、喜んで行くからさ。
仕事があるならくれよ、喜んで行くからさ。
751デフォルトの名無しさん
2010/06/05(土) 19:06:39 アメリカから押し売りされる航空機のソフトウェア開発の仕事があるらしいですよ
752デフォルトの名無しさん
2010/06/05(土) 20:10:36 行く？目隠されて連れて行かれるんだよ。
753デフォルトの名無しさん
2010/06/07(月) 21:25:31 ドナドナドーナードーナー
754デフォルトの名無しさん
2010/08/03(火) 21:41:41 移転ついでに落とされなかった記念保守
755デフォルトの名無しさん
2010/08/19(木) 02:18:28 http://www.adacore.com/2010/08/05/NF-64-J802-022-gnat/
これがLive-Docsに載らないんだが、どういう機能だろう。
文面からC#の属性みたいなもんとは思うけど。
これがLive-Docsに載らないんだが、どういう機能だろう。
文面からC#の属性みたいなもんとは思うけど。
756デフォルトの名無しさん
2010/09/28(火) 18:10:05 保守
757デフォルトの名無しさん
2010/10/16(土) 12:23:20 ＿
r-､' ´ ｀ヽr-､
ｨ7 /l: ハヽﾊ ﾄヾ 駄スレを沈めることはこの俺が許さん！
'|l |'´_` ´_ ｀| || 信念に基づいて行動する、
| |´ﾋ} ﾋ}｀! l| それを人は正義と言う。
__ノﾞ). 从 l, _'_. |从 今俺が行ってることは保守ではない。
,_'（＿ ﾉ_ヽ ヾl.＞ - ,イ;ﾘ 正義という名の粛清だぁ！
{ f:ﾃ} {'f:ﾃ}',／＼ヽ--/／ヽ
ヽ,r─‐ ､ｨ .､､ i l＞Y＜! i '､ バーニング！
/ iゝ＿ﾉ iヽ /l |l l ',
lﾝヽ/ムノじ
r-､' ´ ｀ヽr-､
ｨ7 /l: ハヽﾊ ﾄヾ 駄スレを沈めることはこの俺が許さん！
'|l |'´_` ´_ ｀| || 信念に基づいて行動する、
| |´ﾋ} ﾋ}｀! l| それを人は正義と言う。
__ノﾞ). 从 l, _'_. |从 今俺が行ってることは保守ではない。
,_'（＿ ﾉ_ヽ ヾl.＞ - ,イ;ﾘ 正義という名の粛清だぁ！
{ f:ﾃ} {'f:ﾃ}',／＼ヽ--/／ヽ
ヽ,r─‐ ､ｨ .､､ i l＞Y＜! i '､ バーニング！
/ iゝ＿ﾉ iヽ /l |l l ',
lﾝヽ/ムノじ
758デフォルトの名無しさん
2010/10/16(土) 16:55:03 このスレ8年たってるのか
レスつけても相手が見てる可能性がとても低い
レスつけても相手が見てる可能性がとても低い
759デフォルトの名無しさん
2010/10/16(土) 18:03:58 見てるよ
760デフォルトの名無しさん
2010/10/16(土) 19:06:29 俺も見てるよ
761デフォルトの名無しさん
2010/10/23(土) 17:40:30 で、話題は無しか？w
Ada2012の、コンテナへのアクセサはいろんな案が対立してるが、どれになるかトトカルチョでもする？
俺はAI05-0212かな。
Ada2012の、コンテナへのアクセサはいろんな案が対立してるが、どれになるかトトカルチョでもする？
俺はAI05-0212かな。
762デフォルトの名無しさん
2010/11/18(木) 13:54:37 http://bush.sourceforge.net/
ログインシェルとしても使える、Ada のサブセット+α AdaScript の対話式インタプリタ
ログインシェルとしても使える、Ada のサブセット+α AdaScript の対話式インタプリタ
763デフォルトの名無しさん
2010/11/19(金) 20:23:38764デフォルトの名無しさん
2010/11/20(土) 02:01:18 これさえあれば搭乗機のシステム書き換えシーンでBASICを使わずに済みます
765デフォルトの名無しさん
2010/11/24(水) 11:13:17 もしご存知でしたら教えて欲しいのですけれども、
Orbiter SimでMultistageやspacecraftアドオンを作ったvinkaさんって方をご存知な人はいませんか？
エイダ家の関係者ではないか？と思うのですけれども。
イタリア陸軍のお家の方だったのでしょうか？
Orbiter SimでMultistageやspacecraftアドオンを作ったvinkaさんって方をご存知な人はいませんか？
エイダ家の関係者ではないか？と思うのですけれども。
イタリア陸軍のお家の方だったのでしょうか？
766デフォルトの名無しさん
2010/11/24(水) 11:38:53 バイロンはホイヘンスと同じ家の出なのだろうか？
vinkaさん名でのOrbiter用アドオンの開発は2006で止まっているようですが、
いまだにそのアドオンモジュールを使って宇宙船を設定している人もいるようです。
ランディングギア操作部分にバグなどがあったままだったような気がしますが、
その後、どうなったのかな？といったところです。
vinkaさん名でのOrbiter用アドオンの開発は2006で止まっているようですが、
いまだにそのアドオンモジュールを使って宇宙船を設定している人もいるようです。
ランディングギア操作部分にバグなどがあったままだったような気がしますが、
その後、どうなったのかな？といったところです。
767デフォルトの名無しさん
2011/01/05(水) 14:26:45 ほs
768デフォルトの名無しさん
2011/03/04(金) 15:58:51.40 落ちないってのが凄いよなあこのスレ
769デフォルトの名無しさん
2011/03/04(金) 22:34:03.97 980超えたらすぐ落ちる
772デフォルトの名無しさん
2011/05/24(火) 22:05:28.47 定期保守
775デフォルトの名無しさん
2011/09/05(月) 23:51:12.72 >>774
同上
同上
776デフォルトの名無しさん
2011/11/14(月) 11:36:31.75気になるか？
まあ、お前ごときどうせ株なんか知らんだろうし、どうにも出来んし説明してやろう。
崩壊してんのは、株取引のほうだ。
すでに年金すら韓銀砲で溶けてる。今なお溶かし続けてる。
後、多分だが金持ってる外国人や富裕層はとっくに韓国から亡命（まあ似たようなもん）してる
どこまで持ちこたえるか知らんが、ウォンは貧弱だから安くなりすぎても、高くなりすぎても死亡
すると紙クズと化したウォンを、ハゲタカファンドに捨て値でおもちゃにされてゲームオーバーだ
そしたらまず銀行が閉鎖されて、預金が降ろせなくなるだろうな。
そこからがパニックの引き金になるだろ、あとは想像に任せる。まあしたくもないくらい地獄だろうが
韓国がＩＭＦ入り以外で、自力で浮き上がろうとしたら、これら問題をどうにかする必要があるのだが
首脳陣がそこまで脳ミソ使ってるのかまでは、知らん。
あとそうなったらおそらく円持ってる在日強制召還。これはお前らの問題だな、日本人？復興にいそがしいからまた今度な
これくらいだな、まあ後は勝手に調べてくれ。
777デフォルトの名無しさん
2011/11/14(月) 11:59:55.29 ７７７
778デフォルトの名無しさん
2012/01/26(木) 18:13:31.61 あけましておめでとう。今年はAda2012の年ですね。
779デフォルトの名無しさん
2012/05/04(金) 08:20:49.15 hosyu
780デフォルトの名無しさん
2012/05/06(日) 22:06:59.69 ACTのAVR用Adaがイギリスのミサイルやベンツに使われているんだって。
781デフォルトの名無しさん
2012/05/09(水) 09:52:44.17 日本でAdaの仕事を取ることはできるだろうか。
782デフォルトの名無しさん
2012/05/14(月) 20:18:16.45 仕事が取れたらえいだね
783黒い猫
2012/06/20(水) 01:41:16.24 日本でAdaを教えている教授やセミナーをしているところを御存知ですか？
日本でAdaが必要な程の仕事，やってみたいですよね．
日本でAdaが必要な程の仕事，やってみたいですよね．
784デフォルトの名無しさん
2012/06/20(水) 20:27:05.61785デフォルトの名無しさん
2012/08/02(木) 04:34:36.22 パスカルやん
786デフォルトの名無しさん
2012/08/22(水) 19:24:46.02 （´・ω・`）ＡｄａがＪＩＳから消えちゃったね
788デフォルトの名無しさん
2012/10/07(日) 00:28:34.52 内部プロシージャ使えるのはいいが宣言部固定がウザい
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;
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;
789デフォルトの名無しさん
2012/10/07(日) 01:57:03.45 >>788
関係ないけど、
subtype Soldiers_Index is Integer range 0 .. 99;
Soldiers: array (Soldiers_Index) of Soldier_Type;
Number_Of_Soldiersの代わりにSoldiers_Index'Range_Length
のほうがスマートだぜ
関係ないけど、
subtype Soldiers_Index is Integer range 0 .. 99;
Soldiers: array (Soldiers_Index) of Soldier_Type;
Number_Of_Soldiersの代わりにSoldiers_Index'Range_Length
のほうがスマートだぜ
790デフォルトの名無しさん
2012/10/10(水) 02:33:25.69 保守しとくか
791デフォルトの名無しさん
2012/11/08(木) 01:23:52.94 生き残り記念保守
792デフォルトの名無しさん
2012/11/08(木) 15:08:32.31 保守しても落とされたスレあるのに
どういう好みで落としてんだ
どういう好みで落としてんだ
793デフォルトの名無しさん
2012/11/09(金) 14:00:25.77 >>792
日ごろの行いが良いか悪いか
日ごろの行いが良いか悪いか
794デフォルトの名無しさん
2012/12/19(水) 20:54:43.27 (・∀・)ISO/IEC 8652:2012(E)制定おめでとう！！
795デフォルトの名無しさん
2012/12/20(木) 16:33:03.16 Ada 2012かー
∧＿∧
（ ・∀・） 人 ｶﾞｯ
（ つ―-‐-‐-‐-‐-‐○ < >__Λ∩
人 Y ノ. Ｖ｀Д´）/
し（＿） / ←>>251
（ ・∀・） 人 ｶﾞｯ
（ つ―-‐-‐-‐-‐-‐○ < >__Λ∩
人 Y ノ. Ｖ｀Д´）/
し（＿） / ←>>251
797デフォルトの名無しさん
2013/02/15(金) 11:09:23.85 アダパー
798デフォルトの名無しさん
2013/03/17(日) 15:44:27.41 ねえ、波の間になにか泳いでるよ・・・？
あっ、エイだ！！
あっ、エイだ！！
799デフォルトの名無しさん
2013/03/28(木) 04:46:36.56 【審議終了】
∧,,∧ ∧,,∧
∧ ∧ ( ) ( ・ω・)
(ω・ ) ( Ｕ) ( つ日ﾉ ∧,,∧
｜ Ｕ u-ｕ u-ｕ ( uω)
ｕ-ｕ (∩∩)
∧,,∧ ∩ ∧_∧ 審議結果
(・ω・') ⊂⌒（ ・ω・） 「はいはいわろす」
⊂∪∪⊃ ｀ヽ_∩∩
∧,,∧ ∧,,∧
∧ ∧ ( ) ( ・ω・)
(ω・ ) ( Ｕ) ( つ日ﾉ ∧,,∧
｜ Ｕ u-ｕ u-ｕ ( uω)
ｕ-ｕ (∩∩)
∧,,∧ ∩ ∧_∧ 審議結果
(・ω・') ⊂⌒（ ・ω・） 「はいはいわろす」
⊂∪∪⊃ ｀ヽ_∩∩
800デフォルトの名無しさん
2013/05/05(日) 11:52:45.32801デフォルトの名無しさん
2013/05/05(日) 20:43:57.89 面白い記事やな
802デフォルトの名無しさん
2013/05/10(金) 21:48:00.94 1800万行か…
おれのC#製フリーウェアが15万行だから
あと100倍がんばれば空も飛べるはず
おれのC#製フリーウェアが15万行だから
あと100倍がんばれば空も飛べるはず
803デフォルトの名無しさん
2013/05/18(土) 06:14:15.01 アマゾンでAda基準文法書を買ったのを思い出した。PCが壊れてるという意味で一度も活用できていない。
804デフォルトの名無しさん
2013/05/18(土) 15:42:07.12 11年もあんの？ここ
805デフォルトの名無しさん
2013/05/20(月) 03:22:17.42 Adaの説明に枕詞のように付く「詩人バイロンの娘」
がウザいです。
父親なんかどうでもいいだろ。
それに詩人ってなんだ詩人って。
詩を詠んでればメシ食っていけるのかよ。
名前も酷い。ラブレス。Lovelessですか。
母親の名前が「アナベラ・ミルバンク」。ネタ強烈過ぎ。
がウザいです。
父親なんかどうでもいいだろ。
それに詩人ってなんだ詩人って。
詩を詠んでればメシ食っていけるのかよ。
名前も酷い。ラブレス。Lovelessですか。
母親の名前が「アナベラ・ミルバンク」。ネタ強烈過ぎ。
806デフォルトの名無しさん
2013/05/20(月) 04:53:27.91 lovelaceな
807デフォルトの名無しさん
2013/05/23(木) 23:38:24.43 あーだこーだ言ってんじゃねー
808デフォルトの名無しさん
2013/08/24(土) NY:AN:NY.AN 規制明け保守
809デフォルトの名無しさん
2013/09/02(月) 21:22:28.07 今回も生き残った
810デフォルトの名無しさん
2013/10/23(水) 11:39:17.84 Adaか
プログラムの紹介ページを見たことあるけど
コード見ただけでちょっとコレはと思ってしまったな
プログラムの紹介ページを見たことあるけど
コード見ただけでちょっとコレはと思ってしまったな
811デフォルトの名無しさん
2013/10/23(水) 23:22:23.99 >>810
Pascal系(ってかALGOL？)な記述に見慣れてないからじゃない？
Pascal系(ってかALGOL？)な記述に見慣れてないからじゃない？
812デフォルトの名無しさん
2013/11/02(土) 21:18:24.70 Adaと聞くとZOEのアレを思い出す
813デフォルトの名無しさん
2014/01/18(土) 04:13:20.93 あけまして保守
814デフォルトの名無しさん
2014/02/12(水) 21:16:56.39 F35に採用されなかったadaに未来はあるのか
815デフォルトの名無しさん
2014/02/15(土) 12:28:43.49 begin〜endを {〜} に変えて型推論を入れればよみがえるかも
816デフォルトの名無しさん
2014/02/15(土) 12:43:48.50 やめてくれ
■ このスレッドは過去ログ倉庫に格納されています
