Frutas e verduras: a dieta do câncer, por José Júlio da Ponte (Jornal O Povo)

Opinião

Artigo

Frutas e verduras: a dieta do câncer

José Júlio da Ponte 
28 Mar 2009 - 00h51min

A FAO tem proclamado em seus boletins de saúde: "O Brasil é o maior consumidor de agrotóxicos do mundo e, também, o terceiro do ranking em mortalidade por câncer".  
 
Até os anos 60, o câncer era uma doença de escassa frequência em nosso País, com cerca de 2% de óbitos. Todavia, a partir dos anos 90, sua incidência há crescido de foma vertiginosa, em mais de 5.000%. Causa e efeito, justo em um período de dez anos (1976 a 1985), crescia em mais de 600% o consumo de agrotóxicos em nossas lavouras. O crescimento destes - implicado em hortaliças, frutas e gêneros alimentícios envenenados - demandou uma preocupante assiduidade da enfermidade.  
 
Câncer e agrovenenos são números ainda crescentes, em alarmante paralelismo. Ignorantes ou indiferentes a essa assertiva, médicos e nutricionistas - estes por excelência - continuam a prescrever dietas à base de frutas e hortaliças. Tudo bem que o façam, desde que advertissem para o consumo de vegetais saudáveis, oriundos de agricultura orgânica. Lavar frutas e verduras envenenadas em vinagre ou água corrente corrente carece de qualquer validade, eis que os modernos agrotóxicos são sistêmicos, incorporam-se à seiva da planta. O fato é que, em quase todas as famílias, chora-se a perda de um ou mais entes queridos, vitimados pelo câncer.  
 
Curioso é que, amiúde, o governo enceta campanha contra o álcool e o tabagismo, mas nunca contra os agrotóxicos, embora estes vitimem gradativamente a quase totalidade da população, enquanto o álcool e o fumo resumem-se a menos de 15%. Ocorre que as multinacionais os agrovenenos são poderosíssimas. Tomate, batata, repolho e folhosas em geral, trigo, morango, uva, citros, melão, soja, maçã, pêra e mamão alinham-se entre as culturas mais identificadas com agrotóxicos. Inaceitável que pesquisadores e agrônomos, vinculados a instituições governamentais (Universidadades, Embrapa, Emater, etc.) continuem a pesquisar e recomendar agrotóxicos. Por quê? Só sei que, em represália à minha luta contra tais venenos, cassaram-me a bolsa do CNPq que eu detinha há 20 anos. Igual destino teve a minha bolsa da FUNCAP.  
 
JOSÉ JÚLIO DA PONTE  
Professor-emérito da UFC, presidente da Academia Cearense de Ciência

Nova versão do KEMS

Para quem quiser ver provas no sistema de tablôs KE, uma versão do KEMS com uma pequena correção acaba de ser lançada. A única modificação desta versão é a uma modificação feita devido a um bug do AspectJ que estava atrapalhando a execução do sistema). A nova versão (KEMS 0.95) está disponível em: http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS Para executar o KEMS, basta unzipar o arquivo baixado e, no diretório criado, clicar duas vezes em kems.jar (para os que tiverem o java instalado, isso vai iniciar o sistema --- quem não tiver o java instalado, baixe a versão 1.5 ou superior do J2SE JRE em http://java.sun.com e instale-o antes de tentar executar o KEMS). Maiores informações sobre o sistema KE e o KEMS podem ser encontradas em http://www.dainf.ct.utfpr.edu.br/~adolfo/Thesis/ ou em http://kems.iv.fapesp.br (se o site da incubadora da FAPESP voltar a funcionar normalmente---está muito lento ultimamente).

Página da Minha Tese de Doutorado

Inspirado pelo João Marcos, que elaborou um site com o conteúdo da tese dele, fiz o mesmo para a minha tese.

O link é http://www.dainf.ct.utfpr.edu.br/~adolfo/Thesis/ e abaixo vai o conteúdo:

A Multi-Strategy Theorem Prover

PhD thesis, defended in partial fulfillment of the requirements for the Degree in Computer Science by IME / USP.

Author:
Adolfo Neto  [e-mail me]

Supervisor:
Marcelo Finger (IME - USP)

Abstract:
In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.

Resumo:
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes.

---

---

COMPLETE FINAL VERSION (also available at http://www.teses.usp.br) 30 May 2007

Chapters:

1 - Um Provador de Teoremas Multi-Estratégia (in Portuguese)

A - Introduction

B - Tableaux for Classical and Paraconsistent Logics

C - KEMS Design and Implementation

D - KEMS Evaluation

E - Conclusion

F - Brief User Manual

Tecnólogos e o Mestrado

Acho que esa discussão na lista da Sociedade Brasileira de Computação (sobre a possibilidade de tecnólogos fazerem mestrado) pode ser de interesse dos tecnólogos na área de informática:

https://grupos.ufrgs.br/pipermail/sbc-l/2009-March/005591.html
https://grupos.ufrgs.br/pipermail/sbc-l/2009-March/005594.html

Em cada thread,  clique em próxima mensagem para ler as inúmeras respostas e opiniões conflitantes.

Leiam, por exemplo, esta mensagem de hoje:

Posso dar um depoimento pessoal e local, do nosso mestrado aqui na UFV, de que fui coordenador por muito tempo. Legalmente, não há distinção entre curso superior de curta ou de longa duração, já foi falado aqui em alguma mensagem anterior. Nenhum regimento de pós-graduação pode incluir qualquer cláusula que limite a inscrição de candidatos que fizeram o antigo tecnólogo ou curso superior de curta duração, é ilegal, eu mesmo fiz a consulta a procuradoria juridica do MEC e da UFV quando era coordenador, e o regimento geral da pos-graduação da UFV foi alterado para refletir isso. Isso é passivel de ação judicial, e o candidato ganha a causa facilmente, pois para o MEC, tudo é curso superior, não importa se durou 2, 3, 4 ou 5 anos. Já tivemos vários alunos no nosso mestrado, que fizeram o tecnólogo,  e há alguns cursando no momento  com esse background. Até o momento, não tivemos problema algum com esses alunos, pelo contrário, são muito experientes e maduros, possibilitaram o desenvolvimento de outros tipos de dissertações, mais relacionados com o dia a dia das empresas (que tem sido muito discutido aqui na lista também). Até, zeluis 

-- 

Prof. Jose Luis Braga
Departamento de Informatica - UFV
http://zeluisbraga.pro.br
http://zeluisbraga.wordpress.com
http://twitter.com/zeluisbraga

Hotsite do Centenário da UTFPR

O hotsite do Centenário já está no ar!

O hotsite criado para comemorar os 100 anos da UTFPR já está no ar.. Na página www.utfpr.edu.br/centenario, o visitante poderá encontrar o histórico da UTFPR e dos seus 11 campi; uma galeria de fotos históricas e atuais da instituição; as logomarcas comemorativas; vídeos e documentos históricos, como a lei de criação das Escolas de Aprendizes Artífices, de 1909, e a lei de transformação do Centro Federal de Educação Tecnológica do Paraná (CEFET/PR) em Universidade Tecnológica Federal do Paraná, de 2005; e notícias sobre o Centenário.

Além disso, a agenda de eventos de todos os campi e dos eventos promovidos pela Secretaria de Educação Profissional e Tecnológica do Ministério da Educação (SETEC/MEC) também pode ser acessada.

A página tem espaço também para a participação de alunos, ex-alunos, servidores, ex-servidores e aposentados. É só enviar para a sessão "Você faz a história" depoimentos e fotos pessoais que envolvam a Instituição.