```
class TextFile : public File { 
だとダメかな？？