システムの情報の正確さはコードに近いほど担保される