Look ma no progs!

lmnhUn post un po’ LOLloso, un po’ nostalgico di cose che si facevano tanto tempo fa e oggi sono dimenticate, un po’ per far vedere che quando il gioco … (cit.). E poi devo verificare se funziona uno script Python, quello che trovate qui: Contare le cifre di PI.
OK, rispondo subito alla domanda che vorreste farmi: lo pubblico su questo blog perché di là mi hanno cacciato; cioè non ancora ma mi hanno detto che se insisto… :mrgreen:

Un minimo di intro (per chi non ha letto il post linkato): per il Carnevale della Matematica di marzo che capita in occasione del Pi Day ho utilizzato il programmino pi (lo trovate nel Software Center se usate Ubuntu) per calcolare la distribuzione delle cifre decimali di π.
Sono arrivato a pi perché usa la libreria CLN:

CLN is a library for efficient computations with all kinds of numbers in arbitrary precision. CLN was written by Bruno Haible and is currently maintained by Richard B. Kreckel. It is distributed under the terms and conditions of the GNU General Public License GPL. The current version is CLN 1.3.3.

diff

OK. Credo che possiamo fidarci di pi. Con bc le ultime cifre (~ 2) non sono attendibili; per verificarlo provate a aumentare scale.

Resta da verificare lo script Python, per un numero grosso, diciamo 1 milione di cifre, escluso il 3 iniziale. Si può fare con i soli mezzi messi a disposizione dal Sistema Operativo? Io penso di sì, proviamo?

Come primo passo creo un file con le prime 100 cifre decimali di π:

s1

Il file è formato da un’unica riga

s2

Con sed sostituisco ogni occorrenza di 1 con 1\n:

s3

Come si vede il numero delle righe è pari al numero di 1, aumentato di 1:

s4

Quindi nei primi 100 decimali di π la cifra 1 compare 8 volte.
Peccato che wc restituisca 9. Ma quando il gioco 😳 già detto, cancello.
Però, se ricordo bene (roba anni ’80):

s5

OK, abbiamo tutti gli elementi che servono, basta collegarli con pipes ed ecco:

s6

OK. Coincide con il valore dato dallo script Python.
Semplice vero? 😯 Vero che non meritavo di essere cacciato dal mio blog? 🙄

Posta un commento o usa questo indirizzo per il trackback.

Trackback

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo di WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione /  Modifica )

Google photo

Stai commentando usando il tuo account Google. Chiudi sessione /  Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione /  Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione /  Modifica )

Connessione a %s...

Questo sito utilizza Akismet per ridurre lo spam. Scopri come vengono elaborati i dati derivati dai commenti.

%d blogger hanno fatto clic su Mi Piace per questo: