spec3: fileから入力して出力