Ada/SPARK、ガチな開発環境すぎて開発者がとても限られてる以外の面では、安全を考慮して考えたら、少なくともRustが使える程度にはリッチな環境であれば障碍無くない？＞＜