いま色々みてたら、EOFの値は処理系依存で、大抵-1だけど
charが符号付かどうかも処理系依存だから、符号なしの場合は
EOFを認識できないからintを使うって書いてたけど、これであってんの？