7-zip で圧縮しようとするといくつかの圧縮方法が選べる。どれがいいのだろう。ちょっと試してみた。 用意したデータは3ファイル。 あるDBMSのメモリダンプ（バイナリファイル）104MB メモリダンプから取り出したトレースファイル１（テキストファイル）24MB…