Это хорошая статья. Для получения дополнительной информации нажмите здесь.
Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Чтобы узнать о других людях по имени Гарри Льюис, см. Гарри Льюис (значения) .

Гарри Р. Льюис
Гарри Льюис на собрании студентов Гарварда в 2002 году cropped.jpg
Родившийся1947 (73–74 года)
Бостон [1]
НациональностьАмериканец
ЗаголовокГордон Маккей, профессор компьютерных наук (1981– настоящее время),
декан Гарвардского колледжа (1995–2003 годы),
профессор Гарвардского колледжа (2003–2008 годы)
Супруг (а)Марлин МакГрат (1968-настоящее время) [1]
Академическое образование
ОбразованиеЛатинская школа Роксбери
Гарвардского университета
ТезисРасширения Хербранда и сокращение проблемы решения  (1974)
ДокторантБертон Дребен
Академическая работа
ДисциплинаИнформатика
Математическая логика
СубдисциплинаРазрешимость
Теория вычислений
УчрежденияГарвардская школа инженерных и прикладных наук
Докторанты
Известные студенты
Веб-сайтhttp://people.seas.harvard.edu/~lewis/

Гарри Рой Льюис (родился в 1947 г.) - американский ученый-компьютерщик, математик и администратор университета, известный своими исследованиями в области вычислительной логики , учебниками по теоретической информатике и работами по вычислениям, высшему образованию и технологиям. Он - профессор компьютерных наук Гарвардского университета Гордона Маккея и декан Гарвардского колледжа с 1995 по 2003 год.

Льюис был отмечен за его «особенно выдающийся вклад в обучение студентов»; среди его учеников были будущие предприниматели Билл Гейтс и Марк Цукерберг , а также многочисленные будущие преподаватели Гарварда и других школ. Веб-сайт «Шесть градусов к Гарри Льюису», созданный Цукербергом во время учебы в Гарварде, был предшественником Facebook .

Новая должность профессора инженерных и прикладных наук, предоставленная бывшим студентом, будет названа в честь Льюиса и его жены после их выхода на пенсию.

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

Льюис демонстрирует его старший дипломный проект, оборотень, с помощью видеосвязи класса в другой комнате [6] [L68]

Льюис родился в Бостоне [7] и вырос в Уэлсли, Масса-Chu-брусчатке . [8] Его родители были врачами - его отец был начальником анестезиологии больницы, а его мать руководила Деверской государственной школой для умственно отсталых детей . [9] Его отец был ветераном Второй мировой войны и сыном немецкого лютеранского отца и русской еврейки по матери. [10] После получения диплома с отличием в конце одиннадцатого класса латинской школы Роксбери в Бостоне.он поступил в Гарвардский колледж, где какое-то время был вратарём по лакроссу третьей струны . [8]

Льюис сказал, что он обнаружил: «Я не был настоящим математиком [однажды], когда я вышел из любительских лиг математики в средней школе», но был «чрезвычайно взволнован» возможностями исследований в области компьютерных наук в Гарварде. [L2] В старших классах он читал лекции в аспирантуре, используя программу компьютерной графики SHAPESHIFTER, которую он разработал для отображения преобразований комплексной плоскости на электронно-лучевой трубке . SHAPESHIFTER автоматически распознает формулы и команды, вводимые вручную с помощью пера на планшете RAND , и может быть «обучен» распознавать почерк отдельных пользователей. [6] [11] Как таковых программ на получение степени по информатике не существует.в то время в Гарварде [L2], в 1968 году Льюис получил степень бакалавра ( summa , Quincy House ) по прикладной математике [1] [12] и был избран в Phi Beta Kappa . [13]

Проработав два года математиком и специалистом по информатике в Национальном институте здравоохранения в Бетесде, штат Мэриленд , он провел год в Европе в качестве стипендиата Фредерика Шелдона . Затем он вернулся в Гарвард, где получил степень магистра в 1973 году и докторскую степень в 1974 году, после чего сразу же был назначен доцентом кафедры компьютерных наук. Он стал адъюнкт-профессором в 1978 году, а с 1981 года - профессором компьютерных наук Гордона Маккея [7].

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

Обучение [ править ]

Преподавание в 2012 году

Льюис отметил, что - в основном потому, что его карьера началась, когда область компьютерных наук «почти не существовала», а Гарвард почти не предлагал курсов по информатике для студентов бакалавриата - он создал почти все курсы, которые он преподавал. [16] Это было его предложение в конце 1970-х, чтобы Гарвард создал специальность специально для компьютерных наук [17] (которая до этого была ветвью программы Гарвардской прикладной математики). [L2]

С 2003 по 2008 год он был назначен профессором Гарвардского колледжа в знак признания «особо выдающегося вклада в обучение студентов». [18] Шесть его помощников преподавателя [19] теперь являются членами Гарвардского факультета [16], а многие другие - профессорами информатики (или смежных дисциплин) в других местах; [20] многие из них сами выиграли педагогические награды, в том числе Эрик Робертс ( Премия Карлстрома Ассоциации вычислительной техники ), [21] Николас Хортон ( Премия Роберта В. Хогга ), [22]Джозеф А. Констан (заслуженный преподаватель университета Миннесотского университета, диплом выпускника / профессиональная педагогическая награда) [23] и Марго Зельцер ( профессор компьютерных наук Херчела Смита в Гарварде, награда за преподавание Phi Beta Kappa, награда за преподавание Абрамсона). [24]

Среди его студентов-бакалавров были Марк Цукерберг (чей веб-сайт «Six Degrees to Harry Lewis» был предшественником Facebook  - шесть степеней были отсылкой к гипотезе маленького мира ), [Примечание 5] основатель Microsoft Билл Гейтс (который решил открытую теоретическую проблему Льюис описал в классе), [Примечание 1] и девять будущих профессоров Гарварда. [16]

Льюис является автором или соавтором трех учебников для студентов:

  • Введение в компьютерное программирование и структуры данных с использованием MACRO-11 (1981). [L81] MACRO-11 был ассемблером для компьютеров PDP-11 .
  • Элементы теории вычислений (1981, с Пападимитим ) [LP81] охватывает автоматы теория , теория сложности вычислений и теория формальных языков ; включение в нее теории сложности и математической логики было новаторским для своего времени. Его называют «превосходным традиционным текстом», но его лаконичный и сильно математический стиль может устрашать. Хотя он предназначен для студентов, он также использовался для вводных курсов для аспирантов.
  • Структуры данных и их алгоритмы (1991, с Ларри Дененбергом). [LD]

Льюис также преподает курс любительской легкой атлетики и социальной истории спорта в Америке. [7]

Декан Гарвардского колледжа [ править ]

На Хэллоуин 1982 года помощники Льюиса появились в его доме в костюме «Гарри Льюиса», включая его усы и трубку, ставшие тогда торговой маркой. Слева - будущий профессор Гарварда Марго Зельцер . [20]

В 1994 году Льюис соавтором «всеобъемлющего» Отчет о структуре Гарвардского колледжа , [26] [27] , а в 1995 году [18] он был назначен деканом Гарвардского колледжа, ответственный за внеклассных аспекты студенческой жизни. [28] В этом качестве он курировал ряд иногда спорных изменений в политике, включая изменения в рассмотрении заявлений о сексуальном насилии, реорганизацию программ общественного обслуживания колледжа, подавление употребления алкоголя несовершеннолетними и случайное распределение студентов по дома для старших классов (противодействие социальной сегрегации, существовавшей при прежней системе распределения в соответствии с предпочтениями учащихся). [Примечание 6] [1] [29]Он также настаивал на улучшении консультирования и здравоохранения. [1] [30] [31] Коллега сказал, что Льюис «изменил студенческую жизнь сильнее, чем кто-либо другой за последнее время». [32]

После инаугурации в 2001 году двадцать седьмого президента Гарвардского университета Лоуренс Саммерс , Льюис и Саммерс вступили в конфликт по поводу направления развития колледжа и его образовательной философии. [1] [33] [26] [34] Льюис, например, подчеркивал важность внеклассных занятий, советуя поступающим первокурсникам, что «гибкость в вашем расписании, неструктурированное время в течение дня и вечера, проводимые с друзьями, а не с книгами. все, в более широком смысле, необходимы для вашего образования », в то время как Саммерс жаловался на недостаточно интеллектуальный« Кэмп Гарвард »и увещевал студентов:« Вы здесь, чтобы работать, а ваше дело здесь - учиться ». [35] [L06] : 86-90[L1] После того, как Льюис опубликовал то, что The Harvard Crimson назвало «резким обвинением в том, что повышение интеллектуальной строгости должно быть приоритетом [колледжа]», указывая на то, что потенциальные работодатели проявляют меньший интерес к оценкам, чем к личным качествам, сформированным за пределами классной комнаты [33]  - он был безоговорочно отстранен от должности декана в марте 2003 года. [33] [36] [31] [1]

Льюис продолжал преподавать все время, пока был деканом. [18] В 2015 году он исполнял обязанности декана Гарвардской школы инженерии и прикладных наук . [37]

Письма об образовании и технологиях [ править ]

Льюис - научный сотрудник Гарвардского центра Беркмана по Интернету и обществу . [38] Помимо своих исследовательских публикаций и учебников, он написал ряд работ о высшем образовании и влиянии компьютеров на общество.

В значительной степени опираясь на его опыт декана Гарвардского колледжа, его « Превосходство без души: как великий университет забыл об образовании» (2006) критикует то, что он считает отказом американских университетов, включая Гарвард, от

фундаментальная задача бакалавриата  ... превращать восемнадцатилетних и девятнадцатилетних в двадцать одного и двадцатидвухлетних, помогать им расти, узнавать, кто они такие, искать более широкую цель за свою жизнь и бросить колледж лучшими людьми. [L06] : xii

В «Обновлении гражданской миссии американского высшего образования» (совместно с Эллен Кондлифф Лагеманн, 2012) Льюис предупреждает, что «процветающее множество достойных, но несогласованных программ вытеснило приверженность высшего образования общему благу»:

Продолжающаяся эрозия гражданских интересов в американском высшем образовании вызывает тревогу и опасность  ... [Колледжи] - естественное место для граждан, где они могут изучать ценности, выходящие за рамки их собственного личного благополучия, видеть себя частью общества взаимных прав и обязанностей. Они должны быть обстановкой, в которой участие в вопросах, касающихся справедливости и добродетели, имеет важное значение для повседневной жизни  ... Эффективное гражданское образование должно одновременно включать в себя способности учащихся мыслить интеллектуально, выносить моральные суждения и [принимать меры в ответ на эти суждения]  ... Свободные общества не будут процветать, если колледжи, аспирантуры и профессиональные училища не поймут, что гражданское здоровье нации является одной из их главных обязанностей. [LL]: 10-11

Разработанный на основе курса, преподаваемого его авторами, « Раздутый на биты: ваша жизнь, свобода и счастье после цифрового взрыва» (2008, с Хэлом Абельсоном и Кеном Ледином ) исследует истоки и последствия взрыва цифровой информации в 21-м веке, в том числе его влияние на культуру и конфиденциальность:

Теперь в принципе возможно запомнить все, что кто-то говорит, пишет, поет, рисует или фотографирует. Все  ... Глобальные компьютерные сети могут сделать его доступным повсюду в мире практически мгновенно. И компьютеры достаточно мощны, чтобы извлекать смысл из всей этой информации, находить закономерности и устанавливать связи в мгновение ока.

В прошлые века другие, возможно, мечтали об этом, в утопических фантазиях или в кошмарах. Но теперь они происходят. [ВСЕ] : xiii

«Бейсбол как второй язык: объяснение игры, которую американцы используют для объяснения всего остального» (самоиздан в качестве эксперимента в открытом доступе в 2011 году) [39] обсуждает множество способов, которыми концепции и образы бейсбола проникли в американский английский. [40] Он был вдохновлен опытом Льюиса, объясняющего бейсбол иностранным студентам. [39]

Исследование [ править ]

Льюис в своем офисе (2016)

Дипломная работа Льюиса, описывающая SHAPESHIFTER, «Два применения напечатанного вручную двумерного компьютерного ввода» [L68], была написана под руководством пионера компьютерной графики Айвена Сазерленда [7] и представлена ​​на 23-й Национальной конференции Ассоциации вычислительной техники в 1968 году. За этим последовало несколько статей по смежным темам. [11]

Большая часть последующих исследований Льюиса касалась вычислительной сложности задач математической логики . Его докторская диссертация «Расширения Хербранда и редукция проблемы принятия решений » была подготовлена Бертоном Дребеном и посвящена теореме Хербранда . [7] [41] Его книга 1979 года « Неразрешимые классы квантификационных формул» [L79] дополнила «Проблема решения: разрешимые классы квантификационных формул » Дребена и Уоррена Гольдфарба . [42]

В его статье 1978 года «Переименование набора предложений в набор Хорна» была рассмотрена проблема булевой выполнимости, заключающаяся в определении того, может ли логическая формула в конъюнктивной нормальной форме быть сделана истинной путем подходящего присвоения ее переменных. В общем, эти проблемы сложны, но есть два основных подкласса выполнимости, для которых известны решения за полиномиальное время : 2-выполнимость (где каждое предложение формулы имеет два литерала) и выполнимость по Хорну.(где каждое предложение имеет не более одного положительного литерала). Льюис расширил второй из этих подклассов, показав, что проблема все еще может быть решена за полиномиальное время, когда ввод еще не в форме Горна, но может быть переведен в форму Горна, заменив некоторые переменные их отрицаниями. Проблема выбора переменных, которые нужно отменить, чтобы каждое предложение получило два положительных литерала, превращая повторно подписанный экземпляр в набор Хорна, оказывается, выражаемым как экземпляр 2-выполнимости, другого разрешимого случая проблемы выполнимости. Решая экземпляр 2-выполнимости, чтобы превратить данный вход в набор Horn, Льюис показывает, что экземпляры, которые могут быть преобразованы в наборы Horn, также могут быть решены за полиномиальное время. [L78]Время для переназначения знака в исходной версии того, что Линдхорст и Шахрохи назвали «этим элегантным результатом» [43], составляло O  ( mn 2 ) для случая с m предложениями и n переменными, но его можно сократить до линейного времени , нарушив длинные предложения ввода на более мелкие предложения и применение более быстрого алгоритма 2-выполнимости. [44]

В статье Льюиса «Результаты о сложности для классов квантификационных формул» (1980 г.) рассматривается вычислительная сложность задач логики первого порядка . Такие проблемы в общем случае неразрешимы , но есть несколько специальных классов этих проблем, определяемых ограничением порядка, в котором появляются их кванторы, которые, как известно, разрешимы. Например, одним из этих специальных классов является класс Бернейса – Шенфинкеля . Для каждого из этих специальных классов Льюис устанавливает жесткие экспоненциальные временные границы для детерминированной или недетерминированной временной сложности . Например, он показывает, что класс Бернейса – Шенфинкеля - это NEXPTIME.-полная, а точнее, его недетерминированная временная сложность ограничена как сверху, так и снизу однократно экспоненциальной функцией входной длины. [L80] Бёргер , Грэдель и Гуревич пишут, что «эта статья положила начало исследованию сложности разрешимых классов проблемы принятия решений». [45]

«Логика конкретных временных интервалов» (1990) касалась темпоральной логики . [L90] Этот документ сопровождал более ранний технический отчет лаборатории вычислений Айкена «Анализ конечных состояний асинхронных схем с ограниченной временной неопределенностью», где он впервые предложил представление асинхронной схемы с ограниченной временной неопределенностью для событий перехода затвора в виде конечный автомат . Эта статья была самой ранней работой по проверке свойств времени, которая моделировала время как асинхронно, так и непрерывно, не дискретизируя время и не устанавливая глобальные часы. [46]

Некоторые другие широко цитируемые исследовательские работы Льюиса выходят за рамки логики. Его статья «Символьная оценка и глобальный график значений» (1977, со своим учеником Джоном Рейфом ) касалась анализа потока данных и символьного исполнения в компиляторах . [RL] И его статья «Симметричные вычисления с ограниченным пространством» (1982, с Христосом Пападимитриу ) [LP82] была первой, кто определил симметричные машины Тьюринга и классы сложности симметричного пространства, такие как SL ( неориентированный или обратимый аналог недетерминированного пространства.сложность, которая, как позже было показано, совпадает с детерминированным логарифмическим пространством ). [47] В 1982 году он возглавлял комитет по программам на симпозиуме по теории вычислений , [STOC] один из двух ведущих исследовательских конференций в теоретической информатике , рассматриваемых в широком смысле. [48]

Личный [ править ]

Льюис посетителей из Ralston колледжа и Доверительного управляющего жизни в Роксбери латинской школы . [49] С 1995 по 2003 год он был попечителем благотворительной организации Эдварда Хопкинса . [7] Журналист Washington Post Дэвид Фарентхолд - его зять; [50] Еще будучи студентом Гарварда, Фарентхолд писал о своем будущем тесте:

Я слышал, что если вы просидите у реки [то есть у реки Чарльз ] достаточно долго, появится декан колледжа Гарри Р. Льюис 68-го и раздаст наборы задач по информатике, чтобы вы вернулись к работе. [51]

Заметки [ править ]

  1. ^ a b Гейтс был второкурсником в классе комбинаторики Льюиса, когда Льюис поставил задачу сортировки блинов как «пример проблемы, которую легко описать, но [тем не менее] она не была решена». Гейтс принес решение Льюису через несколько дней после этого, а затем опубликовал его с помощью Христоса Пападимитриу , доцента Гарварда в то время. [2]
  2. ^ Лайнвебер стал финансовым аналитиком после того, как поступил в Гарвардскую аспирантуру по прикладной математике, намереваясь изучать компьютерную графику, но обнаружив, что курсы графики больше не преподаются. Льюис стал его «фактическим советником», направил его к более широким исследованиям и (благодаря своим связям с RAND Corporation ) помог ему получить первую работу. [3]
  3. ^ Зельцер работал для Льюисакачестве студентов ассистентом преподавателя в курсечто, спустя годы, она сама преподавала после вступления в Гарвардский факультет. [4]
  4. ^ Вадхан пишет, что изучение курса Льюиса в качестве студента «открыло мне глаза на глубокую и прекрасную теорию, на которой построена информатика ... Что я нашел необычным ... было то, что студенты могли узнать об открытых проблемах напереднем крае науки».поле - основные проблемы, к решению которых мы даже не приблизились - во вводном курсе ». Позже, творческий отпуск Льюиса в 2004 году дал Вадхану возможность самому преподавать тот же курс. [5]
  5. ^ a b В 2004 году Цукерберг писал Льюису:
    Профессор, я уже давно интересовался теорией графов и ее приложениями к социальным сетям, поэтому я провел небольшое исследование  ... которое связано с установлением связей между людьми через статьи, в которых они появляются из [ The Crimson , газета для студентов Гарварда ]. Я думал, что людям это будет интересно, поэтому я создал предварительный сайт, который позволяет людям находить связь (через людей и статьи) от любого человека к наиболее часто упоминаемому человеку в те временные рамки, на которые я смотрел. Этот человек - это вы.
    Я хотел спросить вашего разрешения на размещение этого сайта, так как в его названии есть ваше имя.
    После некоторого обсуждения Льюис дал свое одобрение: «Конечно, какого черта. Кажется безобидным». [25]
  6. ^ См. Гарвардский колледж §  Система домов .

Избранные публикации [ править ]

Исследования в области компьютерных наук [ править ]

  • Бёргер, Эгон (1981). Обзор неразрешимых классов количественных формул . Руководство по ремонту 0544668 .
  • Гуревич, Юрий (1982). «Рецензия на книгу: проблема решения: разрешимые классы квантификационных формул. Рецензия на книгу: неразрешимые классы квантификационных формул » . Бюллетень Американского математического общества . Новая серия. 7 (1): 273–277. DOI : 10.1090 / S0273-0979-1982-15033-9 . Руководство по ремонту  1567367 .

Компьютеры и общество [ править ]

  • Гасарх, Уильям (2009). «Обзор раздуваемых до битов » (PDF) . Колонка рецензирования на книгу. Новости ACM SIGACT . 40 (1): 10–13. DOI : 10.1145 / 1515698.1515701 . S2CID  8505768 .
  • Танака Окопник, Кат (31 августа 2008 г.). «Рецензия на книгу: разнесена на куски» . Linux Gazette . № 154.
  • «С полки: последние книги со связями в Гарварде» . Журнал Гарвардского университета . Июль – август 2008 г.
  • Интервью с авторами , Стэнфордский центр Интернета и общества

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

  • Галлье, Жан Х. (сентябрь 1984 г.). "Обзор: Элементы теории вычислений Гарри Р. Льюиса; Христос Х. Пападимитриу". Журнал символической логики . 49 (3): 989–990. DOI : 10.2307 / 2274157 . JSTOR  2274157 .
  • Гринлиф, Ньюкомб. «Введение математического образования в эпоху алгоритмов». В Myers, J. Paul, Jr .; О'Доннелл, Майкл Дж. (Ред.). Конструктивность в компьютерных науках: летний симпозиум Сан-Антонио, Техас, 19–22 июня 1991 г., Труды . Конспект лекций по информатике. 613 . Springer. С. 199–217. DOI : 10.1007 / bfb0021092 .См., В частности, стр. 205 .

Высшее образование [ править ]

  • Спящий, Джим (28 мая 2006 г.). «Изучение гражданского слайда Малинового» . Бостон Глоуб .
  • Ши, Кристофер (2 июля 2006 г.). «Ядовитый плющ: мужчина из Гарварда призывает школу пересмотреть свою миссию» . Вашингтон Пост .
  • Гасарх, Уильям (2007). «Обзор совершенства без души » (PDF) . Колонка рецензирования на книгу. Новости ACM SIGACT . 38 (1): 9–13. DOI : 10.1145 / 1233481.1233486 . S2CID  7768602 .
  • Рим, Тодд С. (весна 2013 г.). «Для чего нужен колледж? Общественная цель высшего образования» . Обзор высшего образования . 36 (3): 427–429. DOI : 10,1353 / rhe.2013.0035 . S2CID  143896301 .
  • Сесил, Кайл (2014). «Для чего нужен колледж? Общественная цель высшего образования» . Журнал по работе с высшим образованием и вовлеченности . 18 (2): 307–312.
  • Bettencourt, Genia M .; Кимбалл, Иезекиаль (2015). «Книжное обозрение: для чего нужен колледж? Общественная цель высшего образования». Журнал исследований и практики по делам студентов . 52 (2): 234–236. DOI : 10.1080 / 19496591.2015.1018271 . S2CID  155677946 .
  • Ролз, Кристин (12 октября 2012 г.). «10.« Для чего нужен колледж? Общественная цель высшего образования »под редакцией Эллен Кондлифф Лагеманн и Гарри Льюиса» . 10 обязательных к прочтению книг о высшем образовании в Америке. Монитор христианской науки .

Другое [ править ]

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

  1. ^ Б с д е е г Брэдли, Ричард (2005). Правила Гарварда: борьба за душу самого мощного университета мира (1-е изд.). HarperCollins. С.  229–242 . ISBN 978-0-06-056854-2.
  2. ^ Kestenbaum, Дэвид (4 июля 2008). «До Microsoft Гейтс решил блинную проблему» . Национальное общественное радио .
    • Гейтс, Уильям Х .; Пападимитриу, Христос Х. (1979). «Границы для сортировки по обращению префикса» (PDF) . Дискретная математика . 27 (1): 47–57. DOI : 10.1016 / 0012-365X (79) 90068-2 .
  3. ^ Линдси, Ричард Р .; Шахтер, Барри, ред. (2011). Как я стал количественным: мнения 25 представителей элиты Уолл-стрит . Джон Вили и сыновья. п. 13. ISBN 9781118044759.
  4. ^ Кроми, William J. (28 сентября 2000). «Делая все это вычисляемым: Блэкбелт, профессор, мама, Зельцер объединяет карьеру и семью» . Harvard Gazette .
  5. ^ «Салил Вадхан: красота информатики» . Профили факультетов . Гарвардская школа инженерии и прикладных наук Джона А. Поулсона . Проверено 3 апреля 2017 года .
  6. ^ a b Крамер, Джоэл Р. (9 ноября 1967 г.). «Компьютер перестает считать, рисует» . Гарвардский малиновый .
  7. ^ a b c d e f "Биографические данные Гарри Льюиса" . Lewis.seas.harvard.edu . Проверено 21 марта 2017 .
  8. ^ a b Рошельсон, Дэвид Б. (29 апреля 2003 г.). "Легкая атлетика университета защитника Льюиса" . Гарвардский малиновый .
  9. ↑ Король, Мэри Сара (21 декабря 1969). "Доктор Энн Х. Льюис, руководитель Государственной школы Девера". Бостон Глоуб . стр. A19.
  10. ^ Льюис, Гарри Р. (2002). «2002: Америка и обзор учебных программ» . Гарвардский университет . Мой отец, сын немецкого лютеранского иммигранта с одной стороны и русского еврейского иммигранта с другой, должно быть, задавался вопросом, с кем именно были побежденные и спасенные люди, с которыми он столкнулся, когда служил в армии в Европе.
  11. ^ a b «Интерактивная программа для экспериментов с преобразованиями комплексной плоскости»; Труды 23-й Национальной конференции Ассоциации вычислительной техники , 1968 г .; стр. 717–724
    • «Средство интерактивной графики под монитором с разделением времени PDP-10/50»; Материалы конференции DECUS Fall 1969 ; стр. 59–62
    • «Методы создания, манипулирования и управления хранением файлов отображения типа 340»; Материалы конференции DECUS Fall 1969 ; стр. 67–74
    • «Устройство, заставляющее планшет Rand действовать как световое перо»; Материалы конференции DECUS Spring 1970 ; стр. 249–251 (с Малкольмом К. Брюсом)
  12. ^ Rochelson, Дэвид Б. (30 апреля 2003). «Фонд почетных защитников разнообразия» . Гарвардский малиновый .
  13. ^ "ПБК избирает" . Гарвардский малиновый . 16 ноября 1967 г.
  14. ^ Debenedictis, Юлия Евгеньевна (28 февраля 2017). «Гарри Льюис уйдет на пенсию через 46 лет» . Гарвардский малиновый .
  15. ^ «Я выбираю Гарвард: Лоуренс Лебовиц '82, MBA'88 | Истории | Выпускники Гарварда» . Alumni.harvard.edu . 2017-03-17 . Проверено 21 марта 2017 .
  16. ^ a b c Льюис, Гарри Р. (1 марта 2017 г.). «Странный факт о моей педагогической карьере» . Биты и кусочки .
  17. ↑ Го, Синтия (18 февраля 2016 г.). «Профессор Гарри Льюис» . Гарвардский малиновый .
  18. ^ a b c МакГриви, Сью (22 мая 2003 г.). «Пять учителей удостоены звания профессора Гарвардского колледжа | Harvard Gazette» . News.harvard.edu .
  19. ^ "Учителя | Гарри Р. Льюис" . Lewis.seas.harvard.edu . Проверено 21 марта 2017 .
  20. ^ a b Льюис, Гарри Р. (4 октября 2012 г.). «Семейное фото к 30-летию» . Биты и кусочки .
  21. ^ "Премия ACM Karl V. Karlstrom выдающемуся педагогу - победители премии: список в алфавитном порядке" . Awards.acm.org . Проверено 21 марта 2017 .
  22. ^ "SIGMAA по статистике образования" . Sigmaa.maa.org . Проверено 21 марта 2017 .
  23. ^ «Премия за выдающийся вклад в аспирантуру, аспирантуру и профессиональное образование» . Ученые идут . Университет Миннесоты . 6 марта 2017 . Проверено 21 марта 2017 .
  24. ^ "Марго И. Зельцер | Гарвардская школа инженерных и прикладных наук Джона А. Полсона" . Seas.harvard.edu . Проверено 21 марта 2017 .
  25. ↑ Льюис, Гарри Р. (7 ноября 2011 г.). «Мой реальный вклад в рождение Facebook» . Биты и кусочки .
    • Льюис, Гарри Р. (19 мая 2012 г.). «Мой РЕАЛЬНЫЙ вклад в рождение Facebook (II)» . Биты и кусочки .
    • Киркпатрик, Дэвид (2010). Эффект Facebook: внутренняя история компании, объединяющей мир . Саймон и Шустер. п. 26. ISBN 9781439109809. Он также написал программу, которую назвал «Шесть степеней Гарри Льюиса», в честь любимого профессора информатики.
    • Таннер, Адам (2014). «Загадка вашей личности: шесть градусов к Гарри Льюису». Что остается в Лас-Вегасе: мир персональных данных - источник жизненной силы большого бизнеса - и конец конфиденциальности, какой мы ее знаем . PublicAffairs. п. 97 . ISBN 9781610396394.
    • Гуань, Эми; Джайн, Радхика (8 апреля 2011 г.). «Молодые предприниматели отложили обучение в колледже» . Гарвардский малиновый .
  26. ^ a b Бленкинсопп, Александр Дж .; О'Брайен, Ребекка Д. (5 июня 2003 г.). «Построение деканства: работа одного человека» . Гарвардский малиновый .
  27. ↑ Комитет по структуре Гарвардского колледжа (19 августа 1994 г.). Отчет о структуре Гарвардского колледжа. Представлено декану факультета искусств и наук (PDF) (Отчет). п. 83.
  28. ^ "Льюис Вынужден: декан колледжа оставить пост после почти восьми лет" . Гарвардский малиновый . 18 марта 2003 г.
  29. ↑ Macmillan, Valerie J. (31 января 1996 г.). «Срок суда Льюиса» . Гарвардский малиновый .
  30. ^ «Льюис, чтобы завершить службу, поскольку офисы колледжа объединяются» . Harvard Gazette . 20 марта 2003 г.
  31. ^ а б «Деконструкция деканата колледжа» . Журнал Джона Гарварда. Журнал Гарвардского университета . Май – июнь 2003 г.
  32. ^ Шоу, Джонатан. «Дань Гарри Льюису» . Журнал Гарвардского университета .
  33. ^ a b c Теодор, Элизабет С .; Васкелларо, Джессика Э. (18 марта 2003 г.). «Отъезд Льюиса может означать сдвиг в приоритетах колледжа» . Гарвардский малиновый .
  34. ^ Blenkinsopp, Александр J. (5 июня 2003). «Декан изгнан из-за встряски колледжа» . Гарвардский малиновый .
    • «Льюис заслужил лучшего» . Гарвардский малиновый . 18 марта 2003 г.
    • Искатель, Алан; Хили, Патрик; Зернике, Кейт (22 февраля 2006 г.). «Президент Гарварда уходит в отставку, заканчивая бурное пятилетнее пребывание в должности» . Нью-Йорк Таймс .
    • Тобин, Сюзанна Б. (2 июня 2003 г.). «Достойный противник» . Гарвардский малиновый .
  35. ↑ Кесслер, Джадд Б. (8 апреля 2003 г.). «168-часовая неделя» . Гарвардский малиновый .
  36. ^ Фрайнберг, Энтони С. (21 марта 2003). "Развенчание 'Camp Harvard ' " . Гарвардский малиновый .
  37. ^ "Новый декан SEAS | Гарвардская школа инженерии и прикладных наук Джона А. Полсона" . Seas.harvard.edu . 2015-05-14 . Проверено 21 марта 2017 .
  38. ^ "Люди | Центр Беркмана Кляйна" . Cyber.law.harvard.edu . Архивировано из оригинала на 2015-09-09 . Проверено 21 марта 2017 .
  39. ^ a b c Льюис, Гарри Р. (18 августа 2011 г.). «Бейсбол как второй язык» . Биты и кусочки .
  40. ^ «Lingua Branca: Гарри Льюис объясняет, как бейсбол объясняет все» . Журнал Джона Гарварда. Журнал Гарвардского университета . Март – апрель 2012 г.
  41. ↑ Гарри Рой Льюис в проекте « Математическая генеалогия»
  42. ^ Дребен, Бертон ; Гольдфарб, Уоррен Д. (1979). Проблема решения: разрешимые классы квантификационных формул . Эддисон-Уэсли.
  43. ^ Линдхорст, Грег; Шахрохи, Фархад (1989). «О переименовании набора статей в набор Рогов». Письма об обработке информации . 30 (6): 289–293. DOI : 10.1016 / 0020-0190 (89) 90229-9 . Руководство по ремонту 0994523 . 
  44. ^ Aspvall Бенгт (1980). «Распознавание замаскированных NR (1) примеров проблемы выполнимости». Журнал алгоритмов . 1 (1): 97–103. DOI : 10.1016 / 0196-6774 (80) 90007-3 . Руководство по ремонту 0578079 . 
  45. ^ Бёргер, Эгон ; Грэдель, Эрих; Гуревич, Юрий (1997). Классическая проблема решения . Перспективы математической логики. Берлин: Springer-Verlag. п. 456. DOI : 10.1007 / 978-3-642-59207-2 . ISBN 978-3-540-57073-8. Руководство по ремонту  1482227 .
  46. ^ Дилл, Дэвид Л. (1990). «Временные предположения и проверка параллельных систем с конечным числом состояний». Методы автоматической проверки для систем с конечным числом состояний: Международный семинар, Гренобль, Франция, 12–14 июня 1989 г., Труды . Конспект лекций по информатике. 407 . Springer-Verlag. С. 197–212. ISBN 3-540-52148-8.
  47. ^ Мур, Кристофер ; Мертенс, Стефан (2011). «8.10 Симметричное пространство». Природа вычислений . Издательство Оксфордского университета, Оксфорд. DOI : 10.1093 / acprof: oso / 9780199233212.001.0001 . ISBN 978-0-19-923321-2. Руководство по ремонту  2849868 .
  48. ^ Фич, Вера (1996). «Инфраструктурные вопросы, связанные с теорией компьютерных исследований». ACM Computing Surveys . 28 (4es): 217 – es. CiteSeerX 10.1.1.53.7882 . DOI : 10.1145 / 242224.242502 . .
  49. ^ «Наши попечители» . Roxburylatin.org . Проверено 21 марта 2017 .
  50. ^ «Элизабет Льюис и Дэвид Фарентхолд» . Нью-Йорк Таймс . 21 августа 2005 г.
  51. ^ Fahrenthold, David A. (22 мая 2000). «Взгляд в будущее» . Гарвардский малиновый .

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

  • Блог Льюиса " Bits and Pieces "
  • Старый блог Льюиса " Раздуто вдребезги "