IT雑談

0a725285 :Anonymous 2018-06-06 00:58

チューリングマシンでしか動作しないプログラムに限るならバグがないことを証明することは不可能なはず
オープンソースが支持されてるのは攻撃態勢を具体的に評価できるからだしね