サークル数 ＋ 会場スタッフ数 ＋ 一般
総数どのぐらいなんだろう
唯一数を正確に把握できるのは会場スタッフの数ぐらいかね
ただしその数を分かっているのは豚のみだけど