有名な論理クイズの一つに、下の問題がある。akizake.com上記は「何をすれば言ってる事の正しさを証明できるか」を問うクイズだが、 システム開発におけるテスト工程には、このクイズと通じる面白さがある。つまり、「システムが正常に動く事をどうやって証…