matplotlibの出力画像をPDFで保存する

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