Desde el anuncio de la Competición de IA de Google 2010 se han producido las siguientes novedades:
Se ha anunciado la Google AI Challenge del 2010. Este año el objetivo es crear un programa para el juego de la Guerra de los Planetas que juege tan inteligentemente como sea posible.
El juego de la guerra de los planetas es un juego de estrategia inspirado en el Galcon.
Se puede participar en la competición programando la estrategia del juego en distintos lenguajes de programación a los que en breve se añadirán Haskell y Common Lisp.
Esta competición puede utilizarse en distintas asignaturas que impartimos:
El comienzo de cada curso es una época propicia a la aparición de artículo en la prensa sobre temas educativos. En este sentido, El País ha publicado el artículo Clases a la boloñesa.
En el artículo se contraponen dos métodos de enseñanza (las lecciones magistrales y las clases dialogadas) y argumenta que el proceso de Bolonia liberará a la enseñanza de las medievales clases magistrales y generalizará las clases dialogadas.
Personalmente pienso que las clases dialogadas son muy anteriores (e independientes) del proceso de Bolonia. Dentro de la enseñanza de las matemáticas hay métodos de clases dialogadas de larga tradición.
Uno de los método de clases dialogadas más conocido es el método de Polya presentado en su libro Cómo plantear y resolver problemas de 1945. La versión original del libro puede leerse aquí y un resumen del libro aquí. Una presentación del método de Polya en castellano se puede leer aquí.
El método de Polya se ha adaptado a la enseñanza de la programación como se puede apreciar en Problem solving in Haskell.
Otro método de clases dialogadas es el método de Moore introducido por Robert Lee Moore en 1911. Una presentación actualizada se encuentra en el artículo The method Moore.
Ambos de métodos tienen un antiguo presedente en el método socático. En el artículo Teaching college Mathematics by question-and-answer se analiza la aplicación de los tres métodos a la enseñanza de las matemáticas.
Se ha publicado la versión 4.1 de ACL2.
En Differences from Version 4.0 se comentan los cambios respecto de la versión anterior. Estos cambios se refieren a cambios respectos de características existentes, nuevas características, corrección de errores, actualizaciones de libros y soporte para Emacs.
Se ha anunciado la oferta de plazas de trabajo en la Universidad de Cambridge.
El trabajo se realizará dentro del proyecto EPRSC Semantic Foundations for Real-World Systems. Entre sus objetivos se encuentra la verificación de la compilación de lenguajes concurrentes, para lo que se requiere conocimiento de verificación de programas y de sistemas de razonamiento.
El director del proyecto es Peter Sewell