ศาสตราจารย์ Tony Hoare ผู้คิดค้น Quicksort เสียชีวิตวัย 92

ศาสตราจารย์ Charles Anthony Richard Hoare หรือที่รู้จักกันในชื่อ Tony Hoare เสียชีวิตเมื่ออายุ 92 ปี สิ่งที่ทำให้เขาเป็นที่จดจำคือการคิดค้นอัลกอริธึม Quicksort รวมถึงผลงานทางทฤษฎีและภาษาคอมพิวเตอร์ที่ส่งผลกระทบยาวนานต่อวงการไอที

ผลงานเด่นที่รู้จักกันแพร่หลาย

• Quicksort — อัลกอริธึมจัดเรียงที่ Hoare คิดขึ้นในปี 1959 ขณะทำงานที่ Elliott Computers โดยมีเรื่องเล่าว่าเกิดจากเดิมพันกับหัวหน้าว่าเขามีวิธีที่เร็วกว่าที่กำลังใช้ โดยเดิมพันเป็นจำนวน sixpence และสุดท้าย Hoare ก็ชนะเดิมพันดังกล่าว
• Hoare logic — ระบบทางตรรกะสำหรับพิสูจน์ความถูกต้องของโปรแกรม ที่กลายเป็นพื้นฐานการวิจัยด้าน verification
• ALGOL W — เขาเป็นผู้ร่วมออกแบบ ซึ่งมีอิทธิพลต่อการพัฒนาภาษา Pascal
• Communicating Sequential Processes — แบบจำลองสำหรับระบบคู่ขนาน ที่ส่งผลต่อการออกแบบภาษาอย่าง Clojure, Erlang และ Go

รางวัลและเกียรติยศ

Hoare ได้รับรางวัล Turing Award ในปี 1980 และยังได้รับรางวัลสำคัญอื่นๆ เช่น Harry H. Goode Memorial Award, Faraday Medal, Computer Pioneer Award, Kyoto Prize, IEEE John von Neumann Medal และ Royal Medal ในปี 2023 นอกจากนี้เขาถูกอัศวินในปี 2000 โดยสมเด็จพระราชินีนาถ Elizabeth II สำหรับผลงานด้านการศึกษาและคอมพิวเตอร์

มุมมองต่อซอฟต์แวร์และคำคมที่ถูกอ้างถึง

Hoare เป็นที่รู้จักทั้งในแง่ผลงานวิชาการและวาทะคมคาย ในการบรรยายเมื่อได้รับรางวัล Turing Award เขาเตือนเรื่องความซับซ้อนของซอฟต์แวร์ และเน้นให้โปรแกรมเมอร์ให้ความสำคัญกับความเรียบง่ายและความปลอดภัย หนึ่งในประโยคที่ถูกนำไปพูดถึงบ่อยคือ:

"I conclude that there are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies."

ชีวประวัติโดยย่อ

Hoare เกิดที่ Colombo ในศรีลังกา เมื่อปี 1934 ช่วงสงครามโลกครั้งที่สองครอบครัวย้ายไปอาศัยที่ Rhodesia แล้วต่อมาย้ายไปอังกฤษ เขาเรียน Literae humaniores (Classics) ที่ Merton College, Oxford ก่อนเข้ารับราชการในกองทัพเรือและเรียนภาษารัสเซียที่ Moscow University ประสบการณ์เหล่านี้รวมถึงการทำแบบฝึกหัดเชิงปัญญากับนักคณิตศาสตร์ชาวโซเวียตนำมาซึ่งแนวคิดหลายอย่างที่ปรากฏในงานของเขา

บทส่งท้าย

ผลงานและมุมมองของ Tony Hoare ยังคงเป็นแนวทางสำคัญทั้งในเชิงทฤษฎีและปฏิบัติสำหรับนักพัฒนารุ่นใหม่ แม้การจากไปของเขาจะเป็นการสิ้นสุดยุคผู้บุกเบิก แต่แนวคิดและอัลกอริธึมที่เขาทิ้งไว้ยังถูกใช้งานและศึกษาอย่างกว้างขวาง