エウレカセブンの設定って今どうなってんの?