spec3: ファイル出力