ところで誤り訂正の回路って実際にちゃんと動くということは実証済みなんですかね?