Expresses Matemticas em Fruns Interativos

Autores: Paulo Angelo Alves Resende Aluno de Graduao da Universidade de Braslia Guy Grebot Professor da Universidade de Braslia Leonardo Lazarte Professor da Universidade de Braslia Celius Magalhes Professor da Universidade de Braslia Dados do autor responsvel pela publicao: Nome: Paulo Angelo Alves Resende Email: pa@mat.unb.br Tel: 217-6146 Fax: 217-6146

Resumo Indicativo em Portugus

Este trabalho apresenta uma soluo para veiculao de expresses matemticas em ambientes interativos de aprendizagem na Internet. Esta soluo de fcil implementao, e s exige familiaridade com o LaTeX, bastante usado na comunidade matemtica. feita uma comparao com as alternativas disponveis, mostrando as vantagens e limitaes da soluo aqui proposta.

Abstract
We present a solution that allows showing mathematical expressions in interactive learning environments on the Internet. It can be easily implemented, and the only demand on the user is acquaintance with LaTeX, which is widely used on the mathematical community. We compare this with other existing alternatives, pointing out advantages and limitations of our proposal.

Palavras Chave
Expresses Matemticas, Internet, Ensino a distncia e Ambientes de Aprendizagem

Keywords
Mathematical Expressions, Internet, Distance Learning, Learning Environments.

1 Introduo
Em 1978, a necessidade de gerar textos cientficos de boa qualidade, levou Donald Knuth criao da linguagem de marcao de texto TeX[1]. Em 1985, Leslie Lamport estendeu o TeX[1] com um conjunto de macros, criando assim o LaTeX[2]. Com o advento da Internet, essas ferramentas se tornaram um padro para a veiculao de expresses matemticas. Dessa forma, no h problema de troca de documentos com notao matemtica pela Internet. No entanto, a veiculao interativa da simbologia matemtica, em fruns eletrnicos, por exemplo, problemtica. Neste contexto, o grande desafio a criao de um mecanismo que facilite a utilizao dos smbolos matemticos por meio dos caracteres disponveis no teclado. Esse mecanismo deve abranger a criao, veiculao, visualizao e edio da informao de forma interativa e compatvel com os navegadores de Internet j existentes. A W3C (World Wide Web Consortium[3]) desenvolveu, em 1998, o MathML (Mathematical Markup Language[4]) com o objetivo de permitir a veiculao da simbologia matemtica na Internet. No entanto, esse padro no foi

amplamente adotado pelos programas de acesso rede, fazendo com que o MathML[4] fosse pouco difundido. Alm do padro da W3C[3], foram desenvolvidas outras formas para transmitir esse tipo de informao, cada qual com suas caractersticas, mas que nem sempre atendem a determinadas situaes como, no caso que nos interessa, em ferramentas de ensino a distncia. Estudando as vantagens e desvantagens oferecidas por cada forma de veiculao de expresses matemticas, desenvolvemos uma forma simples para veicular esta notao. Esta soluo abre um novo horizonte quanto utilizao da linguagem cientfica na Internet pois dispensa a utilizao de programas adicionais, plug-ins e outras barreiras, que dificultam a implementao de sistemas de veiculao da simbologia matemtica. Na prxima seo, apresentamos as formas de veiculao da linguagem matemtica atualmente disponveis. As sees 3 e 4 descrevem a soluo encontrada expondo suas vantagens e, na seo 5, ela comparada com as formas citadas.

2 Formas Usuais de Veiculao 2.1 Veiculao Textual

Provavelmente, essa foi a primeira forma utilizada. Ela consiste em tentar escrever a simbologia matemtica com os caracteres disponveis. Para a veiculao de integrais, derivadas, razes quadradas e outras expresses matemticas, pode-se

fazer uso da sintaxe de diversas linguagens, como o Maple [5] e o LaTeX[2]. Por

exemplo, a expresso

x +2 dx pode ser veiculada da seguinte forma: 2

Maple: LaTeX:

Int(sqr(x+2))/2 \frac{\int{\sqrt{x+2}}}{2}

Essa forma, embora precria, ainda utilizada devido sua simplicidade. Ela dispensa o uso de imagens e programas adicionais, necessitando, to somente, do teclado e de um editor de textos. Possui a desvantagem de exigir, de quem l, conhecimentos da sintaxe utilizada, alm de desviar a ateno do leitor da compreenso do contedo para a interpretao da sintaxe.

2.2 Veiculao por Meio de Arquivos em Formatos Especficos

A veiculao por meio de arquivos em formatos especficos funciona atravs da criao de documentos, por exemplo, em formatos como Word[6], PDF, LaTeX[2], DVI, OpenOffice[7] ou outros. Esta forma, no entanto, tem limitaes de compatibilidade e praticidade: h necessidade de um programa especfico para criar-se um documento desses e de um programa especfico para visualiz-lo. Esse tipo de procedimento claramente inadequado para um frum de discusso pela Internet.

2.3 Veiculao Utilizando MathML

O MathML[4], desenvolvido pela W3C[3], bem conceituado devido sua estrutura tcnica. Ele permite incorporar a notao matemtica ao padro HTML de forma totalmente integrada. Segundo esse padro, da mesma forma que o usurio visualiza a pgina com suas tabelas e imagens no seu navegador, ele pode visualizar as frmulas matemticas utilizando algumas fontes apropriadas. Como o usurio visualiza tudo no seu navegador sem a necessidade de programas adicionais, evitase a utilizao de arquivos em PDF, LaTeX[2] ou outros. O nico inconveniente, que o MathML[4] no foi amplamente implementado nos navegadores atualmente disponveis, que precisam interpretar o cdigo em MathML[4] e criar o que o usurio deve ver. Teoricamente, diversos navegadores j interpretam esse padro, mas a maioria necessita de plug-ins. Os nicos navegadores que suportam diretamente o MathML[4] so o Amaya[8], o Mozilla[9] e o Netscape[10]. Portanto, o uso de MathML[4] obriga a utilizao de determinados navegadores, alm do inconveniente de forar os usurios a instalarem plug-ins e novas fontes.

2.4 Veiculao Utilizando Java

Os Java Applets so pequenos programas que so executados nos prprios navegadores. Eles permitem que uma determinada linguagem (ex. LaTeX[2]) possa ser visualizada dinamicamente atravs de imagens. Um exemplo desses programas o HotEqn[11].

Apesar de muitos navegadores poderem executar os Java Applets, ainda existem problemas de compatibilidade com alguns navegadores especficos em determinadas plataformas, por exemplo, no existe mquina virtual java da Sun[12] para Linux sobre a plataforma PowerPC. Outro ponto desfavorvel a necessidade de recursos computacionais por parte dos usurios, j que esses programas so executados localmente, e computadores com menos recursos podem ter problemas ao executar esses programas.

2.5 Veiculao Utilizando HTML e Imagens

Essa forma de veiculao resolve todos os problemas relatados quanto visualizao. A idia bsica criar imagens com notao matemtica e inseri-las no navegador do usurio. Apesar de existirem navegadores que no permitem visualizar imagens (ex. lynx), a grande maioria dos usurios consegue visualizar o contedo diretamente no navegador sem a necessidade de plug-ins. A gerao de imagens pode ser feita por meio de vrios programas, como o latex2html[13], que gera uma pgina HTML com imagens para representar as expresses matemticas. Essa soluo resolve o problema de visualizao para contedos estticos e para quem dispe do pacote especfico (por exemplo, LaTeX), no sendo portanto adequada para fruns de ensino a distncia.

3 Soluo Utilizando Gerao Dinmica de Imagens

A soluo proposta consiste em referenciar um programa hospedado em um servidor Web como se fosse uma imagem. Esse programa, de fato, retorna uma imagem gerada dinamicamente atravs das informaes embutidas na referncia.

Todo esse processo transparente para o usurio. Num frum virtual possvel disponibilizar um conjunto de cones de smbolos matemticos, de tal forma que o usurio no precise de conhecimentos avanados da sintaxe da linguagem utilizada. Ao escrever sua mensagem, o usurio insere a informao matemtica na linguagem LaTeX[2] entre os delimitadores $, utilizando ou no os cones de auxlio. No ato da visualizao, essa informao processada no servidor que a substitui por imagens com os smbolos matemticos. Essa mensagem, juntamente com a informao matemtica, fica armazenada no banco de dados de mensagens do frum, podendo ser recuperada a qualquer momento. Assim, alteraes da informao cientfica original podem ser efetuadas, agilizando a comunicao. Este esquema foi implementado na ferramenta PhPBB[14], que um programa livre de criao de fruns interativos. O PhPBB[14] faz parte do conjunto de ferramentas utilizadas no ensino de Clculo 1 do Departamento de Matemtica da Universidade de Braslia no endereo http://www.mat.unb.br.

4 Descrio Tcnica da Soluo

Em nossa implementao, foi necessrio alterar as rotinas de visualizao e envio do frum utilizado. Descrevemos a seguir o processo de envio e visualizao de um texto matemtico: 1. O navegador do usurio acessa o frum virtual 2. O usurio acessa o link de envio de mensagem 3. O formulrio de envio de mensagens apresentado

4. O usurio redige sua mensagem, inserindo a expresso matemtica entre os delimitadores $ 5. O usurio submete as informaes 6. Essa informao salva em um banco de dados no servidor 7. Na visualizao, o usurio, atravs do navegador, acessa o mdulo do frum que deve apresentar a mensagem 8. A mensagem recuperada no banco de dados e apresentada no formato HTML; as informaes entre os delimitadores $ so substitudas por uma referncia a uma imagem conforme o padro HTML. Nessa referncia h uma varivel, do tipo GET (RFC 2616), contendo a informao em LaTeX[2] 9. Ao tentar carregar a imagem, o navegador aciona o programa que de fato gerar a imagem a partir da varivel embutida na referncia 10. Esse programa cria, no servidor, um arquivo do tipo LaTeX[2] utilizando um cabealho padro, previamente criado, e o cdigo em LaTeX[2] recebido 11. Aps o arquivo ter sido criado, o programa executa uma rotina de converso de formatos, transformando o arquivo no formato LaTeX para uma imagem do tipo gif, que enviada ao navegador do usurio

Todo esse processo pode ser melhor visualizado no diagrama 1.

Diagrama 1

Na sub-rotina de converso de formatos so utilizados, basicamente, trs programas auxiliares: 1. LaTeX[2] - Cria um arquivo no formato dvi a partir de um arquivo no formato LaTeX; 2. DviPS[15] - Gera um arquivo no formato eps a partir do arquivo no formato dvi; 3. ImageMagick[16] - Converte o formato eps para o formato de imagem gif. Esses programas so pr-requisitos na implementao dessa soluo, devendo estar instalados apenas no servidor, no havendo a necessidade de estarem instalados no computador do usurio. Em nosso trabalho, esse modelo de veiculao foi implementado atravs da criao de um programa simples de gerao dinmica de imagens, escrito na linguagem PHP [17], disponvel no endereo http://pa.mat.unb.br/. Foi necessrio fazer algumas alteraes na ferramenta de frum PhPBB [14] para que ela pudesse referenciar o programa de gerao dinmica de imagens na visualizao de mensagens com notao matemtica. Como toda ferramenta de

frum, o PhPBB[14], possui dois mdulos: o de envio e tratamento das mensagens e o de visualizao. A soluo implementada no mdulo de visualizao que, no PhPBB[14], composto pelos arquivos: includes/topic_review.php modcp.php posting.php privmsg.php search.php viewtopic.php A nossa alterao consiste em substituir o cdigo entre os delimitadores $ pela referncia <img align=center src=http://pa.mat.unb.br/latex2gif/ latex2gif.php? latex=CODIGO_EM_LATEX>. Com isso, quando o navegador acessa a imagem referenciada, o programa latex2gif.php recupera a expresso matemtica em LaTeX CODIGO_EM_LATEX e faz a converso para uma imagem no formato gif. Depois de concludo nosso trabalho, nos deparamos com a existncia de duas solues alternativas que tambm geram imagens de forma dinmica a partir de cdigo em LaTeX[2]. O programa mimeTeX[18], que apresenta uma qualidade grfica inferior, j que no utiliza o pacote padro do LaTeX[2]. E o programa latexrender[19] que uma soluo semelhante nossa.

5 Comparao
Os ambientes acadmicos virtuais oferecem diversas ferramentas de ensino

capazes de veicular informaes cientficas atravs das formas usuais citadas na seo 2 deste trabalho. Entretanto, o problema atual de veiculao est nas ferramentas que permitem uma maior interatividade por parte do usurio, tais como os fruns e bate-papos. Essas ferramentas precisam ser tais que: 1. No exijam, por parte dos usurios, muitos requisitos computacionais. 2. Utilizem padres da linguagem matemtica j difundidos. 3. Implementam reversibilidade, ou seja, a possibilidade de recuperao das frmulas matemticas originais para reedio. O modelo proposto neste trabalho atende a todas essas necessidades devido s seguintes caractersticas: 1. A informao processada no servidor, e no no computador do usurio. 2. A linguagem padro utilizada o LaTeX[2], que bem difundida no meio acadmico. 3. A informao original preservada, pois interpretada somente na visualizao. As demais alternativas atendem as necessidades em determinadas situaes, mas para a implementao em ferramentas como fruns e bate-papos, a forma apresentada a mais adequada, conforme mostrado na tabela 1.

Tabela 1: Comparao entre as diferentes formas de veiculao

Utilizando Gerao Arquivos em Textual Formatos Especficos Exige poucos recursos por Sim parte do usurio Visualizao usual da No linguagem matemtica Compatibilidad e total com os navegadores Reversibilidade Dispensa programas auxiliares na criao Dispensa programas auxiliares na visualizao Utiliza o LaTeX[2] oficial Oferece boa apresentao No Sim Sim Sim Sim No Sim No Sim No No Sim No Sim Sim No Sim Sim Sim Sim Sim Sim Sim Sim No Sim No No Sim No No Sim Sim Sim No No Sim Sim Sim Sim Sim Sim Sim Sim Sim Sim Sim Sim No No No Sim Sim Sim MathML Java Imagens Imagens HTML e mimeTeX dinmica de

6 Concluses
Neste trabalho foi apresentada uma forma de veiculao de expresses matemticas atravs da Internet que supera as deficincias das formas tradicionais

de veiculao sem a necessidade de maiores recursos computacionais por parte do usurio. Essa forma de veiculao da linguagem matemtica traz a possibilidade de novas implementaes em plataformas de ensino a distncia, alm de facilitar a utilizao da linguagem cientfica na Internet como um todo. Pelo fato do programa ficar alojado num servidor, ele pode ser utilizado pela comunidade apenas atravs de referncias s imagens includas no contedo veiculado. Devido facilidade de utilizao e dos poucos requisitos computacionais, espera-se uma boa difuso desse novo modelo. Esta forma j est implementada no frum de clculo do Departamento de Matemtica da Universidade de Braslia desde janeiro de 2003.

Referncias
[1] KNUTH, D. E. The TeXbook. [S.l.]: Addison-Wesley,, 1984. [2] KOPKA, H.; DALY, P. A Guide to LaTeX. [S.l.: s.n.], 1999. [3] W3. http://www.w3.org. [4] MATHML. http://www.w3.org/math. [5] WATHERSOFT. Maple. http://www.maplesoft.com. [6] WORD. http://www.microsoft.com. [7] OPENOFFICE. http://www.openoffice.org. [8] DVIPS. http://www.w3.org/Amaya. [9] MOZILLA. http://www.mozilla.org/. [10] NETSCAPE. http://www.netscape.com/. [11] HOTEQN. http://www.esr.ruhr-uni-

bochum.de/VCLab/software/HotEqn/HotEqn.html. [12] SUN Microsystems. http://www.sun.com/. [13] LATEX2HTML. http://www.latex2html.org. [14] PHPBB. http://www.phpbb.org. [15] DVIPS. http://www.radicaleye.com/dvips.html. [16] IMAGEMAGICK. http://www.imagemagick.org/. [17] PHP. http://www.php.net. [18] MIMETEX. http://www.forkosh.com/mimetex.html. [19] LATEXRENDER. http://www.mayer.dial.pipex.com/tex.htm.