-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news.glorb.com!
news-in-01.newsfeed.easynews.com!easynews!core-easynews-01!easynews.com!en-nntp
-16.dc1.easynews.com.POSTED!not-for-mail
From: A.L. <l...@a...com>
Newsgroups: pl.comp.programming
Subject: Re: To prawda?
Message-ID: <2...@4...com>
References: <jen41o$a90$1@inews.gazeta.pl> <jenk84$emv$1@news.icpnet.pl>
X-Newsreader: Forte Agent 4.2/32.1118
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
Lines: 42
X-Complaints-To: a...@e...com
Organization: Forte Inc. http://www.forteinc.com/apn/
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will
be unable to process your complaint properly.
Date: Fri, 13 Jan 2012 07:40:33 -0600
Xref: news-archive.icm.edu.pl pl.comp.programming:194693
[ ukryj nagłówki ]On Thu, 12 Jan 2012 22:44:35 +0100, n...@m...invalid wrote:
>W dniu 12.01.2012 r. 18:08, M.M. pisze:
>> Cytat z perełek oprogramowania, bez mojego komentarza:
>>
>> Większość ludzi sądzi, że mając w ręku przedstawiony opis, można napisać kod
>> bez trudu. Mylą się jednak. Jedynym sposobem, byś się o tym Szanowny
>> Czytelniku przekonał, jest odłożenie książki na bok i samodzielene napisanie
>> programu. Spróbuj.
>> Zadałem to ćwiczenie na wykładach dla zawodowych programistów. Mieli kilka
>> godzin na zamianę powyższego opisu na program w języku, który sobie wybrali;
>> wystarczał pseudo język wysokiego poziomu. Pod koniec określonego czasu prawie
>> wszyscy zgłosili, że mają poprawnie zapisane procedury. Przeznaczyliśmy 30
>> minut na sprawdzanie kodu, co programiści robili za pomocą zadanych testów.
>> Wyniki osiągane w różnych grupach z ponad setką programistów, były mniej
>> więcej takie same: dziewięciu na dziesięciu znalazło błędy w swych funkcjach
>> (a nie zawsze byłem przekonany o poprawności kodu, w którym błędów nie wykryto).
>> Byłem zdumiony: mimo dostatecznej ilości czasu, zaledwie 10% zawodowych
>> programistów zdołało poprawnie zapisać ten niewielki programik. Nie tylko dla
>> nich zadanie okazało się trudne: w części poświęconej historii, w p 6.2.1
>> książki Sortowanie i wyszukiwanie Kunth podkreśla, że wprawdzie pierwszy
>> algorytm wyszukiwania binarnego ukazał się drukiem w 1946r, ale na pierwszą
>> jego publikację nie zawierającą błędów trzeba było czekać do 1962r"
>>
>> Pozdrawiam
>Ciekawy głos. IMHO nazbyt często jest to ignorowane. Ludzie są
>doskonałym automatem niedeterministycznym dysponującym pamięcią
>asocjacyjną, wnioskowaniem logicznym i myśleniem abstrakcyjnym -- ale za
>cenę, że popełniają błędy. To był m.in. motywator do tego, by rozwijać
>w "pozytywistycznym okresie" AI programy do wnioskowania maszynowego,
>dowodzenia teoremów, a dziś stoi za statyczną weryfikacją programów lub,
>dajmy na to, projektowaniem deklaratywnym (aczkolwiek nie podam źródeł).
>Skrajnie nieliczna grupa ludzi (wręcz sawantów) potrafi przeprowadzać
>analizę warunków brzegowych i innych przez większość czasu zaangażowania
>umysłowego.
>Zresztą stanowi to jedną z podwalin OOP -- analityczne podejście do
>rozwiązywania problemów. Jak wiadomo, obdarzone tendencją do redundancji.
>Programiści powinni o tym nie zapominać.
Dzieki za porcyjke belkotu
A.L.
Następne wpisy z tego wątku
- 13.01.12 14:54 M.M.
- 15.01.12 07:16 Borneq
- 15.01.12 09:48 Marek Borowski
- 15.01.12 15:42 bartekltg
- 16.01.12 01:53 n...@m...invalid
- 16.01.12 02:15 A.L.
- 16.01.12 08:08 M.M.
- 16.01.12 08:38 Stachu 'Dozzie' K.
- 16.01.12 08:38 Stachu 'Dozzie' K.
- 16.01.12 14:59
- 16.01.12 17:53
- 16.01.12 18:34
- 16.01.12 21:24 n...@m...invalid
Najnowsze wątki z tej grupy
- Xiaomi [Chiny - przyp. JMJ] produkuje w całkowitych ciemnościach i bez ludzi
- Prezydent SZAP/USONA Trump ułaskawił prezydenta Hondurasu Hernandeza skazanego na 45 lat więzienia
- Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
Najnowsze wątki
- 2026-01-29 KSeF - 13 wątpliwości
- 2026-01-29 A ja się pochwalę
- 2026-01-29 Warszawa => Mid/Senior IT Recruiter <=
- 2026-01-29 Warszawa => Senior Java Developer <=
- 2026-01-29 Warszawa => IT Recruiter <=
- 2026-01-28 Degradacja
- 2026-01-28 Wysoki Sąd poinstruował czego unikać wyzywając Owsiaka "Równiejszego"
- 2026-01-28 Białystok => Solution Architect (Workday) - Legal Systems <=
- 2026-01-28 Białystok => Preseles Inżynier (background baz danych) <=
- 2026-01-28 Wrocław => Konsultant wdrożeniowy ERP <=
- 2026-01-28 Łódź => Microsoft Engineer <=
- 2026-01-28 Białystok => Tester manualny <=
- 2026-01-27 Tradycja ciągania posłów po sądach za wystąpienia w Sejmie będzie kontynuowana [Lepper 2]
- 2026-01-27 Pierwszy raz sprzedano więcej samochodów zeeletryfikowanych niż ice
- 2026-01-27 Elektryczny Kałasznikow




Jak kupić pierwsze mieszkanie? Eksperci podpowiadają