式に分解パターンを導入します。