Memoriam ውስጥ, ቶኒ Hoare

<አንቀጽ>

በማሞሪያም፡ ሰር ቻርለስ አንቶኒ ሪቻርድ ሆሬ (ቶኒ ሆሬ)

የኮምፒዩቲንግ አለም አንድ መስራች አርክቴክቶች አጥተዋል። ሁሉም ቶኒ ሆሬ በመባል የሚታወቁት ሰር ቻርለስ አንቶኒ ሪቻርድ ሆሬ ከዚህ አለም በሞት ተለይተዋል፣ ዛሬ በምንጠቀምባቸው ሶፍትዌሮች ውስጥ ቃል በቃል በጨርቁ ላይ የተጠመጠመ ትሩፋት ትተዋል። ሞዱላር የቢዝነስ ኦፕሬቲንግ ሲስተምን በመገንባት Mewayz ላሉ ሰዎች የእሱ ስራ የአካዳሚክ ታሪክ ብቻ አይደለም; የአስተማማኝ እና ቀልጣፋ የሥርዓት ንድፍ መሠረት ነው። የእሱ ማለፊያ የፈጣን ስልተ-ቀመር ካለው አስደናቂ አመክንዮ እስከ ዘመናዊ እድገትን ከሚመራው የሶፍትዌር ትክክለኛነት መሰረታዊ መርሆች ጀምሮ ያበረከተውን ጥልቅ ተፅእኖ እንድናሰላስል ይጋብዘናል።

የኤሌጋንስ አርክቴክት፡ Quicksort እና Null Reference

የቶኒ ሆሬ ስም ከሁለት ግዙፍ፣ ነገር ግን የሚገርመው ተቃራኒ፣ አስተዋጽዖ ጋር ተመሳሳይ ነው። እ.ኤ.አ. በ 1960 ፣ በጣም ከተጠኑ እና የመለያ ዘዴዎች አንዱ ሆኖ የሚቀረውን ፈጣን ስልተ ቀመር ፈለሰፈ። ውበቱ በ‹‹ከፋፍለህ ግዛ›› አካሄድ ነው፣ ይህ ጽንሰ-ሀሳብ ከመዋይዝ ሞጁል ፍልስፍና ጋር በጥልቅ የሚያስተጋባ ነው። ችግርን በብቃት ለመፍታት ፈጣን መደርደር እንደሚያፈርስ ሁሉ ውስብስብ የንግድ ሂደቶችን ወደ ማቀናበር ወደሚቻሉ እና እርስበርስ ወደሚችሉ ሞጁሎች በመከፋፈል መድረክችንን እንገነባለን።

በተቃራኒው፣ ሆሬ በ1965 የኑል ማጣቀሻን ፅንሰ-ሀሳብ በሰፊው አስተዋወቀ፣ እሱም በኋላ “የቢሊዮን ዶላር ስህተቱን” ብሎ ጠራው። የእሴት አለመኖርን ለመወከል የታሰበ ይህ ፈጠራ ሳይታሰብ ለብዙ አስርት ዓመታት ዋና የሩጫ ጊዜ ስህተቶች እና ስህተቶች ምንጭ ሆኗል። ሆኖም፣ ይህ "ስህተት" እንኳን የትህትና እና የጠንካራ ዲዛይን አስፈላጊነት ትምህርት ነበር—ይህ ትምህርት በ Mewayz ላይ እንዴት ተከላካይ የሆኑ ስርዓቶችን እንደምንገነባ፣ ግልጽ የመረጃ አወቃቀሮች እና የስህተት አያያዝ ዋና ዋና ጉዳዮች ናቸው።

የትክክለኛነት መሰረት፡ Hoare Logic

ምናልባት የሆሬ ትልቅ አስተዋፅዖ የሆነው የሆሬ ሎጂክ እድገት በ1969 ነው። ይህ መደበኛ ስርዓት የኮምፒዩተር ፕሮግራሞችን ትክክለኛነት ለማረጋገጥ የሂሳብ ማዕቀፍ ያቀርባል። የ`{P} C {Q}`ን ሶስት እጥፍ ይጠቀማል፣ `P` ቅድመ ሁኔታ፣ `C` ትዕዛዝ እና `Q` የድህረ ሁኔታ ነው። ይህ ማለት ቅድመ ሁኔታ P ትዕዛዙ C ከመጀመሩ በፊት እውነት ከሆነ ፣ ከዚያ በኋላ የድህረ ሁኔታ Q እውነት እንደሚሆን የተረጋገጠ ነው።

ሙሉ መደበኛ ማረጋገጫን መተግበር ብዙ ጊዜ ፈጣን በሆኑ የንግድ አካባቢዎች ተግባራዊ ሊሆን የማይችል ቢሆንም፣ የሆአሬ ሎጂክ መርሆዎች በዋጋ ሊተመን የማይችል ነው። ስለ እያንዳንዱ የሶፍትዌር አካላት ግብአቶች፣ ውጤቶች እና የጎንዮሽ ጉዳቶች በጥብቅ እንድናስብ ያስተምሩናል። በ Mewayz፣ ይህ ማለት ሞጁሎቻችንን በግልፅ ኮንትራቶች እና በደንብ በተገለጹ ባህሪዎች ወደ ዲዛይንነት ይተረጎማል፣ ይህም የንግድዎን ስርዓተ ክወና የተለያዩ ክፍሎች ሲያገናኙ መተንበይ እና አስተማማኝ በሆነ መልኩ አብረው እንደሚሰሩ ያረጋግጣል።

ለዘመናዊ ሶፍትዌር እና ቢዝነስ ሲስተምስ ትምህርቶች

የቶኒ ሆሬ ሥራ ለዛሬ የሶፍትዌር ገንቢዎች እና መድረክ ገንቢዎች ዘላቂ ትምህርቶችን ይሰጣል። ስራው ግልጽነትን፣ ቀላልነትን እና የማያቋርጥ የጥራት ፍለጋን አበረታቷል። ከጊዜ ወደ ጊዜ ውስብስብ የሶፍትዌር ቁልል ባለበት ዘመን እነዚህ መርሆዎች ከመቼውም ጊዜ ይበልጥ ወሳኝ ናቸው። ከተጠቃሚዎች በይነገጽ እና ከኤፒአይዎች ስር የስርአቱ ዋና ጥራት በአመክንዮአዊ ጤናማነቱ ላይ የተመሰረተ መሆኑን ያስታውሰናል።

በMewayz፣ ሁለቱንም ኃይለኛ እና አስተማማኝ የንግድ ስርዓተ ክወና በመፍጠር እነዚህን ትምህርቶች ለማካተት እንጥራለን። ተጠቃሚዎቻችን በራስ የመተማመን ስሜት እንዲፈጥሩ እና ስለ ዋናው አለመረጋጋት ሳይጨነቁ የስራ ፍሰታቸውን እንዲያዋህዱ ጠንካራ መሰረት በመገንባት ላይ እናተኩራለን። የሆሬ የሶፍትዌር እይታ ትክክለኛ በሆነ መልኩ በምንለቀቅበት እያንዳንዱ ሞጁል ውስጥ ለጥንካሬ ቅድሚያ እንድንሰጥ ያነሳሳናል።

💡 DID YOU KNOW?

Mewayz replaces 8+ business tools in one platform

CRM · Invoicing · HR · Projects · Booking · eCommerce · POS · Analytics. Free forever plan available.

Start Free →

የቶኒ ሆሬ ቁልፍ አስተዋጽዖዎች የሚከተሉትን ያካትታሉ፡-

• Quicksort Algorithm (1960)፡ በመከፋፈል እና በማሸነፍ ፓራዲም ላይ የተመሰረተ ከፍተኛ ብቃት ያለው የመደርደር ስልተ-ቀመር።
• ሆሬ ሎጂክ (1969)፡ ስለ ኮምፒውተር ፕሮግራሞች ትክክለኛነት የማመዛዘን መደበኛ ሥርዓት
• የመገናኛ ቅደም ተከተል ሂደቶች (ሲ.ኤስ.ፒ.)፡ እንደ Go ባሉ ቋንቋዎች ላይ ተጽእኖ የሚያሳድር ለተመሳሳይ ፕሮግራሞች መሰረታዊ ሞዴል ነው። የ
ኑል ዋቢ (1965)፡ ለአሥርተ ዓመታት የፕሮግራም አወጣጥ ቋንቋ ንድፍን የፈጠረ ተፅዕኖ ፈጣሪ፣ በኋላም የተጸጸተ ቢሆንም፣ ፈጠራ።

"የሶፍትዌር ዲዛይን የመገንባት ሁለት መንገዶች አሉ አንደኛው መንገድ በጣም ቀላል እንዲሆን በማድረግ ግልጽ የሆነ ጉድለቶች እንዳይኖሩ ማድረግ ነው, ሌላኛው መንገድ ደግሞ በጣም ውስብስብ እና ግልጽ ጉድለቶች እንዳይኖሩ ማድረግ ነው. የመጀመሪያው ዘዴ በጣም ከባድ ነው."

ዘላቂ ቅርስ

ቶኒ ሆሬ ከኮምፒዩተር ሳይንቲስት በላይ ነበሩ። የዲጂታል አለምን ለመገንባት መሳሪያ እና አስተሳሰብን ያቀረበ ባለራዕይ ነበር። ስለ ቅለት፣ ትክክለኛነት እና ተዛማችነት የእሱ ሃሳቦች የመሐንዲሶችን ትውልዶች ማነሳሳቱን ቀጥለዋል። የሜዌይዝ መድረክን ማዳበር ስንቀጥል፣ በዚህ ግዙፍ ትከሻ ላይ ቆመን፣ ተግባራዊ ብቻ ሳይሆን መሠረታዊ ጤናማ የሆኑ የንግድ ሶፍትዌሮችን በመፍጠር ትሩፋቱን ለማክበር እንጥራለን። እሱ በጥልቅ ይናፍቃል፣ ነገር ግን የእሱ መርሆች የኮምፒዩተርን የወደፊት ሁኔታ መምራታቸውን ይቀጥላሉ።

ብዙ ጊዜ የሚጠየቁ ጥያቄዎች

በማሞሪያም፡ ሰር ቻርለስ አንቶኒ ሪቻርድ ሆሬ (ቶኒ ሆሬ)

የኮምፒዩቲንግ አለም አንድ መስራች አርክቴክቶች አጥተዋል። ሁሉም ቶኒ ሆሬ በመባል የሚታወቁት ሰር ቻርለስ አንቶኒ ሪቻርድ ሆሬ ከዚህ አለም በሞት ተለይተዋል፣ ዛሬ በምንጠቀምባቸው ሶፍትዌሮች ውስጥ ቃል በቃል በጨርቁ ላይ የተጠመጠመ ትሩፋት ትተዋል። ሞዱላር የቢዝነስ ኦፕሬቲንግ ሲስተምን በመገንባት Mewayz ላሉ ሰዎች የእሱ ስራ የአካዳሚክ ታሪክ ብቻ አይደለም; የአስተማማኝ እና ቀልጣፋ የሥርዓት ንድፍ መሠረት ነው። የእሱ ማለፊያ የፈጣን ስልተ-ቀመር ካለው አስደናቂ አመክንዮ እስከ ዘመናዊ እድገትን ከሚመራው የሶፍትዌር ትክክለኛነት መሰረታዊ መርሆች ጀምሮ ያበረከተውን ጥልቅ ተፅእኖ እንድናሰላስል ይጋብዘናል።

የኤሌጋንስ አርክቴክት፡ Quicksort እና Null Reference

የቶኒ ሆሬ ስም ከሁለት ግዙፍ፣ ነገር ግን የሚገርመው ተቃራኒ፣ አስተዋጽዖ ጋር ተመሳሳይ ነው። እ.ኤ.አ. በ 1960 ፣ በጣም ከተጠኑ እና የመለያ ዘዴዎች አንዱ ሆኖ የሚቀረውን ፈጣን ስልተ ቀመር ፈለሰፈ። ውበቱ በ‹‹ከፋፍለህ ግዛ›› አካሄድ ነው፣ ይህ ጽንሰ-ሀሳብ ከመዋይዝ ሞጁል ፍልስፍና ጋር በጥልቅ የሚያስተጋባ ነው። ችግርን በብቃት ለመፍታት ፈጣን መደርደር እንደሚያፈርስ ሁሉ ውስብስብ የንግድ ሂደቶችን ወደ ማቀናበር ወደሚቻሉ እና እርስበርስ ወደሚችሉ ሞጁሎች በመከፋፈል መድረክችንን እንገነባለን።

የትክክለኛነት መሰረት፡ ሆሬ ሎጂክ

ምናልባት የሆሬ ትልቅ አስተዋፅዖ የሆነው የሆሬ ሎጂክ እድገት በ1969 ነው። ይህ መደበኛ ስርዓት የኮምፒዩተር ፕሮግራሞችን ትክክለኛነት ለማረጋገጥ የሂሳብ ማዕቀፍ ያቀርባል። የ`{P} C {Q}`ን ሶስት እጥፍ ይጠቀማል፣ `P` ቅድመ ሁኔታ፣ `C` ትዕዛዝ እና `Q` የድህረ ሁኔታ ነው። ይህ ማለት ቅድመ ሁኔታ P ትዕዛዙ C ከመጀመሩ በፊት እውነት ከሆነ ፣ ከዚያ በኋላ የድህረ ሁኔታ Q እውነት እንደሚሆን የተረጋገጠ ነው።

ለዘመናዊ ሶፍትዌር እና ቢዝነስ ሲስተምስ ትምህርቶች

የቶኒ ሆሬ ሥራ ለዛሬ የሶፍትዌር ገንቢዎች እና መድረክ ገንቢዎች ዘላቂ ትምህርቶችን ይሰጣል። ስራው ግልጽነትን፣ ቀላልነትን እና የማያቋርጥ የጥራት ፍለጋን አበረታቷል። ከጊዜ ወደ ጊዜ ውስብስብ የሶፍትዌር ቁልል ባለበት ዘመን እነዚህ መርሆዎች ከመቼውም ጊዜ ይበልጥ ወሳኝ ናቸው። ከተጠቃሚዎች በይነገጽ እና ከኤፒአይዎች ስር የስርአቱ ዋና ጥራት በአመክንዮአዊ ጤናማነቱ ላይ የተመሰረተ መሆኑን ያስታውሰናል።

ዘላቂ ውርስ

ቶኒ ሆሬ ከኮምፒዩተር ሳይንቲስት በላይ ነበሩ። የዲጂታል አለምን ለመገንባት መሳሪያ እና አስተሳሰብን ያቀረበ ባለራዕይ ነበር። ስለ ቅለት፣ ትክክለኛነት እና ተዛማችነት የእሱ ሃሳቦች የመሐንዲሶችን ትውልዶች ማነሳሳቱን ቀጥለዋል። የሜዌይዝ መድረክን ማዳበር ስንቀጥል፣ በዚህ ግዙፍ ትከሻ ላይ ቆመን፣ ተግባራዊ ብቻ ሳይሆን መሠረታዊ ጤናማ የሆኑ የንግድ ሶፍትዌሮችን በመፍጠር ትሩፋቱን ለማክበር እንጥራለን። እሱ በጥልቅ ይናፍቃል፣ ነገር ግን የእሱ መርሆች የኮምፒዩተርን የወደፊት ሁኔታ መምራታቸውን ይቀጥላሉ።