tag:blogger.com,1999:blog-13121066.post724505961978704738..comments2022-04-09T11:21:22.161-03:00Comments on Computación Cuántica: Computación Cuántica, Teoría de Tipos y Lógicas CuánticasGabriel Sennohttp://www.blogger.com/profile/15468850923251475032noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-13121066.post-20666748081358700322009-09-30T17:03:00.426-03:002009-09-30T17:03:00.426-03:00Genial. Te mandé un mail así seguimos charlando. S...Genial. Te mandé un mail así seguimos charlando. Saludos.Alejandro Díaz-Carohttps://www.blogger.com/profile/02923827341157756663noreply@blogger.comtag:blogger.com,1999:blog-13121066.post-59279284613395601182009-09-30T10:44:58.203-03:002009-09-30T10:44:58.203-03:00Gracias por la invitacion, me encantaria escribir ...Gracias por la invitacion, me encantaria escribir una introduccion a esos temas. Podriamos comenzar con algo "light" asi como hiciste en tu introduccion a teoria de tipos y en otro momento pasar a la parte divertida.<br /><br />Siempre me gusto la logica, me parece un area fascinante, especialmente teoria recursiva, aunque es muy diferente a complexity theory.Dannyhttp://wonder2.naist.jp/~villagra-m/noreply@blogger.comtag:blogger.com,1999:blog-13121066.post-84628559493084839772009-09-30T05:27:33.616-03:002009-09-30T05:27:33.616-03:00Hola Danny,
«Mi area de investigacion no es teori...Hola Danny,<br /><br /><b><i>«Mi area de investigacion no es teoria de tipos, sino quantum walks and quantum query complexity»</i></b><br />Si te animás, te propongo que hagas una introducción a esos temas para publicar en el blog, te parece?<br /><br /><b><i>«Si aun no hay una logica que describa completa y correctamente los algoritmos cuanticos, eso significa que no hay metodos de verificacion para algoritmos cuanticos (conozco de metodos de verificacion para circuitos)?»</i></b><br />Correcto, al menos no <a href="http://en.wikipedia.org/wiki/Formal_methods" rel="nofollow">métodos formales</a>.<br /><br /><b><i>«Con que lenguajes cuanticos trabajas (yo solo conozco el qcl de ibm) ?»</i></b><br />Yo trabajo con lambda cálculo, en particular estoy trabajando con el "Linear-Algebraic Lambda-Calculus" de Arrighi y Dowek. Hay <a href="http://computacioncuantica.blogspot.com/2007/06/lenguajes-de-programacin-cunticos.html" rel="nofollow">un review interesante sobre los lenguajes existentes, mantenido por Simon Gay</a>. <br /><br /><b><i>«se podria utilizar la logica cuantica para describir y/o verificar modelos abstractos de computacion, e.g., quantum turing machines, cellular automata, etc?»</i></b><br />Si, se podría utilizar para ello y mucho más. Una vez definida la lógica se podría incluso utilizar asistentes de pruebas como COQ.<br /><br />Saludos!Alejandro Díaz-Carohttps://www.blogger.com/profile/02923827341157756663noreply@blogger.comtag:blogger.com,1999:blog-13121066.post-23321171878692595702009-09-29T22:05:54.558-03:002009-09-29T22:05:54.558-03:00Hola Alejandro, acabo de descubrir este blog solo ...Hola Alejandro, acabo de descubrir este blog solo buscando "computacion cuantica" en espanhol en google. Excelente!!<br /><br />Mi area de investigacion no es teoria de tipos, sino quantum walks and quantum query complexity, pero te lanzo una pregunta que me quedo flotando gracias a la excelente introducion que hiciste de la teoria de tipos.<br /><br />Si aun no hay una logica que describa completa y correctamente los algoritmos cuanticos, eso significa que no hay metodos de verificacion para algoritmos cuanticos (conozco de metodos de verificacion para circuitos)? Con que lenguajes cuanticos trabajas (yo solo conozco el qcl de ibm) ? se podria utilizar la logica cuantica para describir y/o verificar modelos abstractos de computacion, e.g., quantum turing machines, cellular automata, etc?Dannyhttp://wonder2.naist.jp/~villagra-m/noreply@blogger.comtag:blogger.com,1999:blog-13121066.post-9632271701332244892009-09-26T05:08:55.807-03:002009-09-26T05:08:55.807-03:00Gracias por los comentarios!
@Leonardo: Fidel está...Gracias por los comentarios!<br />@Leonardo: Fidel está dirigiendo una carrera en la Universidad de Quilmes y creo que sigue con su cátedra en Rosario (hasta que me fui a Francia, seguía allí).<br />Mucha suerte con el proyecto!<br /><br />Saludos.Alejandro Díaz-Carohttps://www.blogger.com/profile/02923827341157756663noreply@blogger.comtag:blogger.com,1999:blog-13121066.post-90277821919693642652009-09-25T21:54:31.768-03:002009-09-25T21:54:31.768-03:00No se cómo, creo que a través de Gmail, un día vi ...No se cómo, creo que a través de Gmail, un día vi un link a tu blog, entré a leerlo, y me enganché más al ver que te habías relacionado con Fidel, que fue profesor mío en la UNLP. Desde ese momento leo todos tus post :D<br />En una semana voy a comenzar a ver de cerca alguno de los temas con los que trabajás a diario, ya que arranco a hacer el trabajo final de la materia Programación Funcional (la cátedra donde hasta hace 2 años estaba Fidel, pero no se por qué ya no está). Es un proyecto sobre un Evaluador LIS. Por ahora no tengo mucha idea de qué se tratará, pero lo tengo que tener terminado para febrero del año que viene.<br /><br />Te dejo un saludo. Un placer verte progresar.<br />Leonardo.Leonardohttps://www.blogger.com/profile/11452013355121934333noreply@blogger.comtag:blogger.com,1999:blog-13121066.post-90753170450223884332009-09-23T09:57:39.996-03:002009-09-23T09:57:39.996-03:00Buena info che! Suerte.Buena info che! Suerte.Daniel Montenegronoreply@blogger.com