i n f o r m a t i x

HALT NON ESISTE

E’ impossibile scrivere un programma che dato in input un’altro programma ed il suo input dica se questo termina oppure cicla all’infinito.

In termini un po’ più formali: non esiste un algoritmo (e quindi una funzione calcolabile) H che data in input la rappresentazione di un altro algoritmo (e quindi ancora una funzione calcolabile) A e di un’input I di A ci dice se A termina o meno su I.

Nota: La rappresentazione di un algoritmo come dato (quindi numero) è sempre possibile ed alcuni la chiamano Godelizzazione.

Dimostriamolo!
Leggi il resto di questo articolo »

Non so se questo mini how-to serva agli utilizzatori della nuova Ubuntu 8.10 (purtroppo ancora non ho avuto il tempo di provarla) … tuttavia di sicuro sarà utile a chi ancora è rimasto alla 8.04 ed a chi come me usa OpenGeu Luna Crescente.

I passi sono i seguenti:

1. Se si ha la precedente versione installata disinstallarla da Synaptic oppure da riga di comando con “sudo apt-get remove flashplugin-nonfree“.
2. Recarsi con Firefox su http://get.adobe.com/it/flashplayer/ e selezionare “.deb per Ubuntu 8.04+” e quindi scaricare il file .deb (mi è capitato che il file fosse linkato male sul sito di adobe e quindi vi lascio qui anche il link diretto che è questo http://fpdownload.macromedia.com/get/flashplayer/current/install_flash_player_10_linux.deb).
3. Fare doppio click sul file appena scaricato e selezionare “Installa pacchetto“.

Ora Flash è installato e potete provarlo tranquillamente vedendo un video di YouTube ad esempio.

Procedura alternativa ma più “bella” che però un paio di settimane fa non funzionava a causa di problemi del sito di Adobe è invece questa:

1. Se si ha la precedente versione installata disinstallarla da Synaptic oppure da riga di comando con “sudo apt-get remove flashplugin-nonfree“.
2. Installare il pacchetto “apturl” da Synaptic o da riga di comando con “sudo apt-get install apturl“.
3. Recarsi su http://get.adobe.com/it/flashplayer/ e selezionare “APT per Ubuntu 8.04+” e poi cliccare sul pulsante “Accetta e installa ora“.

PS: Ovviamente prima di testarlo riavviate Firefox

Eastwood Chart è un implementazione indipendente ed open-source delle Api di Google Chart che disegna diagrammi tramite la famosa libreria Java JFreeChart.

Eastwood Chart è l’ideale per chi necessita un componente server-side (in questo caso una servlet da far girare all’interno di Tomcat) che restituisca un immagine rappresentate un grafico semplicemente passando dei parametri (di tipo “get”) all’url del componente.
La sintassi è grossomodo (c’è qualcosa in meno e qualcosa in più) la stessa usata da Google Chart e qui descritta.
Se siete sviluppatori Java e volete inserire dei grafici nelle vostre pagine web generate lato server non potete non apprezzarla!!!