レッスン10 — No-catch-up 不変条件 — 1 テストで設計哲学