ファイルへの書き出しを実装した．