Джеральд Джей Сассман
 | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( февраль 2013 г. ) |
Джеральд Джей Сассман | |
|---|---|
 Джеральд Сассман на видеозаписи лекций SICP 1986 года. | |
| Рожденный | 8 февраля 1947 г. НАС |
| Образование | Массачусетский технологический институт ( бакалавр , доктор философии ) |
| Известный | Искусственный интеллект , структура и интерпретация компьютерных программ |
| Супруг | Джули Сассман |
| Награды | Премия IJCAI в области компьютеров и мысли (1981) Сотрудник ACM (1990) |
| Научная карьера | |
| Поля | Когнитивные науки , электротехника , информатика |
| Учреждения | Массачусетский технологический институт |
| Диссертация | Вычислительная модель приобретения навыков (1973) |
| Докторантура | Seymour Papert |
| Докторанты | |
| Веб-сайт | группы |
Джеральд Джей Сассман (родился 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 г.
- ^ Перейти обратно: а б «Джеральд Сассман | MIT CSAIL» . www.csail.mit.edu . Проверено 1 июня 2022 г.
- ^ «Персонал и правление — Фонд свободного программного обеспечения — Совместная работа над свободным программным обеспечением» . www.fsf.org . Проверено 1 июня 2022 г.
- ^ «Инновации в образовании: разговор с Джеральдом Джеем Сассманом, лауреатом премии Тейлора Л. Бута в области образования» . Компьютерное общество IEEE . 5 марта 2024 г. Проверено 23 марта 2024 г.
- ^ Акино, Марио (22 сентября 2011 г.). «Учитель» . Блогер . Проверено 9 сентября 2019 г.
- ^ «Джеффри Эпштейн проведет конференцию Mindshift» .
Внешние ссылки
[ редактировать ]
- 1947 рождений
- Американские математики XX века
- Американские математики XXI века
- Американские ученые-компьютерщики
- Американские инженеры-электрики
- Американские исследователи искусственного интеллекта
- Члены IEEE
- Члены Американской ассоциации содействия развитию науки
- Члены Ассоциации по развитию искусственного интеллекта
- Программисты бесплатного программного обеспечения
- люди ГНУ
- Американские учёные-евреи
- Лисп (язык программирования) люди
- Живые люди
- Выпускники Школы наук Массачусетского технологического института
- Инженерный факультет Массачусетского технологического института
- Члены совета директоров Фонда свободного программного обеспечения
- Члены Национальной инженерной академии США
- Разработчики языков программирования
- Американские евреи XXI века
- 1994 г. Члены Ассоциации вычислительной техники.