spec1: 実装