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

Джеральд Джей Сассман
Джеральд Джей Сассман
	Джеральд Сассман на видеозаписи лекций SICP 1986 года.
Рожденный	8 февраля 1947 г. (77 лет) ; НАС
Образование	Массачусетский технологический институт ( SB 1968, доктор философии 1973)
Известный	Искусственный интеллект , структура и интерпретация компьютерных программ
Супруг	Джули Сассман
Награды	Премия IJCAI в области компьютеров и мысли (1981) ; Сотрудник ACM (1990)
	Научная карьера
Поля	Когнитивные науки , электротехника , информатика
Учреждения	Массачусетский технологический институт
Диссертация	Вычислительная модель приобретения навыков (1973)
Докторантура	Seymour Papert
Докторанты	Элизабет Брэдли ; Кеннет Д. Форбус ; В. Дэниел Хиллис ; Дэвид А. Макаллестер ; Гай Л. Стил мл. ; Радхика Нагпал ;
Веб-сайт	группы .csail .с .edu /мак /пользователи /гджс

Джеральд Джей Сассман (родился 8 февраля 1947 г.) — профессор электротехники Panasonic в Массачусетском технологическом институте (MIT). Он занимается исследованиями искусственного интеллекта (ИИ) в Массачусетском технологическом институте с 1964 года. Его исследования были сосредоточены на понимании стратегий решения проблем, используемых учеными и инженерами, с целью автоматизации частей процесса и его формализации для обеспечения более эффективных методов. науки и инженерного образования. Сассман также работал над компьютерными языками, компьютерной архитектурой и проектированием сверхбольшой интеграции (СБИС). ^[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, еще одного многопроцессорного компьютера, оптимизированного для разработки обыкновенных дифференциальных уравнений . Набор инструментов суперкомпьютера использовался Сассманом и Уиздомом для подтверждения и расширения открытий, сделанных с помощью Digital Orrery, на всю планетную систему. ^[6]^[7]

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

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

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

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

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

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

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

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

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

Национальная инженерная академия (НАЭ)
Американский институт часовщиков-часовщиков (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 ; Сокращенная версия в Учеб. Международная конференция по Лиспу 2009 г., март 2009 г.
Структура и интерпретация классической механики, второе издание , Джеральд Джей Сассман и Джек Уиздом, MIT Press, 2014. ISBN 978-0-262-02896-7.
« Технология сотовых шлюзов », Томас Ф. Найт и Джеральд Джей Сассман, Proc. UMC98, Первая международная конференция по нетрадиционным моделям вычислений, Окленд, Новая Зеландия, январь 1998 г.
« Разреженные представления для быстрого однократного обучения », Кеннет Йип и Джеральд Джей Сассман, Proc. Национальной конференции по искусственному интеллекту, июль 1997 г. Более длинная версия опубликована как MIT AI Lab Memo № 1633, май 1998 г.
« Вычислительная модель для приобретения и использования фонологических знаний », Кеннет Йип и Джеральд Джей Сассман, Памятка 1575 Массачусетского технологического института по искусственному интеллекту, март 1996 г.
« Аморфные вычисления », Гарольд Абельсон, Дон Аллен, Дэниел Кур, Крис Хэнсон, Джордж Хомси, Томас Ф. Найт-младший, Радхика Нагпал, Эрик Раух, Джеральд Джей Сассман, Рон Вайс, в сообщениях ACM, 43, 5 , май 2000 г. Также как Памятка MIT по искусственному интеллекту 1665, август 1999 г.
« Сравнение моделирования дозвукового потока и физических измерений дымоходных труб », Панайотис. А. Скордос и Джеральд Джей Сассман, Труды ISMA 95, Международный симпозиум по музыкальной акустике, Ле Нормон, Франция, июль 1995 г. Также MIT Искусственный интеллект Memo 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. (опубликованные переводы на французский, японский, польский, китайский, корейский и немецкий языки).

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

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

^ Сассман, Джеральд Джей. «Биографический очерк Джеральда Джея Сассмана» . Массачусетский технологический институт . Проверено 9 сентября 2019 г.
^ Сассман, Джеральд (1973). Вычислительная модель приобретения навыков (доктор философии). Массачусетский технологический институт. hdl : 1721.1/6894 .
^ Крагич, Даника (17 октября 2018 г.). «От активного восприятия к глубокому обучению» . Научная робототехника . 3 (23). doi : 10.1126/scirobotics.aav1778 . ISSN 2470-9476 . ПМИД 33141734 . S2CID 53020752 .
^ Паперт, Сеймур А. (1 июля 1966 г.). «Проект Летнего Видения» . hdl : 1721.1/6125 . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )
^ Эпплгейт, Джеймс; Дуглас, М.; Гюрсель, Ю.; Хантер, П.; Зейтц, К.; Сассман, Джеральд Джей (сентябрь 1985 г.). «Цифровая планета». Транзакции IEEE на компьютерах . С-34 (9): 822–831. дои : 10.1109/TC.1985.1676638 . S2CID 10002156 .
^ Эпплгейт, Джеймс; Дуглас, М.; Гюрсель, Ю.; Сассман, Джеральд Джей; Мудрость, Джек (июль 1986 г.). «Внешняя Солнечная система за 200 миллионов лет». Астрономический журнал . 92 : 176–194. Бибкод : 1986AJ.....92..176A . дои : 10.1086/114149 . hdl : 1721.1/6442 .
^ Сассман, Джеральд Джей; Мудрость, Джек (июль 1988 г.). «Численные доказательства того, что движение Плутона хаотично» . Наука . 241 (4864): 433–7. Бибкод : 1988Sci...241..433S . дои : 10.1126/science.241.4864.433 . hdl : 1721.1/6038 . ПМИД 17792606 . S2CID 1398095 . Архивировано из оригинала 6 июля 2017 г.
^ «Схема MIT/GNU» . Фонд свободного программного обеспечения . Проверено 11 сентября 2019 г.
^ «Персонал и правление» . Фонд свободного программного обеспечения . Проверено 11 сентября 2019 г.
^ Сассман, Джеральд (июль 1986 г.). MIT OpenCourseWare: видеолекции (видеокассета). Массачусетс: Массачусетский технологический институт.
^ Сассман, Джеральд (январь 2016 г.). Гибкие системы, сила общих операций (видеокассета). ЛиспНью-Йорк . Проверено 11 сентября 2019 г.
^ «ЛиспНЙЦ» . ЛиспНью-Йорк . Проверено 11 сентября 2019 г.
^ Сассман, Джеральд (11 июня 2002 г.). Формализация науки (видеокассета). Институт сложных систем Новой Англии (NECSI) . Проверено 11 сентября 2019 г.
^ Сассман, Джеральд (2001). Наследие информатики (видеокассета). Архивировано из оригинала 13 октября 2011 г.
^ Сассман, Джеральд (19 сентября 2011 г.). Мы действительно не умеем считать! (видеозапись). ИнфоВ.
^ «Странная петля» . Странная петля . Проверено 11 сентября 2019 г.
^ Jump up to: Перейти обратно: ^а ^б «Джеральд Сассман | MIT CSAIL» . www.csail.mit.edu . Проверено 1 июня 2022 г.
^ «Персонал и правление — Фонд свободного программного обеспечения — Совместная работа над свободным программным обеспечением» . www.fsf.org . Проверено 1 июня 2022 г.
^ «Инновации в образовании: разговор с Джеральдом Джеем Сассманом, лауреатом премии Тейлора Л. Бута в области образования» . Компьютерное общество IEEE . 5 марта 2024 г. . Проверено 23 марта 2024 г.
^ Акино, Марио (22 сентября 2011 г.). «Учитель» . Блогер . Проверено 9 сентября 2019 г.
^ «Джеффри Эпштейн проведет конференцию Mindshift» .

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

[1] Сассман, Джеральд Джей. «Биографический очерк Джеральда Джея Сассмана» . Массачусетский технологический институт . Проверено 9 сентября 2019 г.

[2] Сассман, Джеральд (1973). Вычислительная модель приобретения навыков (доктор философии). Массачусетский технологический институт. hdl : 1721.1/6894 .

[3] Крагич, Даника (17 октября 2018 г.). «От активного восприятия к глубокому обучению» . Научная робототехника . 3 (23). doi : 10.1126/scirobotics.aav1778 . ISSN 2470-9476 . ПМИД 33141734 . S2CID 53020752 .

[4] Паперт, Сеймур А. (1 июля 1966 г.). «Проект Летнего Видения» . hdl : 1721.1/6125 . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[5] Эпплгейт, Джеймс; Дуглас, М.; Гюрсель, Ю.; Хантер, П.; Зейтц, К.; Сассман, Джеральд Джей (сентябрь 1985 г.). «Цифровая планета». Транзакции IEEE на компьютерах . С-34 (9): 822–831. дои : 10.1109/TC.1985.1676638 . S2CID 10002156 .

[6] Эпплгейт, Джеймс; Дуглас, М.; Гюрсель, Ю.; Сассман, Джеральд Джей; Мудрость, Джек (июль 1986 г.). «Внешняя Солнечная система за 200 миллионов лет». Астрономический журнал . 92 : 176–194. Бибкод : 1986AJ.....92..176A . дои : 10.1086/114149 . hdl : 1721.1/6442 .

[7] Сассман, Джеральд Джей; Мудрость, Джек (июль 1988 г.). «Численные доказательства того, что движение Плутона хаотично» . Наука . 241 (4864): 433–7. Бибкод : 1988Sci...241..433S . дои : 10.1126/science.241.4864.433 . hdl : 1721.1/6038 . ПМИД 17792606 . S2CID 1398095 . Архивировано из оригинала 6 июля 2017 г.

[8] «Схема MIT/GNU» . Фонд свободного программного обеспечения . Проверено 11 сентября 2019 г.

[9] «Персонал и правление» . Фонд свободного программного обеспечения . Проверено 11 сентября 2019 г.

[10] Сассман, Джеральд (июль 1986 г.). MIT OpenCourseWare: видеолекции (видеокассета). Массачусетс: Массачусетский технологический институт.

[11] Сассман, Джеральд (январь 2016 г.). Гибкие системы, сила общих операций (видеокассета). ЛиспНью-Йорк . Проверено 11 сентября 2019 г.

[12] «ЛиспНЙЦ» . ЛиспНью-Йорк . Проверено 11 сентября 2019 г.

[13] Сассман, Джеральд (11 июня 2002 г.). Формализация науки (видеокассета). Институт сложных систем Новой Англии (NECSI) . Проверено 11 сентября 2019 г.

[14] Сассман, Джеральд (2001). Наследие информатики (видеокассета). Архивировано из оригинала 13 октября 2011 г.

[15] Сассман, Джеральд (19 сентября 2011 г.). Мы действительно не умеем считать! (видеозапись). ИнфоВ.

[16] «Странная петля» . Странная петля . Проверено 11 сентября 2019 г.

[CSBIO-17] Jump up to: Перейти обратно: ^а ^б «Джеральд Сассман | MIT CSAIL» . www.csail.mit.edu . Проверено 1 июня 2022 г.

[18] «Персонал и правление — Фонд свободного программного обеспечения — Совместная работа над свободным программным обеспечением» . www.fsf.org . Проверено 1 июня 2022 г.

[19] «Инновации в образовании: разговор с Джеральдом Джеем Сассманом, лауреатом премии Тейлора Л. Бута в области образования» . Компьютерное общество IEEE . 5 марта 2024 г. . Проверено 23 марта 2024 г.

[20] Акино, Марио (22 сентября 2011 г.). «Учитель» . Блогер . Проверено 9 сентября 2019 г.

[21] «Джеффри Эпштейн проведет конференцию Mindshift» .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

Базы данных авторитетного контроля
International	ISNI VIAF 2 WorldCat
National	Norway France BnF data Germany Israel Belgium United States Japan Czech Republic Korea Netherlands Poland
Academics	Association for Computing Machinery CiNii DBLP MathSciNet Mathematics Genealogy Project zbMATH
Other	IdRef