VŠ z trochu jiného úhlu

[Jakub Galgonek]

A co ta ekvivalence programů?

Máš to naimplementováno ? Kde se to dá stáhnout nebo koupit ?

Proč bych implementoval něco, co implementovat nejde ?

[Reklama]

[Zz]

Ale stratíš týždeň. A sú firmy, kde sa bežne niečo robí aj mesiac - keďže sa nastavujú externé zariadenia, na ktorých sa trávi drvivá väčšina času a teda sa toto nedá rozumne urýchliť. A keď sa to nevhodným spôsobom zacyklí na začiatku (možno), tak sa to zle ladí, lebo zväčša vývojárom všetko funguje a užívateľom niekedy nie. Zvlášť keď je bug v niečom triviálnom ako že pre vhodné floaty a,b a b>0 platí a + b = a. To sa niekedy vyskytne, niekedy nie - a externe zistiť takéto chyby je ťažké - prevádzka zacykleného stroja ti berie čas (peniaze), elektrinu (zase peniaze) a možno budeš musieť platiť ešte pokutu za to, že niečo nestihneš (veľké peniaze).

A umíš ukázat jeden jediný problém, který se takto v praxi pořadilo eliminovat tím že ve firmě byl přítomen teoretický znalec Turinga ?

[Zz]

Proč bych implementoval něco, co implementovat nejde ?

Chápu.

[Jakub Galgonek]

To je pořád dokola

Čím ty se vlastně v praxi zabýváš?

[Zz]

Další algoritmicky nerozhodnutelný problém je třeba, zda dvě bezkontextové gramatiky generují stejný jazyk, anebo zda je bezkontextová gramatika nejednoznačná.

Bavíme se o v praxi naimplementovaném algoritmu, který bez znalosti turinga naimplementovat nejde.

[Reklama]

[Jakub Galgonek]

Bavíme se o v praxi naimplementovaném algoritmu, který bez znalosti turinga naimplementovat nejde.

Což je asi tak smysluplná otázka, jako chtít příklad algoritmu, který nejde naprogramovat bez jazyka C

[Radek Miček]

A co ta ekvivalence programů?

Máš to naimplementováno ? Kde se to dá stáhnout nebo koupit ?

Proč bych implementoval něco, co implementovat nejde ?

Ale pro některé programy to jde rozhodnout v konečném počtu kroků.

[Jakub Galgonek]

Ale pro některé programy to jde rozhodnout v konečném počtu kroků.

A pro některé programy je HP také trivka

[Zz]

Čím ty se vlastně v praxi zabýváš?

Aktuálně jsem trvale konfrontován s projektem 24/7/365 pro 50k zákazníků. Protože se zabývám praktickými věcmi čtvrt století, tak mi to tady u teoretiků přijde větší zábava než TV

[Jakub Galgonek]

Jinak například Büchiho automat, což je modifikace konečného automatu, který na vstupu dostává nekonečně dlouhá slova, jde v praxi použít při zjišťování pravdivosti formulí lineární temporální logiky. Přitom Büchiho automat si v praxi jako HW nesestavíte

[Jakub Galgonek]

Aktuálně jsem trvale konfrontován s projektem 24/7/365 pro 50k zákazníků.

No dobře, ale o čem ten projekt je?

[Zz]

Což je asi tak smysluplná otázka, jako chtít příklad algoritmu, který nejde naprogramovat bez jazyka C

Otázka je hloupá, ale odpověď mi stačí.

[poiu]

A umíš ukázat jeden jediný problém, který se takto v praxi pořadilo eliminovat tím že ve firmě byl přítomen teoretický znalec Turinga ?

Možno nie až tak - akurát viem povedať, že to ušetrilo kopu peňazí na pokusy o implementáciu riešenia HP štýlom "skončí to do 25 dní, ale keď príde signál X, tak to skončí do 29 dní, inak to skončí do ...". Namiesto toho to aj po odstránení bugu môže riešiť pracovník pomerne úspešnou heurestikou ako "už druhý deň pravidelne bliká LED na zariadení a zdá sa, že sa to pomerne hreje, tak sa to asi zacyklilo".

[Zz]

No dobře, ale o čem ten projekt je?

Celkově je to specifický hybrid cloudu, hardwarových hraček a sítí. Víc konkrétní nebudu, pro diskuzi to nemá význam.

[Zz]

Možno nie až tak - akurát viem povedať, že to ušetrilo kopu peňazí na pokusy o implementáciu riešenia HP štýlom "skončí to do 25 dní, ale keď príde signál X, tak to skončí do 29 dní, inak to skončí do ...". Namiesto toho to aj po odstránení bugu môže riešiť pracovník pomerne úspešnou heurestikou ako "už druhý deň pravidelne bliká LED na zariadení a zdá sa, že sa to pomerne hreje, tak sa to asi zacyklilo".

Takto teoreticky s tím nemám absolutně žádný problém. Jen bych to chtěl vidět na vlastní oči. I důsledky obecné teorie relativity se dají pozorovat v praxi, tak určitě půjde i tohle.