京大オケとは、いったいどれほどの桶なんだろうか