Python BASIC でいうところの RIGHT$ とか

　数値を表す文字列をゼロパディングする必要があって、そういえば何10年も前に BASIC で

a$ = right$("000"+val$,4)

とかやったなぁと思い出す。

　さて Python では...、

a = ('000'+val)[-4:]

とかが割りと簡単に出てきた。

# a = '%04s' % val はだめみたいだ。

　だいぶ慣れたかなぁ、Python にも。

　だけど、C に勝るとも劣らないおかしな(?)書き方が目立ってきた。

----
　とか、いい気になっていたら、

a = val.rjust(4,'0')

で済むことがわかった。まだまだだなぁ。

　しかし、ライブラリというか、標準関数を覚えるのは苦手なんだよなぁ...。