川の深さを倍にすれば