He tuhinga whakamaori tenei . Engari i mua i tera he kupu whakataki poto. He pehea te hanga o nga zombies? Kua kitea e nga tangata katoa i roto i tetahi ahuatanga e hiahia ana ratou ki te kawe i tetahi hoa, hoa mahi ranei ki runga i to raatau taumata, engari kaore i te pai. I tua atu, "kaore e mahi" ehara i te mea nui mo koe, engari mo ia: i tetahi taha o te tauine he utu noa, nga mahi, me era atu, me tetahi atu ko te hiahia ki te whakaaro. He kino, he mamae hoki te whakaaro. Ka tere tana tuku, ka haere tonu ki te tuhi waehere me te kore e whakamahi i tona roro. Kei te mohio koe ki te kaha o te kaha ki te hinga i te aukati o te ngoikore o te ako, a kaore koe e mahi. Koinei te ahua o te hanga o nga zombies, he ahua ka taea te rongoa, engari te ahua nei kaore tetahi e mahi i tenei.
I taku kitenga i tera (ae, ko taua hoa ano no nga pukapuka pukapuka) a kaore au i te tuku ripoata, engari he patai-whakautu, he paku tupato ahau. Ko te take, he kaiputaiao rongonui a Leslie, te kaituhi o nga mahi seminal i roto i te tohatoha rorohiko, a ka mohio ano koe ki a ia ma nga reta La i LaTeX - "Lamport TeX". Ko te take whakamataku tuarua ko tana whakaritenga: ko nga tangata katoa e haere mai ana me whakarongo (kaore he utu) ki te whakarongo ki etahi o ana ripoata i mua atu, ka puta mai he patai mo ratou, katahi ka haere mai. I whakatau ahau ki te kite he aha te panui a Lamport ki reira - a he rawe! Koinei tonu te mea, he pire hono makutu mo te rongoa i nga zombies. Ka whakatupato ahau ki a koe: ka tino tahuna e te tuhinga te hunga e aroha ana ki nga tikanga tino ngawari me te kore e pai ki te whakamatau i ta raatau i tuhi.
Whai muri i te habrokat, ka timata te whakamaoritanga o te wananga. Kia pai te panui!
Ahakoa he aha nga mahi e mahia ana e koe, me haere tonu koe ma nga hikoinga e toru:
- whakatauhia he aha te whainga e hiahia ana koe ki te whakatutuki;
- whakatau me pehea e tutuki ai to whainga;
- eke ki to whainga.
Ka pa ano tenei ki te kaupapa. Ina tuhi tatou i te waehere, me:
- whakatauhia he aha te mahi a te kaupapa;
- te whakatau me pehea tana mahi i tana mahi;
- tuhia te waehere e tika ana.
Ko te taahiraa whakamutunga, he mea tino nui, engari kaore au e korero mo tenei ra. Engari, ka matapakihia nga mea tuatahi e rua. Ka mahia e ia kaihātaka i mua i te tiimata ki te mahi. Kare koe e noho ki te tuhi mena kua whakatauhia e koe he aha taau e tuhi ana: he kaitirotiro, he putunga raraunga ranei. Me noho mai tetahi whakaaro mo te whainga. A ka tino whakaaro koe he aha te mahi a te kaupapa, kaua hoki e tuhi pohehe i runga i te tumanako ka huri te waehere ake hei kaitirotiro.
Me pehea e tupu ai tenei whakaaro o mua mo te waehere? Kia pehea te kaha o taatau ki tenei? Ka whakawhirinaki katoa ki te uaua o te raru e whakatauhia ana e tatou. Me kii e hiahia ana matou ki te tuhi i tetahi punaha toha-haahara. I tenei keehi, me ata whakaaro tatou i mua i te noho ki te tohu. He aha mehemea me whakanui noa te taurangi tauoti ma te 1? I te tuatahi o te titiro, he mea iti noa nga mea katoa i konei, kaore he whakaaro e hiahiatia ana, engari ka mahara tatou ka puta he waipuke. No reira, ahakoa kia mohio koe he ngawari, he uaua ranei te raru, me whakaaro tuatahi koe.
Mena ka whakaarohia e koe nga otinga ka taea mo tetahi raruraru i mua, ka taea e koe te karo i nga hapa. Engari ko tenei me maarama to whakaaro. Hei whakatutuki i tenei, me tuhi koe i o whakaaro. He pai ki ahau te korero a Dick Guindon: "Ka tuhi koe, ka whakaatu te taiao i te pohehe o to whakaaro." Ki te kore koe e tuhi, ka whakaaro noa koe kei te whakaaro koe. A me tuhi e koe o whakaaro ki te ahua o nga korero.
He maha nga mahi a nga tohu, ina koa i nga kaupapa nui. Engari ka korero noa ahau mo tetahi o ratou: ka awhina ratou ki te whakaaro marama. He mea tino nui te whakaaro marama, he tino uaua, no reira me awhina mai i konei. He aha te reo me tuhi tatou i nga korero? I te nuinga o te waa, koinei te patai tuatahi mo nga kaihōtaka: he aha te reo ka tuhia e tatou? Karekau he whakautu tika: he tino rerekee nga raruraru e whakaotihia ana e matou. Mo etahi tangata, he whaihua a TLA+ - he reo whakaingoatia i whakawhanakehia e au. Mo etahi atu, he pai ake te whakamahi i te Hainamana. Ko nga mea katoa kei runga i te ahuatanga.
Ko te patai nui ake: me pehea e taea ai e tatou te whai whakaaro marama ake? Whakautu: Me whakaaro tatou ano he kaiputaiao. He huarahi whakaaro tenei kua whai hua i roto i nga tau 500 kua hipa. I roto i te pütaiao ka hangaia he tauira pangarau mooni. Ko te aorangi pea te putaiao tuatahi i roto i te tino tikanga o te kupu. I roto i te tauira pangarau e whakamahia ana i roto i te arorangi, ka puta nga tinana tiretiera hei tohu me te papatipu, te tuunga me te torohaki, ahakoa ko te mea pono he mea tino uaua me nga maunga me nga moana, nga pari me te rere. Ko tenei tauira, pera i etahi atu, i hangaia hei whakaoti i etahi raruraru. He pai mo te whakatau ki hea hei tohu i te karu titiro ki te hiahia koe ki te kimi aorangi. Engari ki te hiahia koe ki te matapae i te huarere i runga i tenei ao, kare tenei tauira e mahi.
Ma te pangarau ka taea e tatou te whakatau i nga ahuatanga o te tauira. Ka whakaatu te pūtaiao i te hononga o enei taonga ki te mooni. Me korero tatou mo to tatou pūtaiao, rorohiko rorohiko. Ko te mea pono e mahi tahi ana matou ko nga punaha rorohiko o nga momo katoa: nga kaitukatuka, nga papatohu keemu, nga rorohiko whakahaere kaupapa, me era atu. Ka korero ahau mo te whakahaere kaupapa i runga rorohiko, engari, i te nuinga, ka pa enei whakatau katoa ki tetahi punaha rorohiko. I roto i ta maatau pūtaiao he maha nga tauira rereke e whakamahia ana: ko te miihini Turing, he huinga huihuinga kua whakaritea, me etahi atu.
He aha te kaupapa? Koinei tetahi waehere ka taea te whakaaro ki a ia ano. Me kii me tuhi he kaitirotiro. Ka mahia e matou nga mahi e toru: hoahoa i te whakaaturanga a te kaiwhakamahi mo te hotaka, katahi ka tuhia te hoahoa taumata-tiketike o te hotaka, ka mutu te tuhi i te waehere. I a matou e tuhi ana i te waehere, ka mohio matou me tuhi he whakatakotoranga tuhinga. I konei ano me whakaoti rapanga e toru: whakatauhia he aha nga tuhinga ka whakahokia mai e tenei taputapu; tīpakohia he hātepe papatono mō te whakahōputu; tuhi waehere. Kei tenei mahi tana ake mahi iti: te whakauru tika i nga tohuhono ki nga kupu. Ka whakaotihia e matou tenei mahi iti i roto i nga waahanga e toru - e kite ana matou, ka tukuna ano ki nga taumata maha.
Kia ata titiro tatou ki te mahi tuatahi: he aha te raru ka whakatauhia e te hotaka. I konei ka whakatauira tatou i tetahi papatono hei mahi e tango ana i etahi whakaurunga me te whakaputa i etahi putanga. I roto i te pangarau, ka kiia he mahi he huinga takirua kua whakaritea. Hei tauira, ko te mahi tapawha mo nga tau taiao e whakaahuatia ana ko te huinga {, , , , …}. Ko te rohe o te whakamaramatanga o taua mahi ko te huinga o nga huānga tuatahi o ia takirua, ara, tau maori. Hei tautuhi i tetahi mahi, me tohu e tatou tona rohe me te tauira.
Engari ko nga mahi o te pangarau kaore i te rite ki nga mahi i roto i nga reo papatono. He maamaa ake te pangarau. I te mea kaore au i te wa mo nga tauira uaua, me whakaaro he mea ngawari: he mahi i roto i te C, he tikanga pateko ranei i Java e whakahoki mai ana i te wehewehenga noa o nga tauoti e rua. I roto i nga korero mo tenei tikanga ka tuhia e matou: tatau GCD(M,N) mo nga tautohetohe M и Nte wahi GCD(M,N) - he taumahi ko tona rohe he huinga takirua o nga tauoti, a ko te uara whakahoki ko te tauoti nui rawa atu ka wehea e M и N. He pehea te whakatauritenga mooni ki tenei tauira? Ka mahi te tauira me nga tauoti, a kei C, Java ranei he 32-bit int. Ma tenei tauira ka taea e tatou te whakatau mehemea he tika te algorithm GCD, engari e kore e aukati i nga hapa puhake. Ka hiahiatia he tauira uaua ake, kaore he wa.
Me korero tatou mo nga herenga o te mahi hei tauira. Ko etahi o nga papatono (penei i nga punaha whakahaere) kaore e whakahoki noa i te uara motuhake mo etahi tautohetohe; ka taea te haere tonu. I tua atu, ko te mahi hei tauira kaore i te pai mo te waahanga tuarua: te whakamahere me pehea te whakaoti rapanga. Ko te momo tere me te mirumiru ka whakatauhia te mahi kotahi, engari he rereke nga algorithms. No reira, hei whakaahua i te huarahi e tutuki ai te whainga o te kaupapa, ka whakamahia e au tetahi atu tauira, me kii ko te tauira whanonga paerewa. Ko te kaupapa e tohuhia ana ki roto hei huinga o nga whanonga whaimana katoa, ko ia waahanga, he raupapa o nga kawanatanga, a ko te kawanatanga te tuku uara ki nga taurangi.
Kia kite tatou he aha te ahua o te taahiraa tuarua mo te Euclidean algorithm. Me tatau tatou GCD(M, N). Ka arawhiti tatou M pehea xa N pehea y, ka toia te tango i te iti o enei taurangi mai i te rahi ake kia rite ra ano. Hei tauira, mena M = 12a N = 18, ka taea e tatou te whakaahua i te whanonga e whai ake nei:
[x = 12, y = 18] → [x = 12, y = 6] → [x = 6, y = 6]
A, ki te M = 0 и N = 0? Ka wehewehea te kore ki nga tau katoa, no reira kaore he wehenga nui i tenei keehi. I tenei ahuatanga, me hoki ano tatou ki te taahiraa tuatahi me te patai: me tatau te GCD mo nga tau pai-kore? Mena kaore tenei e tika ana, me whakarereke noa e koe te tohu.
Kei konei he rereketanga poto mo te hua. I te nuinga o nga wa ka inehia i roto i te maha o nga rarangi waehere ka tuhia ia ra. Engari he pai ake to mahi mena ka whakakorehia e koe etahi rarangi, na te mea he iti ake te waahi mo nga pepeke. A ko te huarahi ngawari ki te whakakore i te waehere kei te taahiraa tuatahi. Kare pea koe e hiahia ki nga pere me nga whiowhio katoa e ngana ana koe ki te whakatinana. Ko te huarahi tere ki te whakangawari i te hotaka me te penapena wa ko te kore e mahi i nga mea e kore e tika kia mahia. Ko te taahiraa tuarua ko te tuarua o te kaha whakaora wa. Mena ka ine koe i te hua i runga i nga rarangi kua tuhia, katahi koe ka whakaaro me pehea te whakaoti i tetahi mahi iti hua, no te mea ka taea e koe te whakaoti i te raruraru kotahi me te iti o te waehere. Kaore e taea e au te whakaatu i nga tatauranga tika ki konei, na te mea karekau he huarahi ki te tatau i te maha o nga rarangi karekau i tuhia e au na runga i te wa i whakapaua e au ki te whakatakotoranga, ara, i nga kaupae tuatahi me te tuarua. A e kore e taea e matou te mahi whakamatautau i konei, na te mea i roto i te whakamatautau kaore matou e whai mana ki te whakaoti i te mahi tuatahi; kua whakatauhia te mahi i mua.
He ngawari ki te wareware i te maha o nga uauatanga i roto i nga whakaritenga opaki. Karekau he mea uaua mo te tuhi i nga whakaritenga mo nga mahi; Kaore au e korero mo tenei. Engari, ka korero tatou mo te tuhi i nga whakaritenga kaha mo nga whanonga paerewa. He kaupapa e kii ana ka taea te whakaahua i tetahi huinga whanonga ma te whakamahi i te taonga haumaru (haumaru) me nga taonga oranga (ora). Ko te tikanga o te haumaru karekau he kino e pa, ka kore te hotaka e whakautu he. Ko te tikanga o te oranga tonu ka puta mai he mea pai, ara, ka tukuna e te kaupapa te whakautu tika. Hei tikanga, he tohu nui ake te haumarutanga; he maha nga hapa ka puta i konei. Na reira, ki te whakaora wa, e kore ahau e korero mo te oranga, ahakoa he mea nui ano.
Ka taea e matou te haumaru ma te tohu tuatahi i te huinga o nga ahuatanga tuatahi ka taea. A tuarua, ko nga hononga me nga kawanatanga katoa e whai ake nei mo ia kawanatanga. Kia rite tatou ki nga kaiputaiao me te tautuhi i nga whenua ma te pangarau. Ko te huinga o nga ahuatanga tuatahi e whakaahuatia ana e te tauira, hei tauira, mo te Euclidean algorithm: (x = M) ∧ (y = N). Mo etahi uara M и N kotahi anake te ahua tuatahi. Ko te hononga ki te ahua e whai ake nei ka whakaahuahia e tetahi tauira e tuhia ana nga taurangi o te ahua o muri mai me te pirimia, ka tuhia nga taurangi o te ahua o naianei kaore he pirimia. Mo te Euclidean algorithm, ka whakatauhia e maatau te wehewehenga o nga tauira e rua, i roto i tetahi. x ko te uara nui rawa atu, i te tuarua - y:
I te take tuatahi, he rite te uara hou o y ki te uara o mua o y, a ka whiwhi tatou i te uara hou o x ma te tango i te taurangi iti mai i te mea nui. I roto i te take tuarua, ka mahi tatou i te ritenga.
Kia hoki ki te Euclidean algorithm. Me whakaaro ano M = 12, N = 18. Ka tautuhi tenei i tetahi ahuatanga tuatahi, (x = 12) ∧ (y = 18). Ka whakauruhia e matou enei uara ki te tauira i runga ake nei ka whiwhi:
Anei anake te otinga ka taea: x' = 18 - 12 ∧ y' = 12, a ka whiwhi tatou i te whanonga: [x = 12, y = 18]. Waihoki, ka taea e tatou te whakaahua i nga ahuatanga katoa i roto i a tatou whanonga: [x = 12, y = 18] → [x = 12, y = 6] → [x = 6, y = 6].
I te ahua whakamutunga [x = 6, y = 6] ka hee nga wahanga e rua o te korero, no reira karekau he ahua o muri. Na, kei a matou te tino korero mo te waahanga tuarua - e kite ana matou, he pangarau noa tenei, penei i nga miihini me nga kaiputaiao, ehara i te mea rereke, penei i te putaiao rorohiko.
Ka taea te whakakotahi i enei tauira e rua ki tetahi tauira o te arorau taima. He huatau me te ngawari ki te whakamarama, engari kaore he wa mo tenei inaianei. Ka hiahia pea tatou ki te whakaaro o te tinana anake mo te oranga; mo te haumarutanga kaore e hiahiatia. Kare au i te pai ki te arorau o te ao nei, ehara i te mea he pangarau noa, engari mo te oranga he mea kino.
I roto i te Euclidean algorithm mo ia uara x и y he uara ahurei x' и y', e pono ai te hononga ki te ahua o muri mai. I etahi atu kupu, ko te Euclidean algorithm he whakatau. Ki te whakatauira i te hātepee taurangi kore, me maha nga ahuatanga o naianei kei te heke mai, me ia uara o te taurangi karekau me whai uara maha o te taurangi tuatahi kia tika ai te hononga ki te ahua o muri mai. Ehara tenei i te uaua ki te mahi, engari kaore au e whakaatu tauira inaianei.
Ki te hanga taputapu mahi, me hiahia koe ki te pangarau okawa. Me pehea te hanga i tetahi whakaingoatanga okawa? Hei mahi i tenei ka hiahiatia he reo okawa, hei tauira. . Ka penei te ahua o te Euclidean algorithm i tenei reo:
Ko te tohu tohu rite ki te tapatoru te tikanga ko te uara ki te taha maui o te tohu ka whakatauhia kia rite ki te uara kei te taha matau o te tohu. Ko te tikanga, ko te whakatakotoranga he whakamaramatanga, i roto i a maatau e rua nga whakamaramatanga. Ki te whakaritenga i roto i te TLA+ me taapiri koe i nga whakapuakanga me etahi wetereo, penei i te kiriata i runga ake nei. I roto i te ASCII ka penei te ahua:
Ka kite koe, kaore he mea uaua. Ka taea te whakamatautau i nga korero mo te TLA +, ara, ka taea te aromatawai i nga whanonga katoa i roto i te tauira iti. I roto i to maatau, ko tenei tauira etahi uara M и N. He tino whai hua me te ngawari te tikanga manatoko he tino aunoa tenei. I tua atu, ka taea te tuhi i nga tohu okawa o te pono me te tirotiro miihini, engari he roa te waa, no reira karekau tetahi e mahi.
Ko te tino kino o TLA+ ko te pangarau, ka mataku nga kaiwhakaputa hötaka me nga kaiputaiao rorohiko ki te pangarau. I te tuatahi o te titiro he ahua whakakata tenei, engari, ko te mate, he tino nui taku korero. I korero mai tetahi hoa mahi ki ahau me pehea tana whakamatau ki te whakamarama i te TLA+ ki etahi kaiwhakawhanake. I te putanga mai o nga tauira ki runga i te mata, ka karaata tonu o ratou kanohi. Na mena he whakamataku a TLA+, ka taea e koe te whakamahi , he momo reo hotaka takaro. Ko te kupu i roto i te PlusCal ka taea he korero TLA+, ara, ko tetahi korero pangarau. I tua atu, kei a PlusCal te wetereo mo nga algorithms kore-whakatau. Na te mea ka taea e PlusCal te tuhi i tetahi korero TLA+, he tino kaha ake te whakaatu atu i nga reo hotaka tuturu. Whai muri, ka whakahiatohia a PlusCal ki roto i te korero TLA+ ngawari ki te panui. Ehara tenei i te tikanga, ka huri te whakahiatotanga PlusCal ki te ngawari i runga i te TLA+ - na te mea ka kitea nga reta i waenga i a raatau, kaore he uauatanga ka puta. Ka mutu, ka taea te whakamana i tenei tohu ma te whakamahi i nga taputapu TLA+. I te nuinga o te waa, ka taea e PlusCal te awhina ki te whakakore i te phobia o te pangarau; he ngawari ki te mohio ahakoa mo nga kaiwhakaputa me nga kaiputaiao rorohiko. I whakaputahia e au nga algorithms mo etahi wa (mo te 10 tau) i mua.
Tera pea ka whakahē tetahi ko te TLA+ me te PlusCal he pangarau, ka mahi noa te pangarau me nga tauira hanga. I roto i te mahi, me tino reo koe me nga momo, nga tikanga, nga taonga, me era atu. He he tenei. Anei nga korero a Chris Newcomb, nana i mahi i Amazon: "Kua whakamahia e matou te TLA+ i runga i nga kaupapa nui tekau, a, i roto i nga ahuatanga katoa, he rereke te rereketanga o tana whakamahinga ki te whakawhanaketanga na te mea i taea e matou te hopu i nga pepeke kino i mua i te pa ki te whakaputanga, a na te mea i homai te maarama me te maia e tika ana kia kaha taatau arotautanga mahi me te kore e awe i te pono o te kaupapa". He maha nga wa ka rongo koe i te wa e whakamahi ana i nga tikanga okawa ka whiwhi tatou i te waehere koretake - i roto i nga mahi, he rereke nga mea katoa. I tua atu, he whakaaro kaore e taea e nga kaiwhakahaere te mohio ki te hiahia mo nga tikanga okawa, ahakoa ka mohio nga kaiwhakatakoto kaupapa ki te whai hua. Na ka tuhi a Newcomb: "Kei te akiaki nga kaiwhakahaere i nga huarahi katoa ki te tuhi i nga korero ki roto i te TLA+, me te toha wa mo tenei". Na ka kite nga kaiwhakahaere kei te mahi a TLA+, ka awhi ratou. I tuhia e Chris Newcomb tenei mo te ono marama ki muri (Oketopa 2014), engari inaianei, ki taku mohio, ka whakamahia te TLA + i roto i nga kaupapa 14, ehara i te 10. Ko tetahi atu tauira e pa ana ki te hoahoa o te XBox 360. I tae mai tetahi kaimahi ki a Charles Thacker me i tuhia nga korero mo te punaha mahara. He mihi ki tenei whakaritenga, i kitea he pepeke karekau i kitea, ka tukituki ia XBox 360 i muri i te wha haora o te whakamahinga. I whakapumautia e nga miihini mai i IBM kaore i kitea e o raatau whakamatautau tenei bug.
Ka taea e koe te panui atu mo TLA+ i runga i te Ipurangi, engari inaianei me korero mo nga whakaritenga opaki. He iti rawa te tuhi i nga kaupapa e tatau ana i te wehewehenga iti noa me nga mea pera. He maha ake nga wa ka tuhia e matou nga kaupapa penei i te taputapu-rereta ataahua i tuhia e au mo TLA+. I muri i te mahinga ngawari, ka penei te ahua o te waehere TLA+:
Engari i roto i te tauira i runga ake nei, ko te hiahia o te kaiwhakamahi kia honoa te hono me nga tohu rite. Na ko te whakahōputu tika ka penei te ahua:
Whakaarohia tetahi atu tauira:
I konei, i te rereke, he matapōkeretia te whakahāngaitanga o ngā tohu ōrite, te tāpiritanga me te whakareatanga i roto i te mātāpuna, nā reira he nui noa te tukatuka māmā. I te nuinga o te waa, karekau he whakamaarama pangarau tika mo te whakatakotoranga tika, na te mea ko te "tika" i tenei keehi ko te tikanga "he aha te hiahia o te kaiwhakamahi," kaore e taea te whakatau ma te pangarau.
Te ahua nei mena karekau he whakamaramatanga mo te pono, karekau he hua. Engari ehara i te mea pono. No te mea kare tatou e mohio he aha te kaupapa e tika ana kia mahia, ehara i te mea kare tatou e whakaaro me pehea te mahi — engari, me whakapau kaha tatou ki runga. He mea tino nui te whakatakotoranga i konei. E kore e taea te whakatau i te kaupapa tino pai mo te hanga tuhinga, engari ehara tenei i te tikanga kia kaua rawa tatou e whakahaere, a ko te tuhi i te waehere hei awa o te mohiotanga ehara i te take. Ka mutu taku tuhi i tetahi korero mo nga ture e ono me nga whakamaramatanga i te ahua o nga korero i roto i te kōnae Java. Anei tetahi tauira o tetahi o nga ture: a left-comment token is LeftComment aligned with its covering token. Kua tuhia tenei ture ki roto, me kii tatou, mathematical English: LeftComment aligned, left-comment и covering token — kupu me nga whakamaramatanga. He penei te korero a te hunga pangarau ki te pangarau: ka tuhia e ratou nga whakamaramatanga o nga kupu, a, i runga i aua kupu, ka hanga ture. Ko te painga o tenei whakaritenga ko nga ture e ono he maamaa ake te maarama me te patuiro i te 850 rarangi waehere. Me kii ahau ehara i te mea ngawari te tuhi i enei ture; he roa te wa ki te patuiro. I tuhia e au he waehere mo tenei kaupapa i kii mai ko tehea ture e whakamahia ana. Na te mea i whakamatauria e au enei ture e ono me etahi tauira, karekau au i whai ki te patuiro i nga rarangi waehere 850, a he tino ngawari ki te kimi nga pepeha. He taputapu pai a Java mo tenei. Mena kua tuhia e au te waehere, kua roa ake te waa, ka iti ake te kounga o te whakatakotoranga.
He aha te take i kore ai e taea te whakamahi i te whakatakotoranga okawa? I tetahi taha, ehara i te mea nui te mahi tika i konei. Ko te tuhinga kua oti te hanga ka kore e pai ki etahi, no reira kare au i tika kia mahi tika i roto i nga ahuatanga rereke katoa. Ko te mea nui ake ko te meka kaore au i nga taputapu tika. He horihori te kaitaki tauira TLA+ i konei, no reira me tuhi au i nga tauira ma te ringaringa.
Ko nga tohu kua homai he ahuatanga noa ki nga whakaritenga katoa. He taumata teitei ake i te waehere. Ka taea te whakatinana i tetahi reo. Kaore he taputapu, he tikanga ranei mo te tuhi. Kaore he akoranga kaupapa e awhina i a koe ki te tuhi i tenei whakaritenga. A karekau he taputapu e kore ai e tika ana tenei whakaritenga, engari mena kei te tuhi koe i tetahi reo mo te tuhi i nga kaupapa tuhi hangahanga ki TLA+. Ka mutu, karekau he korero mo tenei korero mo te pehea e tuhi ai tatou i te waehere, he korero noa he aha te mahi a te waehere. Ka tuhia e matou he tohu hei awhina i a maatau ki te whakaaro i te raru i mua i to tiimata ki te whakaaro mo te waehere.
Engari he ahuatanga ano tenei korero e wehewehe ana i etahi atu korero. Ko te 95% o etahi atu whakaritenga he poto ake, he maamaa ake:
I tua atu, ko tenei whakaritenga he huinga ture. I te nuinga o te waa he tohu tenei mo te ahua kino. He tino uaua te mohio ki nga hua o tetahi huinga ture, na reira i whakapau kaha ahau ki te tarai i a raatau. Heoi, i tenei keehi kaore i kitea e au tetahi huarahi pai ake.
He pai te korero i etahi kupu mo nga kaupapa e rere tonu ana. Ko te tikanga ka mahi whakarara, penei i nga punaha whakahaere, i nga punaha tohatoha ranei. He iti noa nga tangata e mohio ana ki a raatau i roto i o raatau hinengaro, i runga pepa ranei, a ehara ahau i tetahi o ratou, ahakoa i taea e au te mahi. No reira, me whai taputapu hei tirotiro i a maatau mahi - hei tauira, TLA+, PlusCal ranei.
He aha ahau i hiahia ai ki te tuhi i tetahi korero mena kua mohio ahau he aha te mahi a te waehere? Ko te mea pono, i whakaaro noa ahau kua mohio ahau. I tua atu, me te whakatakotoranga i te waahi, kaore he tangata o waho ki te tirotiro i te waehere kia mohio ai he aha te mahi. He ture taku: kia kaua he ture whanui. He rereke ki tenei ture o te akoranga, koinei anake te ture whanui e whai ana ahau: ko te tohu o nga mahi a te waehere me korero ki nga tangata nga mea katoa e tika ana kia mohio ratou ina whakamahi ana i taua waehere.
Na he aha nga mea e tika ana kia mohiohia e nga kaihōtaka mo te whakaaro? Hei timata, he rite ki nga tangata katoa: ki te kore koe e tuhi, katahi ka whakaaro koe kei te whakaaro koe. Ano, me whakaaro koe i mua i to waehere, ko te tikanga me tuhi koe i mua i to tohu. Ko te tohu ko ta maatau e tuhi i mua i te tiimata o te whakawaehere. Ka hiahiatia he tohu mo tetahi waehere ka taea te whakamahi, te whakarereke ranei e tetahi. A ko tenei "tetahi" ka puta ko te kaituhi o te waehere i te marama i muri i te tuhi. Ka hiahiatia he tohu mo nga kaupapa nui me nga punaha, mo nga karaehe, mo nga tikanga, me etahi wa mo nga waahanga uaua o te tikanga kotahi. He aha te mea me tuhi koe mo te waehere? Me whakaatu e koe he aha tana mahi, ara, he mea ka whai hua ki te tangata e whakamahi ana i tenei waehere. I etahi wa ka tika ano te tohu me pehea te whakatutuki a te waehere i tana whainga. Mena i haere matou i tenei tikanga i roto i te akoranga algorithms, ka kiia e matou he algorithm. Mena he mea motuhake me te hou, ka kiia e matou he hoahoa taumata-tiketike. Karekau he rereketanga okawa i konei: he tauira waitara enei e rua o te hotaka.
Me pehea te tuhi tohu tohu? Ko te mea nui: kia kotahi te taumata teitei ake i te waehere ake. Me whakaatu nga ahuatanga me nga whanonga. Kia rite ki te kaha o te mahi. Mena kei te tuhi koe i tetahi korero mo te whakatinana i tetahi mahi, ka taea te tuhi ki te pseudocode, ki te whakamahi ranei i te PlusCal. Me ako koe ki te tuhi i nga korero ma te whakamahi i nga whakaritenga okawa. Ma tenei ka hoatu ki a koe nga pukenga e tika ana hei awhina i nga mahi opaki. Me pehea e taea ai e koe te ako ki te tuhi i nga whakaritenga okawa? I a matou i ako ki te hotaka, i tuhia e matou nga kaupapa katahi ka taraihia. Ko te mea ano i konei: me tuhi koe i tetahi tohu, tirohia me te kaitirotiro tauira, me te whakatika i nga hapa. Ehara pea te TLA+ i te reo pai rawa atu mo te whakatakotoranga okawa, a tera pea ka pai ake tetahi atu reo mo o hiahia. Ko te mea nui mo TLA+ he tino mahi ki te whakaako whakaaro pangarau.
Me pehea te hono i te tohu me te waehere? Te whakamahi i nga korero e hono ana i nga ariā pangarau me te whakatinanatanga. Mena ka mahi koe me nga kauwhata, na i te taumata o te hotaka ka whiwhi koe i nga huinga node me nga huinga hononga. Na me tuhi koe me pehea te whakatinanatanga o te kauwhata e enei hanganga hotaka.
Me tohu kaore tetahi o nga korero i runga ake e pa ana ki te tukanga o te tuhi waehere ake. Ka tuhi koe i te waehere, ara, mahia te tuatoru o nga mahi, me whakaaro ano koe me te whakaaro i roto i te kaupapa. Mena ka puta he mahi uaua, kaore ranei i te kitea, me tuhi koe i tetahi korero mo taua mea. Engari kaore au e korero mo te waehere ake i konei. Ka taea e koe te whakamahi i tetahi reo whakamaoritanga, tetahi tikanga, ehara tenei mo ratou. Ano, kaore tetahi o nga mea o runga ake e whakakore i te hiahia ki te whakamatautau me te patuiro i to waehere. Ahakoa kua tika te tuhi i te tauira waitara, tera pea he hapa kei roto i tana whakatinanatanga.
Ko te tuhi tuhi he waahanga taapiri i roto i te mahi whakawaehere. He mihi ki a ia, he maha nga hapa ka taea te hopu me te iti ake o te kaha - e mohio ana matou mai i nga wheako o nga kaiwhakaputa mai i Amazon. Ma nga whakaritenga, ka piki ake te kounga o nga kaupapa. Na, he aha tatou ka haere kore ai? No te mea he uaua te tuhi. Engari he uaua te tuhi, no te mea mo tenei me whakaaro koe, he uaua ano te whakaaro. He maamaa ake i nga wa katoa te kii kei te whakaaro koe. Ka taea te whakataurite ki konei me te oma - te iti o to oma, ka puhoi te oma. Me whakangungu koe i ou uaua me te mahi tuhituhi. Me whakaharatau.
Kei te he te whakatakotoranga. I hapa pea koe i tetahi waahi, kua rereke nga whakaritenga, me whakapai ake ranei. Ko nga waehere ka whakamahia e te tangata me whakarereke, no reira ka kore e rite te tohu ki te kaupapa. Ko te mea pai, i tenei keehi, me tuhi koe i tetahi korero hou me te tuhi ano i te waehere. Kei te tino mohio tatou kaore tetahi e mahi i tenei. I roto i nga mahi, ka taraihia e matou te waehere me te whakahou pea i te waahanga. Mēnā ka tūpono tēnei i te wā tata, i muri mai rānei, he aha te take ka tuhia ngā whakaritenga? Tuatahi, mo te tangata ka whakatika i to waehere, ko nga kupu taapiri katoa i roto i te tohu ka utu ki te koura, a ko koe pea tenei tangata. He maha nga wa ka whana ahau i a au ano mo te kore e tino tika ina whakatika taku waehere. Na ka tuhia e au etahi atu korero nui atu i te waehere. Na reira, ka whakatika koe i te waehere, me whakahou tonu te whakaritenga. Tuarua, i ia whakatikatika ka kino haere te waehere, ka uaua ake te panui me te pupuri. He pikinga tenei o te entropy. Engari ki te kore koe e tiimata me te whakatakotoranga, katahi ka waiho nga rarangi ka tuhia e koe hei whakatika, ka nui te tohu me te uaua ki te panui mai i te timatanga.
Ka rite ki te korero , kare he whawhai i toa i runga i te whakaaro i whakatakotohia, kare hoki he pakanga i toa ki te kore he kaupapa. A i mohio ia ki tetahi mea mo nga whawhai. Ko te whakaaro he moumou taima te tuhi korero. I etahi wa ka pono tenei, a he tino ngawari te mahi kaore he take ki te whakaaro. Engari me mahara tonu koe ka tohutohu koe kia kaua e tuhi i nga korero, ko te tikanga kia kaua koe e whakaaro. A me whakaaro koe mo tenei i nga wa katoa. Ko te whakaaro i roto i tetahi mahi kaore e kii ka kore koe e he. E mohio ana tatou, karekau he tangata i hanga he toka makutu, he mahi uaua te mahi. Engari ki te kore koe e whakaaro ki te mahi, ka taurangi koe ka he.
Ka taea e koe te panui atu mo TLA+ me PlusCal i runga i tetahi paetukutuku motuhake, ka taea e koe te haere ki reira mai i taku wharangi kaainga . Heoi ano maku, nga mihi mo to whakaaro.
Kia mahara he whakamaoritanga tenei. Ka tuhi koe i nga korero, maharahia kaore te kaituhi e panui. Mena ka tino hiahia koe ki te korerorero ki te kaituhi, ka noho ia ki te huihuinga Hydra 2019, ka whakahaerehia i te Hūrae 11-12, 2019 i St. Ka taea te hoko tikiti .
Source: will.com