spec3: 一旦実装。