spec9: 仕様9を実装