Digito Ergo Sum

Podcast delle ultime due puntate.

2012-05-22T00:00:00+02:00

Ieri è andata in onda l'ultima puntata delLa seconda serie, trovate i podcast delle ultime due puntate (ossia di tutte le quattro puntate montate correttamente della seconda serie) nella pagina dei podcast (sempre soltanto in formato mp3).

Se volete ascoltare anche i radiodrammi delle prime due puntate andate in onda, cui per errore sono stati sostituiti altri radiodrammi per un errore di montaggio, aiutateci a convincere Radio Popolare a fornirci i podcast rimontati nel modo corretto!

Sono arrivati i nuovi podcast!

2012-05-09T00:00:00+02:00

Abbiamo finalmente i pocast delle prime due puntate montate correttamente (andate in onda il 30 aprile ed il 7 maggio). Li trovate come al solito nella pagina dei podcast; putroppo, per ora, soltanto in formato mp3.

Podcast

2012-05-07T00:00:00+02:00

Molti ci stanno chiedendo la pubblicazione dei podcast delle trasmissioni già andate in onda, anche perché alcuni errori di montaggio avevano un po' incasinato le prime due puntate. Stiamo lavorando per voi, ma le cose sono (sempre) meno semplici di quanto uno creda; comunque non temete, li renderemo disponibili non appena li avremo.

Digito Ergo Sum

2012-04-16T00:00:00+02:00

La seconda serie è in onda su Radio Popolare, dal 16 aprile, per 6 lunedì a mezzogiorno

L'informatica come non l'avete mai sentita

Viviamo sepolti tra i computer. L'informatica è diventata insostituibile nelle vite di tutti noi: dal bancomat al PC di casa, dal navigatore dell'auto alla lavatrice intelligente. Dei computer parlano tutti, sui giornali, per radio e in tivù, ma nessuno va mai al di là della semplice tecnologia. Che cosa c'è dietro? Che cos'è davvero l'informatica? È davvero una scienza così diversa dalla fisica, dalla chimica o dalla biologia? Che cosa c'è di davvero rivoluzionario in questa disciplina e perché vale la pena di scoprirlo?

Le risposte arrivano con il programma Digito Ergo Sum di nuovo in onda dal 16 aprile tutti i lunedì alle 12 su Radio Popolare. In mezz'ora la trasmissione, ideata e condotta da un gruppo di ricercatori informatici, vi farà scoprire cose che non avreste mai immaginato. Cosa c'entra un tennista con la programmazione? Come dividersi un gelato equamente senza bisogno di un arbitro imparziale? E perché tutto questo è informatica?

Digito Ergo Sum è un programma a cura di Aladdin, Laboratorio di Didattica e Divulgazione dell'Informatica (aladdin.unimi.it), nato nei Dipartimenti di Scienze dell'Informazione e di Informatica e Comunicazione dell'Università degli Studi di Milano con lo scopo di diffondere la cultura informatica nella società e arricchire l'insegnamento di questa disciplina.

La trasmissione è condotta da Antonio Dini, giornalista, e da Carlo Bellettini, Alfio Ferrara, Dario Malchiodi, Mattia Monga, Massimo Santini con la collaborazione di Violetta Lonati, Paolo Boldi, docenti di informatica. Il gruppo di Aladdin è composto inoltre da Anna Morpurgo e Mauro Torelli.

Ogni puntata di Digito Ergo Sum affronta un argomento diverso. E al suo interno contiene anche un radiodramma vecchio stile interpretato da tre giovani attori diplomati alla scuola Paolo Grassi di Milano.

Digito Ergo Sum è in onda ogni lunedì a partire dal 16 aprile 2012, alle ore 12.00 su Radio Popolare (www.radiopopolare.it). Le frequenze per la Lombardia sono disponibili all'indirizzo (www.radiopopolare.it/ascoltaci/frequenze/), ed è possibile anche ascoltare la diretta in streaming (per le istruzioni vedi www.radiopopolare.it/poplive/diretta/computer-player/). I podcast delle varie puntate saranno disponibili sul sito digitoergosum.unimi.it.

Per ulteriori informazioni: Dario Malchiodi, tel 02 50316338, mail malchiodi@dsi.unimi.it .

Chi siamo

2012-04-14T00:00:00+02:00

Hanno realizzato la trasmissione:

Violetta Lonati, ricercatrice presso il Dipartimento di Scienze dell'Informazione dell'Università degli Studi di Milano, dove si occupa di linguaggi formali e automi, ha curato la produzione esecutiva.

Paolo Boldi, professore associato presso il Dipartimento di Scienze dell'Informazione dell'Università degli Studi di Milano, dove si occupa di algoritmica per il web, è autore dei radiodrammi.

In studio:

Antonio Dini, giornalista, saggista e blogger, scrive per il quotidiano Il Sole 24 ore e il sito Macitynet.it. Ha pubblicato alcune opere di analisi economica, giuridica e sociale fra cui Emozione Apple, un libro che approfondisce le ragione del successo commerciale dell'azienda di Steve Jobs.

Carlo Bellettini, professore associato presso il Dipartimento di Informatica e Comunicazione dell'Università degli Studi di Milano, dove si occupa di ingegneria del software, ha fornito molti degli spunti per le puntate.

Alfio Ferrara è ricercatore presso il Dipartimento di Informatica e Comunicazione dell'Università degli Studi di Milano e la sua attività si svolge nell'area delle basi di dati, dei sistemi informativi e delle ontologie e semantic web, interessato in particolare all'integrazione e interoperabilità di sorgenti informative eterogenee in sistemi distribuiti aperti.

Dario Malchiodi è professore associato presso il Dipartimento di Scienze dell'Informazione dell'Università degli Studi di Milano e si occupa del trattamento dell'incertezza nei problemi di apprendimento automatico, con particolare riferimento all'apprendimento basato sulla qualità dei dati, allo sviluppo di modelli inferenziali, alla progettazione di sistemi ibridi di apprendimento e alle applicazioni dei sistemi per il calcolo automatico.

Mattia Monga è professore associato presso il Dipartimento di Informatica e Comunicazione dell'Università degli Studi di Milano e si occupa di ingegneria del software e sicurezza informatica, in particolare in sistemi decentralizzati e in continua evoluzione.

Massimo Santini è ricercatore presso il Dipartimento di Scienze dell'Informazione dell'Università degli Studi di Milano e si occupa di algoritmica per il web e big data.

La registrazione delle puntate è stata realizzata negli studi di Radio Popolare da Gianpiero "Jam" Kesten.

Undicesima puntata: ricorsione

2011-08-01T13:00:00+02:00

Davvero, come ci hanno sempre insegnato, non si può definire qualcosa nei termini di se stessa? In realtà c'è un modo interessante per farlo, che permette di risolvere moltissimi problemi. Oggi, nell'ultima puntata della serie, Digito Ergo Sum affronta questi metodi, detti ricorsivi, per scoprire che ordinare un mazzo di carte, specchiare uno specchio nello specchio, e i cavolfiori hanno più cose in comune di quanto si possa pensare.

E così, per fare le somme basta sapere che numero viene prima e dopo un certo numero? Ecco qui:

qual è la somma di due numeri A e B? Be', se B è uguale a 0, allora la somma è A. Se invece B non è zero la somma è il numero successivo alla somma di A e B - 1. E come si fa la somma di A e B - 1? Be', lo abbiamo appena detto! Non ci credete? Ascoltate la nostra ultima puntata, e fra il Paradosso di Zenone e la meta-fiction americana, scoprirete la magia nascosta nella ricorsione...

Come al solito, chi si è perso la diretta può scaricare la puntata in formato MP3 e OGG.

...e, naturalmente, non dimenticate di seguire (ricorsivamente) gli sviluppi...

Decima puntata: software libero, reti e la vita pubblica

2011-07-25T13:00:00+02:00

La nostra vita quotidiana è ormai irrimediabilmente mediata da sistemi informatici, manufatti software, reti telematiche. Ciò apre possibilità, spazi di interazione sociale e libertà civili impensabili fino a poco tempo fa. L'intermediazione software, però, può giocare brutti scherzi perché non sempre si presta ad un'analisi di dettaglio: in effetti si tratta di una serie di istruzioni scritte per essere eseguite da una macchina. Chi volesse capirne il senso dovrebbe disporre del codice sorgente, cioè quella descrizione che i programmatori hanno scritto in maniera tale che, almeno a loro, fosse chiaro ciò che si voleva ottenere. Peccato che questo codice non è quasi mai disponibile, se non nel cosiddetto software libero, che non vincola cioè a interpellarne l'autore per capirci qualcosa.

Come al solito, chi si è perso la diretta può scaricare la puntata in formato MP3 e OGG.

Bruce Schneier

2011-07-24T09:30:00+02:00

Bruce Schneier è stato a lungo un eroe per gli esperti di sicurezza e per chi si occupa di crittografia. Il ricercatore americano ha scritto uno dei libri tecnici del settore, Applied Cryptography (1994), e uno di quelli molto belli sul concetto di sicurezza non solo informatica: Beyond Fear (2003).

Oggi non lavora più come consulente indipendente (per gente come i Bell Labs e il Dipartimento della Difesa statunitense) ma come capo della tecnologia per il gruppo British Telecom. Nonostante questo, ha ancora tempo per aggiornare il suo blog, che è una lettura più che piacevole per chi mastica un po' di inglese ed è curioso di sapere cosa succede nel mondo della security. Da leggere anche la sua newsletter, Crypto-gram. Da leggere infine (tradotto in italiano) anche il saggio Le password sicure vi rendono più sicuri, che spiega parecchie cose sul tema della sicurezza delle nostre password.

Nona puntata: crittografia

2011-07-18T13:00:00+02:00

Chi di noi non ha cercato di parlare con un amico senza che gli altri capissero? Ma come si fa a nascondere un messaggio in modo che possa comprenderne il significato solo il legittimo destinatario? Da Giulio Cesare ai pizzini di Provenzano, la storia della crittografia è ricca di aneddoti interessanti.

Alla fine si tratta di trovare una codifica che non possa essere decodificata senza una chiave, ossia qualcosa che permetta di interpretare correttamente il messaggio. Un po' come quando Champollion trovò il modo di comprendere i geroglifici egiziani.

E da Turing in poi la crittografia è sempre più attività informatica: si costruiscono grandi calcolatori per codificare e decodificare in maniera il più efficace possibile. Ma non solo: grazie alla riflessione informatica si può perfino cercare di stimare quanto è buono un meccanismo crittografico. Ce ne sono di ottimi che possono essere impiegati anche senza mezzi sofisticati... basta un mazzo di carte da poker! Un solitario crittografico

Come al solito, chi si è perso la diretta può scaricare la puntata in formato MP3 e OGG.

Ottava puntata: soft computing

2011-07-11T13:00:00+02:00

Chi crede che un programma informatico sia una sorta di precisino digitale si dovrà ricredere ascoltando la puntata odierna. Infatti, nonostante sia auspicabile che quando si risolve un problema si applichi un metodo che fornisca una soluzione esatta, è vero anche che non sempre è possibile garantire che questa soluzione si possa trovare in un tempo ragionevole. Inoltre ci sono problemi di cui non si conosce una soluzione esprimibile tramite un algoritmo, come per esempio quello del riconoscimento del parlato. Eppure molti telefoni cellulari sono in grado di riconoscere i nomi dei nostri amici quando li pronunciamo. E come fanno?

Per attaccare problemi come questi si utilizzano approcci di vario tipo, che vanno sotto il cappello di metodi soft, o soft computing. Questi metodi abbandonano lo scopo di risolvere esattamente un problema, e in alcuni casi non si è nemmeno in grado di descrivere in modo preciso quale metodo venga seguito per trovare la soluzione. Ci si accontenta che questa sia accettabile nella maggior parte dei casi, vista l'impossibilità di trovare sempre quella migliore. D'altronde, chi di voi non ha mai inveito contro il cellulare perché ha sbagliato a comprendere il nome che avevamo appena pronunciato?

Oggi tentiamo di descrivere alcuni di questi modi di risolvere un problema e di spiegare come funzionano. E nel radiodramma potrete ascoltare anche alcuni stralci delle opere di un autore sintetizzato proprio usando uno di questi metodi: il grande Alessalo Svevoni!

Come al solito, chi si è perso la diretta può scaricare la puntata in formato MP3 e OGG.

Settima puntata: sistemi distribuiti

2011-07-04T13:00:00+02:00

E' difficile ormai ai giorni nostri pensare ai computer in isolamento. Internet ci ha abituato a pensare in termini di reti di computer. Ma cosa vuol dire pensare in questi termini di reti quando dobbiamo risolvere un problema?

Cosa vuol dire calcolo distribuito? Sono tutte rose o ci sono anche le spine?

Ed infine la domanda che tutti ci poniamo almeno un paio di volte al giorno? Siamo soli in questo universo? Ci sono gli extra terrestri? Beh, difficile a crederci senza averla sentita, ma la trasmissione di oggi dà il suo contributo anche a questo... anzi vi insegna come dare il vostro contributo a questa annosa questione.

Come al solito, chi si è perso la diretta può scaricare la puntata in formato MP3 e OGG.

Quattro e non più di quattro

2011-06-27T13:00:00+02:00

Parlando di grafi (argomento della puntata in onda il 27 giugno), mi è venuto in mente un problema classico chiamato problema dei quattro colori. Supponete di avere una mappa geopolitica, con delle zone delimitate che rappresentano i vari Stati, e di volerla colorare: ogni area deve essere colorata e l'unico vincolo da rispettare è che non accada mai che due Stati confinanti abbiano lo stesso colore (mentre è perfettamente lecito che Stati diversi abbiano colori uguali, purché non siano confinanti).

Quanti colori servono? Beh, naturalmente se avete abbastanza pastelli diversi riuscite sempre a risolvere il problema: per esempio, se avete a vostra disposizione un colore diverso per ogni Stato il problema è banale. Ma supponete di voler usare il minor numero di colori possibili. La questione fu posta nella seconda metà dell'ottocento e fu per più di un secolo un vero e proprio puzzle per molti matematici. Infatti è facile rendersi conto che ci sono mappe per cui tre colori non sono sufficienti: per esempio, il Belgio confina sia con la Germania che con la Francia, e inoltre la Germania e la Francia sono confinanti fra loro, quindi per colorare Germania, Francia e Belgio servono tre colori diversi. Inoltre, siccome il Lussemburgo confina con tutti e tre gli Stati (Belgio, Germania e Francia), ne consegue che per colorare anche il Lussemburgo servirà per forza un altro colore. Dunque, quattro colori sono necessari. Ma sono sufficienti?

Se provate a mettervi a disegnare mappe "inventate" vi accorgerete presto che è molto difficile creare una mappa in cui servano più di quattro colori. Anzi, a dire la verità è impossibile. Cioè, quattro colori bastano per colorare qualsiasi mappa.

Che c'entra questo con i grafi? Beh, c'entra. Supponete di trasformare ogni nazione in un vertice di un grafo, e di mettere un arco fra due vertici se le due nazioni sono fra loro confinanti. Il problema della colorazione della mappa diventa un problema di colorazione del grafo: dovete colorarne i vertici in modo che vertici adiacenti (cioè, che sono collegati da un arco) non abbiano mai lo stesso colore. Ma di quali grafi stiamo parlando? In effetti, da ogni mappa si può ricavare un grafo, ma qualunque grafo è ricavabile da una mappa?

Ricordatevi che un grafo si disegna mettendo un pallino per ogni vertice, e collegando con un segmento (o con una curva) tutte le coppie di vertici che sono collegati da un arco. Ogni grafo si può quindi disegnare in molti modi diversi, nel senso che la regola appena enunciata non dice dove devono essere piazzati i vertici. Può accadere che disegnando un grafo in un certo modo alcuni archi si intersechino, mentre spostando un po' i vertici si possano evitare questi incroci. Se si riesce a fare questo si dice che il grafo è planare. Un esempio di grafo non planare è il pentacolo (la stella a cinque punte delle BR a cui avete aggiunto un cerchio che unisce ogni punta alle due punte adiacenti): se anche spostate le punte o trasformate i segmenti che le collegano in curve non riuscirete a non farne intersecare almeno due.

E' facile rendersi conto del fatto che i grafi che si ottengono da una mappa sono grafi planari (per dirla in matematichese, sono "tutti e soli" i grafi planari). Quindi il problema delle mappe si può riformulare come segue: qual è il minimo numero di colori necessari a colorare un grafo planare?

Il passaggio da mappe a grafi può sembrare inutile e perfino perverso, ma è vantaggioso nel senso che un grafo non contiene più nessun dettaglio "ininfluente": non ci sono confini, non ci sono astruse linee di demarcazione a zigzag che sono state ottenute seguendo il corso di qualche fiume o in base a un qualche oscuro trattato di pace. Il grafo della mappa contiene solo le informazioni indispensabili per la colorazione.

Già, ma anche come problema di colorazione di grafi la questione è complicata. Il matematico inglese Alfred Kempe, nel 1877, credette di aver trovato una dimostrazione (del fatto che quattro colori sono sufficienti) ma fu sconfessato nel 1890 da Percy Heawood, che trovò un errore nella dimostrazione di Kempe. Heawood riuscì a dimostrare, in compenso, che cinque colori erano sufficienti. Questo, insieme al fatto che tre colori non bastano, lasciava ancora uno spazio scoperto: bastano quattro colori, oppure c'è qualche mappa (pardon: grafo) per cui ne servono cinque?

Si dovette aspettare quasi un secolo per ottenere una soluzione definitiva (?) al problema: dopo una serie infinita di dimostrazioni sbagliate, nel 1976 Kenneth Apple e Wolfgang Hagen dimostrarono che quattro colori sono sufficienti. In realtà, la dimostrazione di Apple e Hagen chiuse la questione dei quattro colori, ma ne aprì un'altra, estremamente spinosa. Infatti, la tecnica usata da Apple e Hagen fu assolutamente insolita per l'epoca: la loro dimostrazione consisteva nel ridurre lo spazio di tutti i grafi planari possibili a un insieme di "controesempi minimali". Se si fosse dimostrato che quattro colori bastavano per colorare tutti questi controesempi, si sarebbe ottenuto come risultato che quattro colori erano sufficienti in generale. I controesempi minimali erano 1936: troppi da esaminare a mano! A quel punto, chiesero aiuto a un computer: i due matematici scrissero un programma che esaminò uno per uno tutti i 1936 esempi minimali e fu in grado di concludere che erano tutti colorabili con quattro colori.

Questo approccio fu oggetto di grandi contestazioni all'epoca: per un matematico, una dimostrazione è un ragionamento che deve convincere della verità di un'asserzione e deve essere esaminabile da parte di un essere umano. Il fatto che un pezzo della dimostrazione di Apple e Hagen fosse stato prodotto da un computer e non potesse essere realisticamente verificato da un singolo essere umano (i 1936 controesempi, una volta disegnati, riempivano ben 400 pagine!) fu considerata (e da molti lo è ancora) un'inaccettabile violazione delle regole implicite nella nozione stessa di dimostrazione.

In realtà, questa obiezione non è del tutto peregrina: se una parte di una dimostrazione è verificata da un programma per computer, occorre dimostrare a parte che il programma usato è corretto. In effetti, il problema di convincere la comunità matematica "ostile" rimane ancora aperto, ed è oggi estremamente attuale (e pertinente per noi): che ruolo può avere un computer nell'assistere il lavoro di un matematico? quanto e in che misura è accettabile che una dimostrazione sia in parte prodotta o verificata solo mediante un programma?

Scimmie e scienziati

2011-06-25T13:00:00+02:00

Chiunque sarebbe in grado di distinguere le migliaia di pagine scritte a caso dall'esercito di scimmie nel tentativo di riprodurre l'opera di Shakespeare dalle pagine di un buon libro.

Ma che succederebbe se, invece di battere i tasti completamente a caso, le scimmie prestassero attenzione a mettere i caratteri, o le parole, uno dopo l'altro imitando la frequenza con cui appaiono in un libro scritto in italiano (dove, ad esempio, ci sono di certo più vocali che "x", o "y")? e se non scegliessero ogni parola indipendentemente, ma tenessero traccia di quelle che hanno appena scritto per cercare di imitare meglio il testo?

Di certo non ne uscirebbero pagine di grande letteratura, ma in qualche caso l'effetto comico sarebbe assicurato, come nell'annuncio "Intrepido maniscalco offre fotografo amante giochi telefonici per trarre ispirazione. No odontoiatri", ottenuto grazie ad una grammatica casuale. Da una idea simile nascono i "generatori automatici" del blog Metilparaben che ad ogni apparizione rimbalzano sul web con effetti decisamente comici.

C'è un po' meno da ridere osservando che tramite un approccio simile alcuni ricercatori, del laboratorio di informatica ed intelligenza artificiale del MIT (una delle migliori Università americane, che ospita tra i migliori hacker del mondo), hanno generato degli articoli scientifici "casuali" (e quindi privi di vero contenuto scientifico) che sono però stati scambiati per veri articoli da alcune conferenze di settore. Sarà un caso, saranno geniali gli hacker del MIT, o certe confenze non sono poi così scientifiche?

Sesta puntata: grafi

2011-06-25T13:00:00+02:00

Un grafo è un'entità matematica molto semplice, ma sorprendentemente utile. Si tratta di un insieme di oggetti (chiamati "nodi" o "vertici") che sono collegati fra loro da "archi".

Un esempio di grafo è costituito dalla mappa di una metropolitana: in questo caso i nodi sono le stazioni e gli archi sono i tratti che le collegano; ogni arco ha due estremità (le due stazioni che l'arco collega). Nel caso della metropolitana, un passeggero può spostarsi lungo gli archi in qualunque direzione e può effettuare percorsi che lo portano da una stazione all'altra attraversando uno o più archi. Ci sono anche situazioni in cui gli archi sono orientati, cioè possono essere percorsi in un solo verso: è ciò che accade, ad esempio, nelle mappe stradali cittadine quando si incontrano strade a senso unico.

I grafi rappresentano un formalismo di grandissima potenza espressiva, molto utilizzato in matematica e in informatica: è questo l'argomento della puntata di lunedì. Prenderemo in esame molti esempi di grafo (dalle amicizie su Facebook al World Wide Web) e spiegheremo quanto avere un formalismo così generale possa essere utile nella pratica. Anche, ad esempio, per organizzare una cena...

Chi si è perso la diretta può scaricare la puntata in formato MP3 e OGG.

Pixel luminosi, umani e liquidi!

2011-06-21T13:00:00+02:00

Nella puntata si parla dei messaggi di "Buon Natale" disegnati sulla facciata del Pirellone (un grattacelo di Milano) accendendo e spegnendo le luci dietro alle finestre.

Il "Project Blinkenlights", da cui l'idea è stata tratta, è nato nel 2001 in occasione della prima installazione avvenuta a Berlino alla Haus des Lehrers per commemorare Wau Holland, cofondatore del Chaos Computer Club una grande organizzazione di hacker tedeschi. Da allora ha perfezionato l'arte di disegnare sui palazzi ottenendo risultati assolutamente strabilianti.

Ma l'idea di far uscire i pixel dal ristretto schermo del computer per dar loro vita in elementi della vita reale non si limita alle sole finestre.

Tutti ricordano la cerimonia di apertura delle ultime Olimpiadi a Pechino, quando una moltitudine di persone cambiando posizione e colore dei propri abiti hanno dato luogo ad incredibili animazioni. Vien da pensare che la pazienza e la precisione degli asiatici sia necessaria per ottenere risultati di così alto livello, come per questa animazione made in Korea.

Certamente più rinfrescante l'idea di usare cascate di acqua per generare animazioni ancor più sorprendenti ed effimere.

Quinta puntata: rappresentazione dell'informazione

2011-06-20T13:00:00+02:00

Non molti anni fa, la musica era registrata su dischi di vinile, i film su bobine di celluloide, le immagini sulla pellicola fotografica e i testi sulla carta stampata; inoltre ciascuno di questi mezzi necessitava di attrezzature apposite come giradischi, proiettori e cineprese, macchine fotografiche…

Oggi è possibile godere di musica, video, immagini e testi su uno stesso dispositivo: il computer! non solo quello voluminoso e ricco di accessori che sta sulla scrivania, ma anche attraverso piccoli dispositivi portatili come gli mp3 player con i quali si possono spesso vedere anche immagini e filmati, o gli ebook reader che oltre al testo talvolta sono in grado di gestire musica e filmati.

Nella quinta puntata di Digito Ergo Sum, dedicata alla rappresentazione dell'informazione, spieghiamo come questo sia possibile e cosa abbiano in comune una macchina fotografica digitale ed il vostro computer.

Se vi siete persi la diretta, come sempre potete ascoltare la quinta puntata in differita (e in OGG).

Lunedì prossimo parleremo di grafi, la struttura comune a Facebook e l'intrico della metropolitana di Parigi ed il Wold Wide Web…

Quarta puntata: il World Wide Web

2011-06-13T15:00:00+02:00

Il World Wide Web: tutti lo usiamo, tutti abbiamo un'idea di cosa sia un sito web... ma come è nato il WWW? In cosa è diverso da Internet? E cosa si intende coi temini "Semantic Web" e "Social Web"? Nella quarta puntata abbiamo affrontato il tema del web, cercando di raccontarne gli aspetti più noti insieme a quelli meno noti e provando a fare un po' di chiarezza sulle prospettive più interessanti legate alla classificazione delle informazioni e alle dinamiche sociali in rete.

Se vi siete persi la diretta, come sempre potete ascoltare la quarta puntata in differita (anche in OGG).

Lunedì prossimo parleremo di rappresentazione dell'informazione e di strane macchine fotografiche digitali...

Algoritmi e galloni

2011-06-09T09:00:00+02:00

In Die Hard - Duri a morire c'è una scena che sembra fatta apposta per parlare di algoritmi.

John McClane (Bruce Willis) and Zeus Carver (Samuel L. Jackson) sono alle prese con gli indovinelli perversi di Simon (Jeremy Irons), il cattivo di turno. Nel parco c'è una bomba che deve essere disinnescata: i due devono riuscire a riempire una tanica con 4 galloni di acqua, avendo a disposizione solo due taniche da 3 e 5 galloni. Non sembra una cosa facile ma, come in ogni film che si rispetti, i nostri eroi ce la faranno proprio all'ultimo minuto.

La scena del film ha ispirato anche alcuni colleghi informatici dell'Università degli Studi di Milano: da essa prendono spunto un progetto per l'esame di Laboratorio di Algoritmi e Strutture Dati e prima ancora l'articolo "Measuring With Jugs Or What If Mathematicians Were Asked To Defuse Bombs", pubblicato ad un convegno internazionale il cui nome è tutto un programma: fun with algorithms!

Terza puntata: algoritmi

2011-06-06T13:00:00+02:00

Come può un pastore che non conosce i numeri assicurarsi che tutti i capi di bestiame che sono usciti dal suo recinto la mattina vi rientrino al tramonto? Da questo spunto siamo partiti oggi nella terza puntata di Digito Ergo Sum, dedicata agli algoritmi, parlando di problemi facili e meno facili, e anche di problemi che non possono essere risolti. Non perdetevi il radiodramma odierno, che vi insegnerà dei metodi infallibili per uscire da un labirinto!

Vi siete persi la diretta? Nessun problema, come sempre potete gustarvi la terza puntata in differita (anche in OGG).

Lunedì prossimo parleremo del World Wide Web, dell'immensa mole di dati che contiene e dei problemi che il tentare di ragionare su questi dati pone agli informatici.

Gödel, Escher, Bach

2011-05-30T19:00:00+02:00

Un riferimento obbligato per chi è interessato ad approfondire i temi dell'intelligenza artificiale è lo splendido libro di Douglas R. Hofstadter: Gödel, Escher, Bach: un'Eterna Ghirlanda Brillante, la cui versione italiana è edita da Adelphi. Non fatevi spaventare dalla mole del libro, che è scritto (e soprattutto tradotto) molto bene. Tra l'altro, la sua struttura che alterna capitoli con dialoghi tra personaggi immaginari è stata, in un certo senso, una fonte di ispirazione per i radiodrammi della nostra trasmissione!

Il test di Turing

2011-05-30T15:00:00+02:00

In coda alla puntata di oggi segnaliamo un interessante articolo di Brian Christian che descrive non solo il test di Turing, ma anche una competizione (il Loebner prize) che si svolge annualmente e nella quale una serie di computer fronteggia un manipolo di umani usando, appunto, le regole del test. Lo scopo è quello di decretare il computer più umano (quello che inganna più giudici, anche se finora -- in barba a quello che preconizzava Turing -- nessun computer è riuscito a ingannarne più del trenta percento), ma anche l'umano più umano (l'umano che viene decretato tale dal maggior numero di giudici).

L'articolo è stato pubblicato sul numero di marzo 2011 di Atlantic Magazine, ma ne è apparsa una traduzione in italiano sul numero 888 di Internazionale (11 marzo 2011).

Seconda puntata: intelligenza artificiale

2011-05-30T13:00:00+02:00

Che cosa succede quando l'informatica affronta problemi la cui soluzione viene dai più identificata con l'essenza dell'intelligenza umana? Perché un computer riesce a dare filo da torcere anche a ottimi giocatori di scacchi? Come fa un programma a esibire un comportamento che può apparire intelligente e, soprattutto, che cosa può succedere quando gli utenti attribuiscono ai computer un comportamento intelligente? Di questo e altro abbiamo parlato nella seconda puntata di Digito Ergo Sum. Il tutto condito da un radiodramma in cui i protagonisti parlano di come usare il test di Turing per smascherare un impostore su Facebook...

Per chi non è riuscito a sintonizzarsi in tempo, o per chi ci vuole riascoltare, ecco la seconda puntata! Naturalmente anche in formato OGG Vorbis.

Nella prossima puntata di Digito Ergo sum si parlerà di algoritmi, ovvero di che cosa vuol dire affrontare in modo formale la soluzione di un problema, da quello più semplice di contare i capi di bestiame a quello meno intuitivo di trovare l'uscita da un labirinto.

Prima puntata: cos'è l'informatica?

2011-05-23T19:00:00+02:00

È stata un'impresa più difficile del previsto, ma ce l'abbiamo fatta! Oggi è andata in onda la prima puntata e —udite udite— abbiamo anche il podcast in formato MP3. Le meraviglie della tecnica...

E per i puristi anche la versione OGG Vorbis (perché?)!

Una parabola (E. W. Dijkstra)

2011-05-23T17:00:00+02:00

(Qualche tempo fa ho trovato il seguente testo manoscritto tra alcuni miei vecchi documenti. Deve essere stato scritto nel 1973, ma non penso che nei tre anni trascorsi abbia perso in alcuna parte il suo significato. Pertanto lo incorporo nella serie EWD.)

Una parabola.

Anni fa venne fondata una compagnia ferroviaria, e uno dei suoi dirigenti -- probabilmente un tizio del ramo commerciale -- scoprì che gli investimenti iniziali si sarebbero potuti ridurre drasticamente se solamente su metà dei vagoni fosse stato installato un bagno, e, quindi, si decise in tal senso.

Poco dopo che la compagnia iniziò a operare, tuttavia, cominciarono ad arrivare lamentele sui bagni. Venne eseguita un'indagine che portò alla luce come si fosse verificata una cosa ovvia: nonostante fosse da poco operante, la compagnia risentiva già di problemi di comunicazione interna, in quanto la decisione del dirigente riguardo ai bagni non era stata trasmessa ai cantieri di assemblaggio, in cui tutte le carrozze venivano considerate equivalenti così che, come risultato, alcuni treni risultavano quasi senza bagni.

Per risolvere il problema venne associata una piccola informazione a ogni carrozza, indicando se avesse o meno il bagno installato, e a chi si occupava di assemblare un treno venne richiesto di utilizzare più o meno lo stesso numero di carrozze per ciascun tipo. Si era trattato di una complicazione nelle operazioni di assemblaggio, ma, una volta risolta, i responsabili dei cantieri erano fieri di averla saputa gestire al meglio.

Dopo che le nuove procedure di assemblaggio divennero operative, tuttavia, le lamentele sui bagni continuarono ad arrivare. Venne effettuata una nuova indagine da cui emerse che, nonostante circa la metà delle carrozze in ogni treno avesse effettivamente i bagni, spesso questi si trovavano tutti in una sola metà del treno. Per rimediare al problema vennero diramate nuove istruzioni, imponendo che le carrozze con i bagni fossero obbligatoriamente alternate a quelle senza bagni. Si trattava di una complicazione ancora più seria per gli assemblatori che, dopo aver brontolato per un po', riuscirono comunque ad organizzarsi.

Tuttavia le lamentele continuarono, e si scoprì che, essendo i bagni a un'estremità delle carrozze che ne risultavano equipaggiate, la distanza tra due bagni successivi poteva corrispondere quasi alla lunghezza di tre carrozze. Per le madri i cui bambini piccoli avevano bisogni urgenti -- e che magari trovavano dei bagagli impilati nei corridoi -- la cosa poteva essere disastrosa. Come risultato, le carrozze con bagno furono contrassegnate con un'ulteriore informazione che le trasformò in oggetti con un verso. Le nuove istruzioni richiedettero di fare in modo che in ogni treno le carrozze con bagno fossero orientate tutte nello stesso modo. Questa volta le nuove istruzioni vennero accolte con poco entusiasmo, perché il numero di piattaforme girevoli era a malapena sufficiente; anzi, per essere giusti con gli assemblatori, bisogna riconoscere che, secondo tutti gli standard, il numero di piattaforme era proprio insufficiente, e che fu merito della loro scaltrezza e ingegnosità se riuscirono a farcela anche in questo caso.

Con tutti i bagni uniformemente posizionati lungo il treno la compagnia era certa che ora tutto fosse a posto, ma i passeggeri continuarono a lamentarsi: nonostante nessuno fosse distante più di una carrozza dal bagno più vicino, i passeggeri (con bisogni urgenti) non sapevano in che direzione iniziare la loro folle corsa per il corridoio! Per risolvere questo problema, frecce con la scritta "BAGNO" vennero affisse in tutti i corridoi, rendendo quindi anche l'altra metà delle carrozze degli oggetti muniti di verso che dovevano essere opportunamente girati durante l'assemblaggio del treno.

Quando le nuove istruzioni arrivarono al cantiere, si creò un'atmosfera a metà strada tra la disperazione e il disgusto: la cosa, semplicemente, era infattibile! In quel momento critico un uomo, il cui nome è stato dimenticato e non riuscirà mai a essere rintracciato, fece la seguente osservazione. A partire da quando -- una volta e per sempre -- una carrozza veniva agganciata nella parte munita di bagno con una carrozza senza bagno, gli addetti al montaggio potevano utilizzare, al posto di N carrozze di due tipi e con diverse direzioni, N/2 unità identiche che, a tutti gli effetti, potevano essere considerate simmetriche.

Questa osservazione permise di risolvere tutti i problemi di assemblaggio al modico prezzo, innanzitutto, di mantenere solamente treni con un numero pari di carrozze (le poche carrozze addizionali che erano necessarie furono pagate attingendo ai risparmi ottenuti dai commerciali!) e, secondariamente, di barare un po' sul posizionamento uniforme dei bagni. Ma, dopotutto, a chi importa dell'ultimo metro?

Nonostante nel tempo in cui avvenne questa storia l'umanità ancora non avesse ancora avuto in dono i calcolatori automatici, l'uomo anonimo che trovò questa soluzione merita di essere indicato come il primo programmatore qualificato nel mondo.

Ho raccontato questa storia a diversi tipi di pubblico. I programmatori, di regola, ne sono deliziati, e i dirigenti, invariabilmente, si annoiano sempre di più man mano che la storia continua; i matematici "veri", tuttavia, non ne colgono il punto.

prof.dr.Edsger W. Dijkstra (Burroughs Research Fellow)

Che cos'è l'informatica?

2011-05-23T12:30:00+02:00

A breve il podcast della puntata... nel frattempo vi segnaliamo un documento interessante di un grande informatico, Edsger W. Dijkstra (1930-2002). Una parabola, che la dice lunga su "cos'è l'informatica". La versione originale del testo è del 1973! Per i poco ferrati nella lingua inglese abbiamo preparato una traduzione italiana.

Così si conclude la parabola "I have told the above story to different audiences. Programmers, as a rule, are delighted by it, and managers, invariably, get more and more annoyed as the story progresses; true mathematicians, however, fail to see the point."

I più curiosi potranno trovare l'intero archivio degli scritti di Djikstra (a cui si attribuisce, tra l'altro, la famosa frase: "Computer Science is no more about computers than astronomy is about telescopes") nel sito a lui dedicato: http://www.cs.utexas.edu/users/EWD.

Il programma che vi fa cambiare programma

2011-05-10T00:00:00+02:00

Cos'è per voi l'informatica? Ovunque vi giriate, trovate qualcuno che vi dice che l'informatica è la più grande rivoluzione dell'ultimo secolo. Eppure....

...quando entrate in libreria l'unica area che evitate è quella dedicata all'informatica?

...ogni volta che cercate di capire come collegare la stampante al vostro laptop percepite germinare in voi risentimenti luddisti?

...equiparate la patente informatica a quella da iettatore?

Forse nessuno vi ha mai spiegato cosa c'è davvero di rivoluzionario nell'informatica e perché vale la pena tentare di capirci qualcosa. Digito Ergo Sum vuole provarci: chissà mai che non vi venga voglia di ricodificare le vostre vite digitali!

Digito Ergo Sum è un programma a cura di Aladdin, un gruppo nato all'Università degli Studi di Milano con lo scopo di diffondere e motivare l'entusiamo verso l'informatica che ne anima i componenti. Antonio Dini, giornalista e saggista esperto di tecnologie, con l'aiuto di alcuni docenti dell'università esplorerà i lati meno noti e più divertenti della sfida scientifica e sociale che l'informatica pone. E forse cambiare programma non vi sembrerà più così difficile...

Digito Ergo Sum è andata in onda ogni lunedì (per undici puntate) da lunedì 23 maggio 2011 a lunedì 1 agosto 2011, alle ore 12.00 su Radio Popolare.