Из Википедии, бесплатной энциклопедии
  (Перенаправлено от Джеральда Сассмана )
Перейти к навигации Перейти к поиску
Профессор

Джеральд Джей Сассман

Кандидат наук.
Фотография головы мужчины в очках и темно-бордовой феске
Джерри Сассман на видеозаписи лекций SICP 1986 года
Родившийся( 1947-02-08 )8 февраля 1947 г. (74 года)
нас
Гражданствонас
ОбразованиеМассачусетский технологический институт ( бакалавр 1968 г., доктор философии 1973 г.)
ИзвестенИскусственный интеллект , структура и интерпретация компьютерных программ
Супруг (а)Джули Сассман
НаградыПремия IJCAI Computers and Thought Award (1981),
стипендиат ACM (1990)
Научная карьера
ПоляКогнитивные науки , электротехника , информатика
УчрежденияМассачусетский Институт Технологий
ТезисВычислительная модель приобретения навыков  (1973)
ДокторантСеймур Пейперт
Докторанты
Интернет сайтгруппы .csail .mit .edu / mac / users / gjs

Джеральд Джей Сассман (родился 8 февраля 1947 г.) - профессор электротехники компании Panasonic в Массачусетском технологическом институте (MIT). Он получил SB и Ph.D. дипломы по математике Массачусетского технологического института в 1968 и 1973 годах соответственно. Он участвует в исследованиях искусственного интеллекта (ИИ) в Массачусетском технологическом институте с 1964 года. Его исследования были сосредоточены на понимании стратегий решения проблем, используемых учеными и инженерами, с целью автоматизации частей процесса и формализации его для обеспечения более эффективных методов. науки и инженерного образования. Суссман также работал с компьютерными языками, компьютерной архитектурой иОчень крупномасштабная интеграция (СБИС). [1]

Образование [ править ]

Сассмен принял участие в Массачусетском технологическом институте как студент и получил SB по математике в 1968 год продолжил обучение в Массачусетском технологическом институте и получил степень доктора философии в 1973 г., также по математике, под руководством Сеймура Паперта . Его докторская диссертация была озаглавлена ​​«Вычислительная модель приобретения навыков» с упором на искусственный интеллект и машинное обучение с использованием модели вычислительной производительности под названием HACKER . [2]

Учебная работа [ править ]

Сассман является соавтором (вместе с Хэлом Абельсоном и Джули Сассман ) вводного учебника по информатике « Структура и интерпретация компьютерных программ» . Он использовался в Массачусетском технологическом институте несколько десятилетий и был переведен на несколько языков. [ необходима цитата ]

Вклад Суссмана в искусственный интеллект включает решение проблем путем отладки почти правильных планов, распространение ограничений, применяемых к анализу и синтезу электрических цепей, объяснение на основе зависимостей и отслеживание на основе зависимостей с возвратом, а также различные языковые структуры для выражения стратегий решения проблем. Суссман и его бывший ученик Гай Л. Стил-младший изобрели язык программирования Scheme в 1975 году.

Сассман увидел, что идеи искусственного интеллекта можно применить в автоматизированном проектировании (САПР). Суссман вместе со своими аспирантами разработал сложные инструменты автоматизированного проектирования для очень крупномасштабной интеграции (СБИС). Стил создал первые микросхемы Scheme в 1978 году. Эти идеи и поддерживающая их технология САПР на основе искусственного интеллекта получили дальнейшее развитие в микросхемах Scheme 1979 и 1981 годов. Разработанные методы и опыт были затем использованы для разработки других компьютеров специального назначения. Суссман был главным разработчиком Digital Orrery , машины, предназначенной для высокоточной интеграции орбитальной механики.эксперименты. Orrery был разработан и построен несколькими людьми за несколько месяцев с использованием инструментов моделирования и компиляции на основе искусственного интеллекта. [3]

Используя Digital Orrery, Сассман работал с Джеком Уиздомом, чтобы обнаружить числовые доказательства хаотических движений на внешних планетах. Digital Orrery сейчас находится на пенсии в Смитсоновском институте в Вашингтоне, округ Колумбия. Суссман также был ведущим разработчиком Supercomputer Toolkit, еще одного многопроцессорного компьютера, оптимизированного для развития обыкновенных дифференциальных уравнений . Supercomputer Toolkit использовался Sussman and Wisdom для подтверждения и расширения открытий, сделанных с помощью Digital Orrery, на всю планетную систему. [4] [5]

Суссман был пионером в использовании вычислительных описаний для передачи методологических идей при обучении предметам «Электрические цепи», «Сигналы и системы». За последнее десятилетие Сассман и Уиздом разработали предмет, который использует вычислительные методы для более глубокого понимания продвинутой классической механики . В области компьютерных наук: размышления о поле, размышления от поля, он пишет: «... вычислительные алгоритмы используются для выражения методов, используемых в анализе динамических явлений. Выражение методов на компьютерном языке заставляет их быть однозначными и вычислительно эффективными. Ожидается, что студенты будут читать программы и расширять их. и писать новые. Задача формулировки метода как исполняемой компьютером программы и отладки этой программы является мощным упражнением в процессе обучения. Кроме того, после процедурной формализации математическая идея становится инструментом, который можно использовать непосредственно для вычислений. полученные результаты." Сассман и Уиздом вместе с Мейнхардом Майером подготовили учебник « Структура и интерпретация классической механики» , чтобы отразить эти новые идеи.

Суссман и Абельсон также были частью движения за свободное программное обеспечение , включая выпуск MIT / GNU Scheme в качестве бесплатного программного обеспечения [6] и работу в Совете директоров Free Software Foundation . [7]

Работа Суссмана представлена ​​во многих видео, таких как: с Хэлом Абельсоном в полной версии из 20 лекций курса SICP Массачусетского технологического института, [8] для LispNYC, [9] [10] на Международной конференции по сложным системам, [11] для ArsDigita University , [12] и выступил с основным докладом на конференции Strange Loop. [13] [14]

Награды и организации [ править ]

За вклад в компьютерные науки образования, Сассмен получил Ассоциации вычислительной техники (ACM) Карл Karlström выдающегося просветителя премии в 1990 году, и Амар Г. Бозе награду за обучение в 1991 году [ править ]

Сассман и Хэл Абельсон - единственные директора-основатели, все еще действующие в совете директоров Free Software Foundation (FSF). [ необходима цитата ]

Сассман - научный сотрудник Института инженеров по электротехнике и электронике (IEEE), член Национальной инженерной академии (NAE), член Ассоциации развития искусственного интеллекта (AAAI), член Ассоциации вычислительной техники. Machinery (ACM), член Американской ассоциации развития науки (AAAS), член Нью-Йоркской академии наук (NYAS) и член Американской академии искусств и наук . Он также является слесарем по замкам , пожизненным членом Американского института часовщиков и часовщиков (AWI), членомМассачусетская ассоциация часовщиков-часовщиков (MWCA), член Бостонской любительской ассоциации производителей телескопов (ATMOB) и член Американской лиги радиорелейных устройств (ARRL). [ необходима цитата ]

Личная жизнь [ править ]

Джеральд Сассман женат на программисте Джули Сассман. [15] Она выпускница Массачусетского технологического института, а также изучала множество языков, включая французский, русский, немецкий, китайский, японский, норвежский, шведский, голландский, иврит и сербохорватский. Она написала книги по программному обеспечению и книгу о повседневных китайских иероглифах. [16]

См. Также [ править ]

  • Марвин Мински
  • Сеймур Пейперт
  • Терри Виноград
  • MDL (язык программирования)
  • Аномалия Суссмана

Ссылки [ править ]

  1. ^ Сассман, Джеральд Джей. «Биографический очерк Джеральда Джея Сассмана» . Массачусетский технологический институт . Проверено 9 сентября 2019 .
  2. ^ Сассман, Джеральд (1973). Вычислительная модель приобретения навыков (доктор философии). Массачусетский Институт Технологий. ЛВП : 1721,1 / 6894 .
  3. ^ Эпплгейт, Джеймс; Дуглас, М .; Gursel, Y .; Хантер, П .; Зейтц, С .; Сассман, Джеральд Джей (сентябрь 1985). «Цифровой магазин». Транзакции IEEE на компьютерах . С-34 (9): 822–831. DOI : 10.1109 / TC.1985.1676638 . S2CID 10002156 . 
  4. ^ Эпплгейт, Джеймс; Дуглас, М .; Gursel, Y .; Сассман, Джеральд Джей; Мудрость, Джек (июль 1986 г.). «Внешняя Солнечная система на 200 миллионов лет». Астрономический журнал . 92 : 176–194. DOI : 10.1086 / 114149 . ЛВП : 1721,1 / 6442 .
  5. ^ Сассман, Джеральд Джей; Мудрость, Джек (июль 1988 г.). «Численное свидетельство того, что движение Плутона хаотично» . Наука . 241 (4864): 433–7. DOI : 10.1126 / science.241.4864.433 . ЛВП : 1721,1 / 6038 . PMID 17792606 . S2CID 1398095 .  
  6. ^ "Схема MIT / GNU" . Фонд свободного программного обеспечения . Проверено 11 сентября 2019 .
  7. ^ «Персонал и совет» . Фонд свободного программного обеспечения . Проверено 11 сентября 2019 .
  8. ^ Сассман, Джеральд (июль 1986). MIT OpenCourseWare: Видео-лекции (видеокассета). Массачусетс: Массачусетский технологический институт.
  9. ^ Сассман, Джеральд (январь 2016). Гибкие системы, сила общих операций (видеокассета). LispNYC . Проверено 11 сентября 2019 .
  10. ^ "LispNYC" . LispNYC . Проверено 11 сентября 2019 .
  11. ^ Сассмен, Джеральд (11 июня 2002). Формализация науки (видеокассета). Институт сложных систем Новой Англии (NECSI) . Проверено 11 сентября 2019 .
  12. ^ Сассман, Джеральд (2001). Наследие компьютерных наук (видеокассета).
  13. ^ Сассмен, Джеральд (19 сентября 2011). Мы действительно не умеем вычислять! (видеокассета). InfoQ.
  14. ^ "Странная петля" . Странная петля . Проверено 11 сентября 2019 .
  15. ^ Акино, Марио (2011-09-22). «Учитель» . Блогер . Проверено 9 сентября 2019 .
  16. ^ Сассман, Джули (1994). Я могу прочитать это: знакомство путешественника с китайскими иероглифами . Сан-Франциско: Китайские книги. ISBN 0835125335. OCLC  31829743 .

Внешние ссылки [ править ]

  • Официальный веб-сайт
  • Джеральд Сассман на проекте « Математическая генеалогия»
  • Работы Джеральда Джея Сассмана или о нем в библиотеках ( каталог WorldCat )
  • Книги в MIT Press