エントロピーと冗長性