// バイナリファイル→数値ファイル
static async Task Convert(string source, string destination)
{
EqualIntervalData data;
using (var reader = new BinaryReader(new FileStream(source, FileMode.Open)))
{
data = await EqualIntervalData.GenerateAsync(reader);
}
using (var writer = new StreamWriter(destination))
{
await data.OutputText(writer);
}
}
