spec7: 仕様7を実装