On Mon, 10 Jan 2011 21:32:02 +0100, Wojciech Jaczewski
<w...@o...pl> wrote:

>Michoo wrote:
>
>>> Bo jednak wydaje mi się, że złego doktora sobie wybrałeś do drwin.
>> Czy ja drwię? Ja tylko pokazuję, że dr hab. (niedługo pewnie prof.) w
>> jakiejś dziedzinie informatyki może głosić kompletne brednie w innej,
>> mimo że jej uczy i wszem i wobec pokazuje jak programowanie w Delphi
>> lubi. Taka opozycja dla słów A.L, który sugerował, że wysokie
>> wykształcenie (i certyfikaty) gwarantują "jakość" programisty.
>
>Ja bym dodał jeszcze, że umiejętność tworzenia publikacji jest INNĄ
>umiejętnością niż opracowywanie dobrze działających programów. Ilość/jakość
>jego publikacji nie mówi nam NIC o tym, czy gdyby tworzył system od którego
>zależy np. życie ludzkie, to zrobiłby go dobrze czy źle.

Wracajac do mojej analogii mechaniczno elektrycznej: Nie ma zadnej
gwarancji ze profesor politechniczny od "elektryki" i zajmujacy sie
"czysta" teoria potrafilby z definicji dobrze zaprojektowac siec
elektryczna. Znam jednak co najmniej dwoch profesorow uniwersyteckich
posiadajacych odpowiednie certyfikaty ktorzy taka siec zaprojektowac
potrafia, i co wiecej, czasem to robia. Z czego co najmniej jeden jest
wybitnym specjalista od teorii stabilnosci sieci energetycznych, czego
pzrecitny inzynier elektryk na ogol nie jest w stanie pojac rozumem.

Podobnie z programowaniem, na przykald wspolbeiznym. Ktos to napisal
ze "kazdy programista ma to w malym palcu". W odpowiedzi ja zadalem
zadanko ktorego nikt nei rozwiazal. A teraz zadam pytanie: ilu
klepaczy kodu potrafi UDOWODNIC - scisle, matematycznie, ze ich
rozwiazanie nie bedzie mialo "zakleszczenia" (deadlock) czy nie
"umrze" (starvation). Jakich metod do tego uzyje? Czy sa jakies
nazredzia ktore wspomagaja taki dowod? I jak zaprojektowac program aby
mial pozadane wlasciwosci?

A.L.