実行時間計測

Pythonスクリプトの実行時間を計測して標準エラーとしてターミナルへ出力する．

import sys
import time
StartTime=time.time()

"""
プログラム
"""

EndTime=time.time()

print("Running Time =", EndTime-StartTime, "[sec]", sep=" ", file=sys.stderr)

実行すると

Running Time = hoge [sec]

となる．
Shellのtimeを使っても良いけど，結果が微妙に違う．
Shellのtimeだとプログラムの実行時間じゃなくて，プログラムを読み込むところから始まるからかなー……
どちらにしろ，プログラムの中に埋め込める分，time()を使った方が細かいところまで計れそう．