タグ: V&V

Verification は完全可能、Validation は原理的に未決という非対称。