Idéias malucas pessoais

Rio-Goiânia

2011-10-28T17:39:00.002-02:00

Viajar do Rio via aeroporto Galeão (GIG) pra Goiânia (GYN) é divertido desde o momento em que você vai comprar sua passagem e vê que vai fazer o trajeto GIG-GYN...

Quinta sinfonia de Beethoven + Mambo no. 5 = isso

2011-04-12T21:19:00.002-03:00

Reavivando o velho hábito de postar músicas que me chamam atenção =)

De volta!

2011-02-01T08:55:00.002-02:00

Cheguei hoje às 6 da manhã, no Rio. Mesmo ainda escuro, já estava bem quente... Tinha esquecido como fazia calor aqui :-)

Agora tenho que me acostumar de novo com a temperatura, com o Windows (4 meses só com MAC) com diferentes teclados, enfim, com a nova antiga vida :-)

Comecei a escrever um post sobre as férias pela Europa, mas ainda não consegui tempo pra terminar de escrever nem botei as fotos e vídeos online, mas faço isso em breve.

Férias!

2010-12-20T17:01:00.008-02:00

Na última sexta saí de férias! Só volto ao trabalho na segunda semana de janeiro! Até lá, Munique, Berlin, Paris, Stuttgart e Portugal, se o inverno permitir e parar de atrapalhar os aviões e trens daqui.

Desde sexta eu e Debora estamos em Munique, onde ficamos até quarta. Sábado fomos ao castelo de ~~Stormwind~~ Neuschwanstein:

onde encontramos um membro da Defias Brotherhood:

Ontem foi dia conhecer o Deutsches Museum, um museu dedicado a tudo relacionado em engenharias. O museu é bem grande e nem deu pra ver tudo em um dia inteiro, mas tem coisas muito interessantes e recomendo a todos que visitarem Munique a gastar um dia lá. Do que eu vi, gostei bastante da parte de mineração, onde inclusive tive que impedir uma mina de desabar:

Ainda na parte de mineração, muitos carrinhos de mineração, maquetes e até algumas máquinas reais:

Além disso, pra quem é de computação, é interessante também ver a parte de eletrônica e informática. Como bom nerd, tirei fotos de um waffle de silício (que nunca tinha visto, só ouvido falar):

de um Univac, provavelmente um modelo capado ou algo assim e sem periféricos, por dentro:

e por fora:

e ainda fui fotografado ao lado de um Cray I:

Não sei quando virá o próximo post, portanto, desejem-me sorte para o deslocamento aqui na Europa

Debora na Alemanha!

2010-12-13T19:54:00.002-02:00

Debora chegou aqui semana passada, no domingo. Ela já fez alguns posts no blog dela, então, quem é curioso por notícias e acha que posto pouco, visitem o blog: http://deboratads.blogspot.com/

Essa semana é a última semana de trabalho do ano. Sexta-feira viajaremos para nosso tour e volto na primeira semana de janeiro. Se tudo correr bem, poucos posts e muitas fotos nesse período ;-)

Congelando

2010-12-01T20:16:00.002-02:00

De acordo com o Google, agora fazem -5°C aqui. A parte interessante é que a neve não derrete e tudo permanece branco. Mas não estou passando frio... Só tive que usar meu casaco mais grosso! Ontem até estava um dia bonito, com céu tentando ficar azul e chão branco, mas hoje a neve voltou com mais vontade, mesmo durante o dia. A rua aqui atrás do apartamento está toda branca... Até difícil distinguir a calçada da rua :-)

Para os opositores que ficam me difamando falando que eu nunca apareço nas fotos com a neve, selecionei duas:

Agora já até sei que vocês vão mudar o argumento e falar que é Photoshop!

Fotos, fotos e mais fotos

2010-11-26T12:30:00.003-02:00

Finalmente fiz upload das fotos que tenho tirado por aqui para o Picasa...

http://picasaweb.google.com/vinicius.santos/

Mais neve

2010-11-26T09:39:00.004-02:00

Depois do último post, terça-feira passada, não teve mais neve pelo resto da semana. Já essa semana, começou a nevar pelo menos um pouco, todos os dias, mas com a neve sempre derretendo durante o dia, pois a temperatura estava acima de zero graus:

Aparentemente essa noite nevou bastante. Dei uma olhada pela janela e vi que havia um quantidade considerável (aqui é mais quente que na universidade, e tinha visto muito pouca neve nessas redondezas):

Já tinha neve suficiente até pra um menino fazer uma bola de neve:

Neve!

2010-11-16T16:58:00.004-02:00

E hoje, pela primeira vez na minha vida, vi neve. Chegou assim, sem avisar, logo depois de um final de semana ensolarado.

Eu estava no ônibus indo pra universidade e quando saí de casa estava chovendo. Em determinado momento, percebi que a chuva estava caindo devagar e comecei a imaginar que poderia ser neve. Dois minutos depois comecei a ver algumas partes do chão brancas e tive certeza :-)

Aparentemente lá já estava nevando antes mas onde eu estou morando, não nevou ainda. E são apenas 20 minutos de um lugar até o outro. O caminho que faço do ponto de ônibus até a minha sala, no começo do outono (na verdade, até ontem) estava assim:

Hoje, já estava assim:

Embora não dê pra ver direito na foto, meu cabelo, barba e casaco, ficaram com floquinhos de neve:

Percebe-se que eu estava igual criança rindo à toa =D

Só não deu pra apreciar os flocos muito bem, porque a temperatura estava "alta" e eles estavam deformados e derretendo. Finalmente, um registro em vídeo. Recomendo assistir no youtube com qualidade HD, se possível em tela cheia pra ver melhor a neve caindo. Mas aqui já dá pra ver alguma coisa:

Heidelberg e Augsburg

2010-11-15T17:13:00.006-02:00

Depois que descobri a manha de pegar trens baratos (e lentos) resolvi que vou tentar viajar todo final de semana. No último final de semana fui em Augsburg e no anterior fui em Heidelberg.

Heidelberg é uma cidade bonitinha, com prédios antigos, toda organizada. Tá, até agora descrevi todas as cidades daqui, praticamente. Mas Heidelberg tem um atrativo especial, que é um castelo (grande parte em ruínas). Parece que foi durante a guerra dos 30 anos que ele foi destruído. Ainda há bastante coisa de pé, pelo menos muitas paredes, mas as áreas internas foram quase todas destruídas, assim como parte das torres e também os objetos foram saqueados pelos vencedores. Ainda assim, o local vale a visita.

No último domingo fui a Augsburg, a cidade mais antiga da Baviera e a segunda mais antiga da Alemanha. O nome da cidade é em homenagem ao imperador romano Augustus, que fundou a cidade (ou mandou fundar). Era uma rota importante para os Romanos. A cidade já foi um dos locais mais importantes economicamente da Europa. E como tudo de bom que já existiu por aqui mas acabou, foi por causa de alguma guerra. Foi em Augsburg que nasceu o pai do Mozart e a casa dele acabou virando museu. Um fato engraçado foi na hora de ir embora, enquanto não dava a hora do meu trem, fui ao Burger King e comprei uns nuggets com bacon. O diálogo foi mais um menos assim:

- Cheesy Bacon Nuggets -- ou algo parecido com isso, que era o nome do que eu queria.

A atendente respondeu:

- "@#$$&*@% #%@@* Schwein".

Eu, dentro de meu vasto conhecimento de alemão, sabia que Schwein significava "porco". Imaginei que ela estava falando que continha carne de porco, e respondi:

- OK.

Ela falou

- "#$* *%((@!@ !@%)#(%* muslim", de onde eu deduzi que ela estava perguntando se eu era muçulmano, e respondi:

- "No, I'm not."

No fim tudo deu certo e consegui comer os tais nuggets. Talvez seja uma boa considerar mexer na barba antes de tentar embarcar em algum avião =P

Curiosidades:

- Em todos os lugares que reparei até agora as janelas tinham 2 "camadas" de vidro. Imagino que seja pra isolar no frio.

- Também por causa do frio, mais especificamente, da neve, há grades na ponta dos telhados, pra segurar a neve e não deixar que caia na cabeça das pessoas.

- Da mesma forma, a neve pode danificar fontes e chafarizes, por isso estas são cobertas ainda durante o outono, antes da neve chegar.

- Aqui na Alemanha tenho muitos problemas com vídeos bloqueados Youtube, a frase "This video contains content from UMG. It is not available in your country." faz parte da minha vida, agora.

A propósito, post sem fotos porque estou com preguiça de pegar a câmera... Depois boto no Picasa/Orkut.

Falando português na Alemanha

2010-11-11T17:21:00.004-02:00

Hoje tive uma experiência que dificilmente terei novamente: assisti uma aula de português para alemães. Um dos alunos do meu grupo de pesquisa está fazendo aulas de português na universidade e, ao ver que a professora era brasileira, resolvi ir lá bater um papo (afinal, não tinha achado brasileiros por aqui ainda). Acabou que acabei virando "instrumento didático" hehe. Quase um terço da aula foi de perguntas e respostas sobre mim =P

A turma é bem heterogênea. Aparentemente todos são alemães, mas dos 8 alunos presentes 2 já passaram algum tempo no Brasil, então conseguem se comunicar bem e possuem um bom vocabulário, um já estudou espanhol (ele se denunciou duas vezes, falando coisas em espanhol), uma parece ter estudado italiano (rolou um "parla"). Tirando os dois que viveram no Brasil, os demais parecem estar mais ou menos no mesmo nível, de fato aprendendo, e não apenas praticando e aperfeiçoando.

Um dos dois alunos que moraram no Brasil ficou por três anos, porque tinha uma namorada brasileira. Aprendeu português na marra e, segundo a ex-"sogra" dele, fala português igual a um favelado. Mas eu acho que ele se expressa bem... Talvez eu também fale igual a um favelado =P Ele falou bem do Brasil e, segundo ele, os alemães são muito sérios e tem "medo" de sorrir, e disse que gosta muito do Rio e se diz um carioca. "Parabéns, oh brasileiros".

Falando em Hino da Independência, a letra correta do hino é "Parabéns, oh brasileiros/ já com garbo juvenil" ou "oh brasileiros/ já com garbo varonil"? Jurava que era juvenil, mas olhei no Google agora e achei lugar dizendo que é juvenil, como o Consulado Geral do Brasil em São Francisco, mas também achei lugar dizendo que é varonil, como a Wikipedia. Mas antes que venham reclamar que a Wikipedia não é confiável, fiquei na dúvida porque a maioria dos resultados dizia varonil. Aí, pra completar, ainda achei esse site que diz que depende de quem canta =P

Testando FeedBurner

2010-11-08T20:54:00.001-02:00

Estou começando a usar isso hoje e estou fazendo uma postagem para testar. Ignorem =)

Medley de músicas de desenhos animados

2010-11-08T12:47:00.002-02:00

Quebrando a série de posts sobre minha estadia na Alemanha =)

A maioria dos desenhos são conhecidos mas algumas músicas não, porque a TV brasileira muitas vezes não colocava a abertura.

X-Burguer

2010-10-27T16:10:00.006-02:00

Novidade: essa semana descobri que a bolsa já entrou! Agora posso dormir mais tranquilo por saber que não vou ser despejado nem passar fome! A parte difícil foi descobrir quais eram os botões que eu tinha que apertar pra ver o saldo e depois pra fazer saque :-)

Precisei ir ao caixa duas vezes e usar o dicionário, mas entre mortos e feridos salvaram-se todos =D

Mas se tudo correr bem, até a volta pro Brasil vou saber um pouco mais de alemão e essas coisas vão ficar mais fáceis... Tenho estudado todos os dias (ouvindo umas lições que o Mentel recomendou).

Sexta-feira consegui destruir a câmera. Ela estava em meu bolso e provavelmente eu esbarrei no botão de ligar. A lente tentou abrir encontrou resistência e... puft. Mas ok, já estou com outra e devendo vários euros pra Debora =P

Antes de pifar, ela foi bem utilizada... Tem um bocado de fotos. Tirei foto inclusive da minha nova coleção de moedas de euro:

As que estão bagunçadas à direita, são repetidas. As demais estão divididas em linha, cada linha de um valor. Tem várias de cada porque a parte de trás da moeda depende do país onde ela foi emitida. Além disso, tem o ano, então, se você coleciona mesmo, é mais uma coisa pra prestar atenção. Mas depois devo restringir essa coleção de algum jeito, porque está ficando cara =P

Mas é bom arrumar hobbies quando você está longe de casa, sem falar o idioma local e sem conhecer praticamente ninguém, mas nesse caso a coleção já é um hobby mais antigo.

Aproveitando que já estou com "a mão na massa" vou aproveitar para colocar mais duas fotos. Depois jogo um bocado de uma vez no Picasa.

No primeiro final de semana, assim que cheguei, fui com o Jayme, meu orientador brasileiro, Dieter, meu orientador alemão, e o Philipp, um aluno de doutorado aqui, até Füssen, conhecer o castelo de Neuschwanstein, um castelo construído por um imperador da Baviera. Esses são meus orientadores:

E esse é o castelo:

Mas de turismo mesmo só fiz isso, até agora. As novidades que tenho visto são coisas bobas do cotidiano são: aprender a pegar ônibus, onde descer, como sacar dinheiro em banco, fazer compras no mercado e assim por diante, além do idioma. O mais próximo de turismo que fiz foi bater perna na rua onde estão todas as lojas grandes da cidade, pra não morrer de tédio em casa no final de semana. Mas nos feriados de Natal e Ano Novo viajarei com a Debora aqui pelas "redondezas" :-)

Fora isso, meu dia-a-dia tem sido trabalho. Descobri que já tinham feito algo muito parecido com o que eu estava escrevendo no meu paper, então teremos que começar da estaca zero. Atualmente, estamos eu, Philipp e Dieter ainda discutindo o que estudaremos, com reuniões mais ou menos dia sim dia não, e lendo um bocado de artigos sobre o assunto da vez, para decidir exatamente qual problema atacar.

A lista para próximos posts continua:

- Rio Danúbio

- Biblioteca Municipal

Ah, e pra quem não entendeu o título do post, é um "sanduíche" ;-)

Novidades

2010-10-15T19:08:00.004-03:00

Volta e meia lembro de alguma coisa pra escrever aqui, mas como não estou no computador acabo esquecendo ou ficando com preguiça. Estava procurando onde fica exatamente um supermercado aqui perto e resolvi achar o lugar onde eu estou:

View Larger Map

É um antigo mosteiro, que agora é parte da universidade, parte asilo, parte museu e mais alguma(s) outra(s) coisa(s). O meu apartamento é até maior do que eu esperava... só uso mais ou menos metade do espaço dele. Estou morando sozinho e o aluguel é até razoável, 300 euros por mês.

Daqui pra universidade tenho que ir de ônibus, são 24 minutos de viagem (sim, cronometrados, inclusive tem hora pra pegar o ônibus e no ponto tem a tabela com todos os horários). Além disso os pontos são identificados por nomes e dentro do ônibus avisa qual é o próximo e em boa parte deles mostra uma imagem com os pontos seguintes e o tempo de viagem até cada um deles. A imagem abaixo mostra a placa do ponto Hauptbahnhof, a lista dos ônibus que passam e a tabela dos horários.

Outra coisa interessante é que você pode comprar passes semanais ou mensais, que valem muito a pena. Cada viagem custa 1,90 euros (é um preço salgado se for fazer a conversão pra real, mas é uma das únicas coisas bem mais caras aqui). Se você compra um passe semanal e usa 9 vezes (por exemplo, vai pra universidade os 5 dias da semana), já compensa. E tem o passe mensal também, que é mais ou menos o valor de 3 semanas. Nessas horas eu fico triste em pensar no metrô do Rio, por exemplo, onde você pode comprar um bilhete pra várias viagens mas não recebe nenhum incentivo ou desconto por isso. O argumento provavelmente deve ser que você isso é bom pra você, já que só precisa entrar na fila uma vez, mas isso é vantagem pro metrô, que precisa de menos funcionários na bilheteria. Falando em bilhete, muitos pontos de ônibus por aqui tem máquinas onde você pode comprar seu bilhete (e nem precisa mostrar pro motorista, em geral). Quando não tem, é só pagar pro motorista mesmo que ele te dá o bilhete.

Curiosidades:

- Os alemães andam rápido! Não sei se é costume pra ficar pouco tempo no frio, se é porque a estatura média deles é maior e portanto têm pernas mais compridas, mas eu sei que eles andam rápido!

- A temperatura média aqui do outono é mais ou menos igual aos dias mais frios do ano no Rio.

- A previsão para os próximos dias é de frio. Devo enfrentar os zero graus ainda esse mês.

- Ulm, a cidade onde eu estou, é a cidade natal de Albert Einstein.

Nos próximos posts:

- Rio Danúbio

- Biblioteca Municipal

Doutorado Sanduíche

2010-10-05T13:10:00.011-03:00

Finalmente vou começar a escrever sobre o doutorado sanduíche.

Tudo começou algum dia de 2009, quando passei pelo Jayme, meu orientador, em um corredor do NCE (se não me engano eu estava saindo do banheiro e ele entrando) quando ele me perguntou: "Você fala alemão?"

Mais tarde vim entender a razão. Ele é o coordenador do lado brasileiro de um projeto de pesquisa bilateral Brasil-Alemanha. O coordenador do lado alemão é o meu coorientador. Este projeto prevê viagens ao exterior para realização de doutorado sanduíche. E é aí que eu entro, ou melhor, saio. Do País.

No começo de 2010 vim a conhecer o então futuro coorientador, Dieter Rautenbach, no Brasil. Ele passou pouco mais de um mês juntamente com alguns alunos. A visita dele foi bastante produtiva e me deixou animado para a viagem. Depois disso começou a correria para poder viajar. Primeiro, era necessário que eu fizesse meu exame de qualificação, um processo feito normalmente no meio do doutorado para mostrar para uma banca que aquilo que você está fazendo tem algum futuro. Depois disso, pedido pra Capes e outras burocracias inerentes à viagem.

Eu não sei como é para a maioria das pessoas, mas os preparativos foram um bocado estressantes pra mim. Fico cheio das paranóias de que algo vai dar errado. Mas é culpa também da burocracia... Seria bem legal se eu precisasse apenas colocar as roupas na mala e sair, sem me preocupar com passaporte, seguro, etc.

Dia 1º de outubro era o dia da viagem. A tensão começou na véspera, com as malas. Seriam 4 meses na Alemanha, então teria que levar um bocado de coisa. Com isso começou o medo de estourar o limite de peso. Depois ao chegar no aeroporto o funcionário da TAP falou que iam me barrar na imigração por falta de visto (na Alemanha você pode deixar pra pedir o visto de estudo depois de chegar no país). Aí foi aquela tensão até Lisboa, onde eu ia fazer a escala pra depois seguir pra Frankfurt. Chegando em Lisboa, tem aquele tempo até sair do avião e tal e depois segui para a imigração. Depois de 1h na fila, de mostrar passaporte e mais umas 2 cartas, e de umas 3 perguntas básicas, fui liberado \o/

Dali segui já pro portão de embarque pra Frankfurt. O avião era meio feinho, com as poltronas meio gastas, mas era de se esperar que fosse pior que o avião anterior, afinal, era uma viagem de menos de 3h, contra as cerca de 9h até Lisboa, com filminho, vinho e tudo mais.

Chegando em Frankfurt, fiquei até meio desnorteado. O aeroporto era gigantesco, tinha aviões bizarramente grandes, inclusive o maior avião do mundo. Os maiores aviões eram da Lufthansa, empresa que é responsável pela maior parte dos voos do aeroporto. Aliás, a quantidade de voos do aeroporto era outra coisa impressionante. Na imagem abaixo, pode-se ver a listas dos voos com chegada em um intervalo de duas horas e meia.

Antes de prosseguir, eu ainda tinha que esperar o Jayme chegar, pois seguiríamos juntos de trem para Ulm. O voo dele chegaria 2h depois do meu, então deu tempo de tentar ligar para o Brasil, de comer alguma coisa,

de achar um brasileiro batendo papo com um espanhol e também de encontrar a prima alemã da Época:

Depois que o Jayme chegou, seguimos, juntamente com minhas duas malas gigantes, para o trem. O processo de entrar no trem carregando duas malas grandes foi menos traumático do que o esperado e, apesar dos 20 minutos de atraso iniciais, mais os outros 40 minutos de atraso no decorrer da viagem, foi tudo tranquilo. Vale ressaltar que o atraso foi algo atípico e mais ou menos raro na Alemanha. Depois de chegar já fui duas vezes à estação e eles foram extremamente pontuais.

Fora isso, o dia terminou com o jantar, que foi um Rostbraten vom Allgäuer Rind mit Käsespätzle, Röstzwiebel, Maultäschle und Bratensoße, como pode ser visto na figura a seguir

devidamente acompanhado de uma Memminger Premium:

Bom, depois conto mais =)

Fatos curiosos:

- Fui em um mercado com um aluno daqui da Alemanha e para nossa surpresa quase todos os produtos estavam em Russo ou em algo similar;

- A neblina matinal só vai embora por volta das 13h;

- Meu orientador alemão é casado com uma brasileira;

- Ulm é no sul, o que poderia ser bom em termos de temperatura, mas é uma cidade alta, então compensa e a neve deve ser significativa;

- A culinária alemã, até agora, me agrada;

- A universidade de Ulm é a mais alta (em altitude, não em altura) da Alemanha;

- A catedral de Ulm é a mais alta (em altura, não em altitude) da Alemanha.

O que um desocupado com talento musical pode fazer

2010-08-03T00:46:00.001-03:00

Veja isso:

E depois isso:

Dica do Hugo.

Problemas com BrTurbo

2010-07-01T16:46:00.003-03:00

É engraçado como estes serviços hoje em dia estão tão ruins que eu tenho reclamações até mesmo de um serviço que não assino.

Esta semana recebi um 3 e-mails sobre "Assinatura inadimplente", "Serviço cancelado" e coisas do gênero. Como é mais ou menos comum receber mensagens destinadas a outras pessoas, ignorei as mensagens. Depois disso recebi outros 6 e-mails parecidos, com o nome do assinante (que é diferente do meu) e os números das 2 assinaturas dele. Como começou a ficar frequente, resolvi tentar resolver o problema e fui no atendimento online deles.

Primeiro fui atendido por "Daniel Araújo", que, antes de qualquer coisa, me pediu meu CPF. Ora, eu não solicitei o serviço, não solicitei nenhum e-mail e tenho que dar meu CPF pra parar de receber as mensagens? Me recusei. Falei que se for pra ter meus dados pessoais, seria através de meu advogado.

Como no meio do processo a janela de chat deu alguns problemas, percebi que tinha mais de um atendente. Resolvi tentar com outro, embora muito provavelmente eles sigam manuais de maneira mecânica, sem pensar muito, e eu acabaria tendo a mesma resposta. Dessa vez fui atendido por "Maria Luiza", que, depois de demorar um bocado pra responder, pediu meu nome, data de nascimento e CPF. Forneci apenas o nome. E ela diz: "Solicito que verifique se alguém fez o cadastro em seus dados e retorne o contato para verificação." Ou seja, eu entro em contato para reclamar que recebo e-mails sem ter assinado nada, e ela, depois de perguntar se eu realmente não assino BrTurbo, pede para eu verificar de novo e contatá-los novamente.

Depois de insistir que eu tinha certeza, ela perguntou se eu tinha o nome completo da pessoa a quem o e-mail era endereçado e o meu e-mails. Aí eu forneci (de novo) o nome e os números das assinaturas, além do meu e-mail. E aí, com o uso do gerundismo (que não poderia faltar), ela responde: "Certo, estarei solicitando a retirada de seu e-mail." Vamos ver se funciona.

Pessoal da BrTurbo, dêem uma orientada no "Daniel Araújo" e façam como todos os outros serviços da internet e mandem um e-mail de verificação antes de encher os outros de spam ;-)

E se alguém tiver algum contato na BrTurbo, faça isso chegar até eles =)

Theoretical Computer Science

2010-06-29T15:06:00.002-03:00

Pessoal que gosta de teoria, uni-vos!

Não sei exatamente como a coisa funciona, mas estão querendo criar um site pra discutir coisas de teoria da computação no mesmo estilo que o Stack Overflow.

Só que pro site entrar no ar, tem que passar por umas fases de definição e ter uma certa quantidade de pessoas interessadas... Participem ou pelo menos ajudem a divulgar =)

Tem um "referrer" na URL e não sabia o que eu ganho com isso. Fui verificar e descobri que ganho "pontos de reputação"... sejá lá a utilidade disso.

O problema da parada

2010-06-28T19:49:00.007-03:00

Hoje estava lendo sobre o Problema da Parada e percebi um pouco mais a profundidade desse resultado, a partir de alguns exemplos. Resolvi escrever aqui sobre ele. Para quem não conhece o problema, ele pode ser encarado da seguinte forma:

Problema da Parada

Entrada: um programa "P" com sua respectiva entrada "E".

Saída: Sim, se o programa "P" para de rodar com a entrada "E". Não, caso contrário.

Em outras palavras, dado um programa, você quer saber se ele para de rodar ou não. Pra descobrir isso, você precisa de um outro programa. Mas, como Alan Turing mostrou, não existe um programa que resolva o Problema da Parada. Não vou entrar na argumentação de porque ele não existe, mas sim em uma outra coisa que nunca havia me dado conta, de quão importante é esse resultado.

Considere, por exemplo, o Último Teorema de Fermat. Caso existisse um programa que resolvesse o problema da parada, teríamos uma prova quase trivial para o Último Teorema de Fermat. Considere o programa P abaixo:

Programa P

Para toda tripla (x, y, n) de inteiros, x > 0, y > 0, n > 2.

Verifique se existe z inteiro satisfazendo:

Se existe z, pare.

Note que esse programa só parará de rodar caso exista um contra-exemplo para o Último Teorema de Fermat. Portanto, utilizando a solução do Problema da Parada com o programa P como entrada, teríamos como verificar a validade do Último Teorema de Fermat. Da mesma forma, esse mesmo argumento poderia ser utilizado para provar (ou refutar) diversas conjecturas e resultados por aí.

Claro que, mesmo se existisse, a solução para o Problema da Parada poderia ser ineficiente, ou seja, poderia ser necessário muito tempo para que o programa rodasse e uma resposta fosse dada. Mas esse tempo ainda seria finito e, portanto, podemos praticamente afirmar que seria apenas uma "questão de tempo" até termos uma resposta. Note que o programa P serviria para refutar o Último Teorema de Fermat caso ele não fosse verdadeiro mas, por outro lado, apenas com ele, nunca poderíamos ter certeza de que o teorema é verdadeiro, pois nesse caso ele teria que testar uma infinidade de triplas e, portanto, nunca pararia. Assim, de fato, a solução do Problema da Parada seria um resultado importantíssimo.

Exame de qualificação

2010-06-15T23:41:00.003-03:00

Semana que vem, dia 22, às 10:00, ocorrerá meu exame de qualificação. É um passo acadêmico e burocrático do doutorado, onde você deve apresentar para uma banca aquilo que você fez e aquilo que pretende fazer no restante do doutorado. Na banca, além do meu orientador, Jayme Szwarcfiter (já digito sem ter que copiar!), estarão também o professor Valmir Barbosa, um (excelente) professor titular da Coppe, UFRJ, e o professor Eduardo Laber, da PUC-Rio.

Normalmente o exame de qualificação ocorre no meio do doutorado, ou seja, depois de 2 anos de ingresso, mas, no meu caso, acabou tendo que ser diferente. O Jayme tem um projeto de pesquisa com uma universidade da Alemanha, que prevê, dentre outras coisas, bolsas de doutorado sanduíche. Assim, surgiu a possibilidade de passar um tempinho lá. Devido ao calendário acadêmico alemão, seria interessante que eu fosse em outubro próximo. Assim, acabei tendo que correr pra defender o exame de qualificação mais cedo, com apenas 1 ano de doutorado. A parte boa é que isso acabou imprimindo um ritmo mais intenso no doutorado, que me impede de procrastinar como de costume ;-)

Agora é correr pra conseguir fazer tudo certo e a tempo pra conseguir satisfazer o calendário da burocracia da Capes e não ter que adiar a viagem.

Primeiro de Abril

2010-04-09T10:46:00.001-03:00

Brincadeirinha de primeiro de abril que achei por aí... Atrasado, mas sempre em tempo :)

Bateria de balde

2010-03-15T19:18:00.001-03:00

Revivendo os mortos, ou melhor o blog... Na verdade, estou só dando uma desfibrilação nele =P

I Gotta Feeling, versão samba

2010-02-11T13:58:00.000-02:00

Viagem ao Chile - Parte 2

2010-01-26T14:49:00.012-02:00

Acabou que não continuei com os posts da viagem. A razão foi simples: tomava muito tempo e preferi fazer isso quando estivesse de volta ao Brasil. Depois na volta corri atrás de algumas coisas e agora tive a disposição de tentar contar o que aconteceu no resto da viagem.

O post anterior contou como foi o sábado que, na prática, foi o primeiro dia em Santiago. No domingo, era dia de ir pra Valparaíso, local onde seria realizado o curso. Mas como só iríamos à tarde, aproveitamos o dia para terminar de visitar a cidade.

O dia começou com uma visita ao Museu de arte precolombiana, citado em diversos lugares como um dos pontos de visita obrigatória para turistas. Nele, há objetos de civilizações existentes antes da chegada dos europeus, encontrados em diversas partes da América Latina. Como todo museu, não adianta descrever, só visitando pra saber como realmente é. Do acervo, achei interessante alguns tecidos e teares encontrados.

O Museu fica em um dos cantos da Plaza de Armas, um dos pontos mais famosos de Santiago. A praça, com uma área bem arborizada é cercada por prédios históricos, como a Catedral Metropolitana de Santiago.

Dali, seguindo mais uma vez as recomendações para turistas em Santiago, fomos ao último lugar que faltava de nossa lista, citado, principalmente pela gastronomia: o Mercado Central. É basicamente um grande mercado de frutos do mar, que aparentemente são muito presentes na culinária local, mas também tem restaurantes (cuja especialidade não poderia ser outra). Comi um Pastel de Choclo, que é uma espécia de "Escondidinho", mas com milho ao invés de aipim. Sob o aipim, tinha carne, frango, linguiça e ovo cozido. Foi uma surpresa bastante agradável, pra quem achou que ia comer um negócio qualquer só pra não ficar com fome. Bebemos Pisco Sour, uma espécie de caipirinha a base de Pisco, um destilado local, e com clara de ovo. Experimentamos também um vinho chileno Carmen Rhin, sugestão do garçon. Aliás, fomos muito bem atendidos lá, no Donde Augusto.

Na volta do almoço, passamos pelo Museu de Arte Contemporânea (aquelas artes sem sentido). Se não fosse tão sem sentido e não estivéssemos com tanto sono, teria sido mais divertido.

De lá fomos para o albergue nos preparar pra ida a Valparaíso. Para chegar lá, pegamos o metrô até um terminal rodoviário, um ônibus para a cidade e, para chegar ao albergue, tomamos um taxi.

A chegada no albergue foi meio esquisita: a cidade inteira é em morro, com um aspecto "estranho" pra quem está acostumado a ver as favelas do Rio. O nosso albergue era em uma ruazinha semi-pavimentada. Mas depois da primeira impressão da rua, The Yellow House se mostrou um lugar bem legal para se ficar hospedado. Martin, o dono, era um executivo australiano que cansou daquela vida, se casou com uma chilena e administra do hostel desde então. Por seu australiano e falar inglês nativamente, acaba sendo um ótimo anfitrião para os que não falam espanhol. Ele foi muito receptivo, dando todos os tipos de dicas que se pode imaginar. Falou de pontos turísticos, meios de transporte, lojas próximas, deu dicas de segurança (depois de ouvi-lo fiquei com a impressão de que seria assaltado a qualquer momento), etc. Tirando a ausência de televisão, o conforto do quarto fez com que nos sentissemos em um hotel (até pelo preço, ligeiramente salgado pra um albergue). Em todos os sentidos, o albergue era muito melhor que o de Santiago. A localização era muito boa pra quem estava fazendo o curso, por ficar a cerca de 50 metros do Instituto de Sistemas Complejos de Valparaiso. Coincidentemente, Israel, o único brasileiro no curso que não era da UFRJ, ficou neste mesmo albergue. A diversidade de nacionalidades dos hóspedes era bem interessante.

Valparaiso é uma cidade portuária. É onde fica o maior (ou segundo maior) porto do Chile. Uma vez que a cidade fica num morro, de frente para o mar, a área portuária é visível de grande parte da cidade.

O porto é aproveitado tanto para atividades comerciais quanto para passeios turísticos. Durante nossa estadia lá, dois cruzeiros estiveram atracados, e a todo instante saem passeios de barco, mostrando a cidade de outro ponto de vista, além de poder-se ver de perto os navios de cruzeiro e embarcações militares.

Além do mar, a cidade tem outros atrativos, como alguns museus incluindo como uma das casas do poeta Pablo Neruda, que visitamos em um dos dias. Por ser repleta de morros, os ascensores (elevadores) são muito comuns na cidade, para levar as pessoas das partes mais baixas às partes mais altas.

Próximo de Valparaiso, fica Viña del Mar, uma cidade um pouco maior, com hotéis de luxo, cassinos, condomínios à beira da praia e um grande shopping center. Em uma das tardes fomos visitar a cidade e aproveitamos pra fazer algumas compras. Algumas marcas lá eram bem familiares a nós brasileiros, como Petrobrás, Itaú, Brahma e Azaléia.

O curso em si foi bem legal. Era dividido em 3 partes: uma de teoria dos jogos, outra de otimização e uma terceira de teoria topológica de grafos. Acho os três temas interessantes, mas infelizmente viajei muito no de teoria dos jogos. Os outros dois foram bem legais, sendo o terceiro o que valeu mais a pena pra minha área de estudo atual. Dependendo dos temas, quem sabe não apareço em uma próxima edição? :)