python の pickle モジュール のショートカット関数