飛行機が飛ぶのが信じられない。
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
NGNGただ、それをコンピュータで制御して事故が少ないというのが信じられない。
飛行機は、変なアセンブリや、いきなり機械語を埋め込むような言語で複雑な
制御プログラムを実装していると思う。
僕が書いたら絶対落ちる。
墜落しなくても、技術者が青ざめるようなことはしょっちゅうあるのでは?
飛行機を飛ばすプログラムなどに使用する言語や開発環境を教えて下さい。
僕を安心させて下さい。
0002デフォルトの名無しさん
NGNG0003デフォルトの名無しさん
NGNG熟練の職人がハンドアセンブルしてるから。
0004くく
NGNG「ポーン！ 機長です。これからシステムを再起動するので多少揺れる場合があります。
お座席にお戻りの上シートベルトを締めてください。」
0005デフォルトの名無しさん
NGNGhttp://pc.2ch.net/test/read.cgi/prog/980900290
とか言って怖がらせてみたりする。
0006デフォルトの名無しさん
NGNGウィルスがらみの小説。題名忘れた。
0007デフォルトの名無しさん
NGNG0008デフォルトの名無しさん
NGNG0009デフォルトの名無しさん
NGNGその熟練ハンドコーダーが退職したらどうなるのだろう。
高級言語世代の僕らはお手上げです。
2000年問題のときも、退職した熟練ハンドコーダー
のプログラミングに苦労したという話をきいた。
0010デフォルトの名無しさん
NGNG金に糸目をつけない軍需産業があるアメリカや西欧では、
熟練プログラマーを継続的に育ててます。
0011デフォルトの名無しさん
NGNGセンス良いね。
0012デフォルトの名無しさん
NGNGしょっちゅうコンピュータの誤動作で落ちてるって聞いたんだけど。
軍事板とか航空板のほうがいいかもシレン。
0013デフォルトの名無しさん
NGNGプログラムの開発サイクルは、バグフィックスの連続。
つまり、おかしいことが起きて、それを直すの繰返し。
エリートプロの集まりである マイクロソフトが作った Windows は言うに及ばず、
世界最高峰のプログラマが作っている Emacs や CVS でさえ、まだバグがある。
「コンピュータ制御だから楽だ」は正しいが、
「コンピュータ制御だから安全だ」は必ずしも正しくないと思う。
0014デフォルトの名無しさん
NGNGコンピュータを優先させるエアバス機はよく落ちる。
0015デフォルトの名無しさん
NGNG「航空宇宙、医療関連のシステムへの摘要は禁止します」
とか書いてあったな。
0016けんしろー
NGNG愛でそらは落ちてきます
0017デフォルトの名無しさん
NGNGでも、病院に結構入ってるんじゃないの？
0018デフォルトの名無しさん
NGNGオラクルがバグってて、人工呼吸器が止まったとか、
手術中に停電したとかクレームつけても知らんからね。
ということだろう。
0019デフォルトの名無しさん
NGNG0020デフォルトの名無しさん
NGNGということか。
0021デフォルトの名無しさん
NGNG航空会社は、乗客に離陸前に使用しているCPUとOSを説明すべきだ。
「本日の機長は、○×。制御システムのOSはWindows95、CPUはPentiumPro150MHz。」
こんなんだったら、絶対、降りる。
0022ななし
NGNG出てくるプロペラで動いてるバカでかい飛行機って
作れないの？
0023けんしろー
NGNGそれには確かうぃんどーずがはいってた．
0024デフォルトの名無しさん
NGNG0025デフォルトの名無しさん
NGNGYou は Shock !!
0026デフォルトの名無しさん
NGNG0027デフォルトの名無しさん
NGNG0028デフォルトの名無しさん
NGNG0029デフォルトの名無しさん
NGNG＞28
ゼロで除算したんだっけか？
0031デフォルトの名無しさん
NGNG0032デフォルトの名無しさん
NGNG0033デフォルトの名無しさん
NGNGそれでＯＳまで道連れになればな。
0034デフォルトの名無しさん
NGNGUnix 動かしてた VMWare だったら笑ける。
0035デフォルトの名無しさん
NGNG敢えて突っ込まないよ？笑ける。
0036デフォルトの名無しさん
NGNGそもそも、あんな重たい金属のカタマリが飛ぶなんて
バカなことがあるわけないじゃん。
気にしないでいいよ。
0037デフォルトの名無しさん
NGNG故に厳しくテストされて、冗長化されたものが使われるんでしょ。
昔話題になっていた前進翼のやつはデジタルなコンピュータが2基、とアナログコンピュータが1機の構成で、通常はデジタル1基、トラブルと2基目に切り替えて、それも逝った時はアナログモードで動かすそうだ。
プログラマはもちろんミスするから、それを補うためにテストが行われるの。完全なテストは存在しないけど、想定されるケースの網羅性によって完全に近づくもんです。
まともなソフトウェア開発現場では開発者とは別に専門のテスターがいてイロイロ虐めてくれるのよ。
0038デフォルトの名無しさん
NGNGゼロを予想しなかったアプリケーションのプログラマが悪いが、
行儀の悪いアプリケーションをきちんと殺して後始末をつけるのもOSの仕事。
0039デフォルトの名無しさん
NGNG行儀の悪いアプリケーションのついでに乗務員も始末しましたっ♥
とかだったらヤだなぁ
...HAL？
004037
NGNG専用のLSIもつかうし、光のデータバスとかもあるそうな。
最新のは編隊組んだ状態でLANを組んで情報をやり取りするらしい。
0041デフォルトの名無しさん
NGNG書いて、徹底的にテストしてるんだろうね？」
と、となりの同僚（俺と同程度）に聞いたら
「え、おれ書いたよ、それ」
0042デフォルトの名無しさん
NGNG0043デフォルトの名無しさん
NGNG基本的に製造者責任はない。製造者はお役所が決めた手順を守る義務があるだけ。
テストや修正は別会社が行う。それも何社か使って並行的に行う。
事故がおきたら、製造者を追求しても償える規模じゃない可能性があるから。
0044デフォルトの名無しさん
NGNG（今でも使ってるかも）
0045デフォルトの名無しさん
NGNGスカッドはPDP、パトリオットはVAXで動いてたらしい
湾岸戦争はさながらDEC大戦だな
0046デフォルトの名無しさん
NGNGVB製だけど。。
0047デフォルトの名無しさん
NGNG0048
NGNG0049デフォルトの名無しさん
NGNGバグったら上がってこないのかな？
0050デフォルトの名無しさん
NGNG0051デフォルトの名無しさん
NGNG0052デフォルトの名無しさん
NGNG身元調査とかされるし。
自分はもちろん、親が借金してても不採用とか。
0053デフォルトの名無しさん
NGNG惜しい！ラプラス解析です。
0054デフォルトの名無しさん
NGNG防衛庁内の人間はコードは書かないの？
0055デフォルトの名無しさん
NGNG某真理教とか。
0056デフォルトの名無しさん
NGNG0057
NGNGバグ出すと誤りにいくのが大変だったそうだ。
俺は業務系で良かった。
0058デフォルトの名無しさん
NGNG005958
NGNG0060デフォルトの名無しさん
NGNG0061デフォルトの名無しさん
NGNG0063デフォルトの名無しさん
NGNGとかいう記事をどっかで読んだことがあるなぁ。証明ってなんだ？w
だれか詳細キぼンヌ
0064デフォルトの名無しさん
NGNG0065デフォルトの名無しさん
NGNG関数型言語でも実行環境を含めたら
バクのないことは証明できないと思いますが
0066デフォルトの名無しさん
NGNGって話を聞いたことある。
0067デフォルトの名無しさん
NGNG0068デフォルトの名無しさん
NGNGそりゃある意味拷問だなｗ
0069デフォルトの名無しさん
NGNG関数ひとつに付きデバッガー一人。ハァハァ。
これぞエクスストリーム。
0070デフォルトの名無しさん
NGNG0071帆場暎一
NGNG0072デフォルトの名無しさん
NGNG0073帆場暎一
NGNGほいっとな。
0074デフォルトの名無しさん
NGNG0075デフォルトの名無しさん
NGNG懐かしいな
劇場版の忍者ロボットはなんだっけか？
パソコン通信のターミナル画面みたいな描写があったが。
0076デフォルトの名無しさん
NGNGZ80のニーモニックが表示されてたり。
0077デフォルトの名無しさん
NGNGテストが完璧だった場合、プログラムにバグがなくても、
仕様にバグがあれば、確実に落ちるということですね。
前、何億分の1の確率で必ず落ちるという仕様のバグのせいで
飛行機が墜落したというような話を聞いた。
世界まる見えだったと思う。
0078コメント無しさん
NGNGなんかおかしいＹＯ！
0079なまえ
NGNG0080デフォルトの名無しさん
NGNG0081デフォルトの名無しさん
NGNGすみませ。
仕様により、ある事象が何億分の1の確率で発生し、
その事象が発生すれば、必ず落ちる、と言うことです。
0082デフォルトの名無しさん
NGNGだが、補助輪がないぶん余計な力が働いたらズッコケやすい形でもある。
飛行機は構造を単純化すると三輪車だ。
「あんな鉄の塊が飛ぶなんて」と感心する人は多いが、あれはそういう力学なんであって、
私にしてみれば三輪車が空から飛んできてズッコケずに着陸できる技術のほうが驚異だ。
0083デフォルトの名無しさん
NGNG制御コンピューターが㌧㌦
0084デフォルトの名無しさん
NGNG着陸は自由度が3次元から2次元になるため、おそろしく不安定で、制御が難しい。
しかも、飛行機制御はτが物凄く大きいはず。
どうやって、制御しているのか不思議だ。
0085デフォルトの名無しさん
NGNGそういうことですね。これはパソコンでつかうソフトウェアも機械制御のソフトウェアも同じ。
「想定されない用途」と「予想外の事態」かぁ。
ってことはソフトウェアの安定性は、仕様とテストを定義するスタッフ or 仕組みの経験値に依存するのかもね。
0086デフォルトの名無しさん
NGNGというダイアログが出てきたら、恐いだろうな…。
何回消しても出てくるの。
で、見習いの機長候補が勝手にリセットボタン押しちゃうの。
0087デフォルトの名無しさん
NGNGであれか？
「機長！やめてください！」
ってブラックボックスに残ってるのか？
NYのはバグらしいけどね
0088デフォルトの名無しさん
NGNGまた、なつかしーネタを．．． (w
0089デフォルトの名無しさん
NGNG・・・人減らしすぎだんだろな・・・
・・・やっぱりいつ首切られるか判らん状態じゃモチベーション下がりまくりだろ・・・
0090デフォルトの名無しさん
NGNGえーっ、そんなことないって！ 常識で考えようよ。
みんな騙されてるよ。
ほんとあんなものが浮かぶわけないじゃん。ﾌﾟﾝﾌﾟﾝ
0091デフォルトの名無しさん
NGNGただこれはさる筋の圧力によって特級機密になっていますので、
一般にはしられていまawm##QQQQQQQQEEEEEEEEEEEEEEEEEEEEEEEEQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQ
0092デフォルトの名無しさん
NGNG飛行機より重い月や太陽が落ちてこないんだから、飛行機が浮かばないわけない。
0093くく
NGNG0094デフォルトの名無しさん
NGNG0095デフォルトの名無しさん
NGNG同じ理屈かよ
0096デフォルトの名無しさん
NGNG引力を中和してるだけだよ
0097デフォルトの名無しさん
NGNG渡り鳥の「群れ」がエンジンに入ったらしいＹＯ！
それで異常年商で爆発
0098デフォルトの名無しさん
NGNGみんな騙されてるんだよ。
0099デフォルトの名無しさん
NGNGたぶん一般に公開するとまずいオーバーテクノロジーを利用して、
物体を転送しているのではないだろうか。
世界を混乱させないようにカモフラージュしてるんだよきっと。
ほら、結局、飛行場→飛行機内→飛行場だろ？
本当は空なんか飛んでねぇんだよ。みんなだまされてるんだよ。
稀に起きる転送失敗は飛行機墜落事故で片付けると。
0100デフォルトの名無しさん
NGNGそうだ、飛行機が飛んでるんじゃなくて、僕らが飛んでいるんだ。
僕らのなかのうんこが飛んでいるんだ。
うんこ投げまくり。
0101デフォルトの名無しさん
NGNG多分、オウムとかに下請けさせると、こんな会話しながら
プログラミングするんだろうなぁ。
■ このスレッドは過去ログ倉庫に格納されています