変換規則と定義