Войти
| Кеннет Юджин Айверсон | |
|---|---|
 | |
| Родился | (1920-12-17) 17 декабря 1920 г.. Камроуз, Альберта, Канада |
| Умер | 19 октября 2004 г. (2004-10-19) (83 года). Торонто, Онтарио, Канада |
| Гражданство | Канадский |
| Alma mater | Королевский университет. Гарвардский университет |
| Известный | Языки программирования : APL, J |
| Награды | Стипендиат IBM. Мемориальная награда Гарри Х. Гуда. Премия Тьюринга. Премия пионера компьютеров |
| Научная карьера | |
| Области | Математика. Информатика |
| Учреждения | Гарвардский университет. IBM. I. P. Sharp Associates. Jsoftware Inc. |
| Диссертация | Машинные решения линейных дифференциальных уравнений - приложения к динамической экономической модели (1954) |
| Докторант | Ховард Эйкен. Василий Леонтьев |
Кеннет Юджин Айверсон (17 декабря 1920 - 19 октября 2004) был канадским ученым-компьютерщиком, известным разработчиком языка программирования APL. Он был удостоен Премии Тьюринга в 1979 году «за новаторские усилия в области языков программирования и математической нотации, результатом которых стало то, что в области вычислений теперь известно как APL; за его вклад в реализацию интерактивных систем в образовательных целях. APL и теории и практике языков программирования ».
Кен Айверсон родился 17 декабря 1920 года недалеко от Камроуз, города в центральной Альберте, Канада. Его родители были фермерами, которые приехали в Альберту из Северной Дакоты ; его предки происходили из Тронхейма, Норвегии.
Во время Второй мировой войны он служил сначала в канадской армии, а затем в Королевские военно-воздушные силы Канады. Он получил степень бакалавра искусств. степень Королевского университета и степень магистра наук. и к.т.н. степени Гарвардского университета. За свою карьеру он работал в Гарвард, IBM, I. P. Sharp Associates и Jsoftware Inc. (урожденная Iverson Software Inc.).
Айверсон перенес инсульт во время работы за компьютером в новой лаборатории J 16 октября 2004 г. и умер 19 октября 2004 г. в возрасте 83 лет.
Айверсон пошел в школу 1 апреля 1926 года в однокомнатной школе, сначала в 1-м классе, через 3 месяца перешел во 2-й класс, а к концу июня 1927 г. - в 4-й. бросил школу после 9-го класса, потому что это была глубина Великой депрессии, и на семейной ферме нужно было работать, и потому что он думал, что дальнейшее обучение приведет только к тому, что он станет учителем и у него не было желания им стать. В 17 лет, еще не посещая школу, он записался на заочные курсы по радио в De Forest Training в Чикаго и изучил математические вычисления самостоятельно по учебнику. Во время Второй мировой войны, во время службы в Королевских ВВС Канады, он прошел заочные курсы для получения диплома об окончании средней школы.
После войны Айверсон поступил в Королевский университет в Кингстоне, Онтарио, воспользовавшись государственной поддержкой бывших военнослужащих и находясь под угрозой со стороны друга из ВВС, который сказал, что «выбьет себе мозги, если он не ухватится за возможность». Он получил высшее образование в 1950 году как лучший студент со степенью бакалавра в математике и физике.
. Продолжая свое образование в Гарвардском университете, он начал в факультет математики и получил степень магистра в 1951 году. Затем он перешел на факультет инженерной и прикладной физики, работая с Ховардом Эйкеном и Василием Леонтьевым.
Кеннетом. Айверсон вспомнил аспирантуру под руководством Эйкена как «ученичество», в котором студент «изучал инструменты стипендиальной торговли». Каждая тема «использовалась больше как фокус для развития таких навыков, как ясность мысли и выражения, чем как самоцель». После зачисления в программу аспирант проходит обряд «принятия в лоно». Ему дали стол (или часть стола) среди группы других аспирантов, постоянного персонала или приглашенных ученых, «большинство из которых были вовлечены в некоторые аспекты проектирования и создания компьютеров». Таким образом, студента «заставляли чувствовать себя частью научного предприятия» и предоставляли, «часто впервые, легкий и интимный доступ к другим, более опытным в выбранной им области»
— I. Бернард Коэн, Говард Эйкен: портрет пионера компьютерной техники, MIT Press, 1999, стр. 215.Во время интервью с Эйкеном я спросил его, можем ли мы с Троппом увидеть его лекции; Айкен ответил, что он всегда уничтожал свои конспекты лекций в конце каждого года, чтобы у него не возникало соблазна повторять свои лекции.
— I. Бернард Коэн и Грегори В. Велч, редакторы, Makin 'Numbers, MIT Press, 1999, стр. Xvi.Ховард Эйкен разработал Harvard Mark I, один из первых крупномасштабных цифровые компьютеры, а Василий Леонтьев был экономистом, который разрабатывал модель затрат-выпуска экономического анализа, за работу, за которую он позже получил Нобелевскую премию. Модель Леонтьева требовала больших матриц, и Айверсон работал над программами, которые могли оценивать эти матрицы на компьютере Harvard Mark IV. Айверсон получил докторскую степень в прикладной математике в 1954 году, когда защитил диссертацию на основе этой работы.
В Гарварде Айверсон встретился с Эоином Уитни, дважды Сотрудник Патнэма и сокурсник из Альберты. Это имело последствия в будущем.
Симплексный алгоритм в нотации Айверсона Айверсон остался в Гарварде в качестве доцента, чтобы реализовать первая в мире аспирантура по «автоматической обработке данных».
Многие думают, что Айкен интересовался только научными компьютерами. Это было просто не так. Во время одного часа кофе Айкен повернулся к Кену Айверсону, который только что защитил докторскую диссертацию, и сказал: «Эти машины будут чрезвычайно важны для бизнеса, и я хочу, чтобы вы подготовили и провели курс по обработке бизнес-данных. следующей осенью ". Такого курса нигде в мире не было. Кен получил квалификацию только потому, что был математиком. Я был так взволнован этой перспективой, что немедленно вызвался стать ассистентом Кена в аспирантуре.
— Фредерик Брукс-младший, Эйкен и Гарвардская "Comp Lab", в I. Бернард Коэн и Грегори Уэлч, редакторы, Makin 'Numbers, MIT Press, 1999, стр. 141.Именно в этот период Айверсон разработал нотацию для описания и анализа различных тем в обработке данных, для учебных классов и для написания (с Бруксом) автоматической обработки данных. Он был «потрясен», обнаружив, что обычные математические обозначения не удовлетворяют его потребности, и начал работу над расширениями обозначений, которые были более подходящими. В частности, он применил матричную алгебру, используемую в его диссертационной работе, систематическое использование матриц и многомерных массивов в тензорном анализе и операторов в смысле Хевисайда в своей трактовке. из уравнений Максвелла, функций высшего порядка на аргументе (ах) функции с результатом функции. Нотация была также проверена в деловом мире в 1957 году во время шестимесячного творческого отпуска, проведенного в McKinsey Company. Первым опубликованным документом, использующим эту нотацию, было «Описание конечных последовательных процессов», первоначально номер отчета 23 - Bell Labs, а затем переработанный и представленный на Четвертом Лондонском симпозиуме по теории информации в августе 1960 года.
Айверсон проработал в Гарварде пять лет, но не получил должностей, потому что «[он] не опубликовал ничего, кроме одной маленькой книжки».
Айверсон присоединился к IBM Research в 1960 году (и удвоил свою зарплату). Ему предшествовал IBM Фред Брукс, который посоветовал ему «придерживаться того, чем [он] действительно хотел заниматься, потому что менеджмент так жаждал идей, что все, что не было явно сумасшедшим, могло найти поддержку». В частности, ему разрешили закончить и опубликовать «Язык программирования» и (с Бруксом) «Автоматическая обработка данных», две книги, в которых описываются и используются обозначения, разработанные в Гарварде. (Автоматическая обработка данных и язык программирования начинались как одна книга, «но материал рос как по размеру, так и по уровню, пока разделение не оказалось разумным».)
В IBM Айверсон вскоре встретил Адина Фалькоффа, и они работали вместе в течение следующих двадцати лет. В главе 2 «Языка программирования» для описания компьютера IBM 7090 использовалась нотация Айверсона. В начале 1963 года Фалькофф, к которому позже присоединились Айверсон и Эд Сассенгут, приступил к использованию этой нотации для создания формального описания компьютера IBM System / 360, который тогда находился в стадии разработки. Результат был опубликован в 1964 году в двойном выпуске журнала IBM Systems Journal, впоследствии известного как «серая книга» или «серая инструкция». Книга использовалась в курсе по проектированию компьютерных систем в Институте системных исследований IBM. Следствием формального описания было то, что оно привлекло интерес ярких молодых умов. Одним из очагов интереса был Стэнфордский университет, в который входили Ларри Брид, Фил Абрамс, Роджер Мур, Чарльз Бреннер, и Майк Дженкинс, все из которых впоследствии внесли свой вклад в APL. Дональд Макинтайр, глава геологии в Колледже Помона, который первым установил систему 360 для общего пользования, использовал формальное описание, чтобы стать более опытным, чем системный инженер IBM, назначенный Помоне.
Завершив формальное описание, Фалькофф и Айверсон обратили внимание на реализацию. Эта работа быстро завершилась в 1965 году, когда к проекту присоединились Ларри Брид и Фил Абрамс. К осени 1965 года они создали реализацию на базе FORTRAN на 7090 под названием IVSYS (для системы Iverson), сначала в пакетном режиме, а затем, в начале 1966 года, в интерактивном режиме с разделением времени. Впоследствии Брид, Дик Латвелл (бывший Университет Альберты ) и Роджер Мур (из I. P. Sharp Associates ) создали реализацию System / 360; все трое получили Премию Грейс Мюррей Хоппер в 1973 году «за свою работу по разработке и внедрению APL \ 360, установив новые стандарты простоты, эффективности, надежности и времени отклика для интерактивных систем». Пока шла работа по реализации 360, Фалькофф переименовал "Iverson notation" в "APL". Рабочее пространство «1 чистое пространство» было сохранено в 1966-11-27 22.53.58 UTC. Служба APL \ 360 началась в IBM за несколько недель до этого, а за пределами IBM в 1968 году. Дополнительную информацию о реализации APL \ 360 можно найти в Благодарностях руководства пользователя APL \ 360 и в «Приложении. Хронология разработки APL» Дизайн APL.
Выражение APL для глубины вложенности скобок Формальное описание и особенно реализация стимулировали эволюцию языка, процесс консолидации и регуляризации в типографике, описанные линеаризация, синтаксис и определение функций в APL \ 360 History, The Design of APL, and The Evolution of APL. Два трактата этого периода, «Соглашения о порядке оценивания» и «Алгебра как язык», являются апологетами нотации APL.
Нотация использовалась Фалькоффом и Айверсоном для преподавания различных тем в различных университетах и в Институте системных исследований IBM. В 1964 году Айверсон использовал обозначения в односеместровом курсе для старшеклассников в Средней школе Фокс-Лейн, а затем в Средней школе Свортмора. После того, как APL стал доступен, его первым приложением было обучение формальным методам проектирования систем в НАСА Годдард. Он также использовался в школе Хотчкисс, колледже Нижней Канады, средней школе Скотч-Плейнс, государственных школах Атланты и других. В одной школе ученики настолько увлеклись, что ворвались в школу в неурочное время, чтобы получить больше компьютерного времени APL; в другом энтузиасты APL направили новичков на BASIC, чтобы максимально использовать время APL.
В 1969 году Айверсон и группа APL открыли IBM Philadelphia Scientific Center. В 1970 году его назвали сотрудником IBM. Он использовал финансирование, полученное благодаря стипендии IBM, чтобы привлечь учителей и профессоров из различных областей, включая Дональда Макинтайра из Помоны и Джеффа Шаллита в качестве летнего студента. В течение нескольких месяцев посетители начали использовать APL для выставок на своих полях, и была надежда, что позже они продолжат использовать APL в своих домашних учреждениях. Работа Айверсона в то время была сосредоточена в нескольких дисциплинах, включая совместные проекты в области теории цепей, генетики, геологии и математического анализа. Когда PSC закрылся в 1974 году, часть группы переехала в Калифорнию, в то время как другие, включая Айверсона, остались на Востоке, а затем вернулись в IBM Research. Айверсон получил премию Тьюринга в 1979 году.
(слева направо) Дик Латвелл, Кен Айверсон, Роджер Мур, Адин Фалькофф, Фил Абрамс и Ларри Брид. Крайний слева на заднем плане: Джон МакГрю. Снято в I.P. Гостиничный комплекс Sharp Associates во время встречи пользователей APL 1978 года в Торонто, Онтарио. В следующей таблице перечислены публикации, автором или соавтором которых является Айверсон, пока он работал в IBM. Они отражают два основных направления его работы.
Оператор ранга APL ⍤ В 1980 году Айверсон ушел из IBM ради I. P. Sharp Associates, компания APL с разделением времени. Там ему предшествовали его коллеги по IBM Пол Берри, Джои Таттл, Дик Латвелл и Юджин МакДоннелл. В IPSA группой языков и систем APL руководил Эрик Айверсон (сын Кена Айверсона); Роджер Мур, один из разработчиков APL \ 360, был вице-президентом.
Айверсон работал над разработкой и расширением APL в соответствии с принципами, представленными в разделе «Операторы и функции». Работа над языком получила импульс в 1981 году, когда Артур Уитни и Айверсон создали модель APL, написанную на APL, одновременно с базой данных IPSA OAG. (Айверсон представил APL Артура Уитни, сына Эоина Уитни, когда ему было 11 лет, и в 1974 году рекомендовал его на должность летнего студента в IPSA Калгари.) В модели синтаксис APL был управляемый столом 11 на 5. Уитни также изобрела оператор ранга в процессе. Дизайн языка был дополнительно упрощен и расширен в Rationalized APL в январе 1983 г., нескольких изданиях A Dictionary of the APL Language с 1984 по 1987 г. и A Dictionary of APL в сентябре 1987 г. В IPSA вошла в употребление фраза «словарь APL». для обозначения APL, указанного в A Dictionary of APL, который сам именуется «словарем». В словаре синтаксис APL управляется таблицей 9 на 6, а процесс синтаксического анализа был точно и лаконично описан в таблице 2, и есть примитив (монадический ⊥, смоделированный в APL) для словообразования (lexing ).
В 1970-х и 1980-х годах основными поставщиками APL были IBM, STSC и IPSA, и все трое принимали активное участие в разработке и расширение языка. У IBM был APL2, основанный на работе Джима Брауна. Работа над APL2 продолжалась с перерывами в течение 15 лет: собственно кодирование началось в 1971 году, а APL2 стал доступен как IUP (установленная пользовательская программа, классификация продуктов IBM) в 1982 году. В STSC была экспериментальная система APL под названием NARS, разработанная и реализованная Бобом Смитом.. NARS и APL2 фундаментально отличались от словаря APL и отличались друг от друга.
И.П. Компания Sharp реализовала новые идеи APL поэтапно: комплексные числа, закрытые (прямоугольные) массивы, операторы сопоставления и композиции в 1981 году, оператор детерминанта в 1982 году и оператор ранга, связь, а также функции левого и правого тождества в 1983 году. Однако, домены операторов по-прежнему ограничивались примитивными функциями или их подмножествами. В 1986 году IPSA разработал SAX, SHARP APL / Unix, написанный на C и основанный на реализации STSC. Язык был таким, как указано в словаре, без ограничений по доменам операторов. Альфа-версия SAX стала доступна в I.P. Примерно в декабре 1986 или начале 1987 года.
В сфере образования Айверсон разработал мини-курс SHARP APL, который использовался для обучения клиентов IPSA использованию APL, а также прикладной математики для программистов и математики и программирования, которые использовались в курсах информатики. в TH Твенте.
Кен Айверсон и Артур Уитни, 1989 Публикации, автором или соавтором которых является Айверсон, когда он был в I. P. Sharp Associates :
J молчаливый глагол для биномиальных коэффициентов 
Вычисление эквивалента Dyalog APL Айверсон ушел на пенсию из IP Sharp Associates в 1987 году. Он был занят, находясь «в перерывах между работой». Что касается языкового дизайна, наиболее значительным из его действий в этот период было изобретение «вилки» в 1988 году. В течение многих лет он изо всех сил пытался найти способ записать f + g, как в исчислении, из «скалярных операторов» в 1978 году. через оператор "til" в 1982 году, операторы цепочки и изменения формы в 1984 году, операторы объединения и пересечения в 1987 году, "yoke" в 1988 году и, наконец, разветвления в 1988 году. Форки определяются следующим образом:
| (fgh) y | ← → | (fy) g (hy) | |
| x (fgh) y | ← → | (xfy) g (xhy) |
Кроме того, (fgpqr) ← → (fg (pqr)). Таким образом, чтобы написать f + g как в исчислении, можно написать f + g в APL. Айверсон и Юджин Макдоннелл проработали детали длительных перелетов на конференцию APL88 в Сиднее, Австралия, и Айверсон придумал первоначальную идею, как проснуться от сна.
Айверсон обосновал свою работу в 1987 году следующим образом:
Когда я уволился с оплачиваемой работы, я снова обратил свое внимание на этот вопрос [использование APL для обучения] и вскоре пришел к выводу, что основным необходимым инструментом был диалект APL что:
Результатом стал J, о чем впервые сообщалось в [Протоколы конференции APL 90].
Роджер Хуэй описал последний импульс, который дал начало J, в Приложении А к описанию J:
Один летний уик-энд 1989 года, Артур Уитни посетил г Кен Айверсон на обжиговой ферме и подготовил - на одной странице и за один день - фрагмент интерпретатора на компьютере ATT 3B1. Я изучал этот интерпретатор около недели на предмет его организации и стиля программирования; и в воскресенье, 27 августа 1989 года, около четырех часов дня, написал первую строку кода, которая стала реализацией, описанной в этом документе. Фрагмент одностраничного интерпретатора Артура выглядит следующим образом:...
Хуэй, одноклассник Уитни в Университете Альберты, изучал Словарь языка APL, когда он был между работой, моделировал процесс синтаксического анализа, по крайней мере, двумя различными способами, и исследовал использование словаря APL в различных приложениях. Кроме того, с января 1987 года по август 1989 года у него был доступ к SAX, а в более позднюю часть этого периода он использовал его ежедневно.
J изначально взял A Dictionary of APL в качестве спецификации, а J Интерпретатор построен на основе таблицы 2 словаря. Данные и программные структуры C были разработаны таким образом, чтобы таблица синтаксического анализа в C соответствовала непосредственно таблице синтаксического анализа в словаре. Оглядываясь назад, можно сказать, что статья Айверсона APL87 APL87 на пяти страницах предписывала все основные этапы написания интерпретатора APL, в частности разделы о словообразовании и синтаксическом анализе. Артур Уитни, помимо «одностраничной вещи», внес свой вклад в разработку J, предложив, чтобы примитивы были ориентированы по ведущей оси, что соглашение (обобщение скалярного расширения) должно быть префиксом вместо суффикса, и чтобы был определен общий порядок массива.
Одной из целей была реализация fork. Это оказалось довольно просто, добавив еще одну строку в таблицу синтаксического анализа. Выбор вилок был случайным и удачным. Лишь позже стало понятно, что вилки делают неявные выражения (операторные выражения) завершенными в следующем смысле: любое предложение, содержащее один или два аргумента, которые не использовали свои аргументы в качестве операнда, может быть неявно записано с помощью fork, compose, левые и правые тождественные функции и постоянные функции.
Два очевидных различия между J и другими диалектами APL: (а) использование терминов из естественных языков вместо математических или компьютерных (практика началась с словаря APL): существительное, глагол, наречия, алфавит, словообразование, предложение,... вместо массива, функция, оператор, набор символов, лексика, выражение,...; и (b) использование 7-битных символов ASCII вместо специальных символов. Другие различия между J и APL описаны в J для APL Programmer и APL и J.
Исходный код J доступен от Jsoftware в соответствии с Стандартной общественной лицензией GNU версии 3 (GPL3)., или коммерческая альтернатива.
Эрик Айверсон основал Iverson Software Inc. в феврале 1990 года, чтобы предоставить улучшенный продукт SHARP APL / PC. Вскоре стало очевидно, что существуют общие интересы и цели, и в мае 1990 года Айверсон и Хуэй присоединились к Iverson Software Inc.; позже к нему присоединился Крис Берк. Вскоре компания стала J only. В апреле 2000 года название было изменено на Jsoftware Inc.
Кен Айверсон (справа) и Роджер Хуэй, 1996 год Публикации, автором или соавтором которых является Айверсон, когда он работал в Iverson Software Inc. и Jsoftware Inc.:
 | Викицитатник содержит цитаты, связанные с: Кеннетом Э. Айверсоном |
