荒井養高石数