matplotlib

グラフなどを保存するときに PNG 等より PDF で保存した方が拡大時にも鮮明に表示できるので、matplotlib の機能で PDF をエクスポートしてみます。