Memoriam, Tony Hoare
අදහස්
Mewayz Team
Editorial Team
මතකයේ: ශ්රීමත් චාල්ස් ඇන්ටනි රිචඩ් හෝරේ (ටෝනි හෝරේ)
පරිගණක ලෝකයට එහි ආරම්භක ගෘහ නිර්මාණ ශිල්පියෙකු අහිමි වී ඇත. ටෝනි හෝරේ ලෙස කවුරුත් දන්නා ශ්රීමත් චාල්ස් ඇන්ටනි රිචඩ් හෝරේ අභාවප්රාප්ත වූයේ අද අප භාවිතා කරන සෑම මෘදුකාංගයක්ම වචනානුසාරයෙන් වියන ලද උරුමයක් ඉතිරි කරමිනි. මොඩියුලර් ව්යාපාර මෙහෙයුම් පද්ධතියක් ගොඩනඟන Mewayz හි සිටින අපට, ඔහුගේ කාර්යය ශාස්ත්රීය ඉතිහාසයක් පමණක් නොවේ; එය විශ්වසනීය හා කාර්යක්ෂම පද්ධති නිර්මාණයේ මූලික පදනම වේ. ඔහුගේ සමුගැනීම, ඉක්මන් වර්ග කිරීමේ ඇල්ගොරිතමයේ අලංකාර තර්කනයේ සිට නවීන සංවර්ධනයට මග පෙන්වන මෘදුකාංග නිවැරදිභාවයේ මූලික මූලධර්ම දක්වා ඔහුගේ දායකත්වයේ ගැඹුරු බලපෑම ගැන මෙනෙහි කිරීමට අපට ආරාධනා කරයි.
අලංකාරයේ ගෘහ නිර්මාණ ශිල්පියා: Quicksort සහ Null Reference
ටෝනි හෝරේගේ නම ස්මාරක දෙකකට සමාන නමුත් කුතුහලයෙන් වෙනස් වූ දායකත්වයන්. 1960 දී, ඔහු Quicksort algorithm නිර්මාණය කරන ලදී, එය කාර්යක්ෂමතාවයේ විශිෂ්ටතම කෘතියක් වන අතර එය වඩාත් අධ්යයනය කරන ලද සහ භාවිතා කරන ලද වර්ග කිරීමේ ක්රමයක් ලෙස පවතී. එහි අලංකාරය පවතින්නේ එහි "බෙදී ජයගැනීම" යන ප්රවේශය තුළ වන අතර එය මෙවේස්ගේ මොඩියුලර් දර්ශනය සමඟ ගැඹුරින් අනුනාද වේ. අපි අපගේ වේදිකාව ගොඩනඟන්නේ සංකීර්ණ ව්යාපාරික ක්රියාවලීන් කළමනාකරණය කළ හැකි, අන්තර් ක්රියා කළ හැකි මොඩියුලවලට කඩා දැමීමෙන්, එය කාර්යක්ෂමව විසඳීම සඳහා Quicksort ගැටලුවක් බිඳ දමයි.
ඊට ප්රතිවිරුද්ධව, Hoare ද 1965 දී null reference යන සංකල්පය ප්රසිද්ධියට පත් කළ අතර, පසුව ඔහු එය ඔහුගේ "ඩොලර්-බිලියන වැරදීම" ලෙස නම් කළේය. අගයක් නොමැතිකම නියෝජනය කිරීමට අදහස් කරන ලද මෙම නව නිපැයුම, නොදැනුවත්වම දශක ගනනාවක් තිස්සේ ධාවන දෝෂ සහ දෝෂ වල මූලික මූලාශ්රයක් බවට පත් විය. එහෙත්, මෙම "වැරදීම" පවා නිහතමානිකම සහ දැඩි නිර්මාණයේ වැදගත්කම පිළිබඳ පාඩමක් විය—මෙවේස් හි අපි ප්රත්යස්ථ පද්ධති ගොඩනඟන්නේ කෙසේදැයි දන්වන පාඩමකි, එහිදී පැහැදිලි දත්ත ව්යුහයන් සහ දෝෂ හැසිරවීම ඉතා වැදගත් වේ.
නිවැරදිභාවයේ පදනම: Hoare තර්කය
සමහර විට Hoare ගේ වැදගත්ම දායකත්වය 1969 දී Hoare Logic සංවර්ධනය කිරීම විය හැකිය. මෙම විධිමත් පද්ධතිය පරිගණක වැඩසටහන් වල නිවැරදි බව ඔප්පු කිරීම සඳහා ගණිතමය රාමුවක් සපයයි. එය `{P} C {Q}` පෝරමයේ ත්රිත්ව භාවිතා කරයි, එහිදී `P` පූර්ව කොන්දේසියකි, `C` යනු විධානයකි, සහ `Q` යනු පශ්චාත් කොන්දේසියකි. මෙයින් අදහස් කරන්නේ C විධානය ක්රියාත්මක වීමට පෙර P පූර්ව කොන්දේසිය සත්ය නම්, පසුව පසු තත්ත්වය Q සත්ය බවට සහතික වේ.
වේගවත් ව්යාපාරික පරිසරයක සම්පූර්ණ විධිමත් සත්යාපනය යෙදීම බොහෝ විට ප්රායෝගික නොවන අතර, Hoare Logic හි මූලධර්ම ඉතා අගනේය. සෑම මෘදුකාංග සංරචකයකම යෙදවුම්, ප්රතිදාන සහ අතුරු ආබාධ පිළිබඳව දැඩි ලෙස සිතීමට ඔවුන් අපට උගන්වයි. Mewayz හිදී, මෙය අපගේ මොඩියුල පැහැදිලි කොන්ත්රාත්තු සහ මනාව නිර්වචනය කරන ලද හැසිරීම් සමඟ සැලසුම් කිරීම බවට පරිවර්තනය කරයි, ඔබ ඔබේ ව්යාපාර OS හි විවිධ කොටස් සම්බන්ධ කරන විට, ඒවා පුරෝකථනය කළ හැකි සහ විශ්වාසදායක ලෙස එකට ක්රියා කරන බව සහතික කරයි.
නවීන මෘදුකාංග සහ ව්යාපාර පද්ධති සඳහා පාඩම්
Tony Hoare ගේ වෘත්තිය වර්තමාන මෘදුකාංග සංවර්ධකයින් සහ වේදිකා සාදන්නන් සඳහා කල්පවත්නා පාඩම් ඉදිරිපත් කරයි. ඔහුගේ කාර්යය පැහැදිලිකම, සරල බව සහ ගුණාත්මක භාවය පිළිබඳ නිර්දය ලුහුබැඳීම සඳහා ප්රමුඛ විය. වඩ වඩාත් සංකීර්ණ මෘදුකාංග තොග ඇති යුගයක, මෙම මූලධර්ම වෙන කවරදාටත් වඩා තීරණාත්මක ය. ඔවුන් අපට මතක් කර දෙන්නේ පරිශීලක අතුරුමුහුණත් සහ API වලට යටින්, පද්ධතියක මූලික ගුණය එහි තාර්කික සෞක්යය මත රඳා පවතින බවයි.
Mewayz හිදී, අපි බලවත් සහ විශ්වාසනීය ව්යාපාරික මෙහෙයුම් පද්ධතියක් නිර්මාණය කිරීමෙන් මෙම පාඩම් මූර්තිමත් කිරීමට උත්සාහ කරමු. අපගේ පරිශීලකයින්ට යටින් පවතින අස්ථාවරත්වය ගැන කනස්සල්ලෙන් තොරව ඔවුන්ගේ කාර්ය ප්රවාහයන් විශ්වාසයෙන් ස්වයංක්රීය කිරීමට සහ ඒකාබද්ධ කිරීමට හැකි වන පරිදි ශක්තිමත් පදනමක් ගොඩනැගීම කෙරෙහි අපි අවධානය යොමු කරමු. Hoare ගේ දර්ශනය නිවැරදි බව ඔප්පු කිරීම අප විසින් නිකුත් කරන සෑම මොඩියුලයකම ශක්තිමත්භාවයට ප්රමුඛත්වය දීමට අපව පොළඹවයි.
💡 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): divide-and-conquer paradigm මත පදනම් වූ ඉතා කාර්යක්ෂම වර්ග කිරීමේ ඇල්ගොරිතමයකි.
- Hoare Logic (1969): පරිගණක වැඩසටහන් වල නිවැරදි බව ගැන තර්ක කිරීම සඳහා විධිමත් පද්ධතියකි.
- සන්නිවේදනය අනුක්රමික ක්රියාවලි (CSP): Go වැනි භාෂාවලට බලපෑම් කරමින් සමගාමී ක්රමලේඛනය සඳහා පදනම් ආකෘතියකි.
- ශූන්ය යොමුව (1965): දශක ගනනාවක් තිස්සේ ක්රමලේඛන භාෂා නිර්මාණය හැඩගැස්වූ නව නිපැයුමක්, පසුව පසුතැවිලි වුවද.
"මෘදුකාංග නිර්මාණයක් තැනීමේ ක්රම දෙකක් තිබේ: එක් ක්රමයක් නම් පැහැදිලිවම අඩුපාඩු නොමැති තරම් සරල කිරීම සහ අනෙක් ක්රමය නම් පැහැදිලි අඩුපාඩු නොමැති තරම් එය සංකීර්ණ කිරීමයි. පළමු ක්රමය වඩා දුෂ්කර ය."
කල්පවත්නා උරුමයක්
Sir Tony Hoare පරිගණක විද්යාඥයෙකුට වඩා වැඩි විය; ඔහු ඩිජිටල් ලෝකය ගොඩනැගීමට අවශ්ය මෙවලම් සහ මානසිකත්වය සැපයූ දූරදර්ශියෙකි. සරල බව, නිවැරැදි බව සහ සමගාමීත්වය පිළිබඳ ඔහුගේ අදහස් ඉංජිනේරුවන්ගේ පරම්පරාවන් දිරිමත් කරයි. අපි Mewayz වේදිකාව අඛණ්ඩව සංවර්ධනය කරන විට, අපි මෙම දැවැන්තයාගේ උරහිස් මත සිටගෙන, ක්රියාකාරී පමණක් නොව මූලික වශයෙන් හොඳ ව්යාපාරික මෘදුකාංගයක් නිර්මාණය කරමින් ඔහුගේ උරුමයට ගරු කිරීමට උත්සාහ කරමු. ඔහුව දැඩි ලෙස මග හරිනු ඇත, නමුත් ඔහුගේ මූලධර්ම පරිගණකකරණයේ අනාගතයට මඟ පෙන්වනු ඇත.
නිතර අසන ප්රශ්න
මතකයේ: ශ්රීමත් චාල්ස් ඇන්ටනි රිචඩ් හෝරේ (ටෝනි හෝරේ)
පරිගණක ලෝකයට එහි ආරම්භක ගෘහ නිර්මාණ ශිල්පියෙකු අහිමි වී ඇත. ටෝනි හෝරේ ලෙස කවුරුත් දන්නා ශ්රීමත් චාල්ස් ඇන්ටනි රිචඩ් හෝරේ අභාවප්රාප්ත වූයේ අද අප භාවිතා කරන සෑම මෘදුකාංගයක්ම වචනානුසාරයෙන් වියන ලද උරුමයක් ඉතිරි කරමිනි. මොඩියුලර් ව්යාපාර මෙහෙයුම් පද්ධතියක් ගොඩනඟන Mewayz හි සිටින අපට, ඔහුගේ කාර්යය ශාස්ත්රීය ඉතිහාසයක් පමණක් නොවේ; එය විශ්වසනීය හා කාර්යක්ෂම පද්ධති නිර්මාණයේ මූලික පදනම වේ. ඔහුගේ සමුගැනීම, ඉක්මන් වර්ග කිරීමේ ඇල්ගොරිතමයේ අලංකාර තර්කනයේ සිට නවීන සංවර්ධනයට මග පෙන්වන මෘදුකාංග නිවැරදිභාවයේ මූලික මූලධර්ම දක්වා ඔහුගේ දායකත්වයේ ගැඹුරු බලපෑම ගැන මෙනෙහි කිරීමට අපට ආරාධනා කරයි.
අලංකාරයේ ගෘහ නිර්මාණ ශිල්පියා: Quicksort සහ Null Reference
ටෝනි හෝරේගේ නම ස්මාරක දෙකකට සමාන නමුත් කුතුහලයෙන් වෙනස් වූ දායකත්වයන්. 1960 දී, ඔහු Quicksort algorithm නිර්මාණය කරන ලදී, එය කාර්යක්ෂමතාවයේ විශිෂ්ටතම කෘතියක් වන අතර එය වඩාත් අධ්යයනය කරන ලද සහ භාවිතා කරන ලද වර්ග කිරීමේ ක්රමයක් ලෙස පවතී. එහි අලංකාරය පවතින්නේ එහි "බෙදී ජයගැනීම" යන ප්රවේශය තුළ වන අතර එය මෙවේස්ගේ මොඩියුලර් දර්ශනය සමඟ ගැඹුරින් අනුනාද වේ. අපි අපගේ වේදිකාව ගොඩනඟන්නේ සංකීර්ණ ව්යාපාරික ක්රියාවලීන් කළමනාකරණය කළ හැකි, අන්තර් ක්රියා කළ හැකි මොඩියුලවලට කඩා දැමීමෙන්, එය කාර්යක්ෂමව විසඳීම සඳහා Quicksort ගැටලුවක් බිඳ දමයි.
නිවැරදිභාවයේ පදනම: Hoare තර්කය
සමහර විට Hoare ගේ වැදගත්ම දායකත්වය 1969 දී Hoare Logic සංවර්ධනය කිරීම විය හැකිය. මෙම විධිමත් පද්ධතිය පරිගණක වැඩසටහන් වල නිවැරදි බව ඔප්පු කිරීම සඳහා ගණිතමය රාමුවක් සපයයි. එය `{P} C {Q}` පෝරමයේ ත්රිත්ව භාවිතා කරයි, එහිදී `P` පූර්ව කොන්දේසියකි, `C` යනු විධානයකි, සහ `Q` යනු පශ්චාත් කොන්දේසියකි. මෙයින් අදහස් කරන්නේ C විධානය ක්රියාත්මක වීමට පෙර P පූර්ව කොන්දේසිය සත්ය නම්, පසුව පසු තත්ත්වය Q සත්ය බවට සහතික වේ.
නවීන මෘදුකාංග සහ ව්යාපාර පද්ධති සඳහා පාඩම්
Tony Hoare ගේ වෘත්තිය වර්තමාන මෘදුකාංග සංවර්ධකයින් සහ වේදිකා සාදන්නන් සඳහා කල්පවත්නා පාඩම් ඉදිරිපත් කරයි. ඔහුගේ කාර්යය පැහැදිලිකම, සරල බව සහ ගුණාත්මක භාවය පිළිබඳ නිර්දය ලුහුබැඳීම සඳහා ප්රමුඛ විය. වඩ වඩාත් සංකීර්ණ මෘදුකාංග තොග ඇති යුගයක, මෙම මූලධර්ම වෙන කවරදාටත් වඩා තීරණාත්මක ය. ඔවුන් අපට මතක් කර දෙන්නේ පරිශීලක අතුරුමුහුණත් සහ API වලට යටින්, පද්ධතියක මූලික ගුණය එහි තාර්කික සෞක්යය මත රඳා පවතින බවයි.
කල්පවත්නා උරුමයක්
Sir Tony Hoare පරිගණක විද්යාඥයෙකුට වඩා වැඩි විය; ඔහු ඩිජිටල් ලෝකය ගොඩනැගීමට අවශ්ය මෙවලම් සහ මානසිකත්වය සැපයූ දූරදර්ශියෙකි. සරල බව, නිවැරැදි බව සහ සමගාමීත්වය පිළිබඳ ඔහුගේ අදහස් ඉංජිනේරුවන්ගේ පරම්පරාවන් දිරිමත් කරයි. අපි Mewayz වේදිකාව අඛණ්ඩව සංවර්ධනය කරන විට, අපි මෙම දැවැන්තයාගේ උරහිස් මත සිටගෙන, ක්රියාකාරී පමණක් නොව මූලික වශයෙන් හොඳ ව්යාපාරික මෘදුකාංගයක් නිර්මාණය කරමින් ඔහුගේ උරුමයට ගරු කිරීමට උත්සාහ කරමු. ඔහුව දැඩි ලෙස මග හරිනු ඇත, නමුත් ඔහුගේ මූලධර්ම පරිගණකකරණයේ අනාගතයට මඟ පෙන්වනු ඇත.
ඔබේ සියලුම ව්යාපාරික මෙවලම් එක තැනක
විවිධ යෙදුම් ජුගුල් කිරීම නවත්වන්න. Mewayz මසකට ඩොලර් 49 කට මෙවලම් 208 ක් ඒකාබද්ධ කරයි - ඉන්වෙන්ටරියේ සිට HR දක්වා, වෙන්කරවා ගැනීම විශ්ලේෂණ දක්වා. ආරම්භ කිරීමට ණයපතක් අවශ්ය නොවේ.
නොමිලේ →za>උත්සාහ කරන්නWe use cookies to improve your experience and analyze site traffic. Cookie Policy