新技術は航空安全にどのように活用されるのか : 型式証明の視点から (特集原子力利用の安全性に関する新知見の評価をめぐって : 工学の取組みと他領域との協働) -- (いくつかの具体例)