溢流総量を既定された場合の横溢流堤の断面決定に関する一考察