データ圧縮ハンドブック : マルチメディアデータ圧縮の実践的プログラミング技法