7816
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 13:29:17 »Tomuhle přístupu se občas říká inženýrská indukceJo. A v praxi se přesně tohle používá v 99.9% případů
Zobrazit příspěvky
Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.
7817
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 13:28:38 »To sice ne, ale napadl mě jako první :-)No to je sice hezký, ale úplně mimo téma
7818
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 13:20:30 »Třeba konstrukce deterministického konečného automatu derivováním regulárního výrazu.Což je typický reálný problém, který bude řešit víc než polovina absolventů
7819
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 13:19:13 »Potom se ale musím logicky ptát, jestli nehledáš (vhodná) omezení právě proto, že víš, že obecně to řešit nelzeMoc hezká a správná argumentace!?
Ovšem tím se dostáváme k tomu, co už jsem tady taky psal: že běžnému programátorovi bohatě stačí vědět, že obecný problém zastavení je neřešitelný. Víc se v tom rýpat pro něj imho nepřináší žádnou reálnou přidanu hodnotu, opravdu stačí jenom tahle jedna věta + její vyvětlení, asi tak na dvacet minut - a přesně o tom přece píšu: pro lidi, co ví, že půjdou do praxe, zhustit teorii jenom do toho, co se jim opravdu bude hodit vědět a zbytek hodit přes palubu ve prospěch něčeho jiného.
7820
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 13:10:36 »jestli opravdu (reálně) tu původní úlohu potřebuju řešit a nestačí mi úplně bohatě řešit tu omezenou...Mimochodem, není od věci si připomenout, že ta původní úloha vyžaduje předpoklad "máme neomezenou paměť"
7821
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 13:07:02 »Přidáním dodatečných podmínek z toho uděláš jinou úlohu. Možná smysluplnou, ale jinou.Ano, to je formálně vzato pravda. Potom se ale musím logicky ptát, jestli opravdu (reálně) tu původní úlohu potřebuju řešit a nestačí mi úplně bohatě řešit tu omezenou...
7822
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 13:05:46 »Člověk z praxe si vždy poradíJojo, přesně takhle vypadá barevná praxe zatímco šedá teorie dokázala, že něco nejde
Akorát bych to napsal jinak - pokud se to do hodiny nezastaví, tak předpokládám, že se to nezataví už nikdy.
Btw, to jsou přesně ty omezující podmínky, o kterých jsem psal. Stačí dát podmínku, že algoritmus se nebude provádět dýl než hodinu - a voilà - celá slavná neřešitelnost problému zastavení je v trapu
7823
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 12:56:26 »Znalost vyčíslitelnosti ti prozradí, že pro tento problém vůbec algoritmus nemůže existovat. Takže o výpočetní náročnosti to opravdu není.No to bych netvrdil - nemůže existovat OBECNÝ algoritmus... To neznamená, že nemůže existovat algoritmus, který by problém řešil za nějakých dodatečných podmínek. A nevím o tom, že by někdo dokázal, že není možné všechny reálné algoritmy přepsat tak, aby ty omezující podmínky splňovaly. Taky jak by to dělal, dokazovat něco o "reálném" programu?
7824
Vývoj / Re:Kompresní algoritmus nenáročný na paměť
« kdy: 17. 10. 2012, 12:53:21 »
Díky moc, ez, za popis. Zkoumat zdroják se mi nechtělo
Jenom tak pro zajímavost: existuje nějaký algoritmus, který by opravdu nepotřeboval ani žádnou operační paměť? (in-situ ala Bubble sort) To asi ne, co?
Jenom tak pro zajímavost: existuje nějaký algoritmus, který by opravdu nepotřeboval ani žádnou operační paměť? (in-situ ala Bubble sort) To asi ne, co?
7825
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 12:44:51 »V praxi pro reálný počítač nerozhodnutelný algoritmus jednoduše nelze sestavit, tudíž ho pak ani nelze analyzovat a následně se tak nelze dostat do těchto problémůJakto?
Kód: [Vybrat]
for(;;);
...ale v praxi tady opět zafunguje spíš heuristika, než čistě aplikovaná teorie - opět to bude jenom otázka stupidního podívání se, jestli se kontrolní proměnná cyklu bude za všech okolností snižovat... Že by se člověk v reálném kódu setkal s něčím, u čeho si nebude jist, že se to zastaví, to je imho spíš fantazie než realita (jakžtakž si to dovedu představit v jazycích, kde se divoce používá rekurze - a i tam mi přijde, že kód, ze kterého není jasné, jestli se zastaví, je spíš špatně nasaný...)
7826
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 12:40:11 »Třeba by se hodilo mít možnost porovnávat, zda dva kódy dávají vždy stejné výsledky. Dáte programátorovi za úkol zoptimalizovat/přepsat nějaký kód a pak jen snadno zkontrolujete, že tam přepsáním nebyla zanesena žádná chyba.No jo, to je sice hezký příklad, ale opět dost nereálný. Už to tady taky zaznělo dřív: za prvé formální verifikace se dělá jenom u hyperkritických systémů*. Normální program, se kterým se setká normální programátor, stejně nikdo formálně verifikovat nebude. Nikoho by ani nenapadlo formálně verifikovat, že Linux 2.6.3 dává stejné výsledky jako Linux 2.6.1... (stejně jako u té složitosti se stejně nakonec dostaneme k tomu, že roli hrají úplně jiné věci - matematikou obtížně postihnutelné - jako různé interrupty apod.)
Za druhé když už je nějaký program tak jednoduchý, že je na něm reálné verifikaci udělat, stejně odhaduju, že se bude dělat častěji zase nějakým druhem heuristiky (patřičné invarianty a takové ty věci) než tím, že by to někdo přepisoval na normalizovaný Turingův stroj. Opět to bude spíš otázka aplikace nějaké metodiky, kterou vymyslela jedna geniální hlava a celý svět to jenom aplikuje.
A stejně, co se týče těch systémů, kde se to asi dělá (nějaké ty marsrovery apod.), tak tam samozřejmě lidi se špičkovými znalostmi teoretické informatiky mají nepochybně svoje místo - ale nijak to nedokazuje, že jich potřebujeme tisíc ročně. Možná tak jednoho a to ještě při bujné fantazii...
* dneska už i ty realtime systémy se afaik dělají spíš systémem heuristika + naddimenzovaný HW
7827
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 02:55:21 »Ale co se téhle věty týče, tak ta mně určitě těžko popsatelným způsobem rozšířila vědomí. Hlavně v tom směru, že matematika není všemocnáA vlastně ještě jedna daleko jednodušší věc: mohutnost množiny jazyků typu 0 v Chomského hierarchii vs. počet všech myslitelných problémů. To taky bylo příjemné překvapení, když jsem tuhle poznámku na okraj ve skriptech z formálů četl
7828
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 02:53:01 »Tak to na mne měla asi největší vliv Gödelova věty o neúplnostiTo na mě taky, ale spíš z důvodů filosofických. Že bych to někdy použil na něco počítačovýho, to si taky nevzpomínám
Ale co se téhle věty týče, tak ta mně určitě těžko popsatelným způsobem rozšířila vědomí. Hlavně v tom směru, že matematika není všemocná
7829
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 02:41:14 »Ale kdyz se tak podivam kolem sebe, diskutuji s lidmi kteri ten dukaz te vety nikdy nevideli, tak mam pocit , ze ji vlastne pouzivam kazdy den.Blahopřeju. Stačí nám teda ukázat, na co jsi to kdy KONKRÉTNĚ použil. Při řešení jakého KONKRÉTNÍHO zadání ti to pomohlo takovým způsobem, že kdybys to neznal, věc bys nevyřešil nebo vyřešil podstatně míň efektivně. Zajímavé je, že po tomhle dotazu je vždycky najednou nějak ticho po pěšině...
To budeme mít jeden příklad. Potom stačí nějakým věrohodným způsobem doložit, že problémy podobného typu řeší nebo bude řešit alespoň polovina z těch stovek absolventů informatických VŠ. Pokud to totiž nebude aspoň polovina, proč by tenhle konkrétní typ problému neměli nechat někomu, kdo na to bude opravdový odborník? (To, že hardcoráře na matematiku a teoretickou informatiku potřebujeme, jsem nikdy nezpochybnil).
Ovšem jestli ti teda znalost téhle věci jenom dle tvého domění nějak těžko uchopitelně rozšířila vědomí, tak to samozřejmě praktický příklad bude problém, tomu rozumím a není na tom nic špatného. Potom následuje jiná otázka: jak víš, že by ti stejným nebo daleko výraznějším způsobem nerozšířilo vědomí něco jiného? Například zevrubná znalost nějaké technologie. Nebo denní konzumace LSD. Nebo hraní kuliček při zavěšení na kšírech hlavou dolů.
Jestli nebudeš ta božská reinkarnace VišnyKdyž už, tak spíš Tridevi, ta/ti/to aspoň lahodí oku, ne?
http://upload.wikimedia.org/wikipedia/commons/c/c6/Vishnu_and_Lakshmi_on_Shesha_Naga%2C_ca_1870.jpg
7830
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 17. 10. 2012, 00:55:30 »Čo z toho vyplýva o možnosti takéhoto štúdia v naších končinách (určite s menším zázemím napríklad zo strany IBM ako v USA) si už iste každý domyslí sám.Ty, já k tomu budu potřebovat trochu nakopnout: vyplývá z toho teda něco jiného než pro tu zmíněnou Tongji univerzity, nebo ne?
