Christopher Strachey

1.1. Kelahiran dan Latar Belakang Keluarga

Christopher Strachey dilahirkan pada 16 November 1916 di Hampstead, England. Beliau merupakan anak kepada Oliver Strachey, seorang pegawai dari Kementerian Luar Negeri British, dan Rachel (Ray) Costelloe. Oliver Strachey ialah anak kepada Richard Strachey, seorang pentadbir kolonial di India, dan cicit kepada Sir Henry Strachey, Baronet Pertama. Kakak sulungnya ialah penulis bernama Barbara Strachey. Pada tahun 1919, keluarganya berpindah ke 51 Gordon Square. Keluarga Strachey merupakan sebahagian daripada Kumpulan Bloomsbury, sebuah kumpulan intelektual dan artistik terkemuka yang ahlinya termasuk Virginia Woolf, John Maynard Keynes, dan bapa saudaranya, Lytton Strachey.

1.2. Zaman Kanak-Kanak dan Pendidikan

Pada usia 13 tahun, Strachey memasuki Gresham's School di Holt, Norfolk, di mana beliau menunjukkan tanda-tanda kecemerlangan, walaupun secara umumnya prestasinya kurang memuaskan. Pada tahun 1935, beliau diterima masuk ke King's College, Cambridge, kolej yang sama dengan Alan Turing. Walaupun diterima di institusi berprestij ini, beliau tidak begitu bersemangat dalam pelajaran. Strachey pada mulanya belajar matematik sebelum berpindah ke bidang fizik. Pada akhir tahun ketiganya di Universiti Cambridge, Strachey mengalami gangguan saraf, kemungkinan berkaitan dengan penerimaan orientasi homoseksualnya. Beliau kembali ke Cambridge tetapi hanya memperoleh keputusan "lower second" dalam Natural Sciences Tripos.

2.1. Kerjaya Awal dan Pengajaran

Tidak dapat meneruskan pendidikannya, Strachey menyertai Standard Telephones and Cables (STC) sebagai ahli fizik penyelidikan. Tugasan pertamanya melibatkan penyediaan analisis matematik untuk reka bentuk tiub vakum yang digunakan dalam radar. Kerumitan pengiraan tersebut memerlukan penggunaan penganalisis kebezaan. Pengalaman awal dengan mesin pengkomputeran ini mencetuskan minat Strachey dalam bidang pengkomputeran, dan beliau mula menyelidik topik tersebut. Permohonan untuk ijazah penyelidikan di Universiti Cambridge telah ditolak, dan Strachey terus bekerja di STC sepanjang Perang Dunia Kedua. Selepas perang, beliau memenuhi impian lamanya dengan menjadi guru di St Edmund's School, Canterbury, mengajar matematik dan fizik. Tiga tahun kemudian, pada tahun 1949, beliau berpindah ke Harrow School yang lebih berprestij, di mana beliau berkhidmat selama tiga tahun.

2.2. Aktiviti Penyelidikan dan Pembangunan

Pada Januari 1951, seorang rakan memperkenalkan Strachey kepada Mike Woodger dari Makmal Fizik Kebangsaan, UK (NPL). Makmal tersebut telah berjaya membina versi kecil bagi Enjin Pengkomputeran Automatik (ACE) yang diilhamkan oleh Alan Turing pada tahun 1945, dikenali sebagai Pilot ACE.

Pada masa lapangnya, Strachey membangunkan versi awal program untuk permainan dam (dikenali sebagai "checkers" dalam bahasa Inggeris Amerika) pada Mei 1951. Program ini mungkin merupakan permainan video yang pertama. Permainan tersebut menggunakan sepenuhnya memori Pilot ACE. Program dam itu gagal disebabkan oleh ralat program ketika pertama kali dijalankan di NPL pada 30 Julai 1951. Apabila Strachey mendengar tentang Manchester Mark 1, yang mempunyai memori yang jauh lebih besar, beliau meminta manual daripada bekas rakan sekuliahnya, Alan Turing, dan menyalin programnya ke dalam kod operasi mesin tersebut sekitar Oktober 1951. Menjelang musim panas 1952, program itu mampu "memainkan permainan dam yang lengkap pada kelajuan yang munasabah". Walaupun beliau tidak memberikan nama khusus kepada permainan ini, Noah Wardrip-Fruin menamakannya "M.U.C. Draughts".

Strachey juga memprogramkan muzik komputer pertama di England, iaitu rakaman terawal muzik yang dimainkan oleh komputer: persembahan lagu kebangsaan British "God Save the King" pada komputer Ferranti Mark 1 di Universiti Manchester pada tahun 1951. Kemudian pada tahun yang sama, ekstrak pendek daripada tiga karya telah dirakam di sana oleh unit penyiaran luar BBC: "God Save the King", "Baa, Baa, Black Sheep", dan "In the Mood". Penyelidik di Universiti Canterbury, Christchurch, telah memulihkan cakera induk asetats pada tahun 2016, dan hasilnya boleh didengar di SoundCloud.

Pada musim panas 1952, Strachey memprogramkan penjana surat cinta untuk Ferranti Mark 1, yang dikenali sebagai contoh pertama kesusasteraan janaan komputer. Pada Mei 1952, Strachey menyampaikan dua bahagian ceramah mengenai "kajian kawalan dalam haiwan dan mesin" ("sibernetik") untuk program Science Survey Perkhidmatan Rumah BBC.

Strachey bekerja untuk Perbadanan Pembangunan Penyelidikan Kebangsaan (NRDC) dari 1952 hingga 1959. Semasa mengerjakan projek Seaway St. Lawrence, beliau berpeluang melawat beberapa pusat komputer di Amerika Syarikat dan mengkatalogkan set arahan mereka. Kemudian, beliau bekerja pada pengaturcaraan komputer Elliott 401 dan komputer Ferranti Pegasus. Bersama Donald B. Gillies, beliau memfailkan tiga paten dalam reka bentuk pengkomputeran, termasuk reka bentuk pendaftar dasar untuk penempatan semula program. Beliau juga bekerja pada analisis getaran dalam pesawat, berkolaborasi secara ringkas dengan Roger Penrose.

2.3. Kerjaya Perundingan dan Akademik

Pada tahun 1959, Strachey meninggalkan NRDC untuk menjadi perunding komputer, bekerja untuk NRDC, EMI, Ferranti, dan organisasi lain dalam beberapa projek yang luas. Kerja ini termasuk reka bentuk logik untuk komputer, menyediakan autocode, dan kemudian reka bentuk bahasa pengaturcaraan peringkat tinggi. Untuk kontrak menghasilkan autocode bagi komputer Ferranti Orion, Strachey mengupah Peter Landin, yang menjadi satu-satunya pembantunya sepanjang tempoh perundingan Strachey.

Strachey membangunkan konsep kongsi masa pada tahun 1959. Beliau memfailkan permohonan paten pada Februari tahun itu dan menyampaikan kertas kerja "Time Sharing in Large Fast Computers" pada Persidangan Pemprosesan Maklumat UNESCO yang pertama di Paris, di mana beliau menyampaikan konsep itu kepada J. C. R. Licklider. Kertas kerja ini diiktiraf oleh Pusat Pengkomputeran MIT pada tahun 1963 sebagai "kertas kerja pertama mengenai komputer kongsi masa".

Pada tahun 1962, sambil kekal sebagai perunding, beliau menerima jawatan di Universiti Cambridge. Pada tahun 1965, Strachey menerima jawatan di Universiti Oxford sebagai pengarah pertama Kumpulan Penyelidikan Pengaturcaraan dan kemudian profesor sains komputer pertama universiti itu serta felo di Wolfson College, Oxford. Beliau berkolaborasi dengan Dana Scott.

Strachey telah dipilih sebagai felo terkemuka Persatuan Komputer British pada tahun 1971 atas kerja perintisnya dalam sains komputer. Pada tahun 1973, Strachey (bersama Robert Milne) mula menulis esei yang diserahkan untuk pertandingan Hadiah Adams, selepas itu mereka terus berusaha menyemaknya menjadi bentuk buku. Strachey dapat dilihat dan didengar dalam perdebatan Lighthill yang direkodkan mengenai kecerdasan buatan.

3.1. Reka Bentuk dan Teori Bahasa Pengaturcaraan

Strachey merupakan seorang tokoh perintis dalam teori bahasa pengaturcaraan. Beliau mengembangkan Combined Programming Language (CPL). Siri nota kuliahnya yang berpengaruh, Konsep Asas dalam Bahasa Pengaturcaraan, merasmikan perbezaan antara L-values dan R-values (seperti yang dilihat dalam bahasa pengaturcaraan C). Strachey juga mencipta istilah "currying", walaupun beliau tidak mencipta konsep asasnya.

3.2. Program dan Eksperimen Komputer Awal

Pencapaian pembangunan perisian kreatifnya termasuk program permainan dam, yang mungkin merupakan permainan video terawal. Beliau juga memprogramkan penjanaan muzik komputer pertama di England, termasuk lagu kebangsaan British "God Save the King", "Baa, Baa, Black Sheep", dan "In the Mood". Selain itu, beliau membangunkan "penjana surat cinta", yang merupakan contoh pertama kesusasteraan janaan komputer.

3.3. Sistem Kongsi Masa dan Semantik

Strachey mengembangkan konsep kongsi masa (time-sharing) pada tahun 1959, yang dibentangkan dalam kertas kerjanya "Time Sharing in Large Fast Computers" di Persidangan Pemprosesan Maklumat UNESCO. Konsep ini merupakan asas penting bagi sistem pengkomputeran berbilang pengguna. Beliau juga merupakan salah seorang pengasas semantik denotasi, hasil kerja perintisnya bersama Dana Scott.

3.4. Generator Makro dan Pembangunan Sistem

Strachey mereka bentuk dan melaksanakan General Purpose Macrogenerator (GPM), salah satu pemproses makro terawal yang berfungsi sebagai bahasa pengembangan makro. GPM amat mempengaruhi sistem kemudian seperti m4, sebuah pemproses makro yang masih digunakan secara meluas hari ini. Beliau menunjukkan bakatnya sebagai pengaturcara dengan menghasilkan GPM hanya dalam 250 arahan kod mesin.

3.5. Terminologi Sains Komputer

Strachey memberikan sumbangan penting dalam mendefinisikan dan mempopularkan istilah-istilah utama yang digunakan secara meluas dalam sains komputer moden. Antara istilah yang beliau cipta atau popularisasikan termasuk "polimorfisme" dan "ketransparanan rujukan".

4.1. Konseptualisasi Bahasa Pengaturcaraan

Sumbangan teori Strachey yang paling ketara termasuk kajian mendalam dan perasmian konsep asas bahasa pengaturcaraan. Ini diilustrasikan dengan jelas dalam karya utamanya, 'Konsep Asas dalam Bahasa Pengaturcaraan', di mana beliau menghuraikan prinsip-prinsip fundamental yang mengawal struktur dan makna bahasa pengaturcaraan.

7.1. Penilaian Positif

Idea-idea inovatif dan sumbangan teknikal Strachey telah memberikan impak positif yang mendalam terhadap kemajuan sains komputer. Konsep-konsep seperti semantik denotasi, kongsi masa, dan reka bentuk bahasa pengaturcaraan adalah asas kepada banyak sistem pengkomputeran moden. Beliau juga mempelopori pembangunan permainan video awal dan kesusasteraan janaan komputer, menunjukkan visi kreatifnya melangkaui batas teori. Perumusannya tentang L-nilai dan R-nilai, serta penciptaan istilah seperti "polimorfisme" dan "ketransparanan rujukan", telah memperkaya perbendaharaan kata dan pemahaman dalam komuniti pengaturcaraan.

8.1. Pengaruh Terhadap Generasi Kemudian

Konsep dan teori Strachey telah mempengaruhi ramai ahli sains komputer dan ahli akademik selepasnya, menyumbang secara signifikan kepada pembangunan teknologi pengkomputeran moden. Idea-ideanya, terutamanya dalam semantik bahasa pengaturcaraan dan kongsi masa, menjadi asas penting bagi penyelidikan dan pembangunan selanjutnya. Para penyelidik dan pengaturcara terus merujuk kepada prinsip-prinsip yang beliau bangunkan dalam memahami dan mereka bentuk sistem yang kompleks.

8.2. Sumbangan kepada Bidang Tertentu

Sumbangan langsung dan kesan beruntunnya dapat dilihat dalam beberapa bidang khusus. Dalam bahasa pengaturcaraan, perumusannya tentang konsep L-nilai dan R-nilai serta perintisannya dalam CPL sangat berpengaruh. Dalam sistem operasi, konsep kongsi masa yang beliau perkenalkan adalah fundamental bagi sistem berbilang pengguna. Walaupun tidak secara langsung menyumbang kepada kecerdasan buatan, penglibatannya dalam perdebatan Lighthill mencerminkan pandangannya tentang potensi dan cabaran dalam bidang tersebut, yang membantu membentuk perbincangan awal mengenai AI.