-
Data: 2015-03-31 19:08:21
Temat: Re: poprawność algorytmu
Od: "slawek" <h...@s...pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Użytkownik "M.M." napisał w wiadomości grup
dyskusyjnych:c8c46028-ecf9-454b-bb5d-75458b6ea66f@go
oglegroups.com...
>Inny przykład, program do translacji języków naturalnych. Dlaczego
>chciałbyś używać gorszy program niż lepszy?
Dlaczego uważasz, że dla w/w programów da się ustalić relację liniowego
(pół)porządku?
A praktycznie: program X zwykle daje ładniejszy tekst, ale za to przetwarza
dane w chmurze, wysyłając je na serwer nie-wiadomo-gdzie. Program Y daje
przyzwoitą jakość i przetwarza lokalnie. Który wybierzesz do przetłumaczenia
tekstu przetargu? A który do przetłumaczenia tekstu na publicznie dostępną
stronę WWW?
>Następny problem: gra w szachy. Dlaczego używać słabszego programu niż
>silniejszego? Można mnożyć...
Bo np. silniejszy program zawsze wygrywa, więc nie ma fun-u?
Można dzielić...
>się konkretyzuje. Bez względu na to jak się skonkretyzuje, to ciężko
>dokonać takiego dowodu formalnego.
Problem, IMO, leży w czym innym: dowody formalne zapobiegają tylko niektórym
błędom. A same z siebie mogą być błędne. Więc stwarzają złudną iluzję
bezpieczeństwa.
Ok. Zastąpmy "dowodzenie formalne" przez "pasy bezpieczeństwa". Oczywiście,
pasy ratują życie itd. Ale /pomimo/ pasów zdarzają się śmiertelne wypadki.
Więc np. jazda na podwójnym gazie, 200 km/h w terenie zabudowanym, w gęstej
mgle i pod prąd nie jest bezpieczna nawet jeżeli PASY SĄ ZAPIĘTE. Podobnie
pisanie super-odpowiedzialnych programów przez tylko jednego programistę,
bez testów - NAWET Z UŻYCIEM FORMALNYCH DOWODÓW POPRAWNOŚCI - nie jest moim
zdaniem dobrym pomysłem. I niekoniecznie dlatego że będą błędy.
Następne wpisy z tego wątku
- 31.03.15 19:29 M.M.
- 31.03.15 19:43 M.M.
- 31.03.15 19:49 g...@g...com
- 31.03.15 19:59 slawek
- 31.03.15 20:10 slawek
- 31.03.15 20:34 g...@g...com
- 31.03.15 21:01 M.M.
- 31.03.15 23:04 slawek
- 31.03.15 23:25 g...@g...com
- 31.03.15 23:32 Andrzej Jarzabek
- 31.03.15 23:59 slawek
- 01.04.15 00:08 g...@g...com
- 01.04.15 08:46 firr
- 01.04.15 09:01 firr
- 01.04.15 11:57 M.M.
Najnowsze wątki z tej grupy
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
Najnowsze wątki
- 2024-09-02 Wzór
- 2024-09-01 Polska-Chorwacja 650zł elektrykiem
- 2024-09-01 odrdzewiacz do amelinium
- 2024-09-01 Elektryczna łapka i szerszeń
- 2024-09-01 Jakie podatki za wynajem?
- 2024-09-02 Warszawa => Key Account Manager <=
- 2024-09-02 Warszawa => Projektant/Programista React Native <=
- 2024-09-02 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-09-02 Warszawa => Sales Development Representative (in German) <=
- 2024-09-01 1. wrzesnia po niemiecku
- 2024-09-01 Od setki do setki...
- 2024-08-31 wpadłem w siodło
- 2024-08-25 cenka opada
- 2024-08-30 Elektryki takie bezpieczne cd.
- 2024-08-31 Warszawa => International freight forwarder <=