spec2: 仕様2実装