Pythonを使った数字列の時間表記変換

Question

前提・実現したいこと

Pythonのコーディング初心者です。
下記のような数字列を時間表記へと変えるにはどのようなコードを書けば良いでしょうか。
初歩的な質問で申し訳ありませんがよろしくお願いします。

例）
Time
0 20200701101000
1 20200801111100
2 20200901121200
3 20201001131300
↓
Time
0 2020/07/01 10:10:00
1 2020/08/01 11:11:00
2 2020/09/01 12:12:00
3 2020/10/01 13:13:00

発生している問題・エラーメッセージ

試したこと

補足情報（FW/ツールのバージョンなど）

Answer 1

pandasであれば、以下でよいです。

import pandas as pd

df = pd.DataFrame({'Time':[20200701101000,20200801111100]})
df['Time'] = pd.to_datetime(df['Time'].apply(str)) # Timeが数値であっても文字列にするのでOK

print(df)
#                 Time
#0 2020-07-01 10:10:00
#1 2020-08-01 11:11:00

Comments

[houki000]

ご丁寧にありがとうございます。
実際の運用では、1万行以上の処理を行う想定なのですが、その場合は
{'Time':[20200701101000,20200801111100]}
の部分をどのように書けば良いでしょうか？
説明不足で申し訳ありませんがよろしくお願いします。

[8524ba23]

たとえば元データがCSVファイルならpd.read_csvで読み込みdfをつくればよいです。
そのさい列名は「Time」としてください。

Answer 2

単純に考えれば、文字列の先頭から４文字、２文字、２文字、２文字、２文字、２文字、と分解して、それらをスラッシュやらコロンやらスペースと挟んで結合すればいい、ということになりますね。

Answer 3

>>> import datetime
>>> datetime.datetime.strptime("20200701101000", "%Y%m%d%H%M%S").isoformat(sep=' ')
'2020-07-01 10:10:00'
>>> datetime.datetime.strptime("20200701101000", "%Y%m%d%H%M%S").strftime('%Y/%m/%d %H:%M:%S')
'2020/07/01 10:10:00'