spec4: 仕様4を実装