今まで、ファイルの文字列を読み込むのに一行ずつ(read_line)読んでいって、EOFの例外捕まえたらブレークみたいな処理を書いていて、多分間違ってるんだろうなあとか思いつつ放置していたのですが、やっぱり不味かったみたいで、調べたらちゃんとそれらしい…