V takov\u00e9m p\u0159\u00edpad\u011b m\u016f\u017eeme ur\u010dit, \u017ee “Mario se b\u011bhem skoku srazil se zd\u00ed naho\u0159e”. Tak\u017ee pokud to \u0159ekneme p\u0159irozen\u00fdm jazykem,<\/p>\n\n\n\n
Pokud je Mariova sou\u0159adnice uvnit\u0159 zdi, provede se odraz (\u203b1)<\/p>\n\n\n\n
T\u00edmto zp\u016fsobem m\u016f\u017eeme napsat program, kter\u00fd umo\u017e\u0148uje realizovat proces “kdy\u017e Mario sko\u010d\u00ed, odraz\u00ed se od zdi naho\u0159e”.<\/p>\n\n\n\n
\u203b1 Vypad\u00e1 to spr\u00e1vn\u011b, pokud to nap\u00ed\u0161eme takto. A skute\u010dn\u011b, za “ur\u010dit\u00fdch podm\u00ednek” je tento proces spr\u00e1vn\u00fd.<\/p>\n\n\n\n
Ale pokud o tom pe\u010dliv\u011b p\u0159em\u00fd\u0161l\u00edme, m\u016f\u017ee se tak\u00e9 st\u00e1t n\u00e1sleduj\u00edc\u00ed situace (\u203b2).<\/p>\n\n\n\nV tomto p\u0159\u00edpad\u011b, okam\u017eik “kdy je Mariova sou\u0159adnice uvnit\u0159 zdi” neexistuje, a proto se odraz neuskute\u010dn\u00ed a Mario prost\u011b projde zd\u00ed.<\/p>\n\n\n\n
Toto je p\u0159\u00edklad “chyby”. I kdy\u017e dojde k “chyb\u011b proch\u00e1zen\u00ed zd\u00ed” z t\u011bchto d\u016fvod\u016f, neznamen\u00e1 to, \u017ee PC je porouchan\u00e9. PC se chov\u00e1 p\u0159esn\u011b tak, jak mu bylo \u0159e\u010deno, a to, \u017ee toto chov\u00e1n\u00ed je “neo\u010dek\u00e1van\u00e9” nebo “chyba”, je hodnocen\u00ed \u010dlov\u011bka. A tato “chyba” vznik\u00e1, proto\u017ee algoritmus nen\u00ed vhodn\u00fd.<\/p>\n\n\n\n
<\/span>“Zva\u017eov\u00e1n\u00ed mo\u017enosti v\u00fdskytu neo\u010dek\u00e1van\u00e9ho chov\u00e1n\u00ed”<\/span><\/h3>\n\n\n\nAv\u0161ak, zda se b\u011bhem skute\u010dn\u00e9 hry objev\u00ed v\u00fd\u0161e uveden\u00fd “prolomen\u00ed zdi” nebo ne, nelze ur\u010dit pouze abstraktn\u00edm uva\u017eov\u00e1n\u00edm, jak je uvedeno v\u00fd\u0161e. Zda m\u016f\u017ee doj\u00edt k “prolomen\u00ed zdi”, z\u00e1vis\u00ed na:<\/p>\n\n\n\n
\njak\u00e1 je skokov\u00e1 s\u00edla (po\u010d\u00e1te\u010dn\u00ed rychlost) Maria, existuj\u00ed n\u011bjak\u00e9 p\u0159edm\u011bty, kter\u00e9 zvy\u0161uj\u00ed skokovou s\u00edlu?<\/li>\n\n\n\n jak\u00e1 je minim\u00e1ln\u00ed tlou\u0161\u0165ka zdi v nejten\u010d\u00edm m\u00edst\u011b?<\/li>\n<\/ul>\n\n\n\nTo z\u00e1vis\u00ed na t\u011bchto podm\u00ednk\u00e1ch. Z\u00e1le\u017e\u00ed na tom, zda m\u016f\u017ee nastat situace jako v p\u0159\u00edpad\u011b \u203b2. Pokud situace \u203b2 nen\u00ed mo\u017en\u00e1, pak program \u203b1 nem\u00e1 \u017e\u00e1dn\u00fd probl\u00e9m.<\/p>\n\n\n\n
<\/span>Co znamen\u00e1 pr\u00e1ce spojen\u00e1 s “lad\u011bn\u00edm chyb”?<\/span><\/h3>\n\n\n\nTak\u017ee pro prov\u00e1d\u011bn\u00ed pr\u00e1ce spojen\u00e9 s “lad\u011bn\u00edm chyb”, jin\u00fdmi slovy, nalezen\u00ed a opraven\u00ed chyb, je t\u0159eba:<\/p>\n\n\n\n
\nPochopit, jak\u00fd algoritmus program pou\u017e\u00edv\u00e1 (v\u00fd\u0161e uveden\u00fd \u203b1 je v p\u0159irozen\u00e9m jazyce, ale v praxi je program naps\u00e1n v jeho vlastn\u00edm jazyce, co\u017e \u010din\u00ed jeho \u010dten\u00ed obt\u00ed\u017en\u00fdm)<\/li>\n\n\n\n Zv\u00e1\u017eit, za jak\u00fdch podm\u00ednek program funguje (zkoumat nap\u0159\u00edklad s\u00edlu skoku nebo tlou\u0161\u0165ku zdi)<\/li>\n\n\n\n Zkontrolovat, zda nedoch\u00e1z\u00ed k neo\u010dek\u00e1van\u00e9mu chov\u00e1n\u00ed<\/li>\n<\/ol>\n\n\n\nTento proces je tedy nezbytn\u00fd.<\/p>\n\n\n\n
<\/span>Jak prob\u00edh\u00e1 kontrola smluv<\/span><\/h2>\n\n\n\nKontrola smluv m\u00e1 podobn\u00e9 charakteristiky jako “debugging”<\/figcaption><\/figure>\n\n\n\nKontrola smluv je podobn\u00e1 tomuto procesu. Smlouva je v podstat\u011b n\u00e1stroj, kter\u00fd reguluje, jak\u00e9 pr\u00e1va a povinnosti vznikaj\u00ed pro strany, ozna\u010dovan\u00e9 jako A a B, v p\u0159\u00edpad\u011b mo\u017en\u00fdch budouc\u00edch ud\u00e1lost\u00ed, a jak budou ob\u011b strany n\u00e1sledn\u011b jednat. V tomto smyslu lze smlouvu pova\u017eovat za “program reguluj\u00edc\u00ed skute\u010dn\u00fd sv\u011bt”. Nap\u0159\u00edklad,<\/p>\n\n\n\n
Pokud nastane situace XY, strana A zaplat\u00ed stran\u011b B od\u0161kodn\u011bn\u00ed ve v\u00fd\u0161i 1 milionu korun.<\/p>\n\n\n\n
Smlouvy, kter\u00e9 stanovuj\u00ed takov\u00e1 pravidla, definuj\u00ed podm\u00ednky a d\u016fsledky pro mo\u017en\u00e9 budouc\u00ed ud\u00e1losti.<\/p>\n\n\n\n
A pr\u00e1v\u011b kontrola tohoto “programu reguluj\u00edc\u00ed skute\u010dn\u00fd sv\u011bt”, zji\u0161\u0165ov\u00e1n\u00ed p\u0159\u00edpadn\u00fdch probl\u00e9m\u016f a jejich oprava, je procesem velmi podobn\u00fdm “debuggingu”.<\/p>\n\n\n\n
<\/span>V smlouv\u011b nen\u00ed uveden celkov\u00fd obraz algoritmu<\/span><\/h3>\n\n\n\nExistuje v\u0161ak jeden bod, kter\u00fd je velmi d\u016fle\u017eit\u00fd, ale pro ty, kte\u0159\u00ed se nezab\u00fdvaj\u00ed pr\u00e1vem, m\u016f\u017ee b\u00fdt obt\u00ed\u017en\u00e9 ho pochopit. Smlouva je dokument, kter\u00fd stanovuje pouze “\u010d\u00e1st” algoritmu, kter\u00fd \u0159\u00edd\u00ed vztahy mezi stranami. Jin\u00fdmi slovy, pouh\u00fdm \u010dten\u00edm smlouvy nem\u016f\u017eete zjistit, jak\u00fd algoritmus \u0159\u00edd\u00ed vztah mezi v\u00e1mi a druhou stranou.<\/p>\n\n\n\n
Nap\u0159\u00edklad kdy\u017e kupujete pou\u017eit\u00e9 CD v obchod\u011b, obchod a z\u00e1kazn\u00edk neuzav\u00edraj\u00ed n\u011bco jako “kupn\u00ed smlouvu”, ale pokud je na disku CD \u0161kr\u00e1banec, kter\u00fd zp\u016fsobuje, \u017ee CD nelze p\u0159ehr\u00e1t na p\u0159ehr\u00e1va\u010di, budete cht\u00edt si st\u011b\u017eovat v obchod\u011b a o\u010dek\u00e1v\u00e1te, \u017ee obchod na to bude reagovat. To nen\u00ed jen ot\u00e1zka “proto\u017ee je to slu\u017eba”, ale teoreticky:<\/p>\n\n\n\n
\nI bez smlouvy je uzav\u0159ena kupn\u00ed smlouva<\/li>\n\n\n\n Ob\u010dansk\u00fd z\u00e1kon\u00edk (japonsk\u00fd Ob\u010dansk\u00fd z\u00e1kon\u00edk) stanovuje, \u017ee prodejce m\u00e1 z\u00e1ru\u010dn\u00ed odpov\u011bdnost za vady u specifick\u00fdch zbo\u017e\u00ed, jako jsou pou\u017eit\u00e9 CD<\/li>\n\n\n\n Proto algoritmus stanoven\u00fd ob\u010dansk\u00fdm z\u00e1kon\u00edkem funguje mezi obchodem a z\u00e1kazn\u00edkem a obchod nese z\u00e1ru\u010dn\u00ed odpov\u011bdnost za vady<\/li>\n<\/ol>\n\n\n\nTo je logika. A “smlouva” je dokument, kter\u00fd p\u0159episuje algoritmus definovan\u00fd z\u00e1kony jako ob\u010dansk\u00fd z\u00e1kon\u00edk. Nap\u0159\u00edklad, pokud je mezi obchodem a z\u00e1kazn\u00edkem uzav\u0159ena smlouva, kter\u00e1 stanovuje, \u017ee “obchod nep\u0159ij\u00edm\u00e1 \u017e\u00e1dn\u00e9 st\u00ed\u017enosti na vady CD po prodeji”, pak:<\/p>\n\n\n\n
\nKupn\u00ed smlouva je uzav\u0159ena<\/li>\n\n\n\n Ob\u010dansk\u00fd z\u00e1kon\u00edk stanovuje, \u017ee prodejce m\u00e1 z\u00e1ru\u010dn\u00ed odpov\u011bdnost za vady v t\u00e9to smlouv\u011b<\/li>\n\n\n\n Ale podle ustanoven\u00ed smlouvy je princip 2 p\u0159eps\u00e1n a obchod nem\u00e1 z\u00e1ru\u010dn\u00ed odpov\u011bdnost za vady<\/li>\n<\/ol>\n\n\n\nTo je to.<\/p>\n\n\n\n
<\/span>Smlouva “p\u0159episuje” z\u00e1sady ob\u010dansk\u00e9ho z\u00e1kona<\/span><\/h3>\n\n\n\n\u010cten\u00ed smlouvy v\u00e1m neposkytne \u00fapln\u00fd obraz “algoritmu”<\/figcaption><\/figure>\n\n\n\nTo plat\u00ed i pro smlouvy uzav\u0159en\u00e9 mezi spole\u010dnostmi, jako je v\u00fdvoj syst\u00e9m\u016f. Nap\u0159\u00edklad, pokud je uzav\u0159ena smlouva o v\u00fdvoji syst\u00e9mu na z\u00e1klad\u011b subdod\u00e1vky mezi stranami A a B,<\/p>\n\n\n\n
\nje jasn\u011b uzav\u0159ena smlouva o subdod\u00e1vce t\u00edm, \u017ee se uzav\u0159e tato smlouva<\/li>\n\n\n\n V p\u0159\u00edpad\u011b smlouvy o subdod\u00e1vce vznik\u00e1 na stran\u011b dodavatele z\u00e1ruka za vady podle ustanoven\u00ed ob\u010dansk\u00e9ho z\u00e1kon\u00edku<\/li>\n\n\n\n Pokud je v smlouv\u011b ustanoven\u00ed o z\u00e1ruce za vady, toto ustanoven\u00ed p\u0159episuje z\u00e1sadu ob\u010dansk\u00e9ho z\u00e1kon\u00edku uvedenou v bod\u011b 2. Nap\u0159\u00edklad, pokud je stanovena z\u00e1ruka za vady na del\u0161\u00ed dobu ne\u017e je z\u00e1sada ob\u010dansk\u00e9ho z\u00e1kon\u00edku, plat\u00ed toto ustanoven\u00ed po dobu jeho platnosti<\/li>\n<\/ol>\n\n\n\nToto je struktura. Jin\u00fdmi slovy, i kdy\u017e smlouva konkr\u00e9tn\u011b nestanov\u00ed z\u00e1ruku za vady, z\u00e1ruka za vady vznik\u00e1.<\/p>\n\n\n\n
Toto nen\u00ed omezeno pouze na subdod\u00e1vky a v\u00fdvoj syst\u00e9m\u016f, ale je to obecn\u00e1 teorie t\u00fdkaj\u00edc\u00ed se v\u0161ech smluv uzav\u0159en\u00fdch spole\u010dnostmi, jako je p\u0159evod akci\u00ed, z\u00edsk\u00e1v\u00e1n\u00ed financ\u00ed dluhem (p\u016fj\u010dka na spot\u0159ebu pen\u011bz), zam\u011bstn\u00e1n\u00ed, vyd\u00e1n\u00ed akci\u00ed atd.<\/p>\n\n\n\n
Proto, pouh\u00fdm \u010dten\u00edm smlouvy nem\u016f\u017eete z\u00edskat \u00fapln\u00fd obraz “algoritmu” reguluj\u00edc\u00edho vztah mezi druhou stranou a va\u0161\u00ed spole\u010dnost\u00ed. Abychom pochopili cel\u00fd obraz, mus\u00edme rozum\u011bt “v\u00fdchoz\u00edmu algoritmu” stanoven\u00e9mu z\u00e1kony, jako je ob\u010dansk\u00fd z\u00e1kon\u00edk. Smlouva je pouze n\u011bco, co “p\u0159episuje” tento “v\u00fdchoz\u00ed algoritmus”.<\/p>\n\n\n\n
<\/span>Nelze prov\u00e9st “lad\u011bn\u00ed chyb”, pokud nedok\u00e1\u017eeme p\u0159edv\u00eddat ud\u00e1losti, kter\u00e9 se mohou v budoucnosti vyskytnout<\/span><\/h3>\n\n\n\nPorozum\u011bn\u00ed algoritmu samo o sob\u011b nesta\u010d\u00ed k ov\u011b\u0159en\u00ed, zda “nebude doj\u00edt k neo\u010dek\u00e1van\u00e9mu chov\u00e1n\u00ed v d\u016fsledku tohoto algoritmu”. Stejn\u011b jako v p\u0159\u00edpad\u011b “chyb” ve hr\u00e1ch, algoritmus je v z\u00e1sad\u011b abstraktn\u00ed koncept a pokud nedok\u00e1\u017eeme p\u0159edv\u00eddat, jak\u00e9 ud\u00e1losti se mohou v budoucnosti vyskytnout, nem\u016f\u017eeme ov\u011b\u0159it, zda “nebude doj\u00edt k neo\u010dek\u00e1van\u00e9mu chov\u00e1n\u00ed, pokud se takov\u00e9 ud\u00e1losti vyskytnou”.<\/p>\n\n\n\n
Toto je zvl\u00e1\u0161t\u011b z\u00e1va\u017en\u00fd probl\u00e9m v p\u0159\u00edpad\u011b nov\u00fdch produkt\u016f, jako jsou aplikace nebo slu\u017eby, nebo nov\u00fdch obchodn\u00edch model\u016f. Pokud se rozhodnete rozv\u00edjet podnik\u00e1n\u00ed s t\u011bmito produkty nebo modely, je t\u011b\u017ek\u00e9 p\u0159edv\u00eddat, co se m\u016f\u017ee v budoucnosti st\u00e1t, pokud nem\u00e1te znalosti v dan\u00e9m oboru. Nav\u00edc, zvl\u00e1\u0161t\u011b v p\u0159\u00edpad\u011b smluv mezi spole\u010dnostmi, ob\u011b strany, v\u010detn\u011b va\u0161\u00ed vlastn\u00ed spole\u010dnosti, jednaj\u00ed na z\u00e1klad\u011b ur\u010dit\u00e9 ekonomick\u00e9 racionality. Proto je pro p\u0159edpov\u011b\u010f budouc\u00edch ud\u00e1lost\u00ed a chov\u00e1n\u00ed druh\u00e9 strany, kter\u00e9 je zp\u016fsob\u00ed, nezbytn\u00e9 tak\u00e9 my\u0161len\u00ed zalo\u017een\u00e9 na teorii her v oblasti podnikov\u00e9ho \u0159\u00edzen\u00ed.<\/p>\n\n\n\n
<\/span>Zda je n\u011bco “neo\u010dek\u00e1van\u00e9” z\u00e1le\u017e\u00ed tak\u00e9 na rozhodnut\u00ed managementu<\/span><\/h3>\n\n\n\nStejn\u011b jako je na \u010dlov\u011bku, nikoli na po\u010d\u00edta\u010di, rozhodnout, zda je ur\u010dit\u00fd jev “chybou”, tak\u00e9 rozhodnut\u00ed, zda je ur\u010dit\u00fd v\u00fdsledek smlouvy “neo\u010dek\u00e1van\u00fd”, nen\u00ed pouze ot\u00e1zkou pr\u00e1vn\u00edch z\u00e1le\u017eitost\u00ed, ale tak\u00e9 ot\u00e1zkou rozhodnut\u00ed managementu.<\/p>\n\n\n\n
Nap\u0159\u00edklad, m\u016f\u017ee se st\u00e1t, \u017ee algoritmus “podle z\u00e1sad ob\u010dansk\u00e9ho z\u00e1kon\u00edku” je pro ur\u010dit\u00fd podnik v ur\u010dit\u00e9m oboru nep\u0159ijateln\u00fd. A\u010dkoli se to li\u0161\u00ed od p\u0159edchoz\u00edch p\u0159\u00edklad\u016f, ob\u010dansk\u00fd z\u00e1kon\u00edk nap\u0159\u00edklad stanov\u00ed v\u00fdchoz\u00ed algoritmus, \u017ee “p\u0159eveden\u00ed pov\u011b\u0159en\u00ed na jinou osobu je poru\u0161en\u00edm smlouvy”. Ale m\u016f\u017ee b\u00fdt p\u0159\u00edpad, kdy “pro ur\u010ditou spole\u010dnost je v ur\u010dit\u00e9m oboru p\u0159edpokl\u00e1d\u00e1no, \u017ee se samoz\u0159ejm\u011b vyu\u017eije subdodavatel”. V takov\u00fdch p\u0159\u00edpadech by m\u011blo b\u00fdt nemo\u017en\u00e9 p\u0159ijmout smlouvu, kter\u00e1 znemo\u017e\u0148uje p\u0159eveden\u00ed pov\u011b\u0159en\u00ed, tedy<\/p>\n\n\n\n
\nsmlouvu, kter\u00e1 neuv\u00e1d\u00ed nic o mo\u017enosti p\u0159eveden\u00ed pov\u011b\u0159en\u00ed (v tomto p\u0159\u00edpad\u011b se, jak bylo uvedeno v\u00fd\u0161e, uplat\u0148uj\u00ed z\u00e1sady ob\u010dansk\u00e9ho z\u00e1kon\u00edku)<\/li>\n\n\n\n smlouvu, kter\u00e1 v\u00fdslovn\u011b uv\u00e1d\u00ed, \u017ee p\u0159eveden\u00ed pov\u011b\u0159en\u00ed je nemo\u017en\u00e9<\/li>\n<\/ul>\n\n\n\ni kdyby to bylo “podle z\u00e1sad ob\u010dansk\u00e9ho z\u00e1kon\u00edku”, bylo by to nemo\u017en\u00e9.<\/p>\n\n\n\n
Nav\u00edc, v managementu je v\u017edy riziko, \u017ee “pokud dojde k ur\u010dit\u00e9 ud\u00e1losti, budete nuceni n\u00e9st odpov\u011bdnost”. Smlouva, kter\u00e1 pro va\u0161i spole\u010dnost “neobsahuje \u017e\u00e1dn\u00e9 riziko”, v z\u00e1sad\u011b neexistuje. Zda toto riziko p\u0159ijmout \u010di nikoli, je nakonec rozhodnut\u00ed managementu. Rozhodnut\u00ed managementu je na mana\u017eerech, nikoli na konzultantech, jako jsou pr\u00e1vn\u00ed poradci, ale konzultanti by m\u011bli poskytnout dostate\u010dn\u00e9 informace pot\u0159ebn\u00e9 pro rozhodnut\u00ed managementu,<\/p>\n\n\n\n
\nrizika, kter\u00e1 nen\u00ed t\u0159eba zvl\u00e1\u0161\u0165 zd\u016fraz\u0148ovat<\/li>\n\n\n\n rizika, jejich\u017e p\u0159ijet\u00ed by pro danou spole\u010dnost znamenalo z\u00e1va\u017en\u00e9 rozhodnut\u00ed, v n\u011bkter\u00fdch p\u0159\u00edpadech by bylo pot\u0159eba sch\u016fzky atd.<\/li>\n<\/ul>\n\n\n\nTato rizika mus\u00ed b\u00fdt zd\u016frazn\u011bna. Pro nastaven\u00ed t\u00e9to “intenzity” je, stejn\u011b jako v p\u0159\u00edpad\u011b konzultant\u016f v jin\u00fdch oblastech, tak\u00e9 pot\u0159eba, aby pr\u00e1vn\u00edk prov\u00e1d\u011bj\u00edc\u00ed kontrolu smlouvy m\u011bl ur\u010dit\u00fd smysl pro “management”.<\/p>\n\n\n\n