0126名無しさん@1周年垢版 | 大砲2020/01/29(水) 23:38:59.53ID:fIcI7jaJ0 一度、機能UPしない代わりに バグや脆弱性が一切ない事を証明できるOSを作ればいい。 航空機の検査並みに、全ての関数の挙動を徹底的に検査すれば出来るはず。