spec3: 仕様3を実装