講義 10 のコード

このフォルダーは、以下の例に使用してください：

• アーキテクチャ制約
• 構造テスト
• テストの不変条件（taste invariants）
• 修復指向の lint メッセージ