La caja no era tan boba: Contenidos Audiovisuales para una Ficción más compleja

Para los distintos actores sociales que componen la Comunidad Audiovisual de una localidad alejada de los grandes centros capitalinos es prioritario acceder, entre otras cuestiones, a conocimientos técnicos-especializados para generar propuestas creativas, sustentables y competitivas. Desde la sanción en nuestro país de la Ley de Servicios de Comunicación Audiovisuales N° 26.522, acompañada por una importante política de fomento y promoción de Contenidos Audiovisuales Digitales para Televisión, se han ampliado las oportunidades para la consolidación y crecimiento del sector a nivel regional en lo que respecta tanto a la producción como a la distribución de diversos tipos de obras. En este marco, la implicación y compromiso de las Universidades públicas en estos procesos cobra centralidad dado que se instituyen en un actor de peso en términos de sus posibilidades de intervención en lo que respecta a la construcción y circulación de saberes específicos. Como parte de dicha comunidad educativa consideramos que es un deber ineludible comunicar los resultados de nuestro trabajo a los fines de su apropiación por parte de las organizaciones audiovisuales. Entonces, este proyecto de transferencia de conocimientos técnicos se orienta a reforzar los procesos de capacitación y actualización de distintas organizaciones locales que constituyen el Nodo Audiovisual Tecnológico (NAT) de Villa María. Concebidos los NAT como sistemas productivos, los mismos están conformados por diversos sujetos colectivos tales como institutos especializados, instituciones públicas, asociaciones civiles sin fin de lucro y PyMES audiovisuales. Estos actores participan en un ámbito en el que se pretende establecer una democratización de los mecanismos de participación, con énfasis en principios asociativos; y una federalización de la producción audiovisual, entre otras cuestiones. Dentro de sus objetivos se proponen fomentar la investigación y desarrollo de nuevos formatos y aplicaciones para la televisión digital, buscando establecer especializaciones tecnológicas, teóricas y productivas. En pos de esta intención es que los resultados obtenidos por el equipo de investigación pueden resultar útiles y aplicables dado que hemos profundizado en los nuevos dispositivos ficcionales que identificamos en las producciones seriadas televisivas anglosajonas destacadas por la crítica y que alcanzaron, en algunos casos, un nivel de popularización en su consumo. El tipo de objeto audiovisual que analizamos es pertinente para los miembros del NAT ya que predominan en las convocatorias para financiamiento de ficción televisiva criterios asentados en la matriz de la serialidad. Más allá de que los NAT apuntan a promover la generación de contenidos que den cuenta de la cultura y la identidad local y regional, es importante conocer ciertas tendencias en la producción ficcional internacional para concebir alternativas más cercanas a las actuales experiencias de consumo de este tipo de relatos. Es indiscutible que se ha producido una ruptura en los modelos tradicionales de narrar para televisión: cuestión que, a su vez, nos vincula a un segundo receptor de este proyecto conformado por la comunidad educativa de la Carrera de Diseño y Producción Audiovisual de la UNVM a los fines de proveer saberes renovados y construidos desde la indagación científica (Información en Anexo). Así se configura un dispositivo de transferencia tecnológica al que hemos denominado TICAVF/TV (Transferencia de Investigación sobre Contenidos Audiovisuales de Ficción para Televisión) en el que se liga la producción de investigación aplicada, las organizaciones del sector local, y sujetos implicados en los procesos de enseñanza-aprendizaje universitarios. El dispositivo permitirá la construcción dialógica de saberes a partir de instancias de intercambio que redundará en las modificaciones que el equipo de investigación realizará para construir un material de divulgación acorde a demandas específicas.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.