プール授業中って、溢れた分を追加注水なのか、溢れた分を濾過して戻すのか分からんけど、前者の場合、満水警報が授業中に鳴り続けることになりそう。