レッスン4 — ドリル: インタープリターのソースが読める証明