物理的なことは、分かるんです。
ただ、それをコンピュータで制御して事故が少ないというのが信じられない。

飛行機は、変なアセンブリや、いきなり機械語を埋め込むような言語で複雑な
制御プログラムを実装していると思う。

僕が書いたら絶対落ちる。

墜落しなくても、技術者が青ざめるようなことはしょっちゅうあるのでは?

飛行機を飛ばすプログラムなどに使用する言語や開発環境を教えて下さい。
僕を安心させて下さい。