spec1: 初期実装