domingo, agosto 31, 2008

Monotremas

Rápido, ¿cuál es el único mamífero que nace de huevo?
Si contestaron que el ornitorrinco, permítanme decirles que están mal. De hecho, no existe un único mamífero que nace de huevo.
En realidad hay cinco especies vivas de mamíferos con reproducción ovípara, todos ellos clasificados dentro del órden de los monotremas. Una especie es el ya mencionado ornitorrinco, mientras que las otras cuatro corresponden a Echidnas (todas nativas de Australia). Este que ven aquí es un echidna de hocico corto que cazaba avispas en el zoológico de Taronga en Sydney.

domingo, agosto 24, 2008

Impresiones IJCAR 2008

Antes que nada, ¿qué es IJCAR? Es el "Congreso Internacional Conjunto en Razonamiento Automatizado" (o algo similar, por sus siglas en inglés). Básicamente, junta varios congresos en un sólo evento para promover un mayor intercambio de ideas.
En esta ocasión, a mí me funcionó pues mi tema es interesante para la gente de TABLEAUX (uno de los congresos participantes), pero mis métodos son ajenos a ellos (usé teoría de autómatas para obtener mis resultados). Este artículo nunca habría sido aceptado en TABLEAUX, pero fue suficiente para irme a Sydney a IJCAR.

Siendo honestos, el congreso no me aportó mucho en cuanto a mi tema de investigación se refiere. El ochenta porciento de la gente se dedica a proof theory y a las aplicaciones. Uno como yo enfocado a Lógicas Descriptivas de forma teórica no tenía mucho apoyo. De todas formas, hubo un par de detalles que llamaron mi atención.

Una parte interesante, y creo que digna de ser discutida, es el tema de dónde se publican los artículos del congreso. Hasta ahora se ha usado a Springer, pero varios se empiezan a mostrar reacios a continuar así. Andrei Voronkov es una de las voces más fuertes en este respecto. El problema para muchos es que quieren tener todos sus artículos disponibles en su página personal. Por ahora, Springer permite esto con mínimas restricciones, pero nadie sabe qué puede pasar en el futuro. Andrei simplemente dice que el negocio editorial está muerto y que en pocos años, cuando Springer venda los derechos de todos sus artículos a otra compañía, ésta podría poner todo su esfuerzo y poder en retirar los artículos no-oficiales. Personalmente, yo no creo que esto vaya a suceder.
Los que quieren seguir con Springer dicen que quieren tener el libro impreso y no sólo los datos electrónicos. A esto, Andrei responde que su sistema EasyChair va a ser capaz pronto de producir (y almacenar) el libro electrónico, y que se puede usar un método de auto-publicación para tener el libro impreso (por ejemplo, Lulu).
Yo veo un problema más grave con la auto-publicación. Mientras yo sé que IJCAR tiene un estándar bastante elevado a la hora de aceptar artículos, quien quiera que revise mi propuesta para recibir fondos para un nuevo proyecto no tiene por qué saber eso. Springer tiene ya cierto nivel de calidad establecido y publica con un número ISSN (como un journal); ninguna de estas cosas las tiene la auto-publicación. Así, podría ser rechazado por alguien que no puede comparar la calidad de mi investigación.

Regresando a IJCAR, ir a este congreso me sirvió para confirmar que muy pocos están interesados en mi tema. Aunque hubo al menos dos personas que mencionaron querer usar pinpointing en su investigación, y una más que lo usa de forma un tanto oculta (y bastante creativa, debo admitir), no veo que esto suceda en el mediano plazo. Debo aprender a vender mejor lo que hago, que apenas fue mencionado durante la semana que duró el evento.

Una semana, por cierto, es bastante - tal vez demasiado. Al terminar el viernes estaba exhausto, y como bebé me fui a dormir pocas horas después de la puesta del sol (allá era invierno, así que obscurecía como a las 19:30).

¿Iría al siguiente IJCAR? Por supuesto. Pero iría con una mentalidad muy distinta a la que llevaba ahora, con una idea más clara de a qué voy y, con suerte, con un sistema aplicando mis ideas, si es que logro convencer a algún estudiante de ponerse a trabajar en eso.

sábado, agosto 23, 2008

Las palabras son monólogos, me estremecen

Disfruten.

viernes, agosto 22, 2008

Vuelos y Hong Kong


Fog
Bueno, básicamente sólo Hong Kong. Los vuelos no tuvieron ningún incidente especial, excepto que el entretenimiento a bordo de Cathay Pacific es excelente: muchísima variedad; tanta que en cuatro vuelos de larga distancia no alcancé a ver todo lo que tenían (aunque casi lo logro).
Después de las primeras once horas de vuelo, llegamos a Hong Kong. Ahí tenía que esperar nueve horas antes de tomar el siguiente avión. Mi plan inicial era quedarme en el aeropuerto y tal vez acabar dos o tres libros, pero afortunadamente vi la luz sobre lo tonto de la idea y, aprovechando que Martina y Ricardo estaban por ahí, me decidí a salir.
Y no me arrepiento en lo más mínimo.
La primera impresión sobre Hong Kong: ¡está lleno de chinos!
En plan más serio, la ciudad está impresionante, aunque realmente son prácticamente sólo edificios. De hecho me tomó un largo tiempo convencerme de que realmente estaba en China (aún con la gente que me rodeaba).
Subimos al Peak, de donde se pueden ver las obras arquitectónicas y también las costas despobladas en esplendor. También fuimos después a ver un show en que encienden los edificios y ponen música, y luego nos fuimos a cenar.
De pronto Ricardo se asusta: ¡ya eran las 22:00! Salí corriendo de ahí para tomar el tren de regreso al aeropuerto y afortunadamente llegué a tiempo, pero no tuve oportunidad de comprar souvenirs (ni electrónicos).

miércoles, agosto 20, 2008

Una de Sydney

Pronto (espero a más tardar mañana) les tendré más detalles del viaje a Sydney, que estuvo lleno de acontecimientos. Por ahora, los dejo con la clásica foto de turista.

viernes, agosto 15, 2008

Un poco de historia

He decidido que quiero leer un poco de historia. Alguien ahi me puede recomendar algun libro para empezar? Asuman (sin gran error) que no se absolutamente nada del tema. Cualquier tipo de historia se vale: historia de Mexico, de Europa, Asia, Japon, de las matematicas, de la ciencia, etc etc.
De preferencia algo basico y sencillo.

Gracias por adelantado.

lunes, agosto 11, 2008

And Microsoft Research...

Maybe I shouldn't be surprised, but I cannot believe that the Microsoft Research guys come all the way to IJCAR only to speak about MS products. No research, no techniques, nothing! Simply describing the names of their products and giving a small (and faulty) demo, without any meat in it.
Oh, well.

sábado, agosto 09, 2008

¿Donde estariamos?

- Where would we be without laughs and humour?
- In Germany

Escuchado en los muelles de Sydney.

miércoles, agosto 06, 2008

Yo no - bueno, un poco

El Reno Renardo - Crecí en los ochenta.

viernes, agosto 01, 2008

¡No! (o ¿si?)

Trabajando en una aplicación para mis transformaciones entre programas, acabo de encontrar una nueva definición mucho más sencilla y que al parecer se comporta mucho mejor que la transformación original.
Esto significa, por el lado malo, que todo un capítulo de mi tesis se iría por el desagüe, pues ya no sería necesario. Por el lado bueno, puede ser más fácil convencer a la gente de la importancia del método, dada su mayor simplicidad y su mejor comportamiento. Como ejemplo, para el método original era indecidible si terminaba o no; esta nueva transformación termina siempre, dadas unas condiciones limitadas.
Ahora a dedicar el viernes a revisar definiciones y pruebas y decidir qué hacer con esto.