ログファイルは拡張子はなんでもいいのか？
配布サイトによって .log だったり .dat だったり .txt だったりしたんだが。