https://123dok.com/jp/docs/pdf-chapter-3-conceptual-foundations-pattern-matching-analysis.10578814