パターンマッチの用語と混同しそうな表現を避けた
関数適用の説明を簡潔にした
前節の場所を明示した
演算子の適用例を追加