>>15
stdio はバッファリングしてるから getc を呼びまくってもそれほど遅くはならないような気がするんだけどな