各研究室のページ見て4回生の人数を数えたら内部生のだいたいの人数分かるんじゃね