小学校児童数（国立）