# Re: Program derivation: vergogna! (was: Ordinato Libro)

**URL:** <https://www.ruby-forum.com/t/re-program-derivation-vergogna-was-ordinato-libro/60626>\
**Category:** IT\
**Created:** [May 16, 2006, 10:21am UTC](https://www.ruby-forum.com/t/re-program-derivation-vergogna-was-ordinato-libro/60626 "2006-05-16T10:21:12Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![net-filesystem](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/n/3da27b/32.png) [@net-filesystem](https://www.ruby-forum.com/u/net-filesystem)\
**Post date:** [May 16, 2006, 10:21am UTC](https://www.ruby-forum.com/t/re-program-derivation-vergogna-was-ordinato-libro/60626/1 "2006-05-16T10:21:12Z")

</div>

On 5/16/06, gabriele renzi [removed\_email\_address@domain.invalid](mailto:removed_email_address@domain.invalid) wrote:

> matteo, a proposito di imparare, ed andando  
> completamente OT… avresti da suggerire qualche  
> risorsa online sulla program derivation? La tua tesi  
> di dottorato ha un link errato e quindi non posso  
> saccheggiarne la bibliografia 😉

“Una home page con link che non funzionano è come una casa coi vetri  
rotti e gli scarafaggi”

Hai ragione, ora restauro il link alla mia tesi! Ho anche restaurato  
una mia vecchia pagina che elenca i vari testi disponibili  
(matteo.vaccari.name/misc/program-derivation).

Temo che non troverai molte risorse accessibili online. Almeno, non a  
livello di tutorial. Se trovi qualcosa di interessante, mi piacerebbe  
molto aggiungerlo alla mia pagina di risorse. In ogni caso se ti  
interessa l’argomento chiedi pure

Matteo

---

<div class="post-metadata">

**Author:** ![net-filesystem](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/n/3da27b/32.png) [@net-filesystem](https://www.ruby-forum.com/u/net-filesystem)\
**Post date:** [May 16, 2006, 10:42am UTC](https://www.ruby-forum.com/t/re-program-derivation-vergogna-was-ordinato-libro/60626/2 "2006-05-16T10:42:44Z")

</div>

— Matteo V. [removed\_email\_address@domain.invalid](mailto:removed_email_address@domain.invalid) ha scritto:

> Temo che non troverai molte risorse accessibili  
> online. Almeno, non a  
> livello di tutorial.

Peccato, speravo in qualcosa come la Guide to  
constraint Programming[1].  
Ma sono contento di sapere che non sono tonto io a non  
aver trovato nulla e che in effetti c’è poca roba.  
D’altronde anche una lista di libri cartacei è di per  
se ottima, perché posso provare a reperirli  
all’università[2]

> Se trovi qualcosa di  
> interessante, mi piacerebbe  
> molto aggiungerlo alla mia pagina di risorse. In  
> ogni caso se ti  
> interessa l’argomento chiedi pure

Se abusando di scholar.google e citeseer trovassi  
qualcosa non mancherò di notificarlo, e sicuramente ti  
chiederò qualcosa… magari non su questa lista però 🙂

[1] [http://ktiml.mff.cuni.cz/~bartak/constraints/](http://ktiml.mff.cuni.cz/~bartak/constraints/)

[2] sebbene le regole della mia biblioteca dicano che:

“il prestito è permesso per un solo giorno agli  
studenti”  
che significa più o meno  
“prendi un libro, poiché in un giorno non puoi  
leggerlo, fotocopialo, così che  
possa poi rimanere qui inutilizzato per il resto  
dell’anno come è stato nei 4 precedenti”  
Bah.

–  
icq: #69488917  
blog: [http://riffraff.blogsome.com](http://riffraff.blogsome.com)

* * *

Yahoo! Messenger with Voice: chiama da PC a telefono a tariffe esclusive

> **[Yahoo | Mail, Weather, Search, Politics, News, Finance, Sports & Videos](https://www.yahoo.com/)**
>
> Latest news coverage, email, free stock quotes, live scores and video are just the beginning. Discover more every day at Yahoo!