Cтраница 1
Айверсона - A Programming Language ( некий язык программирования, один из возможных), заложена более глубокая идея - идея реформы привычек математического мышления и математической нотации. [1]
Айверсона D Компактный способ записи математических выражений, лежащий в основе языка АПЛ. [2]
В лекции Кеннета Айверсона 1979 г. Нотация как средство мышления обсуждаются общие свойства систем нотации, такие как содержательность и экономичность, и показывается, чем эти качества полезны при решении задач. В качестве примера нотации взят язык программирования APL, что неудивительно, так как автор является изобретателем этого языка. Язык APL находит применения во многих разделах математики, например в алгебре, теории чисел, теории графов. Такая широта также неудивительна для тех, кто знает, что диссертация Айверсона была посвящена численному анализу, а руководил ей экономист, и что он занимался исследованием операций и был соавтором книги по автоматической обработке данных. На первый взгляд этот подход кажется прямо противоположным подходу Ньюэлла и Саймона, будучи чрезвычайно аналитическим в отличие от эвристического, но если рассматривать анализ как средство сужения дерева поиска до предельного случая только одной возможности, а именно до прямого решения, то эти два подхода можно считать двумя сторонами одной медали. [3]
В настоящее время доктор Айверсон работает в компании И. П. Шарпа в Торонто. [4]
В своей исходной форме язык программирования АПЛ был определен в книге Кеннета Айверсона Язык программирования ( A Programming Language), опубликованной в 1962 году. Акроним АПЛ получен из заглавия этой книги. [5]
Имеется множество книг по таким языкам, как Фортран, Кобол, Бейсик, Алгол, языки ассемблера и PL / I. Айверсон разработал язык APL как алгоритмический; перед тем как приступить к работе с его конкретной реализацией, ознакомьтесь с соответствующим руководством. [6]
Исходная нотация Айверсона замечательна своей краткостью, мощностью и элегантностью; эти качества в основном сохранены и в реализованном АПЛ. Для пользователей АПЛ введен даже особый набор литер, со значительно расширенным составом специальных литер. Мощность и краткость языка делают его особенно подходящим для интерактивной среды, поскольку строка, состоящая лишь из небольшого числа литер, введенных с терминала, может привести к выполнению поразительно большого объема вычислений. Интерактивные средства, добавленные к исходной нотации АПЛ, тоже сконструированы таким об разом, чтобы увеличить удобство пользования языком. Получив - шийся язык особенно привлекателен для программиста, который хочет сесть за терминал вычислительной машины, выполнить некотопые вычисления полечить желаемые результаты и покинуть терминал, затратив на все это минимальное количество времени. АПЛ гораздо меньше подходит для составления больших программ, которые впоследствии должны многократно использоваться. Кроме того, ограничение структур данных только однородными массивами затрудняет применение языка в зада чах, где особенно важно гибкое структурирование данных, на пример в экономических и управленческих приложениях и в ра ботах по искусственному интеллекту. [7]
Был отмечен также вклад Айверсона в реализацию интерактивных систем, в обучение средствами языка APL и в теорию и практику языков программирования. [8]
По окончании сезона Национальной баскетбольной ассоциации ее звезды отправляются отнюдь не на Lifc отдых куда-нибудь во Флориду. Нет, Шакил О Нил летит в Южную Корею, Карл Мэлоун - в Гонконг, Аллен Айверсон - в Чили. Эти хорошо оплачиваемые НБА и такими глобальными спонсорами, как корпорации Coca-Cola, Reebok и McDonald s, торговцы путешествуют по всему миру, продавая легионам юных поклонников Прохладительные напитки, снйкерсы, гамбургеры, ну и свои спортивные таланты. Китайские мальчишки все как один носят форму Chicago Bulls, ибо желают походить на Майкла Джордана. [9]
По окончании сезона Национальной баскетбольной ассоциации ее звезды отправляются отнюдь не на 1 Л отдых куда-нибудь во Флориду. Нет, Шакил О Нил летит в Южную Корею, Карл Мэлоун - в Гонконг, Аллен Айверсон - в Чили. Эти хорошо оплачиваемые НБА и такими глобальными спонсорами, как корпорации Coca-Cola, Reebok и McDonald s, торговцы путешествуют по всему миру, продавая легионам юных поклонников прохладительные напитки, сникерсы, гамбургеры, ну и свои спортивные таланты. Китайские мальчишки все как один носят форму Chicago Bulls, ибс желают походить на Майкла Джордана. [10]
Языки программирования суть средства, с помощью которых выражаются почти все такие вычисления. Они играют двойную роль: это и системы обозначений, влияющие на наше мышление ( см. лекцию Кеннета Айверсона 1979 г. в части II), и одновременно указания для абстрактной вычислительной машины, из которых инструкции для физической машины получаются в процессе автоматической трансляции - Поэтому неудивительно, что примерно половина Тьюринговских премий была присуждена за работы по языкам программирования, методологиям программирования и программным системам. [11]
Язык АПЛ, напоминающий своей компактностью и возможностями современные математические теории, зародился, пожалуй, раньше, чем телетайпная алгебра Фортрана и Алгола. АПЛ был задуман им не как язык программирования. При подготовке своей диссертации по машинному решению линейных дифференциальных уравнений для экономико-математических моделей типа затраты-вы-пуск [3] автор столкнулся с алгоритмом, связанным с проблемами сортировки, который плохо поддавался описанию, в результате чего появилась необходимость изобрести оригинальную нотацию. Первоначально его творение было известно в Гарварде как нотация Айверсона. [12]
В лекции Кеннета Айверсона 1979 г. Нотация как средство мышления обсуждаются общие свойства систем нотации, такие как содержательность и экономичность, и показывается, чем эти качества полезны при решении задач. В качестве примера нотации взят язык программирования APL, что неудивительно, так как автор является изобретателем этого языка. Язык APL находит применения во многих разделах математики, например в алгебре, теории чисел, теории графов. Такая широта также неудивительна для тех, кто знает, что диссертация Айверсона была посвящена численному анализу, а руководил ей экономист, и что он занимался исследованием операций и был соавтором книги по автоматической обработке данных. На первый взгляд этот подход кажется прямо противоположным подходу Ньюэлла и Саймона, будучи чрезвычайно аналитическим в отличие от эвристического, но если рассматривать анализ как средство сужения дерева поиска до предельного случая только одной возможности, а именно до прямого решения, то эти два подхода можно считать двумя сторонами одной медали. [13]