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

Американский учёный-компьютерщик

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

Образование

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

Согласно распространенной истории, ^[3] в 1966 году Марвин Мински поручил своему студенту Джеральду Джею Сассману «провести лето, подключая камеру к компьютеру и заставляя компьютер описывать то, что он видит». ^[4] Эту историю часто рассказывали, чтобы проиллюстрировать, что сложность компьютерного зрения не была очевидна исследователям ИИ в первые дни.

Академическая работа

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

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

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

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

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

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

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

Награды и организации

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

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

Сассман является членом следующих учреждений:

• Американская академия искусств и наук
• Американская ассоциация содействия развитию науки (AAAS)
• Ассоциация по развитию искусственного интеллекта (AAAI)
• Ассоциация вычислительной техники (ACM)
• Институт инженеров по электротехнике и электронике (IEEE)
• Нью -Йоркская академия наук (NYAS)

Сассман является членом следующих организаций:

• Национальная инженерная академия (NAE)
• Американский институт часовщиков (AWI),
• Ассоциация часовщиков Массачусетса (MWCA)
• Производители телескопов-любителей из Бостона (ATMOB)
• Американская лига радиорелейной связи (ARRL). ^[17]

В 2023 году он получил премию имени Тейлора Л. Бута от IEEE Computer Society за «вдохновляющий подход к преподаванию компьютерных наук посредством функционального программирования». ^[19]

Личная жизнь

Джеральд Сассман женат на программисте Джули Сассман . ^[20]

В 2011 году Сассман посетил мероприятие на частном острове Джеффри Эпштейна Литл-Сент-Джеймс , известное как «Конференция по изменению мышления», организованное Эпштейном и Элом Секкелем . ^[21]

Выбрать библиографию

• Крис Хэнсон и Джеральд Джей Сассман; Разработка программного обеспечения для гибкости , MIT Press, 2021. ISBN 978-0-262-045490.
• Джеральд Джей Сассман и Джек Уиздом, совместно с Уиллом Фарром; Функциональная дифференциальная геометрия , MIT Press, 2013. ISBN 978-0-262-01934-7.
• Алексей Радул и Джеральд Джей Сассман; «Пересмотренный отчет о модели пропагатора», документация и система, август 2010 г.
• Алексей Радул и Джеральд Джей Сассман; «Искусство пропагандиста», MIT-CSAIL-TR-2009-002; Сокращенная версия в Proc. 2009 International Lisp Conference, март 2009 г.
• Структура и интерпретация классической механики, второе издание , Джеральд Джей Сассман и Джек Уиздом, MIT Press, 2014. ISBN 978-0-262-02896-7.
• «Технология клеточных вентилей», Томас Ф. Найт и Джеральд Джей Сассман, Proc. UMC98, Первая международная конференция по нетрадиционным моделям вычислений, Окленд, Новая Зеландия, январь 1998 г.
• «Разреженные представления для быстрого одноразового обучения», Кеннет Йип и Джеральд Джей Сассман, Proc. Национальной конференции по искусственному интеллекту, июль 1997 г. Более длинная версия опубликована в MIT AI Lab Memo #1633, май 1998 г.
• «Вычислительная модель для приобретения и использования фонологических знаний», Кеннет Йип и Джеральд Джей Сассман, Меморандум 1575 Массачусетского технологического института по искусственному интеллекту, март 1996 г.
• «Аморфные вычисления», Гарольд Абельсон, Дон Аллен, Дэниел Кур, Крис Хансон, Джордж Хомси, Томас Ф. Найт-младший, Радхика Нагпал, Эрик Раух, Джеральд Джей Сассман, Рон Вайс, в Communications of the ACM, 43, 5, май 2000 г. Также как Меморандум MIT по искусственному интеллекту 1665, август 1999 г.
• «Сравнение моделирования дозвукового потока и физических измерений дымоходов», Панайотис. А. Скордос и Джеральд Джей Сассман, Труды ISMA 95, Международный симпозиум по музыкальной акустике, Ле Нормон, Франция, июль 1995 г. Также Меморандум MIT по искусственному интеллекту 1535, апрель 1995 г.
• «Хаотическая эволюция Солнечной системы», Джеральд Джей Сассман и Джек Уиздом, Science, 257, 3 июля 1992 г.
• «Набор инструментов суперкомпьютера: общая структура для специализированных вычислений», совместно с А. Берлином, Дж. Катценельсоном, В. МакАллистером, Г. Розасом, Г. Дж. Сассманом и Джеком Уиздомом, Международный журнал высокоскоростной электроники, 3, № 3, стр. 337–361, 1992.
• «Численные доказательства того, что движение Плутона хаотично», Джеральд Джей Сассман и Джек Уиздом, в Science, 241, 22 июля 1988 г.
• Структура и интерпретация компьютерных программ , Гарольд Абельсон и Джеральд Джей Сассман с Джули Сассман, MIT Press и McGraw-Hill, 1985, второе издание 1996, ISBN 0-262-01153-0. (опубликованные переводы на французском, японском, польском, китайском, корейском и немецком языках).

Смотрите также

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

Ссылки

1. Сассман, Джеральд Джей. «Биографический очерк Джеральда Джея Сассмана». Массачусетский технологический институт . Получено 09.09.2019 .
2. Сассман, Джеральд (1973). Вычислительная модель приобретения навыков (Ph.D.). Массачусетский технологический институт. hdl :1721.1/6894.
3. Крагич, Даника (17.10.2018). «От активного восприятия к глубокому обучению». Science Robotics . 3 (23). doi :10.1126/scirobotics.aav1778. ISSN  2470-9476. PMID  33141734. S2CID  53020752.
4. Паперт, Сеймур А. (1966-07-01). «Проект летнего видения». hdl :1721.1/6125. {{cite journal}}: Цитировать журнал требует |journal=( помощь )
5. Эпплгейт, Джеймс; Дуглас, М.; Гурсель, И.; Хантер, П.; Сейтц, К.; Сассман, Джеральд Джей (сентябрь 1985 г.). «Цифровая планетария». Труды IEEE по компьютерам . C-34 (9): 822–831. doi :10.1109/TC.1985.1676638. S2CID  10002156.
6. Эпплгейт, Джеймс; Дуглас, М.; Гурсель, И.; Сассман, Джеральд Джей; Виздом, Джек (июль 1986 г.). «Внешняя Солнечная система за 200 миллионов лет». Astronomical Journal . 92 : 176–194. Bibcode : 1986AJ.....92..176A. doi : 10.1086/114149. hdl : 1721.1/6442 .
7. Sussman, Gerald Jay; Wisdom, Jack (июль 1988). «Численные доказательства того, что движение Плутона хаотично». Science . 241 (4864): 433–7. Bibcode :1988Sci...241..433S. doi :10.1126/science.241.4864.433. hdl : 1721.1/6038 . PMID  17792606. S2CID  1398095. Архивировано из оригинала 2017-07-06.
8. "MIT/GNU Scheme". Free Software Foundation . Получено 2019-09-11 .
9. "Сотрудники и правление". Free Software Foundation . Получено 2019-09-11 .
10. Сассман, Джеральд (июль 1986 г.). MIT OpenCourseWare: Видеолекции (видеокассета). Массачусетс: Массачусетский технологический институт.
11. Сассман, Джеральд (январь 2016 г.). Гибкие системы, сила универсальных операций (видеозапись). LispNYC . Получено 11 сентября 2019 г.
12. "LispNYC". LispNYC . Получено 2019-09-11 .
13. Сассман, Джеральд (11 июня 2002 г.). Формализация науки (видеозапись). New England Complex Systems Institute (NECSI) . Получено 11 сентября 2019 г.
14. Сассман, Джеральд (2001). Наследие компьютерной науки (видеокассета). Архивировано из оригинала 2011-10-13.
15. Сассман, Джеральд (19 сентября 2011 г.). Мы действительно не знаем, как вычислять! (видеозапись). InfoQ.
16. "Странная петля". Странная петля . Получено 2019-09-11 .
17. «Джеральд Сассман | MIT CSAIL». www.csail.mit.edu . Проверено 1 июня 2022 г.
18. «Сотрудники и правление — Free Software Foundation — Совместная работа ради свободного программного обеспечения». www.fsf.org . Получено 01.06.2022 .
19. «Инновации в образовании: беседа с Джеральдом Джеем Сассманом, лауреатом премии Тейлора Л. Бута в области образования». IEEE Computer Society . 5 марта 2024 г. Получено 23 марта 2024 г.
20. Акино, Марио (2011-09-22). "Учитель". Блоггер . Получено 2019-09-09 .
21. «Джеффри Эпштейн проведет конференцию Mindshift».

Внешние ссылки

• Официальный сайт
• Джеральд Сассман в проекте «Генеалогия математики»
• Книги в издательстве MIT Press