-
X-Received: by 10.31.180.22 with SMTP id d22mr317943vkf.4.1507452437403; Sun, 08 Oct
2017 01:47:17 -0700 (PDT)
X-Received: by 10.31.180.22 with SMTP id d22mr317943vkf.4.1507452437403; Sun, 08 Oct
2017 01:47:17 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!peer01.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-medi
a.com!news.highwinds-media.com!z50no589767qtj.0!news-out.google.com!p42ni721qtp
.0!nntp.google.com!6no1441864qtw.1!postnews.google.com!glegroupsg2000goo.google
groups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Sun, 8 Oct 2017 01:47:17 -0700 (PDT)
In-Reply-To: <d...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=46.186.90.250;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 46.186.90.250
References: <c...@g...com>
<4...@g...com>
<b...@g...com>
<d...@g...com>
<f...@g...com>
<b...@g...com>
<1...@g...com>
<4...@g...com>
<5...@g...com>
<e...@g...com>
<5...@g...com>
<b...@g...com>
<a...@g...com>
<e...@g...com>
<f...@g...com>
<d...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c...@g...com>
Subject: Re: Optymalizacja struktur danych dla programów funkcyjnych
From: g...@g...com
Injection-Date: Sun, 08 Oct 2017 08:47:17 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Body-CRC: 1384291901
X-Received-Bytes: 5319
Xref: news-archive.icm.edu.pl pl.comp.programming:211579
[ ukryj nagłówki ]W dniu sobota, 7 października 2017 23:22:55 UTC+2 użytkownik Maciej Sobczak napisał:
> > Otóż nie każdy. Jeżeli chcesz jeszcze inną garść przykładów,
> > to na przykład programy na maszyny niedeterministyczne
> > tak nie mają.
> > Tutaj masz przykłady:
> > https://en.wikipedia.org/wiki/Nondeterministic_finit
e_automaton
> > https://en.wikipedia.org/wiki/Non-deterministic_Turi
ng_machine
>
> Słabe. Oba pojęcia to twory czysto teoretyczne, których nie ma nawet jak
zaimplementować.
Masz jakąś szerszą wiedzę na ten temat?
Podobno owo rozstrzygnięcie jest największym otwartym problemem
w informatyce, więc gdybyś wiedział coś więcej, koniecznie daj znać ;]
Z punktu widzenia dyskusji istotna jest kwestia, czy pojęcie
jest dobrze zdefiniowane.
W przytaczanym przeze mnie przykładzie frameworku do optymalizacji
genetycznej nie ma znaczenia, czy operator "random" jest zaimplementowany
jako procedura pseudolosowa, czy jako odczyt z urządzenia generującego
prawdziwie losowe liczby, czy też w taki sposób, że osoba, która interpretuje
program, rzuca kością przy podstawieniu. Albo czy może wie skądinąd,
jakie liczby najszybciej doprowadzą do znalezienia optymalnego rozwiązania.
> > Istnieją przetwarzania niedeterministyczne, stochastyczne
> > itd.
>
> No pewnie. Ale nie na naszych komputerach, co oznacza, że usiłując udowodnić swoją
rację coraz bardziej oddalasz się od początkowego wątku.
Czy pisząc "początkowy wątek" masz na myśli Twoją niezgodę
na moje stwierdzenie, że "kompilator jest w istocie programem
czysto funkcyjnym"?
Jeśli tak, to nie oddalam się ani o jotę, bo w owym stwierdzeniu
nie ma ABSOLUTNIE NIC o "naszych komputerach".
Stwierdzenie owo jest równoważne powiedzeniu, że kompilator
jest zasadniczo rodzajem deterministycznego przekształcenia,
i nie wydaje mi się przesadnie kontrowersyjne.
Tobie się ono nie spodobało -- jak zrozumiałem -- z tego wględu,
że według Ciebie każdy program jest rodzajem deterministycznego
przekształcenia, i że stwierdzenie, że "x jest w istocie
programem czysto funkcyjnym" nie dodaje nic do stwierdzenia
"x jest programem", na co ja wypunktowałem, że można też mówić
z jednej strony o programach niedeterministycznych (które nie
są czysto funkcyjne ze względu na swój niedeterminizm), a z drugiej
o systemach interaktywnych, których istota nie wyczerpuje się
w deterministycznym przekształceniu wejścia w wyjście (bo -- jak
pozwolę sobie dopowiedzieć -- ISTOTNĄ rolę przy naszej konceptualizacji
takich systemów odgrywa pojęcie "bieżącego stanu").
Następne wpisy z tego wątku
- 08.10.17 23:30 Maciej Sobczak
- 09.10.17 07:58 g...@g...com
- 09.10.17 14:25 Maciej Sobczak
- 09.10.17 18:12 fir
- 09.10.17 19:47 g...@g...com
Najnowsze wątki z tej grupy
- 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.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-18 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-18 Warszawa => Software .Net Developer <=
- 2024-05-18 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-18 Ulm => Solution Architect (sichere Kommunikation und IoT-Loesungen <=
- 2024-05-18 Katowice => Head of Virtualization Platform Management and Operating S
- 2024-05-18 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-18 Wrocław => Consultant/Implementer Comarch ERP XL <=
- 2024-05-18 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-05-18 Warszawa => Account Manager (Recruitment Services) <=
- 2024-05-18 Łódź => Salesperson - CRM Systems <=
- 2024-05-18 Łódź => Handlowiec - Systemy CRM <=
- 2024-05-17 ZŁOMNIK o pracy w TVN TURBO, nowych przepisach i współczesnej motoryzacji. Turbo Taryfa!
- 2024-05-17 Białystok => DevOps Engineer Conexa First (Contractor) <=
- 2024-05-17 Warszawa => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-17 Zabrze => Junior HelpDesk <=