-
Data: 2015-03-31 19:43:07
Temat: Re: poprawność algorytmu
Od: "M.M." <m...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Tuesday, March 31, 2015 at 7:08:24 PM UTC+2, slawek wrote:
> Użytkownik "M.M." napisał w wiadomości grup
> dyskusyjnych:
>
> >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?
Da się. Bierzemy N programów, M tekstów, K ludzi. Każda osoba czyta
przetłumaczony tekst i wystawia ocenę od zera do np 10. Sumujemy
punkty. Więc w ogóle można porównywać program do tłumaczenia, a na
podstawie kodu nie można.
> 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ć...
Jak już odbiegamy, to też nie zawsze. Weźmiemy np. 20 programów i
zrobimy turniej każdy z każdym. Może się okazać, że zwycięzca
turnieju przegrywa z przegranym - ale to tylko na marginesie.
>
> >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.
Soft do sterowania rakietami podobno
pisało osiem niezależnych zespołów. Wszystkie osiem wersji softu
działało równolegle. Wyjście tych wszystkich wersji trafiało do systemu
głosowania. Nawet jeśli tylko 2 wersje dały dobrą odpowiedź, a
pozostały złą ale różną od siebie, to system jako całość działał.
Pozdrawiam
Następne wpisy z tego wątku
- 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.
- 01.04.15 12:03 M.M.
- 01.04.15 12:44 firr
Najnowsze wątki z tej grupy
- TCL - problem z escape ostatniego \ w nawiasach {}
- 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
Najnowsze wątki
- 2024-10-16 Warszawa => Programista Dynamics 365 CRM <=
- 2024-10-16 Jak dobrze zrobić dach drewutni?
- 2024-10-16 Warszawa => Dynamics 365 CRM Developer <=
- 2024-10-16 Wrocław => Key Account Manager <=
- 2024-10-16 imigranci
- 2024-10-16 Warszawa => Key Account Manager <=
- 2024-10-16 Białystok => Senior Developer React Native <=
- 2024-10-16 Białystok => Projektant/Programista React Native <=
- 2024-10-16 Namierzanie telefonu - Andrychów cd.
- 2024-10-16 Katowice => QA Inżynier <=
- 2024-10-16 Warszawa => Key Account Manager <=
- 2024-10-16 Warszawa => Expert Recruiter 360 <=
- 2024-10-16 Białystok => Technical Lead ( (Java Background)) <=
- 2024-10-16 Kraków => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-10-16 Katowice => Key Account Manager (ERP) <=