例えばイベントの実行時間を記録したログファイルから、個々のイベントの平均実行時間を算出したいとする． 例えば以下のようなawkを使って統計を取ることができる． ログファイルは以下のような感じのものを想定． #event exec_time foo 10 hoge 8.431 fuga…