Hal Abelson

Harold Abelson (amezaliwa Aprili 26, 1947) ni Profesa wa Sayansi ya Kompyuta na Uhandisi katika Idara ya Uhandisi wa Umeme na Sayansi ya Kompyuta katika Taasisi ya Teknolojia ya Massachusetts (MIT), mwenzake wa Taasisi ya Umeme na Uhandisi. Wahandisi wa Elektroniki (IEEE), na mkurugenzi mwanzilishi wa Creative Commons na Free Software Foundation.

Alielekeza utekelezaji wa kwanza wa lugha ya Nembo ya Apple II, ambayo ilifanya lugha hiyo kupatikana kwa wingi kwenye kompyuta za kibinafsi kuanzia mwaka wa 1981; na kuchapisha kitabu kinachouzwa sana kuhusu Nembo mwaka wa 1982. Pamoja na Gerald Jay Sussman, Abelson alitengeneza somo la utangulizi la MIT la sayansi ya kompyuta, Muundo na Ufafanuzi wa Programu za Kompyuta (linaloitwa na nambari ya kozi, 6.001), somo lililoandaliwa karibu na wazo kwamba a lugha ya kompyuta kimsingi ni njia rasmi ya kueleza mawazo kuhusu mbinu, badala ya njia tu ya kupata kompyuta kufanya shughuli. Abelson na Sussman pia wanashirikiana katika kuelekeza Mradi wa MIT juu ya Hisabati na Uhesabuji. Mradi wa MIT OpenCourseWare (OCW) uliongozwa na Abelson na kitivo kingine cha MIT.

Abelson aliongoza uchunguzi wa ndani wa uchaguzi na jukumu la shule hiyo katika mashtaka ya Aaron Swartz na Ofisi ya Upelelezi ya Shirikisho (FBI), ambayo ilihitimisha kuwa MIT haikufanya kosa kisheria, lakini ilipendekeza kwamba MIT ifikirie kubadilisha baadhi ya sera zake za ndani.

Elimu 
Abelson alihitimu Shahada ya Sanaa katika hesabu kutoka Chuo Kikuu cha Princeton mwaka wa 1969 baada ya kukamilisha tasnifu kuu, kuhusu Actions with fixed-point set: a homology sphere, iliyosimamiwa na William Browder. 

Alipata PhD yake katika hisabati kutoka Taasisi ya Teknolojia ya Massachusetts mwaka wa 1973 baada ya kukamilisha utafiti wake kuhusu aina tofauti za hali ya juu zilizounganishwa na kundi la msingi lililosimamiwa na Dennis Sullivan.

Kazi na utafiti 
Abelson pia ni mkurugenzi mwanzilishi wa Creative Commons na Public Knowledge, na mkurugenzi wa Kituo cha Demokrasia na Teknolojia.

Elimu ya sayansi ya kompyuta 
Abelson ana shauku ya muda mrefu ya kutumia hesabu kama mfumo wa dhana katika ufundishaji. Alielekeza utekelezaji wa kwanza wa Nembo kwa Apple II, ambao ulifanya lugha hiyo kupatikana kwa wingi kwenye kompyuta za kibinafsi kuanzia 1981; na kuchapisha kitabu kinachouzwa sana kuhusu Nembo mwaka wa 1982. Kitabu chake Turtle Geometry, kilichoandikwa na Andrea diSessa mwaka wa 1981, kiliwasilisha mkabala wa kimahesabu wa jiometri ambayo imetajwa kama "hatua ya kwanza. katika mabadiliko ya kimapinduzi katika mchakato mzima wa ufundishaji/kujifunza." Mnamo Machi 2015, nakala ya utekelezaji wa Abelson wa 1969 wa Picha ya Turtle iliuzwa katika The Algorithm Auction, mnada wa kwanza duniani wa kompyuta algorithms.

Pamoja na Gerald Jay Sussman, Abelson alikuza somo la utangulizi la MIT la sayansi ya kompyuta, Muundo na Ufafanuzi wa Programu za Kompyuta, somo lililoandaliwa kwa dhana kwamba lugha ya kompyuta kimsingi ni njia rasmi ya kuelezea. mawazo kuhusu mbinu, badala ya njia tu ya kupata kompyuta kufanya shughuli. Kazi hii, kupitia kitabu cha kiada chenye jina moja, kanda za video za mihadhara yao, na upatikanaji kwenye kompyuta za kibinafsi za lahaja ya Scheme ya Lisp (imetumika katika kufundisha kozi hiyo), imekuwa na athari duniani kote katika elimu ya chuo kikuu cha sayansi ya kompyuta.

Yeye ni mshiriki wa kitivo cha Google anayetembelea, ambapo alikuwa sehemu ya timu ya App Inventor for Android, mpango wa elimu unaolenga kurahisisha watu wasio na usuli wa programu kuandika maombi ya simu za mkononi na " chunguza kama hii inaweza kubadilisha asili ya utangulizi wa kompyuta". Yeye ndiye mwandishi mwenza wa kitabu App Inventor pamoja na David Wolber, Ellen Spertus, na Liz Looney, kilichochapishwa na O'Reilly Media mwaka wa 2011. Baada ya Google kutoa Inventor ya Programu kama programu huria mwishoni mwa 2009 na kutoa ufadhili wa mbegu kwa MIT Media Lab mnamo 2011, Abelson akawa mkurugenzi mwenza wa th e Kituo cha MIT cha Mafunzo ya Simu ili kuendeleza uundaji wa Kivumbuzi cha Programu.

Zana za kompyuta 
Abelson na Sussman pia wanashirikiana katika kuratibu Mradi wa MIT juu ya Hisabati na Uhesabuji, mradi wa MIT Sayansi ya Kompyuta na Maabara ya Usanii wa Usanii (CSAIL), ambayo zamani ilikuwa mradi wa pamoja wa MIT Maabara ya Ujasusi wa Artificial (AI. Maabara) na MIT Maabara ya Sayansi ya Kompyuta (LCS), vipengele vya CSAIL. Lengo la mradi ni kuunda zana bora za hesabu kwa wanasayansi na wahandisi. Lakini hata kukiwa na kompyuta zenye nguvu za nambari, kuchunguza mifumo changamano ya kimaumbile bado kunahitaji juhudi kubwa za kibinadamu na uamuzi wa kibinadamu ili kuandaa maiga na kutafsiri matokeo ya nambari.

Pamoja na wanafunzi wao, Abelson na Sussman wanachanganya mbinu kutoka kwa numerical computation, symbolic aljebra, na heuristic kupanga programu ili kutengeneza programu ambazo sio tu hutubia namba kubwa, lakini hiyo pia inatafsiri hesabu hizi na kujadili matokeo katika hali ya ubora. Mipango kama hii inaweza kuunda msingi wa zana za kisayansi za akili ambazo hufuatilia mifumo ya kimwili kulingana na maelezo ya juu ya tabia. Kwa ujumla zaidi, zinaweza kusababisha kizazi kipya cha zana za kukokotoa ambazo zinaweza kuchunguza kwa uhuru mifumo tata ya kimwili, na ambayo itachukua sehemu muhimu katika mazoezi ya baadaye ya sayansi na uhandisi. Wakati huo huo, programu hizi hujumuisha uundaji wa hesabu wa maarifa ya kisayansi ambao unaweza kuunda misingi ya njia bora za kufundisha sayansi na uhandisi.

Harakati za bure za programu 
Abelson na Sussman pia wamekuwa sehemu ya harakati za programu bila malipo (FSM), ikijumuisha kutumika katika bodi ya wakurugenzi ya Free Software Foundation (FSF).

Abelson anajulikana kuhusika katika kuchapisha Andrew Huang Hacking the Xbox na Keith Winstein ya safu saba Perl DeCSS hati (iliyopewa jina qrpff), na Ufikiaji wa Maktaba kwa Mradi wa Muziki (LAMP), mfumo wa usambazaji wa muziki wa chuo kikuu cha MIT. Mradi wa MIT OpenCourseWare (OCW) uliongozwa na Hal Abelson na kitivo kingine cha MIT.

Uchunguzi wa Aaron Swartz 
Mnamo Januari 2013, open access mwanaharakati Aaron Swartz alikufa kwa kujiua. Alikuwa amekamatwa karibu na MIT na alikuwa anakabiliwa na kifungo cha hadi miaka 35 jela kwa madai ya uhalifu wa kupakua vifungu vya Journal Storage (JSTOR) kupitia mtandao wa chuo cha open access wa MIT.<ref name=" SwartzAaronPR"></ ref>

Kujibu, MIT ilimteua profesa Hal Abelson kuongoza uchunguzi wa ndani wa chaguo na jukumu la shule katika mashtaka ya Aaron Swartz na FBI. Ripoti hiyo ilitolewa mnamo Julai 26, 2013. Ilihitimisha kuwa MIT haikufanya chochote. makosa kisheria, lakini ilipendekeza kwamba MIT izingatie kubadilisha baadhi ya sera zake za ndani.

Tuzo na heshima 
 Iliyoteuliwa kama mmoja wa Wanafunzi sita wa Kitivo cha MacVicar wa MIT, mnamo 1992, kwa kutambua michango yake muhimu na endelevu katika ufundishaji na elimu ya shahada ya kwanza
 Tuzo la Bose la 1992, tuzo ya Shule ya Uhandisi ya MIT
 1995 Taylor L. Booth Education Award, iliyotolewa na IEEE Computer Society, ilitajwa kwa mchango wake endelevu katika ufundishaji na ufundishaji wa sayansi ya kompyuta ya utangulizi
 2011 ACM Tuzo la Mwalimu Bora la Karl V. Karlstrom kwa "mchango wake katika elimu ya kompyuta, kupitia maendeleo yake ya ubunifu katika mitaala iliyoundwa kwa ajili ya wanafunzi wanaofuata aina tofauti za utaalam wa kompyuta, na kwa uongozi wake katika harakati. kwa rasilimali huria za elimu"
 2012 Chama cha Mashine za Kompyuta (ACM) SIGCSE Tuzo la Mchango Bora kwa Elimu ya Sayansi ya Kompyuta

Machapisho 
 Muundo na Ufafanuzi wa Programu za Kompyuta
 Jiometri ya Turtle: Kompyuta Kama Njia ya Kati ya Kuchunguza Hisabati
 Kupigwa kwa Biti: Maisha Yako, Uhuru, na Furaha Baada ya Mlipuko wa Dijitali
 Mvumbuzi wa 2 wa Programu: Unda Programu Zako za Android

Marejeo 

Wanasayansi wa Marekani 
Wanahisabati wa Marekani 
Wahandisi wa Marekani