[[Python]]で`9:00`のような時を`09:00`のようにする方法。 ```python def hoge(time: str) -> str: hour, other = time.split(":", 1) return f"{hour.zfill(2)}:{other}" ```