Paulo Matos Homepage - Latest Comments

Re: Ou se pode fumar, ou não… mas decidam-se!

Alex Rodrigues — Mon, 03 Aug 2009 09:01:37 -0000

Concordo com você Éris, para ser justo e sério teríamos que multar os infratores. Fomou em lugar proibido: anota o CPF e passa uma multa, NA HORA. Dirigiu bêbado? Apreende a carteira, NA HORA e dá uma multa. Tem que ser assim, porque fumante é fulgado, ele é viciado e como todo viciado não enxerga o seu vício e vai se matar e matar quem tiver do lado. Para acabar com isso, todo tipo de restrição é pouca.

Re: Ou se pode fumar, ou não… mas decidam-se!

Éris Elwim da Costa — Sun, 02 Aug 2009 09:29:35 -0000

Me sinto um estranho no ninho, quer dizer no meio... Quando vejo pessoas defendendo leis como, toque de recolher, proibido fumar, proibido beber e dirigir, instalação de radares e lombadas eletrônicas... vou parar por aqui pra não ser chato... Não desejo passar a idéia de querer ser dono da verdade, mas, acho tudo isso um verdadeiro absurdo e estúpido, ter que dizer, proibir alguém (normal) de fazer isso ou aquilo... Já falei isso em várias colunas, vou ser repetitivo na espectativa de que dizendo várias vezes aí pega, ou seja, as pessoas se tocam. NÃO PRECISAMOS DE MAIS LEIS, PRECIZAMOS APENAS DE EDUCAÇÃO E RIGORES COM OS INFLATORES. Vejam só que absurdo, o proprietário de um estabelecimento comercial, decora sua propriedade com cartazes e placas dizendo proibido fumar, aí vem um viciado com um baita tabaco (cigarro) na boca e se o fiscal aparecer de surpresa, quem vai ser multado, é, excatamente aquele que colocou placas por todos os lados alertando e pedindo para que não fumem, absurdo não, seria o mesmo que multar o Estado quando um motorista comete um infração de transito.

Re: Parsing CNF with Scheme

pmatos — Thu, 14 May 2009 05:53:47 -0000

Hello,

The code I have to do this conversion converts s-expressions to CNF
using the Tseitins procedure and is implemented in PLT Scheme. It's
available in http://planet.plt-scheme.or...

Have fun,

Paulo Matos

Re: Parsing CNF with Scheme

Khaza Anuarul Hoque — Thu, 14 May 2009 00:03:51 -0000

hi brother,

i really need a program that conferts input formula to CNF. i looked into ur code but i i have no idea abt PTL. do u have a C++ version. if not can u pls tell me how to run the code with the parser tool step by step.

thnx

Re: Ou se pode fumar, ou não… mas decidam-se!

Alex Rodrigues Silva — Sun, 25 Jan 2009 07:51:23 -0000

Isso acontece aqui no Brasil também:
Ontem a noite (24/01/2009), eu, minha namorada e um grupo de amigos fomos a Cinemathèque.
A casa é ótima, pequena e aconchegante, mas infelizmente não respeita a lei.

Na parte de cima, onde acontecem os shows é uma área fechada e com ar condicionado, portanto, segundo a lei, não se pode fumar lá dentro. Existem até os avisos de proibido fumar, bem a vista de todos. Tirando a falta de educação dos fumantes em geral, que pouco se importam com a sua própria saúde, quanto mais a das outras pessoas, a casa deveria no mínimo fazer a lei ser respeitada, afinal de contas é o seu papel.

Mas não é o que acontece, o fumo lá em cima é liberado, eu que tenho alergia a fumaça, tive que primeiro chamar a atenção das pessoas ao meu lado, uns respeitam e outros não, como não sou eu o segurança da casa, fui chamar um. Só haviam dois seguranças no Cinemathèque naquela noite e nenhum dos dois fica lá em cima. Fico imaginando se acontecesse uma briga!
Então chamei o segurança, que subiu, deu uma volta e nada mudou, cada vez mais pessoas acendiam o seu cigarro e fumavam em um ambiente bem pequeno, de teto baixo e com ar condicionado, imaginem a qualidade do ar da Cinemathèque!
Então fui procurar o gerente para pedir uma providência. Tente encontrar o gerente da Cinemathèque! Eu acho que ele não existe, pois perguntei por ele pelo menos 6 vezes e nada. A cada nova pergunta um explicação diferente era dada, ele deu uma saidinha, estava no escritório, impressionante.

Enfim, tive que sair mais cedo do show, porque comecei a sentir os efeitos de tanto cigarro num ambiente que é proibido fumar, segundo a lei, mas que a Cinemathèque não respeita. Absurdo!

Re: Fátima Felgueiras Solta???

Nuno Santos — Tue, 11 Nov 2008 08:55:31 -0000

Amigo. Se a Fátima Felgueiras se candidatar é porque pode. Porque alguém fez as leis que lhe permitem candidatar-se. Penso que as pessoas se dedicam, muitas vezes, a ver um pequeno ponto negro no sistema e olham pouco para o cancro. E o cancro não é Felgueiras. Lei-a o meu posto
http://avarinhamagicadevale...

Re: SMT for everyone…

pmatos — Fri, 24 Oct 2008 10:13:23 -0000

Thanks, I will try to accommodate your request in a future tutorial. In the meantime you may be interested in having a look at my MSc thesis "Algorithms for SMT" for a more technical approach.

Send me a message if you need something else.

Re: Teaching Mathematica as First Programming Language…

Schemer — Mon, 24 Mar 2008 06:35:57 -0000

I know most students probably don't like Scheme much, but it's a fun language to program in (in fact I far prefer it to python).

Implementations like Chicken have compilers, object systems, (although we schemers are happier with functional programming) and have libraries for doing "fun" stuff (eg. games, graphics, etc).

The parenthesis thing is subjective, but scheme has several technical advantages to python:

1) recursion isn't horribly limited as it is in python (to implement functions like filter and map efficiently you have to write them in terms of folds that use assignment)
2) scheme has macros so you can add cool syntactic constucts (in fact this page http://www.cs.toronto.edu/~... adds for loops to scheme with three macros, add some incrementing opersators for synactic sugar) -- not only that but the default macros are hygeinic, so they are really safe, and procedural macros are also offered in most implementations
3) scheme has continuations

Now, some of these things seem redundant if you're programming in python, since it already has a nice syntax, but I wouldn't write off scheme unless you're sure you only want to do object oriented programming.

By the way, in my (US) university they only taught us C++ (though the freshmen are learning python), not scheme. So maybe that would explain why I'm a fan and you loathe the language.

Last, scheme is much more than just an academic's language. I'm not a TA, professor, or academic by the way. Just want to share the fun of scheme!

Re: Meeting 12 - Project Discussion

Ross Horne — Sun, 09 Mar 2008 14:07:51 -0000

Dude, can we put a u in colour...

Re: Instituto Superior T…

Pedro Pereira — Sat, 20 Oct 2007 07:22:20 -0000

pmatos concordo consigo em os arraiais não se realizarem no técnico...mas quem lê o seu post e os suas respostas aos comentários só chega a uma conclusão.... você parece ser um aborrecido de primeira e ainda não tem idade para isso!

Se no entanto levar isto muito a peito e quiser argumentar usando o seu discurso eloquente e posição "priveligiada" de ex-docente-assistente-convidado do I.S.T. passo a citá-lo: "I don't have much free time, but the time I do have free I spend on blogging, scheme, maths, playing the classical guitar and reading". Felicidades para a sua carreira académica!

Re: Instituto Superior T…

Filipe — Thu, 19 Jul 2007 05:21:14 -0000

Caro autor,

A primeira coisa que peço que submeta à sua consideração é o facto de, num faculdade como é o Instituto Superior Técnico, tem de se gerir a diversidade. Nenhuma pessoa é igual a outra: temos uma noção diferente do que é a felicidade, da própria importância do sucesso académico. Para si o sucesso académico pode ser crucial e pode acreditar que esse é o método certo para lhe trazer felicidade. Pessoalmente também zelo por esse princípio. Mas não é por «três, quatro dias no ano» como vários comentários fazem notar, que o impedirão de seguir o seu método, a sua filosofia de vida. Porém, o que está a fazer é inibir os desejos dos outros. Repare que há alguns comentários que fazem este mesmo reparo, por outras palavras.

Sugiro a leitura de «Mais Platão, Menos Prozac» de Lou Marinoff, da Presença.

Cumprimentos

Re: Maya… Perigosa…

pmatos — Thu, 05 Jul 2007 11:44:44 -0000

Anonymous Comment denied.
Author: Gugas
E-mail: privacy@mail.com

Please post comment again with real data.
Read:
http://minorityblog.wordpre...

Re: Scheme, where should we be going?

Rose — Tue, 05 Jun 2007 07:38:04 -0000

I am so happy to see something like this.

I am an MS student

I had a paper in scheme in my last semester and it helped me a lot. I was a beginner to programming.And before this paper I had another paper in java, but i couldn't get all the concepts very well. But after learning scheme, I found it very easy to learn Java.

So I feel that learning scheme can make you learn other languages very easily

Thank you.

And I found scheme as a sensible language.

Re: Instituto Superior T…

Xana — Fri, 11 May 2007 13:27:04 -0000

Ok... quem lê o post (como foi o meu caso) e não olha para os comments (como também foi o meu caso) fica com uma ideia não muito semelhante aquela que acabaste de me descrever...
Mas por outro lado, será que 3 ou 4 dias de festa no ano prejudicam assim tanto aqueles que trabalham? Nâo deveria haver um pouquinho de flexibilidade por parte das mentes que querem "fazer investigação e formar profissionais de elite" ? O chamado nem 8, nem 80...
Mas enfim... para quê continuar a gastar o nosso latim se o teu desejo já realizado?

Boas investigações... :)

Re: Instituto Superior T…

pmatos — Fri, 11 May 2007 11:24:17 -0000

Bom, todos nós temos dicionário, no entanto, visto que te esforças-te acho que mereces uma resposta mais concreta ao teu comentário inicial. Nota que isto é apenas repetição do que já disse e redisse. Por pontos para ser mais fácil interiorizar a ideia:
1 - Eu consigo perceber quem frequenta festas... eu também frequento festas (mas não o arraial). Aliás, eu gosto de festas!
2 - Eu apoio o arraial, acho que deve existir (no entanto, proporia outro formato) _fora_ do técnico.

O problema todo resume-se ao arraial (ou resumia-se) _dentro_ to instituto. Porque é que ele era prejudicial?
1 - Prejudica quem no dia seguinte tem de deslocar ao técnico para ter aulas ou leccionar e encontra o instituto num balde de m*rda.
2 - Mesmo que esteja tudo limpo pertuba quem está a trabalhar no instituto durante a realização do arraial. E sim, existem pessoas a trabalhar lá, mesmo que poucas é absurdo pedir-lhes que vão trabalhar para outro sítio por causa da festa. EI, AQUILO É UM LOCAL DE TRABALHO!!!!

Quanto ás pessoas acho que se devem divertir e trabalhar (nas medidas certas de cada um), no entanto, no local de trabalho, a diversão de uns NÃO PODE atrapalhar o trabalho de outros! E isso invariavelmente acontece SEMPRE que existem arraias dentro do instituto.

Quanto à capacidade dos que frequentam o técnico, com ou sem festas, o melhor é nem me pronunciar.

Re: Instituto Superior T…

Xana — Fri, 11 May 2007 09:33:22 -0000

Por acaso já há muito que recalcado consta do meu dicionário... aliás... para esclarecer mentes menos iluminadas aqui vai: Recalcamento - termo empregado por Freud, e muito utilizado em Psicologia, que significa o mecanismo de defesa pelo qual as ideias, as lembranças ou os sentimentos penosos são repelidos da consciência, podendo permanecer activos num plano inconsciente e originar comportamentos desadaptados;censura - parece extremamente adequado... Mas tenho duas novas palavras: ressabiamento, frustração!

Re: Instituto Superior T…

pmatos — Thu, 10 May 2007 14:24:44 -0000

Ah... recalcamento... não percebo ainda porque é que as pessoas que aprendem uma palavra nova sentem imediatamente necessidade de a usar... normalmente... mal!

Re: Instituto Superior T…

Xana — Thu, 10 May 2007 07:59:39 -0000

Juro, mas juro que ainda não percebi o stress c os Arraiais....
Não sou, nem pretendo ser estudante do Técnico, o que não invalida que me tenha formado numa outra faculdade publica portuguesa que também dá grandes festas... Nunca frequentei qualquer festa académica... e porquê? Porque Não! Mas não consigo perceber tamanho stress contra os Arraiais... ninguém é obrigado a frequentá-los...que eu tenha ouvido dizer as barraquinhas não matam nem esfolam ninguém por obra e graça do divino... e cada um faz da sua vida o que bem entende! Se passam mais tempo nos arraiais do que nas aulas, o problema é mera e esclusivamente deles!
E bem hajam aqueles que têm capacidade de frequentar uma faculdade como o Técnico... com ou sem festas!!!
Há ai alguma espécie de recalcamento... Enfim!!!

Re: Instituto Superior T…

pmatos — Tue, 17 Apr 2007 14:46:07 -0000

Comment by name: blasc, email: vascosimoesei@hotmail.com filtered.
Please check: http://minorityblog.wordpre...

Re: Instituto Superior T…

pmatos — Mon, 16 Apr 2007 06:03:56 -0000

Tibursio,

Nem por isso... :) Ai, saudades...

Re: Instituto Superior T…

pmatos — Mon, 16 Apr 2007 06:02:02 -0000

pedro,

1. Ler post
2. Percebeu? Se sim, ir para 3, senao ir para 1.
3. Optimo!

Re: Instituto Superior T…

pmatos — Mon, 16 Apr 2007 06:00:29 -0000

lolololol,

Sabe ler ou precisa de ajuda? O seu comentario nada tem a ver com o post que acabou de comentar.

Re: Instituto Superior T…

pmatos — Mon, 16 Apr 2007 05:57:21 -0000

Rotfl,

A generalizacao implicita no comentario e explicitamente idiota.

Re: Instituto Superior T…

Tibursio — Sun, 15 Apr 2007 20:03:06 -0000

Que vida terrível deves ter tido enquanto estudante deste instituto...

Re: Instituto Superior T…

pedro — Sun, 15 Apr 2007 17:56:28 -0000

mas porque é que te errita tanto oa festa no ist? atrapalha pessoas como tu ke n kerem tar na festa?