0758名無し行進曲
2020/01/20(月) 15:53:11.98ID:9LY86O6a仮にこれを証明したいとして、
なるほど、「許諾済みでない改変」を探して回るのも一つの方法ではありましょう。
反証が見付かるまでは真と見なしておいて良いのかも知れない。
が、もっと合理的な方法があります。
「許諾済みでない改変」が入り込むのは事実上不可能だと示すことです。
入り口チェックの話は、そこを検証するために行われるのでなければなりません。
なのに皆さんは、検証がちょっとでも進むとすぐ
「許諾済みでない改変」が見付かっていない以上、この検証は不要である
に話を持ってくだけ。
まるで、こちらの主張にあたる
「全ての改変が許諾済みとは限らない」
を積極的に証明したがっているかのようにさえ見えるほどです。
もちろん、決してそんなつもりはないのでしょう。
要は単純な話で、いま自分が何を検証せねばならないのか、理解できてないのです。