Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Кеннет Юджин Айверсон
Кей младший.jpg
Родившийся( 1920-12-17 )17 декабря 1920 г.
Камроуз, Альберта , Канада
Умер19 октября 2004 г. (2004-10-19)(83 года)
Торонто , Онтарио , Канада
ГражданствоКанадский
Альма-матерКоролевский университет
Гарвардский университет
ИзвестенЯзыки программирования : APL , J
Награды
Награда Мемориала Гарри Х. Гуда, сотрудника IBM, Премия
Тьюринга, Премия
Пионера компьютеров
Научная карьера
ПоляМатематика
информатика
УчрежденияГарвардский университет
IBM
I. P. Sharp Associates
Jsoftware Inc.
ТезисМашинные решения линейных дифференциальных уравнений - приложения к динамической экономической модели  (1954)
ДокторантХовард Эйкен
Василий Леонтьев

Кеннет Юджин Айверсон (17 декабря 1920 - 19 октября 2004) был канадским ученым-компьютерщиком, известным разработчиком языка программирования APL . В 1979 году он был удостоен премии Тьюринга «за свои новаторские усилия в области языков программирования и математической нотации, результатом которых стало то, что в области вычислений теперь известно как APL; за его вклад в реализацию интерактивных систем, в образовательное использование APL и в программирование. теория и практика языка ». [1]

Жизнь [ править ]

Кен Айверсон родился 17 декабря 1920 года недалеко от Камроуза , города в центральной провинции Альберта , Канада. Его родители были фермерами, приехавшими в Альберту из Северной Дакоты ; его предки прибыли из Тронхейма , Норвегия . [2]

Во время Второй мировой войны он служил сначала в канадской армии, а затем в Королевских ВВС Канады . [2] [3] Он получил степень бакалавра Королевского университета и степень магистра наук. и к.т.н. степени Гарвардского университета . В своей карьере он работал в Гарварде , IBM , IP Sharp Associates и Jsoftware Inc. (урожденная Iverson Software Inc.).

Айверсон перенес инсульт во время работы за компьютером в новой лаборатории J 16 октября 2004 г. и умер 19 октября 2004 г. в возрасте 83 лет [4].

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

Айверсон начал школу на 1 апреля 1926 года в одной комнате школы , [3] первоначально в 1 класс, повышен до класса 2 после 3 месяцев и до 4 - го класса в конце июня 1927 года он ушел из школы после 9 -го класса , потому что это было разразилась великая депрессия, и на семейной ферме нужно было поработать , и, поскольку он считал, что дальнейшее обучение приведет только к тому, чтобы стать школьным учителем, у него не было никакого желания им стать. В 17 лет, еще не посещая школу, он записался на заочные курсы по радио в De Forest Training в Чикаго и выучил математический анализ самостоятельно по учебнику. [3] [5] Во время Второй мировой войны , когда служил вКоролевские военно-воздушные силы Канады , он прошел заочные курсы для получения аттестата средней школы.

После войны Айверсон поступил в Королевский университет в Кингстоне, Онтарио , воспользовавшись государственной поддержкой бывших военнослужащих и находясь под угрозой со стороны своего приятеля из ВВС, который сказал, что «вышибет себе мозги, если не воспользуется возможностью». [3] Он окончил в 1950 году как лучший студент с степенью бакалавра в области математики и физики . [2]

Продолжая образование в Гарвардском университете , он начал с факультета математики и получил степень магистра в 1951 году. Затем он перешел на факультет инженерной и прикладной физики, работая с Говардом Эйкеном и Василием Леонтьевым .

Кеннет Айверсон вспомнил учебу в аспирантуре у Эйкена как «как ученичество», в котором студент «изучал инструменты торговли стипендиями». Каждая тема «использовалась больше как фокус для развития таких навыков, как ясность мысли и выражения, чем как самоцель». После зачисления в программу аспирант проходит обряд «принятия в лоно». Ему дали стол (или часть стола) среди группы других аспирантов, постоянного персонала или приглашенных ученых, «большинство из которых были вовлечены в некоторые аспекты проектирования и создания компьютеров». Таким образом, студента «заставляли чувствовать себя частью научного предприятия» и предоставляли «часто впервые, легкий и близкий доступ к другим, более опытным в выбранной им области».

-  И. Бернард Коэн , Ховард Эйкен: портрет пионера компьютерных технологий, MIT Press, 1999, стр. 215. [6]

Во время интервью с Айкеном я спросил его, можем ли мы с Троппом увидеть его конспекты лекций; Айкен ответил, что он всегда уничтожал свои конспекты лекций в конце каждого года, чтобы у него не возникало соблазна повторять свои лекции.

-  И. Бернард Коэн и Грегори У. Велч, редакторы, Makin 'Numbers , MIT Press, 1999, стр. Xvi. [7]

Говард Эйкен разработал Harvard Mark I , один из первых крупномасштабных цифровых компьютеров, а Василий Леонтьев был экономистом, который разрабатывал модель « затраты-выпуск» экономического анализа, за работу, за которую он позже получил Нобелевскую премию . Модель Леонтьева требовала больших матриц, и Айверсон работал над программами, которые могли оценивать эти матрицы на компьютере Harvard Mark IV . Айверсон получил докторскую степень. в прикладной математике в 1954 году с диссертацией на основе этой работы. [8] [9]

В Гарварде Айверсон познакомился с Эоином Уитни, двукратным стипендиатом Патнэма и однокурсником из Альберты. [10] [11] Это имело последствия в будущем.

Работа [ править ]

Гарвард (1955–1960) [ править ]

Симплексный алгоритм в нотации Айверсона [12] [13]

Айверсон остался в Гарварде в качестве доцента, чтобы реализовать первую в мире программу для аспирантов по «автоматической обработке данных». [14] [15] [16]

Многие думают, что Айкена интересовали только научные компьютеры. Это было просто не так. Во время одного часа кофе Айкен повернулся к Кену Айверсону, который только что защитил докторскую диссертацию, и сказал: «Эти машины будут чрезвычайно важны для бизнеса, и я хочу, чтобы вы подготовили и провели курс по обработке бизнес-данных. следующей осенью ". Такого курса нигде в мире не было. Кен получил квалификацию только потому, что был математиком. Я был так взволнован перспективой, что немедленно вызвался стать ассистентом Кена в аспирантуре.

-  Фредерик Брукс-младший , Эйкен и Гарвардская "Comp Lab", в I. Бернард Коэн и Грегори В. Велч, редакторы, Makin 'Numbers , MIT Press, 1999, стр. 141. [7]

Именно в этот период Айверсон разработал нотацию для описания и анализа различных тем в обработке данных, для учебных классов и для написания (с Бруксом) автоматической обработки данных . [17] Он был «потрясен», обнаружив, что обычные математические обозначения не удовлетворяют его потребности, и начал работу над расширениями обозначений, которые были более подходящими. В частности, он принял матричную алгебру, используемую в его дипломной работе, систематическое использование матриц и многомерных массивов в тензорном анализе, а также операторов в смысле Хевисайда при рассмотрении уравнений Максвелла , функций высшего порядка от функции аргумента ( s) с функцией result. [3] Нотация была также проверена в деловом мире в 1957 году во время шестимесячного творческого отпуска в McKinsey & Company . [3] [18] Первой опубликованной статьей с использованием этой нотации было «Описание конечных последовательных процессов» , первоначально отчет № 23 в Bell Labs, а затем переработанный и представленный на Четвертом Лондонском симпозиуме по теории информации в августе 1960 года. [12] [19 ]

Айверсон проработал в Гарварде пять лет, но так и не получил должность, потому что «[он] не опубликовал ничего, кроме одной маленькой книжки». [2]

IBM (1960–1980) [ править ]

Айверсон присоединился к IBM Research в 1960 году (и удвоил свою зарплату). [3] Ему предшествовал IBM Фред Брукс , который посоветовал ему «придерживаться того, чем [он] действительно хотел заниматься, потому что менеджмент так жаждал идей, что все, что не было явно сумасшедшим, могло найти поддержку». В частности, ему было разрешено закончить и опубликовать языком программирования [19] [20] и (с Brooks) Автоматическая обработка данных , [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] Впоследствии Брид, Дик Латвелл (бывший университет Альберты ) и Роджер Мур (из IP Sharp Associates ) разработали реализацию System / 360; [30] трое получили премию Грейс Мюррей Хоппер.в 1973 г. «За их работу по разработке и внедрению APL \ 360, установившую новые стандарты простоты, эффективности, надежности и времени отклика для интерактивных систем». [31] Пока шла работа над реализацией 360, «нотация Iverson» [29] [32] была переименована Фалькоффом в «APL». [33] Рабочее пространство «1 чистое пространство» было сохранено в 1966-11-27 22.53.58 UTC . [23] Обслуживание APL \ 360 началось в IBM за несколько недель до этого [34] и за пределами IBM в 1968 году. [28] Дополнительную информацию о реализации APL \ 360 можно найти в Благодарностях Руководства пользователя APL \ 360 [35] ]и в «Приложении. Хронология развития APL» Проекта APL . [21]

Выражение APL для глубины вложенности скобок [36] [37]

Формальное описание и особенно реализация стимулировали развитие языка, процесс консолидации и регуляризации в типографике, линеаризации, синтаксисе и определении функций, описанных в APL \ 360 History , [38] The Design of APL , [21] и The Эволюция APL . [18] Два трактата этого периода, « Соглашения, регулирующие порядок оценки» [39] и « Алгебра как язык» , [40], являются апологетикой нотации APL.

Эта нотация использовалась Фалькоффом и Айверсоном для преподавания различных тем в различных университетах и ​​в Институте системных исследований IBM. [21] [38] В 1964 году Айверсон использовал обозначение в односеместровом курсе для старшеклассников в средней школе Фокс-Лейн , [33] [41] и позже в средней школе Свортмор . [3] После того, как APL стал доступным, его первым приложением стало обучение формальным методам проектирования систем в NASA Goddard . [38] [42] Он также использовался в школе Хотчкисс , [24] Колледже Нижней Канады , [43] Средней школе Скотч-Плейнс ,[44] Государственные школы Атланты, [45] [46] и другие. В одной школе ученики настолько увлеклись, что ворвались в школу в неурочное время, чтобы получить больше компьютерного времени APL; [23] [47] в другом случае энтузиасты APL направили новичков на BASIC, чтобы максимально использовать время 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]

(Слева направо) Дик Латвелл, Кен Айверсон, Роджер Мур, Адин Фалькофф, Фил Абрамс и Ларри Брид. Крайний слева на заднем плане: Джон МакГрю. Снято в гостиничном комплексе IP Sharp Associates во время встречи пользователей APL в 1978 году в Торонто, Онтарио.

В следующей таблице перечислены публикации, автором или соавтором которых является Айверсон, пока он работал в 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]

IP Sharp Associates (1980–1987) [ править ]

Оператор ранга APL ⍤ [76] [77]

В 1980 году Айверсон покинул IBM для IP 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 Calgary . [23] ) В модели синтаксис APL управлялся таблицей 11 на 5. Уитни также изобрелаоператор ранга в процессе. [84] Дизайн языка был дополнительно упрощен и расширен в Rationalized APL [85] в январе 1983 г., нескольких изданиях A Dictionary of the APL Language с 1984 по 1987 г. и A Dictionary of APL [86] в сентябре 1987 г. В рамках IPSA, фраза «словарь APL» вошла в употребление для обозначения APL, указанного в A Dictionary of 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 году. экспериментальная система APL под названием NARS, разработанная и реализованная Бобом Смитом. [90] [91] NARS и APL2 фундаментально отличались от словаря APL, [92] и отличались друг от друга.

IP Sharp реализовал новые идеи APL поэтапно: комплексные числа, [93] замкнутые (упакованные) массивы, операторы сопоставления и композиции в 1981 г. [94], оператор детерминанта в 1982 г., [95] и оператор ранга, связь и функции левого и правого тождества в 1983 г. [96] Однако области применения операторов все еще были ограничены примитивными функциями или их подмножествами. В 1986 году IPSA разработал SAX, [76] [97] SHARP APL / Unix, написанный на C и основанный на реализации STSC . Язык был таким, как указано в словаре, без ограничений по доменам операторов. Альфа-версия SAX стала доступна в IP Sharp примерно в декабре 1986 или в начале 1987 года.

В сфере образования Айверсон разработал мини-курс SHARP APL [98] [99], используемый для обучения клиентов IPSA использованию APL, прикладной математики для программистов [100] и математики и программирования [101], которые использовались на курсах информатики в TH Твенте .

Кен Айверсон и Артур Уитни, 1989

Публикации, автором или соавтором которых является Айверсон, когда он работал в IP Sharp Associates :

Образование
  • Индуктивный метод введения APL [98]
  • Мини-курс SHARP APL [99]
  • Прикладная математика для программистов [100]
  • Математика и программирование [101]
Языковой дизайн и реализация
  • Операторы и замкнутые массивы [102]
  • Прямое определение [103]
  • Состав и корпус [94]
  • Оператор определения функции [104]
  • Детерминантные функции, производимые точечным оператором [95]
  • Практическое использование модели APL [81]
  • Рационализированный APL [85]
  • Синтаксис и семантика APL [82]
  • Расширения языков, май 1983 г. [96]
  • Операторное исчисление [105]
  • APL87 [106]
  • Словарь APL [86]
  • Обработка естественного языка: синтаксические и семантические механизмы [107]

Jsoftware (1990–2004) [ править ]

J неявный глагол для биномиальных коэффициентов [36] [108]
Вычисление, эквивалентное Dyalog APL [109]

Айверсон ушел из IP Sharp Associates в 1987 году. Он был занят «в перерывах между работой». Что касается проектирования языков, наиболее значительным из его действий в этот период было изобретение «вилки» в 1988 году. [110] В течение многих лет он изо всех сил пытался найти способ записать f + g, как в исчислении, из «скалярных операторов». "в 1978 г. [72] через оператор" til "в 1982 г. [81] [85] операторы цепочки и изменения формы в 1984 г. [105] операторы объединения и пересечения в 1987 г. [86] " ярмо "в 1988 г., [111] и, наконец, вилки в 1988 году. Форки определяются следующим образом:

     (фгх) у  ← →  (fy) g (hy)
   х (фгх) у  ← →  (xfy) g (xhy)

Кроме того, (fgpqr) ← → (fg (pqr)). Таким образом, чтобы написать f + g как в исчислении, можно написать f + g в APL. Айверсон и Юджин Макдоннелл проработали детали длительных перелетов на конференцию APL88 в Сиднее, Австралия, и Айверсон придумал первоначальную идею, как проснуться от сна. [84] [112] [80] : §1.3, §3.8

Айверсон представил обоснование своего рабочего места в 1987 году следующим образом: [15]

Когда я уволился с оплачиваемой работы, я снова обратил внимание на этот вопрос [использование APL для обучения] и вскоре пришел к выводу, что основным необходимым инструментом является диалект APL, который:

• Доступно как «условно-бесплатное ПО» и достаточно недорого, чтобы его могли приобрести как ученики, так и школы.
• Возможность печати на стандартных принтерах
• Работает на самых разных компьютерах.
• Обеспечивает простоту и универсальность последних идей в APL.

Результат был J , о котором впервые было сообщено в [ Протоколы конференции APL 90 ]. [113]

Роджер Хуэй описал последний импульс, который заставил J начать работу в Приложении A Реализации J : [114]

В один из летних выходных 1989 года Артур Уитни посетил Кена Айверсона на обжиговой ферме и произвел - на одной странице и за один день - фрагмент интерпретатора на компьютере AT&T 3B1 . Я изучал этот интерпретатор около недели на его организацию и стиль программирования; и в воскресенье, 27 августа 1989 г., около четырех часов дня, написал первую строку кода, которая стала реализацией, описанной в этом документе. Фрагмент одностраничного интерпретатора Артура выглядит следующим образом: ...

Hui, одноклассник Уитни в университете Альберты , учился Словарь АПЗ языка , когда он был между заданиями, [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 General Public License версии 3 (GPL3) или коммерческой альтернативой. [122]

Эрик Айверсон основал Iverson Software Inc. в феврале 1990 года, чтобы предоставить улучшенный продукт SHARP APL / PC. Вскоре стало очевидно, что существуют общие интересы и цели, и в мае 1990 года Айверсон и Хуэй присоединились к Iverson Software Inc .; позже к нему присоединился Крис Берк. Вскоре компания стала J only. В апреле 2000 года название было изменено на Jsoftware Inc. [84]

Кен Айверсон (справа) и Роджер Хуэй, 1996 г.

Публикации, автором или соавтором которых является Иверсон, когда он работал в Iverson Software Inc. и Jsoftware Inc.:

Образование
  • Материальная математика [123]
  • Программирование в J [124]
  • Арифметика [125]
  • Исчисление [126]
  • Конкретный помощник по математике [127]
  • Изучение математики [128]
  • J-фразы [129]
  • Победители конкурса ICFP '98 [130]
  • Математика для обывателя [131]
Языковой дизайн и реализация
  • Комментарий к разработке APL [111]
  • Фразовые формы [110]
  • APL /? [113]
  • Молчаливое определение [118]
  • Личный взгляд на APL [15]
  • J Введение и словарь [132]
  • Возвращение к грубым пятнам [133]
  • Компьютеры и математические обозначения [134]
  • Математические корни J [135]
  • APL в новом тысячелетии [136]

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

  • Сотрудник IBM , IBM , 1970 [1] [48]
  • Премия памяти Гарри Х. Гуда , Компьютерное общество IEEE , 1975 [48]
  • Член Национальной инженерной академии (США), 1979 г. [137]
  • Премия Тьюринга , Ассоциация вычислительной техники , 1979 [1]
  • Премия Computer Pioneer (получатель хартии), IEEE Computer Society , 1982 [138]
  • Почетный доктор Йоркского университета , 1998 год [139]

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

  • Премия Айверсона
  • Кронштейн Айверсона
  • Функции пола и потолка
  • Список пионеров информатики

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

  1. ^ а б в г д Айверсон, Кеннет Э. (август 1980 г.). «Нотация как инструмент мысли» . Коммуникации ACM . 23 (8): 444–465. DOI : 10.1145 / 358896.358899 . Проверено 8 апреля 2016 года .
  2. ^ a b c d e Хуэй, Роджер , изд. (30 сентября 2005 г.), Ken Iverson Quotations and Anecdotes , по состоянию на 12 февраля 2019 г.
  3. ^ a b c d e f g h i j k Iverson, Kenneth E .; Макинтайр, Дональд Э. (2008), Кеннет Э. Айверсон (Автобиография) , получено 8 апреля 2016 г.
  4. ↑ Айверсон, Эрик Б. (21 октября 2004 г.), д-р Кеннет И. Айверсон (сообщение J Forum) , получено 8 апреля 2016 г.
  5. ↑ March, Herman W .; Вольф, Генри К. (1917). Исчисление . Макгроу-Хилл.
  6. ^ Коэн, И. Бернард (1999). Ховард Эйкен: портрет компьютерного пионера . MIT Press. ISBN 978-0-262-03262-9.
  7. ^ a b Коэн, И. Бернар ; Уэлч, Грегори В., ред. (1999). Макин числа . MIT Press. ISBN 978-0-262-03263-6.
  8. ^ Айверсон, Кеннет Э. (1954). Машинные решения линейных дифференциальных уравнений - приложения к динамической экономической модели (кандидатская диссертация). Гарвардский университет . Дата обращения 7 апреля 2016 .
  9. ^ Хуэй, Роджер (август 2012 г.), «MSLDE» , Jwiki Essay , получено 22 апреля 2016 г.
  10. ↑ Уитни, Артур (август 2006 г.), «Воспоминания о Кене» , Vector , 22 (3) , получено 25 апреля 2016 г.
  11. ^ a b c Кантрилл, Брайан (февраль 2009 г.). «Разговор с Артуром Уитни» . Очередь ACM . 7 (2) . Дата обращения 7 апреля 2016 .
  12. ^ а б Айверсон, Кеннет Э. (август 1960 г.), «Описание конечных последовательных процессов» , Симпозиум по теории информации , Королевский институт, Лондон , получено 9 апреля 2016 г.
  13. ↑ Монтальбано, Майкл С. (октябрь 1982 г.), Личная история APL , получено 10 апреля 2016 г.
  14. Перейти ↑ Iverson, Kenneth E. (июнь 1954 г.). Якобсон, Арвид У. (ред.). «Обучение и исследования в аспирантуре» . Труды Первой конференции по подготовке кадров для вычислительной техники . Государственный университет Уэйна . Дата обращения 9 апреля 2016 .
  15. ^ a b c Айверсон, Кеннет Э. (декабрь 1991 г.). «Личный взгляд на APL» . Журнал IBM Systems . 30 (4): 582–593. DOI : 10.1147 / sj.304.0582 . Дата обращения 9 апреля 2016 .
  16. ^ Брукс, Фредерик П. (август 2006 г.). «Язык, разум и человек» . Вектор . 22 (3). DOI : 10.1111 / mila.2007.22.issue-3 . Проверено 16 марта 2018 .
  17. ^ a b c d Брукс-младший, Фредерик П .; Айверсон, Кеннет Э. (1963). Автоматическая обработка данных . Вайли. ISBN 978-0-471-10599-2.
  18. ^ a b c Фалькофф, Адин Д .; Айверсон, Кеннет Э. (август 1978 г.). «Эволюция APL» . Уведомления ACM SIGPLAN . 13 (8): 47–57. DOI : 10.1145 / 960118.808372 . S2CID 6050177 . Дата обращения 9 апреля 2016 . 
  19. ^ a b c Айверсон, Кеннет Э. (14 декабря 1983 г.), Письмо Дж. К. Таттлу , получено 16 апреля 2016 г.
  20. ^ а б в г Айверсон, Кеннет Э. (1962). Язык программирования . Джон Вили и сыновья. ISBN 978-0-471-43014-8. Дата обращения 9 апреля 2016 .
  21. ^ a b c d e Фалькофф, Адин Д .; Айверсон, Кеннет Э. (июль 1973 г.). «Дизайн АПЛ» . Журнал исследований и разработок IBM . 17 (4): 324–334. DOI : 10.1147 / rd.174.0324 . Дата обращения 9 апреля 2016 .
  22. ^ a b c Фалькофф, Адин Д .; Iverson, Kenneth E .; Сассенгут, Эдвард Х. (1964). «Формальное описание системы / 360» (PDF) . Журнал IBM Systems . 3 (3): 198–261. DOI : 10.1147 / sj.32.0198 . Архивировано 13 августа 2006 года. CS1 maint: bot: исходный статус URL неизвестен ( ссылка )
  23. ^ a b c d e Хуэй, Роджер , изд. (Сентябрь 2010 г.), APL Quotations and Anecdotes , заархивировано из оригинала 5 июля 2018 г. , получено 9 апреля 2016 г.
  24. ^ a b c d Порода, Ларри (август 2006 г.). «Как мы попали в APL \ 1130» . Вектор . 22 (3). Архивировано из оригинального 18 марта 2016 года . Дата обращения 13 апреля 2016 .
  25. ^ Дженкинс, Майкл А. (июнь 1970 г.), "Решение линейных систем уравнений и линейных задач наименьших квадратов в APL", Технический отчет номер 320-2989 , IBM Corp.
  26. ^ Дженкинс, Майкл А. (10 февраля 1972 г.), «Домино - примитивная функция APL для обратной матрицы - ее реализация и приложения», APL Quote Quad , 3 (4)
  27. ^ a b Макинтайр, Дональд Б. (август 2006 г.), «Дань Кену Айверсону» , Vector , 22 (3) , получено 25 апреля 2016 г.
  28. ^ a b c d e Фалькофф, Адин Д. (декабрь 1991 г.). «Семейство IBM APL-систем». Журнал IBM Systems . 30 (4): 416–432. DOI : 10.1147 / sj.304.0416 .
  29. ^ a b Абрамс, Филип С. (17 августа 1966 г.), «Интерпретатор для« нотации Айверсона » » (PDF) , Технический отчет: CS-TR-66-47 , Департамент компьютерных наук, Стэнфордский университет , получено 17 апреля 2016 г.
  30. ^ Фалькофф, Адин Д .; Айверсон, Кеннет Э. (16 октября 1967 г.), "The APL \ 360 Terminal System" , Research Report RC-1922 , IBM , получено 9 апреля 2016 г.
  31. ^ Премия ACM Грейс Мюррей Хоппер (1973): Порода , Латвелл и Мур ; получено 14 апреля 2016 года.
  32. ^ Хорват, Роберт В. (август 1966 г.). Введение в нотацию Айверсона . Отдел разработки систем IBM, Покипси, Нью-Йорк.
  33. ^ a b c Макдоннелл, Юджин , изд. (1981), A Source Book in APL, Introduction , APL Press , извлечено 19 апреля 2016 г.
  34. ^ Breed, Ларри (сентябрь 1991), "Первый APL Terminal Session", APL Цитата Quad , 22 (1): 2-4, DOI : 10,1145 / 138094,140933 , S2CID 43138444 
  35. ^ a b Фалькофф, Адин Д .; Айверсон, Кеннет Э. (1968). Руководство пользователя APL \ 360 (PDF) . IBM . Проверено 11 апреля +2016 .
  36. ↑ a b Hui, Roger (11 октября 2014 г.), Sixteen APL Amuse-Bouches , получено 12 апреля 2016 г.
  37. ^ Перлис, Алан Дж. (29 марта 1978 г.), «Почти идеальные артефакты улучшаются только небольшими способами: APL больше французский, чем английский» , APL 78 Conference Proceedings , извлечено 12 апреля 2016 г.
  38. ^ a b c d Фалькофф, Адин Д. (июль 1969 г.), «История APL \ 360» , Труды конференции пользователей APL в SUNY Binghamton , получено 9 апреля 2016 г.
  39. ^ Айверсон, Кеннет Э. (1966), Конвенции, регулирующие порядок оценки (Приложение А об элементарных функциях: алгоритмическая обработка) , Science Research Associates , получено 16 апреля 2016 г.
  40. ^ Айверсон, Кеннет Э. (1972), Алгебра как язык (Приложение А к алгебре: алгоритмическое лечение) , Аддисон-Уэсли , получено 16 апреля 2016 г.
  41. ^ а б Айверсон, Кеннет Э. (март 1966 г.). Элементарные функции: алгоритмическое лечение . Научно-исследовательские партнеры.
  42. ^ Макдоннелл, Юджин (декабрь 1979 г.), «Социально-технические начала APL» , APL Quote Quad , 10 (2): 13, doi : 10,1145 / 586148,586155 , S2CID 18025422 , получено 24 апреля 2016 г. 
  43. ↑ Goldsmith, Leslie H., Hui, Roger (ed.), APL Quotations and Anecdotes , заархивировано из оригинала 5 июля 2018 года , получено 13 апреля 2016 года.
  44. ^ Макдоннелл, Юджин (сентябрь 1980 г.). «Рекреационный АПЛ, Пирамиграмма» . APL Quote Quad . 11 (1) . Дата обращения 13 апреля 2016 .
  45. ^ "APL в государственных школах Атланты", SHARE * APL \ 360 Newsletter (3), октябрь 1969 г.
  46. ↑ APL IV: Четвертая международная конференция APL , июнь 1972 г. , получено 29 апреля 2016 г.
  47. ^ Бьянкуцци, Федерико; Уорден, Шейн (март 2009 г.). Идеи программирования . O'Reilly Media. Архивировано из оригинала 5 июля 2018 года . Дата обращения 13 апреля 2016 .
  48. ^ a b c «Айверсон получает премию Гарри Гуда» . APL Quote Quad . 6 (2). Июнь 1975 . Проверено 8 апреля 2016 года .
  49. ↑ Берри, Пол (август 2006 г.), «Экспозиционное программирование» , вектор , 22 (3) , получено 25 апреля 2015 г.
  50. ^ Берри, Пол; Bartoli, G .; Dell'Aquila, C .; Спадавеккья, В. (март 1973). «APL и Insight». TR № CRB 002 / 513-3502 . IBM Corp.
  51. ^ Спенс, Роберт (март 1973). Теория резистивных цепей . IBM.
  52. ^ Орт, Дональд Л. (1976). Исчисление в новом ключе . APL Press. ISBN 978-0-917326-05-9.
  53. ^ Берри, Пол; Торстенсен, Джон (1973). «Звездная карта». ТР № 02.665 . IBM Corp.
  54. ^ Айверсон, Кеннет Э. (1969), Использование APL в обучении , IBM Pub. № G320-0996 , получено 15 апреля 2016 г.
  55. ^ Берри, Пол; Фалькофф, Адин Д .; Айверсон, Кеннет Э. (24 августа 1970 г.). «Использование компьютера для вычислений: прямой, но забытый подход к преподаванию математики». Всемирная конференция IFIP по компьютерному образованию .
  56. Перейти ↑ Iverson, Kenneth E. (1972), Algebra: An Algorithmic Treatment , Addison-Wesley
  57. ↑ Iverson, Kenneth E. (январь 1972 г.), «APL in Exposition» (PDF) , номер технического отчета RC 320-3010 , IBM Philadelphia Scientific Center , получено 9 апреля 2016 г.
  58. ^ Айверсон, Кеннет Э. (март 1973 г.), «Введение в APL для ученых и инженеров» , Технический отчет № RC 320-3019 , IBM Philadelphia Scientific Center , получено 9 апреля 2016 г.
  59. ^ Айверсон, Кеннет Э. (июль 1972 г.), «Знакомство с APL для учителей» , Технический отчет № RC 320-3014 , IBM Philadelphia Scientific Center , получено 9 апреля 2016 г.
  60. Перейти ↑ Iverson, Kenneth E. (1976), Elementary Analysis , APL Press
  61. ^ Айверсон, Кеннет Э. (сентябрь 1978 г.). «Стиль программирования в APL» . Материалы собрания пользователей APL . IP Sharp Associates . Дата обращения 9 апреля 2016 .
  62. Перейти ↑ Iverson, Kenneth E. (май 1962 г.). «Язык программирования» . Материалы весенней совместной компьютерной конференции AFIPS, Сан-Франциско . Дата обращения 13 апреля 2016 .
  63. ^ Айверсон, Кеннет Э. (декабрь 1962 г.). «Общий язык для оборудования, программного обеспечения и приложений» . Труды Объединенной компьютерной конференции AFIPS Fall, Филадельфия . Дата обращения 13 апреля 2016 .
  64. ^ Айверсон, Кеннет Э. (июнь 1963 г.). «Нотация программирования в системном проектировании» . Журнал IBM Systems . 2 (2): 117–128. DOI : 10.1147 / sj.22.0117 . Дата обращения 13 апреля 2016 .
  65. ^ Айверсон, Кеннет Э. (февраль 1964 г.). «Формализм в языках программирования» . Коммуникации ACM . 7 (2): 80–88. DOI : 10.1145 / 363921.363933 . S2CID 14145756 . Дата обращения 13 апреля 2016 . 
  66. ^ Айверсон, Кеннет Э. (октябрь 1964 г.). «Метод спецификации синтаксиса». Коммуникации ACM . 7 (10): 588–589. DOI : 10.1145 / 364888.364969 . S2CID 194665 . 
  67. ^ Фалькофф, Адин Д .; Айверсон, Кеннет Э. (май 1973 г.). «Коммуникация в системах APL». Технический отчет 320-3022 . IBM Philadelphia Scientific Center.
  68. ^ Айверсон, Кеннет Э. (1973). APL как аналитическая нотация . IBM Philadelphia Scientific Center.
  69. ^ Фалькофф, Адин Д .; Айверсон, Кеннет Э. (1973). «Руководство пользователя APLSV» (PDF) . Ш20-1460 . IBM Philadelphia Scientific Center . Проверено 16 апреля 2016 года .
  70. ^ Фалькофф, Адин Д .; Айверсон, Кеннет Э. (март 1975 г.). Язык APL (форма № GC26-3847) (PDF) . IBM.
  71. Перейти ↑ Iverson, Kenneth E. (сентябрь 1976 г.), «Два комбинаторных оператора», APL 76 Conference Proceedings
  72. ^ a b c Айверсон, Кеннет Э. (26 апреля 1978 г.), «Операторы и функции» , исследовательский отчет № RC7091 , IBM , получено 9 апреля 2016 г.
  73. ↑ Айверсон, Кеннет Э. (июнь 1979 г.), «Роль операторов в APL» , Протоколы конференции APL 79 , получено 10 апреля 2016 г.
  74. ^ Айверсон, Кеннет Э. (июнь 1979), «Оператор производных», APL 79 Conference Proceedings
  75. ^ Айверсон, Кеннет Э. (октябрь 1979 г.). «Операторы». Транзакции ACM по языкам и системам программирования . 1 (2): 161–176. DOI : 10.1145 / 357073.357074 .
  76. ^ a b c Стейнбрук, Дэвид Х. (1986). Справочник SAX . IP Sharp Associates .
  77. ^ Хуэй, Роджер (август 2010). «В среднем» . Вектор . 22 (4) . Проверено 12 апреля +2016 .
  78. ^ IPSA (январь 1980). "Доктор Кеннет Э. Айверсон" (PDF) . Информационный бюллетень IP Sharp . 8 (1) . Проверено 8 августа 2019 .
  79. ^ Хуэй, Роджер , изд. (14 мая 2009 г.), Eugene McDonnell Quotations and Anecdotes , получено 5 апреля 2016 г.
  80. ^ а б Хуэй, Роджер; Кромберг, Мортен (июнь 2020 г.). «АПЛ с 1978 года» . Труды ACM по языкам программирования . 4 (HOPL): 1–108. DOI : 10.1145 / 3386319 . S2CID 218517570 . 
  81. ^ a b c Айверсон, Кеннет Э. и Артур Т. Уитни (сентябрь 1982 г.), «Практическое использование модели APL» , APL 82 Conference Proceedings , получено 10 апреля 2016 г.
  82. ^ a b Айверсон, Кеннет Э. (март 1983 г.), «Синтаксис и семантика APL » , Материалы конференции APL 83 , получено 10 апреля 2016 г.
  83. ↑ A Celebration of Kenneth Iverson , Computer History Museum , 30 ноября 2004 г. , получено 17 апреля 2016 г.
  84. ^ a b c d e f Хуэй, Роджер (ноябрь 2014 г.), Вспоминая Кена Айверсона , получено 10 апреля 2016 г.
  85. ^ a b c Айверсон, Кеннет Э. (6 января 1983 г.), Rationalized APL , IP Sharp Associates , получено 10 апреля 2016 г.
  86. ^ a b c d Iverson, Kenneth E. (сентябрь 1987 г.), «Словарь APL» , APL Quote Quad , 18 (1): 5–40, doi : 10.1145 / 36983.36984 , S2CID 18301178 , получено 10 апреля 2016 г. 
  87. ^ Браун, Джеймс А. (1971). Обобщение APL (кандидатская диссертация). Департамент компьютерных и информационных наук Сиракузского университета.
  88. ^ Браун, Джеймс А. (1984), «Принципы APL2», Технический отчет 03.247 , Лаборатория IBM Santa Teresa
  89. ^ Браун, Джеймс А. (1988), "Программирование APL2: справочник по языку", Sh20-9227 , IBM Corporation
  90. ^ Смит, Роберт А. (сентябрь 1981). «Вложенные массивы, операторы и функции». APL 81 Conference Proceedings .
  91. ↑ Cheney, Carl M. (1981), APL * PLUS Nested Array System (PDF) , STSC, Inc. , получено 19 апреля 2016 г.
  92. ^ Орт, Дональд Л. (декабрь 1981). «Сравнение реализаций IPSA и STSC операторов и общих массивов» . APL Quote Quad . 12 (2): 11. DOI : 10,1145 / 586656,586662 . S2CID 1642446 . Дата обращения 13 апреля 2016 . 
  93. ↑ Макдоннелл, Юджин (20 июня 1981 г.). «Комплексные числа» . САТН 40, ИП Sharp Associates . Проверено 11 апреля +2016 .
  94. ^ а б Айверсон, Кеннет Э. (20 июня 1981 г.). «Состав и вложение» . САТН 41, ИП Sharp Associates . Проверено 11 апреля +2016 .
  95. ^ а б Айверсон, Кеннет Э. (1 апреля 1982 г.). «Детерминантные функции, производимые оператором точки» . САТН 42, ИП Sharp Associates . Проверено 11 апреля +2016 .
  96. ^ а б Бернки, Роберт; Iverson, Kenneth E .; Макдоннелл, Юджин ; Мецгер, Роберт; Шулер, Дж. Анри (2 мая 1983 г.). «Расширения языка мая 1983 года» . САТН 45, IP Sharp Associates . Проверено 11 апреля +2016 .
  97. ^ Таттл, Джоуи К. (август 2006 г.), "Что не так с моим программированием?" , Vector , 22 (3) , дата обращения 25 апреля 2016.
  98. ^ а б Айверсон, Кеннет Э. (6 октября 1980 г.), «Индуктивный метод введения APL» , Протокол собрания пользователей APL 1980 г. , получено 10 апреля 2016 г.
  99. ^ а б Айверсон, Кеннет Э. (январь 1981 г.). Мини-курс SHARP APL . IP Sharp Associates .
  100. ^ а б Айверсон, Кеннет Э. (1984). Прикладная математика для программистов . IP Sharp Associates .
  101. ^ а б Айверсон, Кеннет Э. (июль 1986 г.). Математика и программирование . IP Sharp Associates .
  102. ^ Бернекки, Роберт; Айверсон, Кеннет Э. (6 октября 1980 г.), «Операторы и закрытые массивы» , Протоколы собраний пользователей APL 1980 г. , получено 10 апреля 2016 г.
  103. ^ Айверсон, Кеннет Э. (октябрь 1980 г.). «Прямое определение». САТН 36, ИП Sharp Associates .
  104. ^ Айверсон, Кеннет Э .; Вустер, Питер К. (сентябрь 1981 г.), «Оператор определения функции» , APL 81 Conference Proceedings
  105. ^ а б Айверсон, Кеннет Э .; Pesch, Roland H .; Schueler, J. Henri (июнь 1984 г.), «Операторное исчисление» , APL 84 Conference Proceedings , получено 10 апреля 2016 г.
  106. ^ а б Айверсон, Кеннет Э. (май 1987 г.), «APL87» , APL 87 Conference Proceedings , извлечено 10 апреля 2016 г.
  107. ^ Hagamen, WD; Берри, ПК; Iverson, KE; Вебер, JC (август 1989), "Обработка естественного языка: Синтаксические и семантические механизмы", APL Quote Quad , 19 (4): 184-189, DOI : 10,1145 / 75144,75170 , ISBN 0897913272, S2CID  14004227
  108. ↑ Хуэй, Роджер (3 декабря 2014 г.). "Любимое выражение APL Кена Айверсона?" . Блог Дьялог . Проверено 12 апреля +2016 .
  109. ^ Справочник по языку Dyalog APL (версия 14.0 или более поздняя) (PDF) , Dyalog Limited, 2014 г. , получено 16 апреля 2016 г.
  110. ^ а б Айверсон, Кеннет Э. и Юджин МакДоннелл (август 1989 г.), «Phrasal Forms» , APL 89 Conference Proceedings , извлечено 10 апреля 2016 г.
  111. ^ а б Айверсон, Кеннет Э. (сентябрь 1988 г.). «Комментарий к разработке APL» . APL Quote Quad . 19 (1): 3–8. DOI : 10.1145 / 379279.379330 . S2CID 18392328 . Дата обращения 13 апреля 2016 . 
  112. ↑ Ходжкинсон, Роб (19 октября 2017 г.), сообщение на форуме J Programming Forum
  113. ^ а б Хуэй, Роджер ; Iverson, Kenneth E .; Макдоннелл, Юджин ; Уитни, Артур (июль 1990 г.), "APL /?" , APL 90 Conference Proceedings , дата обращения 10 апреля 2016
  114. ↑ Хуэй, Роджер (27 января 1992 г.). Реализация J (PDF) . Айверсон Software Inc . Дата обращения 10 апреля 2016 .
  115. ^ Хуэй, Роджер (май 1987). "Некоторые виды использования {и}" . APL 87 Материалы конференции . Проверено 15 апреля 2016 года .
  116. ^ Хуэй, Роджер (июнь 1995 г.). «Ранг и единообразие» . APL 95 Материалы конференции . Проверено 15 апреля 2016 года .
  117. ↑ Хуэй, Роджер (27 января 2006 г.), «The TAO of J» , J Wiki Essay , получено 24 мая 2016 г.
  118. ^ а б Хуэй, Роджер ; Iverson, Kenneth E .; Макдоннелл, Юджин (август 1991 г.), "Tacit Definition" , APL 91 Conference Proceedings , получено 10 апреля 2016 г.
  119. ^ Черлин, Эдвард (август 1991). «Чистые функции в APL и J». APL 91 Conference Proceedings .
  120. ^ Берк, Крис; Хуэй, Роджер (сентябрь 1996 г.). «J для программиста APL» . APL Quote Quad . 27 (1): 11–17. DOI : 10.1145 / 1151395.1151400 . S2CID 9203778 . Проверено 14 апреля 2016 года . 
  121. ↑ Burke, Chris (2 марта 2005 г.), APL and J (PDF) , получено 16 апреля 2016 г.
  122. ^ J Source , Jsoftware, Inc. , получено 15 апреля 2016 г.
  123. ^ Айверсон, Кеннет Э. (1991). Материальная математика . Iverson Software Inc.
  124. ^ Айверсон, Кеннет Э. (1991). Программирование в Дж . Iverson Software Inc.
  125. ^ Айверсон, Кеннет Э. (1991). Арифметика (PDF) . Айверсон Software Inc . Дата обращения 10 апреля 2016 .
  126. ^ Айверсон, Кеннет Э. (1993). Исчисление (PDF) . Айверсон Software Inc . Дата обращения 10 апреля 2016 .
  127. ^ Айверсон, Кеннет Э. (1995). Конкретный математический компаньон (PDF) . Айверсон Software Inc . Дата обращения 10 апреля 2016 .
  128. ^ Айверсон, Кеннет Э. (1996). Изучение математики (PDF) . Айверсон Software Inc . Дата обращения 10 апреля 2016 .
  129. ^ Берк, Крис; Хуэй, Роджер ; Iverson, Kenneth E .; Макдоннелл, Юджин ; Макинтайр, Дональд Б. (1996). J Фразы . Айверсон Software Inc . Дата обращения 10 апреля 2016 .
  130. ^ Берк, Крис; Хуэй, Роджер ; Айверсон, Эрик; Iverson, Kenneth E .; Айверсон, Кирк (1998), победители конкурса ICFP '98 , данные получены 15 апреля 2016 г.
  131. ^ Айверсон, Кеннет Э. (1999). Математика для обывателя . JSoftware Inc . Дата обращения 10 апреля 2016 .
  132. ^ Хуэй, Роджер ; Айверсон, Кеннет Э. (1991). «J Введение и словарь» . Jsoftware Inc . Дата обращения 9 апреля 2016 . Cite journal requires |journal= (help)
  133. ↑ Айверсон, Кеннет Э. (март 1994). «Возвращаясь к грубым пятнам» . APL Quote Quad . 24 (3): 13–16. DOI : 10.1145 / 181983.181986 . S2CID 2140469 . Дата обращения 13 апреля 2016 . 
  134. ↑ Iverson, Kenneth E. (1996), Computers and Mathematical Notation , Iverson Software Inc. , получено 10 апреля 2016 г.
  135. ^ Хуэй, Роджер ; Айверсон, Кеннет Е. (январь 1998), "Математические корни J", АПЗ 97 Труды конференции : 21-30, DOI : 10,1145 / 316689,316698 , S2CID 2317632 
  136. ↑ Iverson, Kenneth E. (август 2006 г.), «APL in the New Millennium» , Vector , 22 (3) , получено 25 апреля 2016 г.
  137. ^ Справочник членов NAE , Национальная инженерная академия , получено 22 апреля 2016 г.
  138. ↑ Computer Pioneer Award (получатель чартера) , IEEE Computer Society , 1982 , получено 8 апреля 2016 г.
  139. ↑ Драммонд, Б. (11 июня 1998 г.), Цитирование доктора Кеннета Айверсона , Йоркский университет , получено 8 апреля 2016 г.

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

  • Работы Кеннета Э. Айверсона в Открытой библиотеке
  • Празднование жизни Кеннета Юджина Айверсона
  • Сборник хвалебных речей

  • Соревнования по программированию Iverson Exam в Университете Альберты для старшеклассников
  • Кен Айверсон Цитаты и анекдоты,
    иллюстрирующие, каким был Айверсон как человек, с чем он работал, среда, в которой он учился и работал, его взгляды на жизнь, его чувство юмора и т. Д.
  • Цитаты APL и
    зарисовки анекдотов Айверсона, его коллег и его интеллектуальных потомков