>>883
stdio.hを開いて、EOFとgetchar()の定義をよく見てみよう。