米国国防省の標準高等言語エイダ(Ada)を語れ!
■ このスレッドは過去ログ倉庫に格納されています
1名無しさんは伊達じゃない
NGNG どうよ?
703デフォルトの名無しさん
2008/03/31(月) 23:48:39 >>693
横通の衛星通信システム地上局の系再構成サブシステム。
トランスポンダがどうのこうの言うてたわ。
途中で疾病リタイヤしてしまい、その後このシステムが
実現したかどうかは判らない。
某有名企業が多数参加していた。
横通の衛星通信システム地上局の系再構成サブシステム。
トランスポンダがどうのこうの言うてたわ。
途中で疾病リタイヤしてしまい、その後このシステムが
実現したかどうかは判らない。
某有名企業が多数参加していた。
704デフォルトの名無しさん
2008/04/01(火) 00:49:15 エイダってwin用のアプリとか作れんの?
705デフォルトの名無しさん
2008/04/01(火) 01:23:28 滅多な事言うでねぇ
706デフォルトの名無しさん
2008/04/01(火) 03:06:12 AdaでGUI作ろうと乱心^h^hした時の選択肢って
GtkAda
QtAda
wxAda
TASH
GWindows
ガチ
で全部?
GtkAda
QtAda
wxAda
TASH
GWindows
ガチ
で全部?
707デフォルトの名無しさん
2008/04/11(金) 02:50:28 俺は、会社の上司からCOBOL、Cとペンタゴンの押した言語は
メジャーになるからお前も覚えておけと言われて必死にAdaを覚えたw
今思うと騙されたw orz
軍事、航空、宇宙関係のシステムやらないとお目にかかれないね。
PL/SQLやる時にはAda互換だから簡単に入れたけど。
>>968
一応、ISSの開発がAdaだと思ったよ。うちの会社の奴が「きぼう」の
開発の時に必死に覚えてた気がする。
メジャーになるからお前も覚えておけと言われて必死にAdaを覚えたw
今思うと騙されたw orz
軍事、航空、宇宙関係のシステムやらないとお目にかかれないね。
PL/SQLやる時にはAda互換だから簡単に入れたけど。
>>968
一応、ISSの開発がAdaだと思ったよ。うちの会社の奴が「きぼう」の
開発の時に必死に覚えてた気がする。
708デフォルトの名無しさん
2008/04/14(月) 11:19:32709デフォルトの名無しさん
2008/05/20(火) 01:34:20 確かF-22 ラプターの制御ソフトはAdaで書かれてたんじゃ?
710デフォルトの名無しさん
2008/05/22(木) 13:05:33711デフォルトの名無しさん
2008/05/22(木) 21:41:55 軍の情報管理はマイナーな言語使う決まりでもあるのか
712デフォルトの名無しさん
2008/05/22(木) 22:15:03713デフォルトの名無しさん
2008/05/22(木) 22:44:27 Adaてマイナーだろ
714デフォルトの名無しさん
2008/05/26(月) 04:18:46 まあマイナーなのがADAになったな、と。
715デフォルトの名無しさん
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限定の話だったのか?
大して英語出来ない俺には険しい道だ…。
以下チラ裏
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デフォルトの名無しさん
2008/09/23(火) 07:22:50 ほ
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
727F-22Aがバグった!!
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でハローワールドしたけど実行ファイル重過ぎて萎えたわw
730デフォルトの名無しさん
2009/09/29(火) 10:09:00731デフォルトの名無しさん
2009/10/01(木) 12:51:49 >>728
確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな〜〜ww
確かにバグで味方を殺戮しまくる可能性がある兵器なんて怖くて使いたくないからな〜〜ww
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 Ada自体は如何にも理想主義的ですが、それを延々と使い続けているのは、アングロサクソンにとりわけ顕著な、"pragmatism"ってやつに拠るんじゃないですか?
納得できる程度の種は手に入れたので、それをいちいちおじゃんにしないで改良して使って、「走りながら考えよう。」式開発手法を結局実際にはやっているんですよ。
やっぱり叩き台が無いと集団作業って進まないでしょw
70年代当時、何とは無しにプログラミング言語の学術体系がこなれてきたように思えたので、ひとつ仕切り直して厳格に規定してみようと、お役所らしくやったみたいですが、コンペの結果採用されたのはカソリック系西ゴート人の発案でしたね。
西ゴート人らしい如何にもイデア主義的(≒人間中心的理想主義的)な仕様は社会的基盤としてはやはり優れていたのではなかったのでしょうか。
Adaは彼等にとって単なるプログラミング言語としてのみよりも一般的なソフトウェア開発環境として取り扱われているようでもありますから、
例えばハードウェアの開発史におけるALUのようなアングロサクソン得意の現実主義的一発屋的背に腹は変えられずだったんだけど出来てみたらこりゃ凄いね的アイデアが生まれた様な成果を期待するための地平として取り扱われているんですよきっと。
納得できる程度の種は手に入れたので、それをいちいちおじゃんにしないで改良して使って、「走りながら考えよう。」式開発手法を結局実際にはやっているんですよ。
やっぱり叩き台が無いと集団作業って進まないでしょ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
メモリが産業の米と呼ばれるようになりキロ当たりの単価が本当の米より安くなりOOPが当然の手法になった現代に於いては、逐次処理表記に拘り過ぎると歴史を知らずに蟻地獄コードを書く後輩を再生産する危険が増すと思われまするww
745デフォルトの名無しさん
2010/05/23(日) 20:03:13 昔はx86とか、今はARM7とか貧相な石で皆Cの勉強してるんだから、
石の値段の安くなったのを機会にAtomでAdaの勉強できるとまた流行るかも知れませんね。
テレビ観るので落ちます。
石の値段の安くなったのを機会にAtomでAdaの勉強できるとまた流行るかも知れませんね。
テレビ観るので落ちます。
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気になるか?
まあ、お前ごときどうせ株なんか知らんだろうし、どうにも出来んし説明してやろう。
崩壊してんのは、株取引のほうだ。
すでに年金すら韓銀砲で溶けてる。今なお溶かし続けてる。
後、多分だが金持ってる外国人や富裕層はとっくに韓国から亡命(まあ似たようなもん)してる
どこまで持ちこたえるか知らんが、ウォンは貧弱だから安くなりすぎても、高くなりすぎても死亡
すると紙クズと化したウォンを、ハゲタカファンドに捨て値でおもちゃにされてゲームオーバーだ
そしたらまず銀行が閉鎖されて、預金が降ろせなくなるだろうな。
そこからがパニックの引き金になるだろ、あとは想像に任せる。まあしたくもないくらい地獄だろうが
韓国がIMF入り以外で、自力で浮き上がろうとしたら、これら問題をどうにかする必要があるのだが
首脳陣がそこまで脳ミソ使ってるのかまでは、知らん。
あとそうなったらおそらく円持ってる在日強制召還。これはお前らの問題だな、日本人?復興にいそがしいからまた今度な
これくらいだな、まあ後は勝手に調べてくれ。
777デフォルトの名無しさん
2011/11/14(月) 11:59:55.29 777
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 (´・ω・`)AdaがJISから消えちゃったね
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 ノ. V`Д´)/
し(_) / ←>>251
( ・∀・) 人 ガッ
( つ―-‐-‐-‐-‐-‐○ < >__Λ∩
人 Y ノ. V`Д´)/
し(_) / ←>>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 ( uω)
u-u (∩∩)
∧,,∧ ∩ ∧_∧ 審議結果
(・ω・') ⊂⌒( ・ω・) 「はいはいわろす」
⊂∪∪⊃ `ヽ_∩∩
∧,,∧ ∧,,∧
∧ ∧ ( ) ( ・ω・)
(ω・ ) ( U) ( つ日ノ ∧,,∧
| U u-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倍がんばれば空も飛べるはず
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ロシア外務省、日本に「平和憲法」への回帰を要求 [夜のけいちゃん★]
- 高市首相の発言は逆効果?「shut your mouths」は英語圏では日本語の『黙れ』と比べものにならないほど極めて侮辱的な意味がある [バイト歴50年★]
- 渡邊渚「性を売ってるくせに」批判に反論 幻滅「これが日本の現状だよなー」「『渾身の下着!』というような意味でやってない」 [Ailuropoda melanoleuca★]
- 「おこめ券」でJAを救済したいだけ…税金4000億円で"史上最高値のコメ"を買わせる農水大臣とJAの癒着ぶり [バイト歴50年★]
- 渡邊渚さん脅迫か 写真集に包丁置く写真投稿 30代女性書類送検 渡邊さん「外に出るのも怖く身の危険を感じる」 [ひかり★]
- ネットフリックスがワーナー買収 買収額は約11兆円 [muffin★]
- 【フジテレビ】2025 FORMULA 1【NEXT】Lap611
- 【DAZN】フォーミュラGP【F1 2 3 SF P】Lap1818
- 競輪実況★1620
- とらせんIP ★2
- ハム専 サヨナラ石井
- 巨専】
- 【風向き】ヤバい!高市が導入を検討する「防衛特別所得税」、ネトウヨらもまさかの反対の大合唱。。さすがに国民を舐めすぎたか? [219241683]
- 【悲報】 高市が発言した「shut your mouths」英語圏でとんでもない侮辱発言だった どうすんのこれ・・・ [434776867]
- 平和なお🏡🕊
- 【速報】嫌儲左翼爺、突然個人情報を晒してしまうwwwww [759043982]
- 世間では散々叩かれてたが、実は正しかった陰謀論って何??????? [804169411]
- やっぱり許せない
