โทนี โฮร์ (1934–2026)

 (blog.computationalcomplexity.org)
3 คะแนน โดย GN⁺ 2026-03-11 | 1 ความคิดเห็น | แชร์ทาง WhatsApp
  • Quicksort และ Hoare logic นักวิทยาการคอมพิวเตอร์ผู้เป็นที่รู้จักจากผลงานเหล่านี้ โทนี โฮร์ ถึงแก่อสัญกรรมด้วยวัย 92 ปี
  • หลังจากเรียนเอก ภาษาคลาสสิกและปรัชญา เขาได้ผ่าน การฝึกภาษารัสเซียและงานสาธิตคอมพิวเตอร์ยุคแรก ก่อนเข้าร่วมงานวิจัยด้านการเขียนโปรแกรม
  • เกร็ดเรื่องเล่าที่ถูกกล่าวถึง ได้แก่ เรื่องที่เขาพิสูจน์ความเหนือกว่าของ Quicksort ผ่าน การเดิมพัน 6 เพนซ์ กับหัวหน้า และ นิสัยชอบไปดูหนังที่โรงภาพยนตร์ระหว่างทำงานตอนอยู่ Microsoft
  • เขาถูกบรรยายว่าเป็นบุคคลที่มี ความถ่อมตนและอารมณ์ขัน และยังคงมี ความทรงจำที่ชัดเจนและความเฉียบคมทางปัญญา แม้ในวัยสูงอายุ
  • ผลงานที่เขาทิ้งไว้ต่อพัฒนาการของวิทยาการคอมพิวเตอร์และความเป็นมนุษย์ของเขาจะยังคงเป็น แรงบันดาลใจอย่างต่อเนื่องแก่นักวิจัยข้ามรุ่น

ชีวิตและผลงานของโทนี โฮร์

  • วันที่ 5 มีนาคม 2026 โทนี โฮร์ ผู้ได้รับรางวัลทัวริงและอดีตศาสตราจารย์แห่งมหาวิทยาลัยออกซ์ฟอร์ด ถึงแก่อสัญกรรมด้วยวัย 92 ปี
    • เขาได้รับการยกย่องว่าเป็นผู้ให้กำเนิดแนวคิดสำคัญในวิทยาการคอมพิวเตอร์ เช่น อัลกอริทึม Quicksort, ภาษา ALGOL และ Hoare logic
  • ผู้เขียนระบุว่าตนเคยไปเยี่ยมโฮร์หลายครั้งที่เคมบริดจ์และมีปฏิสัมพันธ์ส่วนตัวกับเขา
    • ในการพบกันครั้งแรก ผู้เขียนนำบทความบล็อกที่พิมพ์ออกมากระดาษไปใช้เริ่มบทสนทนา และโฮร์ก็จำช่วงที่กล่าวถึงงานวิจัยของตนได้ พร้อมอธิบายถึงการขยายตัวอย่างรวดเร็วของขนาดโปรแกรมและความแตกต่างของวิธีวิจัยในยุคแรก

พื้นฐานทางวิชาการและช่วงต้นอาชีพ

  • โฮร์เรียนเอก ภาษาคลาสสิกและปรัชญา ในมหาวิทยาลัย และหลังจากนั้นได้เรียนภาษารัสเซียอย่างเข้มข้นที่ Joint Services School for Linguists
    • ด้วยความสนใจด้านสถิติและคอมพิวเตอร์ หลังเสร็จสิ้นการรับราชการทหาร เขาจึงทำงานเป็น demonstrator ของคอมพิวเตอร์ยุคแรก โดยเฉพาะใน นิทรรศการนานาชาติซึ่งรวมถึงสหภาพโซเวียต
    • เขาย้อนความว่า demonstrator ในเวลานั้นไม่ได้เป็นเพียงผู้บรรยายอธิบาย แต่เป็น ผู้เชี่ยวชาญที่เข้าใจเครื่องอย่างลึกซึ้งถึงขั้นมีส่วนร่วมพัฒนาโค้ดของเครื่อง

การพนัน Quicksort และทัศนคติในการทำงาน

  • มีการเล่าเกร็ดสมัยทำงานที่ Elliott Brothers Ltd ว่าเขาบอกหัวหน้าว่าตนรู้จักอัลกอริทึมจัดเรียงที่เร็วกว่า และเสนอ การเดิมพัน 6 เพนซ์
    • ปรากฏว่า Quicksort พิสูจน์ได้ว่าเร็วกว่าจริง และมีการจ่ายเงินเดิมพันกันจริงด้วย
    • การที่เขา ลงมือทำอัลกอริทึมที่ช้ากว่าตามคำสั่งหัวหน้าก่อน แล้วจึงเสนอแนวคิดของตนเอง แสดงให้เห็นถึง ความถ่อมตนและความรับผิดชอบในฐานะมืออาชีพ

บุคลิกส่วนตัวและชีวิตประจำวัน

  • ช่วงที่ทำงานอยู่ Microsoft ในเคมบริดจ์ มีการเล่าว่าเขามี นิสัยแวะไปโรงภาพยนตร์ศิลปะระหว่างเวลางานเพื่อดูหนัง
    • เขายืนยันด้วยตนเองว่า “นั่นเป็นหนึ่งในความสุขของตน และบริษัทก็อนุญาต”
  • เมื่อพูดถึงข้อความอ้างอิงออนไลน์เกี่ยวกับภาพลักษณ์ ‘อัจฉริยะ’ ในภาพยนตร์ที่ถูกโยงว่าเป็นคำพูดของเขา เขาระบุว่า ไม่แน่ชัดว่าเคยพูดจริงหรือไม่ แต่เห็นด้วยกับเนื้อหา
    • เขาเน้นว่าความสามารถทางคณิตศาสตร์ไม่ได้มาจากแรงบันดาลใจฉับพลันแบบในภาพยนตร์ แต่เป็น ผลลัพธ์ของการคิดและการเรียนรู้อย่างยาวนาน

มุมมองต่อเทคโนโลยีและอนาคต

  • ในการสนทนาเกี่ยวกับพัฒนาการของคอมพิวเตอร์ในอนาคต เขาทิ้งคำพูดไว้ว่า “เทคโนโลยีที่รัฐบาลมีอยู่ล้ำหน้าไปกว่าสิ่งที่เราจินตนาการหลายปี”
    • เมื่อถูกถามถึงความเป็นไปได้ของเทคโนโลยีระดับการถอดรหัส เขา เลี่ยงจะตอบอย่างชัดเจนและเพียงยิ้มรับ ซึ่งสะท้อนท่าทีที่ชอบอารมณ์ขันและการเสียดสี
  • ผู้เขียนปิดท้ายบทความด้วยการบอกว่าจะคิดถึง อารมณ์ขัน ความอดทน และสติปัญญาอันเฉียบคม ของเขา
    • พร้อมร่วมไว้อาลัยด้วยคำว่า “RIP Tony Hoare (1934–2026)”

บทความที่เกี่ยวข้อง

1 ความคิดเห็น

 
GN⁺ 2026-03-11
ความเห็นจาก Hacker News

  • หนึ่งในคำคมที่ผมชอบที่สุดคือ “มีสองวิธีในการสร้างการออกแบบซอฟต์แวร์ วิธีหนึ่งคือทำให้มันเรียบง่ายเสียจนเห็นได้ชัดว่าไม่มีข้อบกพร่อง อีกวิธีคือทำให้มันซับซ้อนเสียจนมองไม่ออกอย่างชัดเจนว่ามีข้อบกพร่อง”
    ผมคิดเสมอว่าสิ่งนี้ใช้ได้ไม่ใช่แค่กับซอฟต์แวร์ แต่กับ ระบบที่ซับซ้อนหรือโครงสร้างตรรกะทั้งหมด ด้วย

    • เป็นคำคมที่ยอดเยี่ยมมาก แต่บริบทที่ตามมาต่างหากที่มีแก่นความคิดสำคัญ
      เขาบอกว่าวิธีแรกยากกว่ามาก และต้องอาศัย ความมุ่งมั่นและความเข้าใจลึกซึ้งในการแสวงหาความเรียบง่ายภายใต้ข้อจำกัดทางกายภาพและตรรกะ
      เนื้อหานี้อยู่ในปาฐกถารางวัลทัวริงของเขา "The Emperor’s Old Clothes"
    • น่าเสียดายที่เขารอจนถึงสุนทรพจน์รับรางวัลทัวริงค่อยเผยประโยคนี้
      ผมอ้างคำนี้บ่อยมาก Tony เป็น นักวิทยาการคอมพิวเตอร์ ที่ผมชอบที่สุด
    • ทุกวันนี้อุตสาหกรรมของเราดูเหมือนจะเลือกเดิน เส้นทางแห่งความซับซ้อน กันไปหมดแล้ว ด้วยกระแสอย่าง ‘vibe coding’ RIP Tony
    • ผ่านไปกี่ปีคำนี้ก็ยังใช้ได้อยู่เสมอ
    • ทำให้นึกถึงคำคมของ Pascal — “ผมอยากเขียนจดหมายให้สั้นกว่านี้ แต่ไม่มีเวลา”
      ลิงก์บทความที่เกี่ยวข้อง

  • เป็นเรื่องเล่าตอนที่ Dijkstra เตรียมตัวสำหรับช่วงสุดท้ายของชีวิตและกำลังจัดเอกสารกับจดหมายต่าง ๆ
    เมื่อศาสตราจารย์คนหนึ่งถามว่าจะเก็บจดหมายฉบับไหนไว้ Dijkstra ตอบจากบนเตียงคนไข้ว่าควร “เก็บไว้แค่จดหมายจาก Tony และทิ้งที่เหลือ”
    ศาสตราจารย์คนนั้นเล่าย้อนด้วย อารมณ์ขันแบบแห้ง ๆ ว่าจดหมายของตัวเองก็อยู่ใน ‘กองที่จะทิ้ง’ นั้นด้วย

  • ที่ Oxford มีธรรมเนียมตั้งชื่ออาคารตามบุคคลสำคัญ
    พวกเขาเคยพยายามตั้งชื่ออาคารตาม Dr. Hoare แต่กลายเป็น ‘Hoare House’ ซึ่งออกเสียงเหมือน ‘whore’ เลยทำให้กระอักกระอ่วน
    ถ้าจำไม่ผิดสุดท้ายเลยลงตัวที่ ‘C.A.R. Hoare Residence’

    • ในอาคาร Robert Hooke Building มี Tony Hoare Room อยู่ ผมเคยเรียนกลุ่มศึกษาด้าน reinforcement learning ที่นั่น
      ลิงก์ที่เกี่ยวข้อง
    • ทางมหาวิทยาลัยจริงจังเกินไป มันน่าจะเป็นชื่อที่เหมาะเป็น ตัวอย่างของ overloading มากแท้ ๆ
    • ห้องแล็บกราฟิกส์ของมหาวิทยาลัยเราก็เคยมีสถานการณ์คล้ายกันมาก่อน
      คนจากร้านอาหารแถวนั้นเห็นแต่นักศึกษาชายเข้าออกทั้งวันทั้งคืนจนเริ่มสงสัย ถ้าตอนนั้นตั้งชื่อว่า “Hoare House” คงขำมาก
    • ผมเคยได้รับ รางวัล CAR Hoare ตอนเรียนมหาวิทยาลัย และชอบล้อว่าก็ยังดีกว่าได้ ‘Hoare Prize’

  • เมื่อคิดว่าผลงานของเขาเกี่ยวข้องกับ ระบบสื่อสารแบบซิงโครไนซ์ ที่ช่วยลดความสับสน ความคลุมเครือเรื่องชื่อก็ดูจะเป็นสัญลักษณ์อย่างหนึ่งเหมือนกัน
    เขามีชื่อเสียงจาก null pointer แต่ CSP(Communicating Sequential Processes) และ occam ต่างหากที่เป็นผลงานชิ้นเอกอย่างแท้จริง
    ฝั่งโมเดล Actor อาจมองต่างออกไป แต่ไม่ว่าอย่างไรก็ยังเป็นความสำเร็จอันยิ่งใหญ่
    คำคมของเขาที่ผมชอบที่สุดคือ “มีสองวิธีในการสร้างซอฟต์แวร์…” มันเป็นคำที่เหมาะกับเขาจริง ๆ

    • CSP และ Hoare Logic เป็นนวัตกรรมที่พลิกวงการ เขาเป็นผู้สนับสนุน formal methods อย่างแข็งขัน
      ช่วงหนึ่งมันไม่สามารถกลายเป็นกระแสหลักได้ แต่ผมเชื่อว่ามันจะกลับมาอีกครั้งในไม่ช้า
      ในยุคของ generated code คอขวดคือการตรวจพิสูจน์ความถูกต้อง ดังนั้นเขาแค่ถูกต้องเร็วเกินไปเท่านั้น
    • ตอนนี้เรากำลังละทิ้งความเรียบง่ายนั้นแล้วจมอยู่ใน ความโกลาหลของ Async ซอฟต์แวร์น่าจะเรียบง่ายและสง่างามกว่านี้ได้มาก
    • โมเดล Actor ก็ไม่ได้สมบูรณ์แบบ มันล้มเหลวในการประกอบระบบย่อยที่ถูกต้องให้กลายเป็นระบบใหญ่ที่ถูกต้อง
      แนวทางที่ได้แรงบันดาลใจจาก transactional memory หรือฐานข้อมูลน่าจะมีอนาคตมากกว่า

  • ผมเคยถูกสัมภาษณ์ DPhil โดย Tony ที่ Oxford PRG(Programming Research Group)
    และใช้เวลาร่วมกับเขาไม่น้อยระหว่างทำวิจัยเกี่ยวกับ CSP
    พอคิดว่า กระบวนการ TonyHoare ได้เข้าสู่สถานะ STOP แล้วก็เศร้า

    • เหมือนคนส่วนใหญ่ ผมหวังว่าเขาจะ DIV แทน STOP

  • ผมเคยเจอเขาครั้งหนึ่งที่ Cambridge เขาเป็น ยักษ์ใหญ่ทางปัญญาที่อ่อนโยน จริง ๆ
    ผมอ้างคำพูดจากปาฐกถารางวัลทัวริงปี 1980 ของเขา ‘The Emperor’s Old Clothes’ อยู่บ่อย ๆ
    เป็นเรื่องที่หัวหน้าตำหนิว่า “คุณสั่งให้โปรแกรมเมอร์ทำสิ่งที่คุณเองก็ไม่เข้าใจ” และสุดท้ายคำนั้นก็ชี้ไปที่แก่นของปัญหา
    ในความเข้าใจของผม ต่อให้เรามอบหมายงานให้โปรแกรมเมอร์ คอมไพเลอร์ หรือแม้แต่ LLM ถ้าเราไม่เข้าใจผลลัพธ์ สุดท้ายเราก็ต้องจ่ายราคาอยู่ดี

    • ตรงช่วงที่ว่า “ภายหลังเขาตระหนักว่าคำพูดนั้นถูกต้อง” ถ้าเขาพูดตรง ๆ ว่า “คุณพูดถูก” ก็คงยิ่งน่าสนุกกว่านี้

  • ราวเทศกาลอีสเตอร์ปี 1961 เขาได้เรียนกับ Dijkstra, Naur และ Landin ในคอร์ส ALGOL 60 ที่ Brighton
    ที่นั่นเองเขาได้เรียนรู้เรื่อง recursion เป็นครั้งแรก และเขียน Quicksort ขึ้นมา
    เขาย้อนความว่าด้วยอัจฉริยภาพของผู้ออกแบบ ALGOL 60 ทำให้เขาสามารถถ่ายทอดแนวคิดของตัวเองได้อย่างสง่างาม
    เขามองว่าเป้าหมายสูงสุดของการออกแบบภาษาโปรแกรมคือ “ทำให้สามารถ แสดงออกซึ่งแนวคิดที่ดีได้อย่างสง่างาม”

  • บทความของ Tony เรื่อง An Axiomatic Basis for Computer Programming เป็นงานวิชาการชิ้นแรกที่ผมเข้าใจได้ทั้งหมดตั้งแต่สมัยปริญญาตรี
    ประสบการณ์นั้นเป็น จุดเปิดประตูความมั่นใจ ให้กับผม
    ผ่านมา 35 ปีแล้ว ตอนนี้การกลับไปอ่านสัญลักษณ์ต่าง ๆ อีกครั้งไม่ง่ายนัก แต่ผมคิดว่าจะลองเรียนใหม่โดยให้ AI ช่วยอธิบายทีละย่อหน้า
    ลิงก์บทความ

    • ถ้าจะอ่านงานวิจัย ผมแนะนำ NotebookLM ถามคำถามได้และยังทำพอดแคสต์สรุปให้ได้ด้วย
      ลิงก์ NotebookLM
    • ขอแนะนำเอกสารคลาสสิกอีกสองชิ้นที่เกี่ยวข้องกับบทความข้างต้น
      บทความทบทวนย้อนหลังหลังผ่านไป 30 ปี Retrospective: An Axiomatic Basis For Computer Programming
      และ “How Did Software Get So Reliable Without Proof?” ลิงก์ PDF

  • ผมประทับใจกับหลักการของเขาที่ว่า “ดัชนีของอาร์เรย์ต้องตรวจสอบขอบเขตบนและล่างเสมอ”
    เขาบอกว่าลูกค้าก็ต้องการ การตรวจสอบขณะรันที่ปลอดภัย มากกว่าประสิทธิภาพเช่นกัน
    เขาเตือนตั้งแต่ปี 1980 ว่า “การเพิกเฉยต่อความปลอดภัยขั้นพื้นฐานแบบนี้ หากเป็นสาขาวิศวกรรมอื่นคงถือว่าผิดกฎหมาย”
    — C.A.R. Hoare, 1980 ACM Turing Award Lecture

  • ในงานของ MSR Cambridge มีวิทยากรคนหนึ่งพูดว่า “ในโลกทุกวันนี้ นักพัฒนาที่อายุมากมักตามไม่ทัน”
    ชายสูงวัยคนหนึ่งลุกขึ้นแล้วพูดอย่างเงียบ ๆ ว่า “พวกเราก็พอรู้อะไรอยู่บ้าง”
    และคนนั้นก็คือ Tony Hoare