Pythonで文字列を桁埋め（パディング）

どの言語でもパディングのエントリ書いてる気がする。

>>> print ‘%(#)05d’%{‘#’:3}

「3」という数字を「0」で桁埋めして「5桁（00003）」にします。