WikiDer > Кеннет Э. Айверсон
Кеннет Юджин Айверсон | |
---|---|
Родившийся | Камроуз, Альберта, Канада | 17 декабря 1920 г.
Умер | 19 октября 2004 г. | (83 года)
Гражданство | Канадский |
Альма-матер | Королевский университет Гарвардский университет |
Известен | Языки программирования: APL, J |
Награды | Сотрудник IBM Премия памяти Гарри Х. Гуда Премия Тьюринга Премия Computer Pioneer |
Научная карьера | |
Поля | Математика Информатика |
Учреждения | Гарвардский университет IBM I. P. Sharp Associates Jsoftware Inc. |
Тезис | Машинные решения линейных дифференциальных уравнений - приложения к динамической экономической модели (1954) |
Докторант | Говард Эйкен Василий Леонтьев |
Кеннет Юджин Айверсон (17 декабря 1920 - 19 октября 2004) был канадцем специалист в области информатики отмечен за развитие языка программирования APL. Он был удостоен награды Премия Тьюринга в 1979 году «за его новаторские усилия в языках программирования и математической нотации, результатом которых стало то, что в области вычислений теперь известно как APL; за его вклад в реализацию интерактивных систем, в образовательное использование APL, а также в теорию и практику языков программирования».[1]
Жизнь
Кен Айверсон родился 17 декабря 1920 г. Camrose, город в центре Альберта, Канада. Его родители были фермерами, приехавшими в Альберту из Северная Дакота; его предки произошли от Тронхейм, Норвегия.[2]
В течение Вторая Мировая Война, он служил первым в Канадская армия а затем в Королевские ВВС Канады.[2][3] Он получил степень бакалавра искусств. степень от Королевский университет и M.Sc. и к.т.н. градусов от Гарвардский университет. За свою карьеру он работал на Гарвард, IBM, I. P. Sharp Associatesи Jsoftware Inc. (урожденная Iverson Software Inc.).
Айверсон перенес инсульт во время работы за компьютером на новом J lab 16 октября 2004 г. и умер 19 октября 2004 г. в возрасте 83 лет.[4]
Образование
Айверсон пошел в школу 1 апреля 1926 г. однокомнатная школа,[3] Первоначально учился в 1 классе, через 3 месяца перешел во 2 класс, а к концу июня 1927 г. - в 4 класс. После 9 класса он бросил школу, потому что это было самое плохое. Великая депрессия и нужно было поработать семейная ферма, и потому что он думал, что дальнейшее обучение приведет только к тому, чтобы стать учителем, и у него не было никакого желания им становиться. В 17 лет, еще не посещая школу, он записался на заочный курс радиосвязи с De Forest Training в Чикаго, и выучил математический анализ самостоятельно по учебнику.[3][5]В течение Вторая Мировая Война, служа в Королевские ВВС Канады, он прошел заочные курсы для получения аттестата об окончании средней школы.
После войны Айверсон поступил в Королевский университет в Кингстон, Онтарио, воспользовавшись государственной поддержкой бывших военнослужащих и под угрозой со стороны приятеля из ВВС, который сказал, что «вышибет себе мозги, если он не воспользуется возможностью».[3] Он закончил учебу в 1950 году как лучший студент с Степень бакалавра в математика и физика.[2]
Продолжая свое образование в Гарвардский университет, он начал с факультета математики и получил Степень магистра в 1951 году. Затем он перешел на факультет инженерной и прикладной физики, работая с Говард Эйкен и Василий Леонтьев.
Кеннет Айверсон вспомнил учебу в аспирантуре у Эйкена как «как ученичество», в котором студент «изучал инструменты торговли стипендиями». Каждая тема «использовалась больше как фокус для развития таких навыков, как ясность мысли и выражения, чем как самоцель». После зачисления в программу аспирант проходит обряд «принятия в лоно». Ему дали стол (или часть стола) среди группы других аспирантов, постоянного персонала или приглашенных ученых, «большинство из которых были вовлечены в некоторые аспекты проектирования и создания компьютеров». Таким образом, студента «заставляли чувствовать себя частью научного предприятия» и предоставляли «часто впервые, легкий и близкий доступ к другим, более опытным в выбранной им области».
— И. Бернард Коэн, Говард Эйкен: портрет компьютерного пионера, MIT Press, 1999, стр. 215.[6]
Во время интервью с Айкеном я спросил его, можем ли мы с Троппом увидеть его конспекты лекций; Айкен ответил, что он всегда уничтожал свои конспекты лекций в конце каждого года, чтобы у него не возникало соблазна повторять свои лекции.
— И. Бернард Коэн и Грегори У. Велч, редакторы, Makin 'Numbers, MIT Press, 1999, стр. xvi.[7]
Говард Эйкен разработал Гарвард Марк I, один из первых крупных цифровых компьютеров, а Василий Леонтьев был экономистом, который разрабатывал модель ввода-вывода экономического анализа, работа, за которую он позже получит Нобелевская премия. Модель Леонтьева требовала больших матриц, и Айверсон работал над программами, которые могли оценивать эти матрицы на Гарвард Марк IV компьютер. Айверсон получил Кандидат наук. в Прикладная математика в 1954 г. защитил диссертацию по этой работе.[8][9]
В Гарварде Айверсон встретил Эоина Уитни, дважды Putnam Fellow и сокурсник из Альберты.[10][11] Это имело последствия в будущем.
Работа
Гарвард (1955–1960)
Айверсон остался в Гарварде в качестве доцент реализовать первую в мире аспирантуру по «автоматической обработке данных».[14][15][16]
Многие думают, что Айкен интересовался только научный компьютеры. Это было просто не так. Во время одного часа кофе Айкен повернулся к Кену Айверсону, который только что защитил докторскую диссертацию, и сказал: «Эти машины будут чрезвычайно важны для бизнеса, и я хочу, чтобы вы подготовили и провели курс по обработке бизнес-данных. следующей осенью ". Такого курса нигде в мире не было. Кен получил квалификацию только потому, что был математиком. Я был так взволнован перспективой, что немедленно вызвался стать ассистентом Кена в аспирантуре.
— Фредерик Брукс мл., Эйкен и Гарвардская "Comp Lab", в И. Бернарде Коэне и Грегори В. Велче, редакторах, Макин числа, MIT Press, 1999, стр. 141.[7]
Именно в этот период Айверсон разработал нотацию для описания и анализа различных тем в обработке данных, для учебных классов и для письма (с Бруксом). Автоматическая обработка данных.[17] Он был «потрясен», обнаружив, что обычные математические обозначения не удовлетворяют его потребности, и начал работу над расширениями обозначений, которые были более подходящими. В частности, он принял матричную алгебру, используемую в его дипломной работе, систематическое использование матриц и многомерных массивов в тензор анализ, а операторы в смысле Хевисайд в его обращении с Уравнения Максвелла, функции высшего порядка на аргументе (ах) функции с результатом функции.[3] Нотация была также опробована в деловом мире в 1957 году во время шестимесячного творческого отпуска, проведенного в McKinsey & Company.[3][18] Первая опубликованная статья с использованием обозначений была Описание конечных последовательных процессов., первоначально отчет № 23 на Bell Labs а затем переработан и представлен на Четвертом Лондонском симпозиуме по теории информации в августе 1960 года.[12][19]
Айверсон проработал в Гарварде пять лет, но не получил должности, потому что «[он не] опубликовал ничего, кроме одной маленькой книжки».[2]
IBM (1960–1980)
Айверсон присоединился IBM Research в 1960 году (и удвоил зарплату).[3] Ему предшествовал IBM Фред Брукс, который посоветовал ему «придерживаться того, чем [он] действительно хотел заниматься, потому что менеджмент так жаждал идей, что все, что не было явно сумасшедшим, могло найти поддержку». В частности, ему разрешили закончить и опубликовать Язык программирования[19][20] и (с Бруксом) Автоматическая обработка данных,[17] две книги, в которых описаны и использованы обозначения, разработанные в Гарварде. (Автоматическая обработка данных и Язык программирования начиналась как одна книга, «но материал рос как по размеру, так и по уровню, пока разделение не оказалось разумным».[17][20])
В IBM Айверсон вскоре познакомился Адин Фалькофф, и они работали вместе в течение следующих двадцати лет. Глава 2 Язык программирования использовал обозначения Айверсона для описания IBM 7090 компьютер.[19][20] В начале 1963 года Фалькофф, к которому позже присоединились Айверсон и Эд Сассенгут, перешел к использованию обозначений для формального описания IBM System / 360 компьютер тогда в стадии разработки.[21] Результат был опубликован в 1964 году в двойном выпуске журнала IBM Systems Journal.[22] впоследствии известный как «серая книга» или «серая инструкция». Книга использовалась в курсе по проектированию компьютерных систем в Институте системных исследований IBM.[22] Следствием формального описания было то, что оно привлекло интерес ярких молодых умов.[3][23] Один очаг интереса находился на Стэндфордский Университет который включал Ларри Брид, Фил Абрамс, Роджер Мур, Чарльз Бреннер,[24] и Майк Дженкинс,[25][26] все они позже сделали взносы в APL. Дональд Макинтайр, руководитель геологии в Помона Колледж у которого была первая общая клиентская установка системы 360, использовало формальное описание, чтобы стать более опытным, чем системный инженер IBM, назначенный Помоне.[3][27]
Завершив формальное описание, Фалькофф и Айверсон обратили внимание на реализацию. Эта работа была реализована в 1965 году, когда Ларри Брид и Фил Абрамс присоединился к проекту. К осени 1965 года они создали реализацию на базе FORTRAN на 7090 под названием IVSYS (для системы Iverson), сначала в пакетном режиме, а затем, в начале 1966 года, в интерактивном режиме с разделением времени.[24][28][29] Впоследствии Порода, Дик Латвелл (бывший Университет Альберты) и Роджер Мур (из I. P. Sharp Associates) произвел реализацию System / 360;[30] трое получили Премия Грейс Мюррей Хоппер в 1973 г. «За их работу по разработке и внедрению APL 360, установившую новые стандарты простоты, эффективности, надежности и времени отклика для интерактивных систем».[31] Пока шла работа по реализации 360 "Нотация Иверсона"[29][32] был переименован Фалькоффом в "APL".[33] Рабочее пространство «1 чистое пространство» сохранено 27.11.1966 в 22:53:58 универсальное глобальное время.[23] Сервис APL 360 начался в IBM за несколько недель до этого.[34] и вне IBM в 1968 году.[28] Дополнительную информацию о реализации APL 360 можно найти в Благодарностях Руководство пользователя APL 360[35] и в «Приложении. Хронология развития APL» Дизайн APL.[21]
Формальное описание и особенно реализация стимулировали эволюцию языка, процесс консолидации и регуляризации в типографике, линеаризации, синтаксисе и определении функций, описанных в История APL 360,[38] Дизайн APL,[21] и Эволюция APL.[18] Два трактата этого периода, Соглашения, регулирующие порядок оценки[39] и Алгебра как язык,[40] являются апологетикой нотации APL.
Эта нотация использовалась Фалькоффом и Айверсоном для преподавания различных тем в различных университетах и в Институте системных исследований IBM.[21][38] В 1964 году Айверсон использовал нотацию в односеместровом курсе для старшеклассников в Fox Lane High School, дневная,[33][41] а позже в Свортморская средняя школа.[3] После того, как APL стал доступен, его первым приложением стало обучение формальным методам проектирования систем в НАСА Годдард.[38][42] Он также использовался в Школа Гочкиса,[24] Колледж Нижней Канады,[43] Scotch Plains High School, дневная,[44] Государственные школы Атланты,[45][46] среди прочего. В одной школе ученики так захотели, что ворвались в школу в нерабочее время, чтобы получить больше компьютерного времени APL;[23][47] в другом энтузиасты APL направили новичков в БАЗОВЫЙ так, чтобы максимизировать собственное время APL.[24]
В 1969 году Айверсон и группа APL открыли IBM Philadelphia Scientific Center.[28][38] В 1970 году ему присвоено имя Сотрудник IBM.[48] Он использовал финансирование, полученное благодаря стипендии IBM, чтобы привлечь учителей и профессоров из различных областей, включая Дональда Макинтайра из Помоны.[27] и Джефф Шаллит как летний студент.[23] В течение нескольких месяцев посетители начали использовать APL для выставок на своих полях, и была надежда, что позже они продолжат использование APL в своих домашних учреждениях.[49] Работа Айверсона в то время была сосредоточена в нескольких дисциплинах, включая совместные проекты в области теории цепей, генетики, геологии и математического анализа.[50][51][52][53] Когда PSC закрылся в 1974 году,[28][33] некоторые из группы переехали в Калифорнию, в то время как другие, включая Айверсона, остались на Востоке, а затем вернулись в IBM Research. Айверсон получил Премия Тьюринга в 1979 г.[1]
В следующей таблице перечислены публикации, автором или соавтором которых является Айверсон, пока он работал в IBM. Они отражают два основных направления его работы.
- Образование
- Автоматическая обработка данных[17]
- Элементарные функции: алгоритмическое лечение[41]
- Использование APL в обучении[54]
- Использование компьютера для вычислений[55]
- Алгебра: алгоритмическое лечение[56]
- APL в экспозиции[57]
- Введение в APL для ученых и инженеров[58]
- Знакомство с APL для учителей[59]
- Элементарный анализ[60]
- Стиль программирования в APL[61]
- Языковой дизайн и реализация
- Язык программирования[20]
- Язык программирования[62]
- Общий язык для оборудования, программного обеспечения и приложений[63]
- Обозначения программирования в системном дизайне[64]
- Формализм в языках программирования[65]
- Метод спецификации синтаксиса[66]
- Формальное описание системы / 360[22]
- Руководство пользователя APL 360[35]
- Связь в системах APL[67]
- Дизайн APL[21]
- APL как аналитическая нотация[68]
- Руководство пользователя APLSV[69]
- Язык APL[70]
- Два комбинаторных оператора[71]
- Эволюция APL[18]
- Операторы и функции[72]
- Роль операторов в APL[73]
- Оператор производной[74]
- Операторы[75]
- Обозначение как инструмент мысли[1]
I. P. Sharp Associates (1980–1987)
В 1980 году Айверсон покинул IBM, чтобы I. P. Sharp Associates,[78][79] APL совместное времяпровождение Компания. Там ему предшествовали его коллеги по IBM Пол Берри, Джои Таттл, Дик Латвелл, и Юджин МакДоннелл. В IPSA группой языков и систем APL руководил Эрик Айверсон (сын Кена Айверсона); Роджер Мур, один из разработчиков APL 360, был вице-президентом.
Айверсон работал над развитием и расширением APL по направлениям, представленным в Операторы и функции.[72][80] Языковая работа получила импульс в 1981 году, когда Артур Уитни и Айверсон создал модель APL, написанную на APL[81][82] в то же время они работали над IPSA OAG база данных.[2][11][83] (Айверсон познакомил Артура Уитни, сына Эоина Уитни, с APL, когда ему было 11 лет.[11] а в 1974 рекомендовал его на летнюю студенческую должность в IPSA. Калгари.[23]) В модели синтаксис APL управлялся таблицей 11 на 5. Уитни также изобрела оператор ранга в процессе.[84] Дизайн языка был дополнительно упрощен и расширен в Рационализированный APL[85] в январе 1983 г. несколько изданий Словарь языка APL с 1984 по 1987 год, и Словарь APL[86] в сентябре 1987 года. В IPSA фраза «словарь APL» вошла в употребление для обозначения APL, определяемого Словарь APL, сам именуемый «словарем». В словаре синтаксис APL управляется таблицей 9 на 6, а процесс синтаксического анализа был точно и лаконично описан в таблице 2, и есть примитив (монадический ⊥, смоделированный в APL) для словообразования (лексика).
В 1970-х и 1980-х годах основными поставщиками APL были IBM, STSC, и IPSA, и все трое были активны в развитии и расширении языка. У IBM был APL2, основанный на работе Джим Браун.[87][88][89] Работа над APL2 продолжалась с перебоями в течение 15 лет,[28] Фактическое программирование началось в 1971 году, а APL2 стал доступен как IUP (установленная пользовательская программа, классификация продуктов IBM) в 1982 году. У STSC была экспериментальная система APL под названием NARS, разработанная и реализованная Бобом Смитом.[90][91] NARS и APL2 принципиально отличались от словаря APL,[92] и отличались друг от друга.
И. Sharp реализовала новые идеи APL поэтапно: комплексные числа,[93] закрытые (упакованные) массивы, сопоставления и операторы композиции в 1981 г.,[94] детерминантный оператор в 1982 г.,[95] и оператор ранга, связь, а также функции левого и правого тождества в 1983 г.[96] Однако домены операторов по-прежнему ограничивались примитивными функциями или их подмножествами. В 1986 году IPSA разработала SAX,[76][97] SHARP APL / Unix, написанный на C и основанный на реализации STSC. Язык был таким, как указано в словаре, без ограничений по доменам операторов. Альфа-версия SAX стала доступна в I.P. Резко примерно в декабре 1986 или начале 1987 года.
В образовании Айверсон разработал Мини-курс SHARP APL[98][99] используется для обучения клиентов IPSA использованию APL, и Прикладная математика для программистов[100] и Математика и программирование[101] которые использовались в курсах информатики в T.H. Твенте.
Публикации, автором или соавтором которых является Иверсон, пока он учился в I. P. Sharp Associates:
- Образование
- Языковой дизайн и реализация
- Операторы и закрытые массивы[102]
- Прямое определение[103]
- Состав и корпус[94]
- Оператор определения функции[104]
- Детерминантные функции, производимые оператором точки[95]
- Практическое использование модели APL[81]
- Рационализированный APL[85]
- Синтаксис и семантика APL[82]
- Расширения языков в мае 1983 г.[96]
- Операторное исчисление[105]
- APL87[106]
- Словарь APL[86]
- Обработка естественного языка: синтаксические и семантические механизмы[107]
Jsoftware (1990–2004 гг.)
Айверсон ушел из I.P. Sharp Associates в 1987 году. Он был занят «в перерывах между работой». Что касается языкового дизайна, наиболее значительным из его действий в этот период было изобретение «вилки» в 1988 году.[110] В течение многих лет он изо всех сил пытался найти способ записать f + g, как в исчислении, на основе «скалярных операторов» 1978 года,[72] через оператор "til" в 1982 г.,[81][85] операторы цепочки и преобразования в 1984 году,[105] операторы объединения и пересечения в 1987 г.,[86] «иго» в 1988 г.,[111] и наконец вилки в 1988 году. Вилки определяются следующим образом:
(f g h) y | ←→ | (f y) g (h y) | |
x (f g h) y | ←→ | (x f y) g (x h y) |
Кроме того, (f g p q r) ← → (f g (p q r)). Таким образом, чтобы написать f + g как в исчислении, можно написать f + g в APL. Айверсон и Юджин МакДоннелл проработал детали длительных перелетов на конференцию APL88 в Сиднее, Австралия, и Айверсон предложил первоначальную идею, как проснуться от сна.[84][112][80]:§1.3,§3.8
Айверсон представил обоснование своей работы в 1987 году следующим образом:[15]
Когда я уволился с оплачиваемой работы, я снова обратил свое внимание на этот вопрос [использование APL для обучения] и вскоре пришел к выводу, что основным необходимым инструментом является диалект APL, который:
- • Доступно как «условно-бесплатное ПО» и достаточно недорого, чтобы его могли приобрести как ученики, так и школы.
- • Возможность печати на стандартных принтерах
- • Работает на самых разных компьютерах.
- • Обеспечивает простоту и универсальность последних идей в APL.
Результат был J, впервые было сообщено в [ APL 90 Conference Proceedings].[113]
Роджер Хуэй описал последний импульс, который заставил J начать работу в Приложении А к Реализация J:[114]
В один летний уикенд 1989 года, Артур Уитни посетил Кена Айверсона на обжиговой ферме и подготовил - на одной странице и за один день - фрагмент переводчика на Компьютер AT&T 3B1. Я изучал этот интерпретатор около недели на его организацию и стиль программирования; и в воскресенье, 27 августа 1989 года, около четырех часов дня, написал первую строку кода, которая стала реализацией, описанной в этом документе. Фрагмент одностраничного интерпретатора Артура выглядит следующим образом: ...
Хуэй, одноклассник Уитни по Университет Альберты, учился Словарь языка APL когда он был между работами,[3] смоделировал процесс синтаксического анализа как минимум двумя способами,[84] и исследовал использование словаря APL в различных приложениях.[115] Кроме того, с января 1987 года по август 1989 года он имел доступ к SAX,[76] и в более позднюю часть этого периода использовал его ежедневно.[84]
J изначально взял Словарь APL[86] как спецификация, а интерпретатор J был построен на основе таблицы 2 словаря. Данные и программные структуры C были разработаны таким образом, чтобы таблица синтаксического анализа в C соответствовала непосредственно таблице синтаксического анализа в словаре.[84] Оглядываясь назад, можно сказать, что статья Айверсона APL87 APL87,[106] на пяти страницах прописаны все основные этапы написания интерпретатора APL, в частности разделы по словообразованию и синтаксическому анализу. Артур Уитни, в дополнение к «одностраничной штуке», внесла свой вклад в разработку J, предложив, чтобы примитивы были ориентированы на ведущую ось, что соглашение (обобщение скалярного расширения) должно быть префиксом вместо суффикса,[116] и что должен быть определен общий порядок массива.[117]
Одна из задач заключалась в реализации форка. Это оказалось довольно просто, добавив еще одну строку в таблицу синтаксического анализа. Выбор вилок был случайным и удачным. Это было реализовано позже[118][119] что вилки сделали молчаливые выражения (операторные выражения) завершаются в следующем смысле: любое предложение, содержащее один или два аргумента, которые не использовали свои аргументы в качестве операнда, может быть неявно записано с помощью fork, compose, левых и правых функций идентичности и константных функций.
Два очевидных различия между J и другими диалектами APL: (а) использование терминов из естественных языков, а не из математики или информатики (практика началась с Словарь APL): существительное, глагол, наречия, алфавит, словообразование, предложение, ... вместо массива, функция, оператор, набор символов, лексика, выражение, ...; и (b) использование 7-битных символов ASCII вместо специальных символов. Другие различия между J и APL описаны в J для программиста APL[120] и APL и J.[121]
Исходный код J доступен в Jsoftware под Стандартная общественная лицензия GNU версия 3 (GPL3) или коммерческая альтернатива.[122]
Эрик Айверсон основал Iverson Software Inc. в феврале 1990 года, чтобы предоставить улучшенный продукт SHARP APL / PC. Вскоре стало очевидно, что существуют общие интересы и цели, и в мае 1990 года Айверсон и Хуэй присоединились к Iverson Software Inc .; позже к нему присоединился Крис Берк. Вскоре компания стала J only. В апреле 2000 года название было изменено на Jsoftware Inc.[84]
Публикации, автором или соавтором которых является Иверсон, когда он работал в Iverson Software Inc. и Jsoftware Inc.:
- Образование
- Языковой дизайн и реализация
Награды и отличия
- Сотрудник IBM, IBM, 1970[1][48]
- Премия памяти Гарри Х. Гуда, IEEE Computer Society, 1975[48]
- Член, Национальная инженерная академия (США), 1979 г.[137]
- Премия Тьюринга, Ассоциация вычислительной техники, 1979[1]
- Премия Computer Pioneer (Получатель чартера), IEEE Computer Society, 1982[138]
- Почетный доктор, Йоркский университет, 1998[139]
Смотрите также
Рекомендации
- ^ а б c d е Айверсон, Кеннет Э. (август 1980 г.). «Нотация как инструмент мысли». Коммуникации ACM. 23 (8): 444–465. Дои:10.1145/358896.358899. Получено 8 апреля 2016.
- ^ а б c d е Хуэй, Роджер, изд. (30 сентября 2005 г.), Цитаты и анекдоты Кена Айверсона, получено 12 февраля 2019
- ^ а б c d е ж грамм час я j k Iverson, Kenneth E .; Макинтайр, Дональд Э. (2008), Кеннет Э. Айверсон (Автобиография), получено 8 апреля 2016
- ^ Айверсон, Эрик Б. (21 октября 2004 г.), Д-р Кеннет И. Айверсон (сообщение J Forum), получено 8 апреля 2016
- ^ March, Herman W .; Вольф, Генри К. (1917). Исчисление. Макгроу-Хилл.
- ^ Коэн, И. Бернар (1999). Говард Эйкен: портрет компьютерного пионера. MIT Press. ISBN 978-0-262-03262-9.
- ^ а б Коэн, И. Бернар; Уэлч, Грегори В., ред. (1999). Макин числа. MIT Press. ISBN 978-0-262-03263-6.
- ^ Айверсон, Кеннет Э. (1954). Машинные решения линейных дифференциальных уравнений - приложения к динамической экономической модели (Кандидатская диссертация). Гарвардский университет. Получено 7 апреля 2016.
- ^ Хуэй, Роджер (Август 2012 г.), «МСЛДЭ», Эссе Jwiki, получено 22 апреля 2016
- ^ Уитни, Артур (Август 2006 г.), «Воспоминания о Кене», Вектор, 22 (3), получено 25 апреля 2016
- ^ а б c Кантрилл, Брайан (Февраль 2009 г.). «Разговор с Артуром Уитни». Очередь ACM. 7 (2). Получено 7 апреля 2016.
- ^ а б Айверсон, Кеннет Э. (август 1960 г.), «Описание конечных последовательных процессов», Симпозиум по теории информации, Королевский институт, Лондон, получено 9 апреля 2016
- ^ Монтальбано, Майкл С. (Октябрь 1982 г.), Личная история APL, получено 10 апреля 2016
- ^ Айверсон, Кеннет Э. (июнь 1954 г.). Якобсон, Арвид У. (ред.). «Высшее обучение и исследования». Материалы Первой конференции по подготовке кадров для области вычислительной техники. Государственный университет Уэйна. Получено 9 апреля 2016.
- ^ а б c Айверсон, Кеннет Э. (декабрь 1991 г.). «Личный взгляд на APL». Журнал IBM Systems. 30 (4): 582–593. Дои:10.1147 / sj.304.0582. Получено 9 апреля 2016.
- ^ Брукс, Фредерик П. (Август 2006 г.). «Язык, разум и человек». Вектор. 22 (3). Дои:10.1111 / mila.2007.22.issue-3. Получено 16 марта 2018.
- ^ а б c d Брукс-младший, Фредерик П.; Айверсон, Кеннет Э. (1963). Автоматическая обработка данных. Вайли. ISBN 978-0-471-10599-2.
- ^ а б c Фалькофф, Адин Д.; Айверсон, Кеннет Э. (август 1978 г.). «Эволюция APL». Уведомления ACM SIGPLAN. 13 (8): 47–57. Дои:10.1145/960118.808372. S2CID 6050177. Получено 9 апреля 2016.
- ^ а б c Айверсон, Кеннет Э. (14 декабря 1983 г.), Письмо J.K. Tuttle, получено 16 апреля 2016
- ^ а б c d Айверсон, Кеннет Э. (1962). Язык программирования. Джон Вили и сыновья. ISBN 978-0-471-43014-8. Получено 9 апреля 2016.
- ^ а б c d е Фалькофф, Адин Д.; Айверсон, Кеннет Э. (июль 1973 г.). «Дизайн APL». Журнал исследований и разработок IBM. 17 (4): 324–334. Дои:10.1147 / rd.174.0324. Получено 9 апреля 2016.
- ^ а б c Фалькофф, Адин Д.; Iverson, Kenneth E .; Sussenguth, Эдвард Х. (1964). «Формальное описание системы / 360» (PDF). Журнал IBM Systems. 3 (3): 198–261. Дои:10.1147 / sj.32.0198. Архивировано 13 августа 2006 года.CS1 maint: BOT: статус исходного URL-адреса неизвестен (связь)
- ^ а б c d е Хуэй, Роджер, изд. (Сентябрь 2010 г.), Цитаты и анекдоты APL, заархивировано из оригинал 5 июля 2018 г., получено 9 апреля 2016
- ^ а б c d Порода, Ларри (Август 2006 г.). "Как мы попали в APL 1130". Вектор. 22 (3). Архивировано из оригинал 18 марта 2016 г.. Получено 13 апреля 2016.
- ^ Дженкинс, Майкл А.(Июнь 1970 г.), "Решение линейных систем уравнений и линейных задач наименьших квадратов в APL", Номер технического отчета 320-2989, IBM Corp.
- ^ Дженкинс, Майкл А. (10 февраля 1972 г.), "Домино - примитивная функция APL для обратной матрицы - ее реализация и приложения", APL Quote Quad, 3 (4)
- ^ а б Макинтайр, Дональд Б. (август 2006 г.), "Дань Кену Айверсону", Вектор, 22 (3), получено 25 апреля 2016
- ^ а б c d е Фалькофф, Адин Д. (Декабрь 1991 г.). «Семейство IBM APL-систем». Журнал IBM Systems. 30 (4): 416–432. Дои:10.1147 / sj.304.0416.
- ^ а б Абрамс, Филип С. (17 августа 1966 г.), "Интерпретатор" нотации Айверсона"" (PDF), Технический отчет: CS-TR-66-47, Факультет компьютерных наук Стэнфордского университета, получено 17 апреля 2016
- ^ Фалькофф, Адин Д.; Айверсон, Кеннет Э. (16 октября 1967 г.), "Терминальная система APL 360", Отчет об исследовании RC-1922, IBM, получено 9 апреля 2016
- ^ Премия ACM Грейс Мюррей Хоппер (1973): Порода, Lathwell, и Мур; получено 14 апреля 2016 года.
- ^ Хорват, Роберт В. (август 1966 г.). Введение в нотацию Айверсона. Отдел разработки систем IBM, Покипси, Нью-Йорк.
- ^ а б c Макдоннелл, Юджин, изд. (1981), Справочник по APL, Введение, APL Press, получено 19 апреля 2016
- ^ Порода, Ларри (Сентябрь 1991 г.), "Первая терминальная сессия APL", APL Quote Quad, 22 (1): 2–4, Дои:10.1145/138094.140933, S2CID 43138444
- ^ а б Фалькофф, Адин Д.; Айверсон, Кеннет Э. (1968). Руководство пользователя APL 360 (PDF). IBM. Получено 11 апреля 2016.
- ^ а б Хуэй, Роджер (11 октября 2014 г.), Шестнадцать APL Amuse-Bouches, получено 12 апреля 2016
- ^ Перлис, Алан Дж. (29 марта 1978 г.), «Почти идеальные артефакты улучшаются только небольшими способами: APL больше французский, чем английский», APL 78 Материалы конференции, получено 12 апреля 2016
- ^ а б c d Фалькофф, Адин Д. (Июль 1969 г.), "История APL 360", Материалы конференции пользователей APL в SUNY Binghamton, получено 9 апреля 2016
- ^ Айверсон, Кеннет Э. (1966), Условные обозначения, регулирующие порядок оценки (Приложение А, посвященное элементарным функциям: алгоритмическая обработка), Партнеры по научным исследованиям, получено 16 апреля 2016
- ^ Айверсон, Кеннет Э. (1972), Алгебра как язык (приложение А к алгебре: алгоритмическое рассмотрение), Эддисон-Уэсли, получено 16 апреля 2016
- ^ а б Айверсон, Кеннет Э. (март 1966 г.). Элементарные функции: алгоритмическое лечение. Научно-исследовательские партнеры.
- ^ Макдоннелл, Юджин (Декабрь 1979 г.), «Социально-технические истоки АПЛ», APL Quote Quad, 10 (2): 13, Дои:10.1145/586148.586155, S2CID 18025422, получено 24 апреля 2016
- ^ Голдсмит, Лесли Х., Хуэй, Роджер (ред.), Цитаты и анекдоты APL, заархивировано из оригинал 5 июля 2018 г., получено 13 апреля 2016
- ^ Макдоннелл, Юджин (Сентябрь 1980 г.). «Рекреационный АПЛ, Пирамиграмма». APL Quote Quad. 11 (1). Получено 13 апреля 2016.
- ^ "APL в государственных школах Атланты", ПОДЕЛИТЬСЯ * Информационный бюллетень APL 360 (3), октябрь 1969 г.
- ^ APL IV: Четвертая международная конференция APL, Июнь 1972 г., получено 29 апреля 2016
- ^ Бьянкуцци, Федерико; Уорден, Шейн (март 2009 г.). Идеи программирования. O'Reilly Media. Архивировано из оригинал 5 июля 2018 г.. Получено 13 апреля 2016.
- ^ а б c «Айверсон получает премию Гарри Гуда». APL Quote Quad. 6 (2). Июнь 1975 г.. Получено 8 апреля 2016.
- ^ Берри, Пол (август 2006 г.), «Наглядное программирование», Вектор, 22 (3), получено 25 апреля 2015
- ^ Берри, Пол; Bartoli, G .; Dell'Aquila, C .; Спадавеккья, В. (март 1973). «APL и Insight». TR № CRB 002 / 513-3502. IBM Corp.
- ^ Спенс, Роберт (март 1973). Теория резистивных цепей. IBM.
- ^ Орт, Дональд Л. (1976). Исчисление в новом ключе. APL Press. ISBN 978-0-917326-05-9.
- ^ Берри, Пол; Торстенсен, Джон (1973). «Звездная карта». ТР № 02.665. IBM Corp.
- ^ Айверсон, Кеннет Э. (1969), Использование APL в обучении, IBM Pub. № G320-0996, получено 15 апреля 2016
- ^ Берри, Пол; Фалькофф, Адин Д.; Айверсон, Кеннет Э. (24 августа 1970 г.). «Использование компьютера для вычислений: прямой, но забытый подход к преподаванию математики». Всемирная конференция IFIP по компьютерному образованию.
- ^ Айверсон, Кеннет Э. (1972), Алгебра: алгоритмическое лечение, Эддисон-Уэсли
- ^ Айверсон, Кеннет Э. (январь 1972 г.), «АПЛ в экспозиции» (PDF), Номер технического отчета RC 320-3010, IBM Philadelphia Scientific Center, получено 9 апреля 2016
- ^ Айверсон, Кеннет Э. (март 1973 г.), «Введение в APL для ученых и инженеров», Номер технического отчета RC 320-3019, IBM Philadelphia Scientific Center, получено 9 апреля 2016
- ^ Айверсон, Кеннет Э. (июль 1972 г.), «Знакомство учителей с APL», Номер технического отчета RC 320-3014, IBM Philadelphia Scientific Center, получено 9 апреля 2016
- ^ Айверсон, Кеннет Э. (1976), Элементарный анализ, APL Press
- ^ Айверсон, Кеннет Э. (сентябрь 1978 г.). «Стиль программирования в APL». Протоколы собрания пользователей APL. I. P. Sharp Associates. Получено 9 апреля 2016.
- ^ Айверсон, Кеннет Э. (май 1962 г.). «Язык программирования». Материалы весенней совместной компьютерной конференции AFIPS, Сан-Франциско. Получено 13 апреля 2016.
- ^ Айверсон, Кеннет Э. (декабрь 1962 г.). «Общий язык для оборудования, программного обеспечения и приложений». Материалы осенней компьютерной конференции AFIPS, Филадельфия. Получено 13 апреля 2016.
- ^ Айверсон, Кеннет Э. (июнь 1963 г.). «Нотация программирования в проектировании систем». Журнал IBM Systems. 2 (2): 117–128. Дои:10.1147 / sj.22.0117. Получено 13 апреля 2016.
- ^ Айверсон, Кеннет Э. (февраль 1964 г.). «Формализм в языках программирования». Коммуникации ACM. 7 (2): 80–88. Дои:10.1145/363921.363933. S2CID 14145756. Получено 13 апреля 2016.
- ^ Айверсон, Кеннет Э. (октябрь 1964 г.). «Метод спецификации синтаксиса». Коммуникации ACM. 7 (10): 588–589. Дои:10.1145/364888.364969. S2CID 194665.
- ^ Фалькофф, Адин Д.; Айверсон, Кеннет Э. (май 1973 г.). «Коммуникация в системах APL». Технический отчет 320-3022. IBM Philadelphia Scientific Center.
- ^ Айверсон, Кеннет Э. (1973). APL как аналитическая нотация. IBM Philadelphia Scientific Center.
- ^ Фалькофф, Адин Д.; Айверсон, Кеннет Э. (1973). «Руководство пользователя APLSV» (PDF). Sh20-1460. IBM Philadelphia Scientific Center. Получено 16 апреля 2016.
- ^ Фалькофф, Адин Д.; Айверсон, Кеннет Э. (март 1975 г.). Язык APL (форма № GC26-3847) (PDF). IBM.
- ^ Айверсон, Кеннет Э. (сентябрь 1976 г.), «Два комбинаторных оператора», APL 76 Материалы конференции
- ^ а б c Айверсон, Кеннет Э. (26 апреля 1978 г.), «Операторы и функции», Отчет об исследовании № RC7091, IBM, получено 9 апреля 2016
- ^ Айверсон, Кеннет Э. (июнь 1979 г.), «Роль операторов в APL», APL 79 Материалы конференции, получено 10 апреля 2016
- ^ Айверсон, Кеннет Э. (июнь 1979 г.), «Оператор производной», APL 79 Материалы конференции
- ^ Айверсон, Кеннет Э. (октябрь 1979 г.). «Операторы». Транзакции ACM по языкам и системам программирования. 1 (2): 161–176. Дои:10.1145/357073.357074.
- ^ а б c Стейнбрук, Дэвид Х. (1986). Справочник SAX. I. P. Sharp Associates.
- ^ Хуэй, Роджер (Август 2010 г.). "В среднем". Вектор. 22 (4). Получено 12 апреля 2016.
- ^ IPSA (январь 1980 г.). "Доктор Кеннет Э. Айверсон" (PDF). I.P. Информационный бюллетень Sharp. 8 (1). Получено 8 августа 2019.
- ^ Хуэй, Роджер, изд. (14 мая 2009 г.), Юджин Макдоннелл Цитаты и анекдоты, получено 5 апреля 2016
- ^ а б Хуэй, Роджер; Кромберг, Мортен (июнь 2020 г.). «АПЛ с 1978 года». Труды ACM по языкам программирования. 4 (HOPL): 1–108. Дои:10.1145/3386319. S2CID 218517570.
- ^ а б c Айверсон, Кеннет Э. и Артур Т. Уитни (Сентябрь 1982 г.), «Практическое использование модели APL», APL 82 Материалы конференции, получено 10 апреля 2016
- ^ а б Айверсон, Кеннет Э. (март 1983 г.), «Синтаксис и семантика APL», APL 83 Материалы конференции, получено 10 апреля 2016
- ^ Праздник Кеннета Айверсона, Музей истории компьютеров, 30 ноября 2004 г., получено 17 апреля 2016
- ^ а б c d е ж Хуэй, Роджер (Ноябрь 2014 г.), Вспоминая Кена Айверсона, получено 10 апреля 2016
- ^ а б c Айверсон, Кеннет Э. (6 января 1983 г.), Рационализированный APL, I. P. Sharp Associates, получено 10 апреля 2016
- ^ а б c d Айверсон, Кеннет Э. (сентябрь 1987 г.), «Словарь APL», APL Quote Quad, 18 (1): 5–40, Дои:10.1145/36983.36984, S2CID 18301178, получено 10 апреля 2016
- ^ Браун, Джеймс А. (1971). Обобщение APL (Кандидатская диссертация). Департамент компьютерных и информационных наук Сиракузского университета.
- ^ Браун, Джеймс А. (1984), «Принципы APL2», Технический отчет 03.247, Лаборатория IBM Санта-Тереза
- ^ Браун, Джеймс А. (1988), "Программирование APL2: Справочник по языку", Sh20-9227, Корпорация IBM
- ^ Смит, Роберт А. (сентябрь 1981 г.). «Вложенные массивы, операторы и функции». APL 81 Материалы конференции.
- ^ Чейни, Карл М. (1981), Система вложенных массивов APL * PLUS (PDF), STSC, Inc., получено 19 апреля 2016
- ^ Орт, Дональд Л. (декабрь 1981 г.). «Сравнение реализаций операторов и общих массивов IPSA и STSC». APL Quote Quad. 12 (2): 11. Дои:10.1145/586656.586662. S2CID 1642446. Получено 13 апреля 2016.
- ^ Макдоннелл, Юджин (20 июня 1981 г.). "Сложные числа". SATN 40, I. P. Sharp Associates. Получено 11 апреля 2016.
- ^ а б Айверсон, Кеннет Э. (20 июня 1981 г.). «Состав и вложение». SATN 41, I. P. Sharp Associates. Получено 11 апреля 2016.
- ^ а б Айверсон, Кеннет Э. (1 апреля 1982 г.). «Детерминантные функции, производимые оператором точки». SATN 42, I. P. Sharp Associates. Получено 11 апреля 2016.
- ^ а б Бернки, Роберт; Iverson, Kenneth E .; Макдоннелл, Юджин; Мецгер, Роберт; Шулер, Дж. Анри (2 мая 1983 г.). "Расширения языков в мае 1983 г.". SATN 45, I. P. Sharp Associates. Получено 11 апреля 2016.
- ^ Таттл, Джои К. (август 2006 г.), "Что не так с моим программированием?", Вектор, 22 (3), получено 25 апреля 2016
- ^ а б Айверсон, Кеннет Э. (6 октября 1980 г.), «Индуктивный метод введения APL», Протоколы собрания пользователей APL 1980 г., получено 10 апреля 2016
- ^ а б Айверсон, Кеннет Э. (январь 1981 г.). Мини-курс SHARP APL. I. P. Sharp Associates.
- ^ а б Айверсон, Кеннет Э. (1984). Прикладная математика для программистов. I. P. Sharp Associates.
- ^ а б Айверсон, Кеннет Э. (июль 1986 г.). Математика и программирование. I. P. Sharp Associates.
- ^ Бернки, Роберт; Айверсон, Кеннет Э. (6 октября 1980 г.), «Операторы и замкнутые массивы», Протоколы собрания пользователей APL 1980 г., получено 10 апреля 2016
- ^ Айверсон, Кеннет Э. (октябрь 1980 г.). «Прямое определение». SATN 36, I. P. Sharp Associates.
- ^ Iverson, Kenneth E .; Вустер, Питер К. (сентябрь 1981 г.), «Оператор определения функции», APL 81 Материалы конференции
- ^ а б Iverson, Kenneth E .; Pesch, Roland H .; Шулер, Дж. Генри (июнь 1984 г.), «Операторное исчисление», APL 84 Материалы конференции, получено 10 апреля 2016
- ^ а б Айверсон, Кеннет Э. (май 1987 г.), "APL87", APL 87 Материалы конференции, получено 10 апреля 2016
- ^ Hagamen, W.D .; Berry, P.C .; Iverson, K.E .; Вебер, Дж. К. (август 1989 г.), "Обработка естественного языка: синтаксические и семантические механизмы", APL Quote Quad, 19 (4): 184–189, Дои:10.1145/75144.75170, ISBN 0897913272, S2CID 14004227
- ^ Хуэй, Роджер (3 декабря 2014 г.). "Любимое выражение APL Кена Айверсона?". Блог Dyalog. Получено 12 апреля 2016.
- ^ Справочник по языку Dyalog APL (версия 14.0 или новее) (PDF), Dyalog Limited, 2014 г., получено 16 апреля 2016
- ^ а б Айверсон, Кеннет Э. и Юджин МакДоннелл (Август 1989 г.), «Фразовые формы», APL 89 Материалы конференции, получено 10 апреля 2016
- ^ а б Айверсон, Кеннет Э. (сентябрь 1988 г.). «Комментарий к разработке APL». APL Quote Quad. 19 (1): 3–8. Дои:10.1145/379279.379330. S2CID 18392328. Получено 13 апреля 2016.
- ^ Ходжкинсон, Роб (19 октября 2017 г.), Сообщение форума программирования J
- ^ а б Хуэй, Роджер; Iverson, Kenneth E .; Макдоннелл, Юджин; Уитни, Артур (Июль 1990 г.), "APL /?", APL 90 Conference Proceedings, получено 10 апреля 2016
- ^ Хуэй, Роджер (27 января 1992 г.). Реализация J (PDF). Iverson Software Inc. Получено 10 апреля 2016.
- ^ Хуэй, Роджер (Май 1987 г.). "Некоторые виды использования {и}". APL 87 Материалы конференции. Получено 15 апреля 2016.
- ^ Хуэй, Роджер (Июнь 1995 г.). «Ранг и единообразие». APL 95 Материалы конференции. Получено 15 апреля 2016.
- ^ Хуэй, Роджер (27 января 2006 г.), "ТАО J", J Wiki Essay, получено 24 мая 2016
- ^ а б Хуэй, Роджер; Iverson, Kenneth E .; Макдоннелл, Юджин (Август 1991 г.), «Молчаливое определение», APL 91 Материалы конференции, получено 10 апреля 2016
- ^ Черлин, Эдвард (август 1991). «Чистые функции в APL и J». APL 91 Материалы конференции.
- ^ Берк, Крис; Хуэй, Роджер (Сентябрь 1996 г.). "J для программиста APL". APL Quote Quad. 27 (1): 11–17. Дои:10.1145/1151395.1151400. S2CID 9203778. Получено 14 апреля 2016.
- ^ Берк, Крис (2 марта 2005 г.), APL и J (PDF), получено 16 апреля 2016
- ^ Источник J, Jsoftware, Inc., получено 15 апреля 2016
- ^ Айверсон, Кеннет Э. (1991). Материальная математика. Iverson Software Inc.
- ^ Айверсон, Кеннет Э. (1991). Программирование на J. Iverson Software Inc.
- ^ Айверсон, Кеннет Э. (1991). Арифметика (PDF). Iverson Software Inc. Получено 10 апреля 2016.
- ^ Айверсон, Кеннет Э. (1993). Исчисление (PDF). Iverson Software Inc. Получено 10 апреля 2016.
- ^ Айверсон, Кеннет Э. (1995). Конкретный помощник по математике (PDF). Iverson Software Inc. Получено 10 апреля 2016.
- ^ Айверсон, Кеннет Э. (1996). Изучение математики (PDF). Iverson Software Inc. Получено 10 апреля 2016.
- ^ Берк, Крис; Хуэй, Роджер; Iverson, Kenneth E .; Макдоннелл, Юджин; Макинтайр, Дональд Б. (1996). J Фразы. Iverson Software Inc. Получено 10 апреля 2016.
- ^ Берк, Крис; Хуэй, Роджер; Айверсон, Эрик; Iverson, Kenneth E .; Айверсон, Кирк (1998), Победители конкурса ICFP '98, получено 15 апреля 2016
- ^ Айверсон, Кеннет Э. (1999). Математика для обывателя. JSoftware Inc. Получено 10 апреля 2016.
- ^ Хуэй, Роджер; Айверсон, Кеннет Э. (1991). "J Введение и словарь". Jsoftware Inc. Получено 9 апреля 2016. Цитировать журнал требует
| журнал =
(помощь) - ^ Айверсон, Кеннет Э. (март 1994). «Возвращаясь к грубым пятнам». APL Quote Quad. 24 (3): 13–16. Дои:10.1145/181983.181986. S2CID 2140469. Получено 13 апреля 2016.
- ^ Айверсон, Кеннет Э. (1996), Компьютеры и математические обозначения, Iverson Software Inc., получено 10 апреля 2016
- ^ Хуэй, Роджер; Айверсон, Кеннет Э. (январь 1998 г.), «Математические корни J», APL 97 Материалы конференции: 21–30, Дои:10.1145/316689.316698, S2CID 2317632
- ^ Айверсон, Кеннет Э. (август 2006 г.), «АПЛ в новом тысячелетии», Вектор, 22 (3), получено 25 апреля 2016
- ^ Справочник членов NAE, Национальная инженерная академия, получено 22 апреля 2016
- ^ Премия Computer Pioneer (получатель чартера), IEEE Computer Society, 1982, получено 8 апреля 2016
- ^ Драммонд, Б. (11 июня 1998 г.), Цитата для доктора Кеннета Айверсона, Йоркский университет, получено 8 апреля 2016
внешняя ссылка
В Викицитатнике есть цитаты, связанные с: Кеннет Э. Айверсон |
- Работы Кеннета Э. Айверсона в Открытая библиотека
- Празднование жизни Кеннета Юджина Айверсона
- Сборник хвалебных речей
- Иверсонский экзамен
соревнования по программированию на Университет Альберты для старшеклассников - Цитаты и анекдоты Кена Айверсона
иллюстрации того, каким был Айверсон как человек, с чем он работал, в какой среде он учился и работал, его взгляды на жизнь, его чувство юмора и т. д. - Цитаты и анекдоты APL
зарисовки Айверсона, его коллег и его интеллектуальных потомков