JAXAの「きずな」経由でメールが来たが、きずな搭載のサーバー名って何やねん。