Roupas desaparecem misteriosamente

Pois eh... amanha eh a entrevista para a bolsa do Monbushou (aquela para o japao sobre a qual eu falo de tempos em tempos), e o traje eh esporte fino (o que, descobri recentemente, nao significa roupas de golfe). Ai eu descubro que a minha calca social simplesmente desapareceu... :-/ Ja nao bastasse o meu terno que tinha desaparecido ha um bom tempo, e os meus tenis pretos que tambem deram sumico, agora a minha calca social eh sacanagem. Eu nem quero culpar ninguem que provavelmente essas coisas todas vao aparecer quando tirarmos alguma caixa poerenta de um canto desconhecido da casa.

Bom, falando das coisas tecnicas, terminei o meu relatorio da fapesp. Bom, nao, na verdade eu so terminei as partes "criativas". Falta agora preparar algumas figuras para colocar no relatorio, o que eh facil, e falar da literatura, que tambem eh simples. Acho que ate o fim do fim de semana estara tudo pronto. Claro... botando o multiplicador de 1.5x padrao, ate terca deve estar tudo pronto. De qualquer maneira perdi a viajem do johan para as cavernas malignas deste fim de semana. Bummer.

Joguinhos Joguinhos

Bom, meu trabalho esta andando a passos de tartaruga, mas pelo menos esta andando. Triste, triste. Acabou que o negocio de grupos pode ser usado para descrever o meu robo quando este esta na fase de testes. Os elementos passam a ser todas as posicoes que o robo pode ocupar(ou seja, translacoes e rotacoes no espaco), e as acoes dele sao os "geradores" do grupo. Assim, temos um numero de geradores finitos, e podemos fazer o problema da palavra em cima desses geradores para tentar descobrir um algoritmo que diga se duas palavras (sequencia de geradores) equivalem ao mesmo elemento. Isso e' trivial, mas sera que da para aplicar o inverso desse algoritmo para rapidamente gerar palavras alternativas para um elemento?? Essa pergunta parece interessante, mas para responde-la, ainda falta modelar todas as finitas relacoes entre os geradores, e eu nao sei fazer isso exatamente. Depois disso, se o conjunto de geradores de um grupo sao as regras que geram todos os elementos do grupo, e sabemos que o nosso conjunto de geradores e' redundante, sera que existe alguma tecnica para extrair de um conjunto de geradores redundantes o (ou os) conjunto de geradores minimo para aquele grupo??

Alguem que sabe matematica le isto? ^_^

Como uma noticinha extra, desde ontem enquanto eu faco o meu projeto o covic tem jogado Tokimeki memorial 3... engracado que como o covic nao sabe japones, tem umas coisas muito engracadas. Mas o mais bizarro foi o nome do personagem que ele escolheu:

冷冷冷

Uma das possiveis leituras para isto eh: Re Re Re :-/

Pois eh.

Ah, hoje nao vou colocar o final engracadinho.

slackenerry no more...

Pufff... finalmente comecei a ESCREVER (nao so ler e juntar informacoes) o meu relatorio da fapesp. antes tarde do que nunca, acho... tenho pouco mais que duas semanas, vamos ver o que sai.

E falando em sair, saiu o resultado da primeira fase de selecao da bolsa do Monbushou. Fui escolhido para entrevista semana que vem... vamos ver como vai ser...

Cansado.

> bye

I HATE Windows

Eu odeio o windows, e eu odeio o blogger. Preview usa um javascriptzinho que eu fui apertar back e ele apagou todo o post que eu estava escrevendo. A maquina windows que tem aqui na rede interna ja foi perdida para worms/virus/whathaveyou, em menos de uma semana e tenho que dar um "reghost" nela. E eu tenho que sair daqui pra fazer a porra do meu projeto.

Estou de mal humor. Heh... ate parecem meus rants antigos ^_^

Alguem sabe como recuperar a mbr de um dual boot destruida pelo rwindows?

Bom, T+
$ kill -9

PHP Security

Pois eh... estou fazendo essa paginazinha em php... E ela precisa ser segura, olha que legal! Entao, se voce tiver algum link interessante que fale sobre como manter seguranca em uma pagina php que inclua upload de arquivos, formularios diversos, alteracao do conteudo da pagina remotamente, etc, por favor, me avise, ta?

Voltando ao trabalho.

[Esc]

Nope

Entao. Nao rolou a historia de grupos. Depois de me lembrar um pouco da teoria de grupos na wikipedia (nossa, os caras realmente tem uma secao completa por la... me senti lendo um livro de algebra no primeiro ano da faculdade - deveria ate ter umas sessoes mais para leigos desses topicos) lembrei que uma das caracteristicas mais importantes dos grupos eh o fechamento. E o conjunto tanto de acoes, como de estados, do meu robo simulado nao eh fechado. Pois executando duas vezes uma acao, voce eh levado a um estado diferente, e a nao ser que voce leve em consideracao o ambiente onde o robo se encontra, voce nao consegue mapear um grupo baseado apenas nas acoes do robo idenpendentemente. E fazer um grupo para modelar o mundo inteiro nao parece muito util. Acho que eh melhor eu ficar com a analogia de maquinas de estado e gramaticas. Ainda assim, provar que algo NAO eh algo tambem eh um progresso interessante numa pesquisa... nao?

Nao. :-( Cada dia que passa sinto mais e mais que este meu mestrado eh uma simples masturbacao mental que nao vai dar em nada de realmente util no final. (Alias, to ate vendo alguem da banca citar isto aqui quando eu for defender no ano que vem, mas se eu nao encontrar algo para mudar de ideia ate la, vou ter que concordar com eles - se bem que ninguem le estes rants, entao pode-se dizer que isso provavelmente nao vai acontecer). Mas deixa pra la... nao vou voltar a escrever do jeito que fazia antes... vou ler alguns artigos relacionados (?) com o meu trabalho hoje, isso geralmente me da um pouco de forca de vontade.

Bom, indo para assuntos nao pesquisaveis, hoje recebi um e-mail do Fujii san... pra quem nao sabe, ele eh um rotariano de tokyo, do clube rotary de waseda que me ajudou quando eu estava com o braco quebrado. Fiquei muito amigo da familia dele, saimos juntos algumas vezes. Tentei mandar alguns e-mails para ele depois que voltei pro brazil, mas o Fujii-san, como a maioria dos japoneses que eu conheci por la, so usa e-mail de celular, que tem serior problemas com mensagens longas e com charactersets estranhos (tipo EUC-JP ao invez de shift-JIS). Bom, vou tentar mandar outro e-mail para ele hoje.

Depois disso, nesta quinta chegou a carta de aceitacao de Toudai. Ja mandei para o consulado. Fiz a prova de ingles/japones na terca... vamos ver se eu consigo a bolsa para ir para o japao... ir embora daqui do brasil seria uma boa, acho que a unica parte chata seria sair do castelo, mas eu ja tinha me decidido deixar a unicamp quando concluisse o meu mestrado, entao, se eh para ir embora, vamos para LONGE! :-)

Sei la, tenho que parar de enrolar e voltar a trabalhar, entao vamos interromper esta procrastinacao...

C-x C-c

Colocando a casa em ordem

Bom. Hoje eu preciso correr com o meu projeto de mestrado, o post vai ser chato, vou fazer uma listagem do que preciso fazer ASAP ate a entrega do relatorio da FAPESP, dia 10 de agosto (SO 26 dias!!!! Dammit.)

Vamos la:

• Terminar o gerador de movimentos substitutivos para o braco - eu sei como fazer isso. So falta fazer. Eh meio demorado, acho. Na verdade esta quase pronto, so falta o gerador de pontes dos estados sem braco para os com braco.
  
• Fazer tabela minima de substituicao- A tabela minima de substituicao eh a tabela otima que pode ser gerada quando se conhece todos os erros possiveis do robo. Preciso gerar essa tabela para poder compara-la com tabelas nao otimas onde os erros do robo nao sao completamente conhecidos. Para isso, preciso rodar o gerador de movimentos acima um certo numero de vezes, com certos parametros, para todos os erros possiveis, para todos os movimentos possiveis, e interseccionar os resultados de maneira otima. Isso poderia ser um probleminha do ICPC... argh. Eh mais uma questao de scriptagem que uma questao de programacao... acho.
  
• Fazer leitor de plano e tabela de substituicao- Leitor de plano eh trivial - so fazer um cliente que aceite as acoes de um arquivo texto, e depois arranjar um planejador que crie esse arquivo. Para os propositos do meu projeto, posso ser eu mesmo. O leitor de tabela de substituicao nao eeh taaao complicado. Preciso primeiro criar um protocolo de tabela de substituicao. So isso :-/
  
• Definicao matematica do sistema de substituicao- O Wainer pediu que eu desse uma definida mais matematica do sistema de substituicao. Tres coisas relacionadas com ele seriam maquinas de estado e gramaticas de linguagens naturais, coisas que eu ja pensei um pouco, e a novidade agora sao grupos... se eu conseguir definir o meu problema nesses tres topicos, eu poderia buscar na literatura dessas teorias como resolver o problema (o que pode ou nao pode ser tao bom). Ai eu teria duas, ou mais, possibilidades para atacar o meu problema: uma por maquinas de estados/grafos, uma por teoria dos grupos, uma por metodos emergentes, etc. Para isso, eu vou precisar tambem de uma definicao mais real do meu problema (com robos reais) e como essa definicao foi simplificada para o simulador do meu projeto, e como essas duas definicoes, real e simulada, mapeiam para os modelos matematicos citados acima.
  
• Seguir as dicas do Wainer-O Wainer passou algumas dicas de referencias/artigos/ideias que eu deveria pesquisar e ver se sao relevantes:
  
  
  
  • Grupos: Semigroups, Automatic Semigroups, automatic discovery in semigroups. (ver se o espaco eh um grupo primeiro)
    
  • Maquina de estado: Aprender uma maquina de estados (atravez de exemplos?)
    
  • 2002 workshop on Self-healing Systems: ver se tem algo de interessante, e o que os participantes do workshop estiveram fazendo nestes ultimos dois anos
    
  
  
• Ler artigos antigos-Semana retrasada eu baixei uma porrada de artigos referentes a coisas possivelmente relacionadas com o dodoi, tenho que ler esses artigos e fazer resumos... talvez montando uma bibliografia para poder usar depois
  
• Escrever um artigo sobre a situacao atual do dodoi- Levando em conta que o ultimo artigo foi quando eu estava ainda a fazer auto-criacao de tabelas de substituicao, o novo artigo abordara esse processo.
  
• Escrever o Relatorio da fapesp!- apendice 1 - o primeiro artigo, apendice 2 - o novo artigo nao publicado - ler a proposta do projeto da fapesp para poder dizer o que mudou e o que evoluiu - discorrer sobre o que foi feito nesse ano, incluindo o intercambio - discutir bibliografia - explicar a teoria resumida e misturada no relatorio, como se fosse uma mistura dos artigos 1 e 2 com menos enrolacao e mais graficos.
  

Ufa. Vamos ver se eu consigo fazer TUDO ISSO em 25 dias. Aaaaaargh

$ kill

De volta ao ar...

Bom, nao sei direito o que aconteceu, mas estou de volta ao ar aqui. Vamos as novidades:

Noticia bizarra do dia:

Nos EUA, uma empresa esta processando uma compania de manutencao de software, atraves do DMCA, por que o seu programa tinha uma senha para o modulo de debug, e esta compania quebrou esta senha para poder consertar bugs para uma biblioteca que tinha comprado legalmente o programa.

Em lingua de leigos: Eh como se voce comprasse um carro que vem com o capo trancado, e a fabricante do carro processasse a oficina mecanica que abriu a tranca para poder consertar o seu motor.

Aqui esta tem mais sobre essa noticia, e aqui tem um comentario legal da slashdot que resume bem algumas das consequencias gloriosas da DMCA.

Anime Friends

Neste fim de semana eu tambem tentei ir para o animefriends. Tentei por que primeiro eles nao colocam mapa nem nada na pagina deles... tive que adivinhar onde era pelo endereco, o que, sendo em Sao Paulo, pode ser algo perigoso. Felizmente era num lugar facil de se achar. Mas o segundo problema eh que, quando eu cheguei la, nao estava mais vendendo ingresso na porta. :-( Fiquei de fora. Se ja tivessem dito que nao havia ingressos, eu nem me preocupava. しょうがないな。。。

Bom, voltando ao trabalho...

$ kill

Testing

Ok. Seems blogger doesn't want to post my posts... let's try again.

Eu adoro o Virtua!

So para deixar aqui um rant contra a competencia do virtua... Vim aqui ontem para o estudio, e estavamos sem conectividade... ja achei que tinha sido outro problema de script ou algo do tipo com a stefany, a servidora, quando notei que aparentemente estava tudo ok. A intranet estava de pe normalmente, firewall no lugar, as duas interfaces funcionando, o gateway respondendo, e nada funcionando do lado de fora...

Bom, deve ser um problema do lado deles. Ligo pro virtua, e descrevo o problema. O cara pede para que eu de as configuracoes do servidor pra ele... eu passo, tudo bem, eles tem o direito de achar que um cara qualquer que liga e diz que o problema esta com eles esta enganado, afinal usuarios sao, por definicao, estupidos. Ai eu espero uns 40 minutos, e ele me pergunta se eu nao consigo acessar nenhuma pagina na internet, de novo eu detalho o problema, digo que o gateway responde, mas nao consigo falar com nenhuma maquina alem dele. Mais 20 minutos esperando sem nenhuma informacao sobre o que eles estao fazendo. Poxa, se o cara percebe que voce tem algum background tecnico, o minimo que ele podia fazer era dizer o que eles estao fazendo pra te deixar esperando tanto tempo, mas tudo bem.

Ai ele me pede para desligar a intranet, verificar a configuracao, e reiniciar o computador. COMO ASSIM reiniciar o computador? O povo ja assume que qualquer erro que eles nao saibam resolver vai sumir magicamente reiniciando o computador. So fechar os olhos que os problemas vao embora neh? Bom, eu imagino que eles devem ter mexido em algo do lado de la e estao mandando eu reiniciar o comp para pensar que o problema foi do lado daqui. Dito e feito, sem nem tocar no computador, eu dou uma fucada na rede e tudo voltou a funcionar.

Putz, erros acontecem, mas esconder a propria incompetencia eh phoda. :-/

Bom, voltando a trabalhar.
^Y

And thus, a new nerd is born.

Como voces podem, ou nao, saber, eu tenho um irmao de 5 anos.

Eu me lembro de quando eu tinha 5 anos. Na verdade acho que uns 7, e ficava brincando com os jogos educacionais que tinham no comp do meu pai. Tinha uma suite de jogos dos muppets (o comp era um tk3000 2e, da apple), que tinha jogos para soletrar, jogos para resolver tabuada, e outros que eu nao lembro, todos com desenhos engracados dos muppets. Um que eu lembro bem era o que tinha aqueles dois cientistas, e apareciam tabuadas para voce resolver, e quando voce demorava muito a pocao que eles estavam fazendo comecava a transbordar.

Hoje o meu irmaozinho tem um ps1 e um monte de jogos realmente bobinhos. Talvez ele se interessasse por computadores de uma maneira mais interessante se eu arrumasse uns jogos semelhantes, sera? Eu nao sei quando comecei a pensar em buscar e baixar jogos educativos pro meu lap. Talvez tenha sido vendo as novidades do happypenguin.org. Baixei o Tuxtype, mas nao gostei muito, para falar a verdade. Vamos ver o que o meu irmao acha... nao procurei com muito afinco, aceito sugestoes, especialmente de programas que envolvam matematica. Um que nao eh exatamente para criancas pequenas, mas eh educativo e eu achei muito legal foi o celestia, um simulador espacial que simula todos os objetos conhecidos a ate 1000 anos luz. So eh um pouco pesado para o meu lap que nao tem placa 3D, mas fora isso, nota dez.

Bom, fico por aqui. Se voce estiver lendo e tiver sugestoes de software, por favor, comente!

$ ^Z

See the wonders of:

Networking! I finally found a suitable advisor for going back to japan, and that was through the contact I had made with japanese students in ICPC. Way to go Claus!

Bad Config Files! apache-ssl was not loading, no matter what I did to it. The error log files would conplain that port 443 was already in use. WTF? Later I found out that actually I was trying to load port 443 twice in my httpd.conf... I hate big config files.

Gmail! I have a few gmail invitations left, and no one to give them to. If you want one, just ask.

$ Kill -9