>>34
手作業は、このようにやりました。ということで証明できる。
自動化は、その環境下において自動化プログラムが紛れもなく正しく動いていたことを証明しなければならない。