>>695は>>580とほとんど同じであった。
よって、今後>>695の代わりに>>580を使うことにする。