z < 4の小さな赤い点を地上観測と分光フォローアップで数える | Synapse