東大構内、三四郎池。