FILE* から fstream に変換する方法を教えてください。