Лісп-машина є комп'ютером загального призначення, розробленим для ефективного запуску програмного забезпечення на мові програмування Lisp, зазвичай за допомогою апаратної підтримки. Вони є прикладом комп'ютерної архітектури мови високого рівня, і в певному сенсі вони були першими комерційними однокористувальницькими робочими станціями. Попри те, що їх кількість була невеликою (близько 7000 одиниць у 1988 році), машини Lisp стали піонерами комерційного впровадження багатьох сучасних технологій, включаючи такі як ефективне збирання сміття, лазерний друк, віконні інтерфейси, комп'ютерні миші, растрова графіка з високою роздільною здатністю, рендеринг комп'ютерної графіки та мережеві інновації, такі як [en]. Декілька фірм будували і продавали Лісп-машини у 80-х роках: [en] (3600 3640, XL1200, MacIvory та інші моделі), Lisp Machines Incorporated (LMI Lambda), Texas Instruments ([en]) і Xerox (робочі станції [en]). Операційні системи були створені за допомогою мов програмування [en], Interlisp (Xerox), а пізніше частково на Common Lisp.
Історія
Історичний контекст
Комп'ютерні програми зі штучного інтелекту (ШІ) 1960-х і 1970-х років неминуче вимагали, як вважалося на той час, величезної кількості пам'яті та потужності процесорів. Вимоги до обчислюваної потужності у дослідженнях штучного інтелекту були посилені через використання високорівневої мови програмування Lisp, на відміну від комерційного обладнання, яке було розроблено та оптимізовано для мов програмування, подібних до асемблеру та Fortran. Спершу вартість такої комп'ютерної техніки означала, що її будуть використовувати багато користувачів. Оскільки технологія інтегральних схем скоротила розмір і вартість комп'ютерів у 1960-х і на початку 1970-х років, а потреби в пам'яті програм ШІ стали перевищувати адресний простір найпоширенішого дослідницького комп'ютера, DEC PDP-10, дослідники розглянули новий підхід: комп'ютер, створений спеціально для розробки й запуску великих програм штучного інтелекту, пристосованих до семантики мови Lisp. Планувалось, що для збереження операційної системи (відносно) простою, ці машини не будуть розраховані на використання багатьма користувачами, але будуть пристосовані для персонального використання.
Початковий розвиток
У 1973 році [en], [en] та програмісти лабораторії штучного інтелекту (AI Lab) в Массачусетському технологічному інституті (MIT), розпочали те, що стане проектом MIT Lisp Machine, коли вони вперше почали будувати комп'ютер, комплектуючи якого спеціалізовані для запуску та роботи з деякими базовими операціями Lisp замість того, щоб запускати їх у програмному забезпеченні, у 24-бітній архітектурі з [en]. Машина також зробила інкрементальну (або Arena) збірку сміття. Більш конкретно, оскільки змінні у мові програмування Lisp типізуються під час виконання, а не під час компіляції, просте додавання двох змінних може тривати у п'ять разів довше на звичайних апаратних засобах того часу, через інструкції тестування та розгалуження. Машини Lisp запускали тести в декілька потоків, використовуючи більш простий спосіб додання за допомогою однієї інструкції. Якщо тести після виконання паралельно провалювались, тоді результат відкидався і перераховувався; це в багатьох випадках означало збільшення швидкості на декілька порядків. Цей підхід синхронної перевірки був використаний також для тестування меж масивів, на які посилаються, та інших потреб управління пам'яттю (а не просто збору сміття або масивів).
Перевірка типу була додатково вдосконалена й автоматизована, коли звичайне байтове слово у 32-біт було подовжено до 36-бітних для машин Lisp [en] 3600-model і, зрештою, до 40-бітних або більше (зазвичай, для кодів, що виправляють помилки використовувалися надлишкові біти). Першу групу додаткових бітів використовували для зберігання даних типу, роблячи пам'ять машини [en], а інші біти використовували для реалізації [en] (в якому звичайні елементи зв'язаного списку стискаються, щоб зайняти приблизно половину простору), допомагаючи у збиранні сміття повідомленням величин. Подальшим поліпшенням були дві інструкції мікрокоду, які спеціально підтримували функції Lisp, зменшуючи вартість виклику функції до 20 тактових циклів, в деяких реалізаціях Symbolics.
Першу машину називали машиною CONS (названу на честь оператора конструктора списку cons
в Lisp). Часто його називають машиною Найта, можливо, з того моменту, як [en] написав дисертацію на цю тему; вона була надзвичайно добре прийнята. Надалі вона була вдосконалена у версію, яка називається [en], яка була заснована на по суті тій самий архітектурі. Близько 25 прототипів CADR, було продано в межах і поза MIT за ~ 50 000 $; вона швидко стала улюбленою машиною для гакінгу — багато з найбільш відомих програмних засобів були швидко перенесені на нього (наприклад, Emacs був перенесений з ITS в 1975 році). Це було добре сприйнято на конференції ШІ, яка відбулася в МІТ в 1978 році, і «Агентство оборонних наукових проектів» (DARPA) почало фінансувати цю розробку.
Комерціалізація технології MIT Lisp
У 1979 році [en], переконаний, що машини Lisp мають яскраве комерційне майбутнє завдяки силі мови Lisp і апаратного прискорення, запропонував Грінблатту комерціалізували технологію. Несподівано для хакера AI Lab, Грінблатт погодився, сподіваючись, що він зможе відтворити неформальну і продуктивну атмосферу лабораторії в реальному бізнесі. Ці ідеї та цілі значно відрізнялися від ідей Нофцкера. Обидві вони довго обговорювати умови, але ніхто не йшов на компроміс. Оскільки новий бізнес міг досягти успіху лише за допомогою повної і неподільної допомоги хакерів AI Lab як команди, Нофцкер і Грінблатт вирішили, що доля підприємства залежить від них, і тому вибір повинен бути залишений хакерам.
Наступні обговорення поділили лабораторію на дві фракції. У лютому 1979 року настав момент, коли щось потрібно було вирішувати. Хакери встали на бік Нофцкера, вважаючи, що комерційна фірма, що підтримує комерційні фонди, має більше шансів вижити й комерціалізувати машини Lisp, ніж запропонований Грінблаттом самостійний стартап. Грінблатт програв битву.
Саме на цьому етапі [en], підприємство Нофцкера, повільно формувалося. Хоча Нофцкер платив своїм співробітникам заробітну плату, в нього не було будівлі або будь-якого обладнання для роботи хакерів. Він торгувався з Патріком Вінстоном, що, в обмін на те, щоб дозволити працівникам Symbolics продовжувати працювати у MIT, Symbolics дозволить MIT використовувати внутрішньо і вільно всі розроблені Symbolics програми. Консультант з CDC, який намагався розробити комп'ютерну програму для природної мови з групою програмістів із Західного узбережжя, прийшов до Грінблатту, шукаючи машину Lisp, з якою працювала його група, приблизно через вісім місяців після катастрофічної наради з Нофцкером. Грінблатт вирішив заснувати власну фірму конкурента Lisp, але нічого не вийшло. Консультант, Олександр Джейкобсон, вирішив, що єдиний спосіб, яким Грінблатт запустить фірму і побудує машину Lisp, яку Джейкобсон відчайдушно потребував — це, якщо Якобсон підштовхне і допоможе Грінблатту запустити фірму. Якобсон розробив бізнес-плани, знайшов фінансування та партнера для Грінблатта (один Ф. Стівен Вайл). Нова фірма отримала назву LISP Machine, Inc. (LMI) і фінансувалася за допомогою замовлень CDC через Джейкобсона.
Приблизно в цей час почала діяти Symbolics (фірма Нофцкера). Це заважало обіцянню Нофцкера дати Грінблатту фору у розмірі одного року, а також серйозними затримками у залученні венчурного капіталу. Symbolics все ще мала головну перевагу, коли 3 або 4 хакери AI Lab перейшли на роботу до Грінблатта, 14 інших хакерів підписали контракт з Symbolics. Два працівники лабораторії ШІ не були найняті ніким: Річард Столмен і Марвін Мінскі. Столмен, однак, звинувачував Symbolics в занепаді хакерської спільноти, яка була зосереджена навколо лабораторії ШІ. Протягом двох років, з 1982 по кінець 1983 року, Столмен сам працював, щоб скопіювати дії програмістів Symbolics, з метою запобігти їхній монополії на комп'ютери для лабораторій.
Всупереч цьому, після серії внутрішніх битв, Symbolics стартувало у 1980/1981, продаючи CADR як LM-2, в той час як [en], Inc. продала його як LMI-CADR. Symbolics не мала наміру виробляти багато LM-2, оскільки 3600 серія машин Lisp повинна була продаватися швидко, але 3600 серія неодноразово затримувалася, і Symbolics закінчило виробництво ~ 100 LM-2, кожен з яких продавався за $ 70,000. Обидві фірми розробили продукти другого покоління на основі CADR: Symbolics 3600 і LMI-LAMBDA (з яких LMI вдалося продати ~ 200). 3600, що поставляється через рік пізніше, з розширеним CADR, розширюючи машинне слово до 36-біт та адресний простір до 28-біт, і додавання апаратних засобів для прискорення деяких загальних функцій, які були реалізовані в мікрокоді на CADR. LMI-LAMBDA, який вийшов через рік після 3600 у 1983 році, був сумісний з CADR (він міг працювати з мікрокодом CADR), але існували відмінності в обладнанні. Texas Instruments (TI) приєднався до боротьби, коли він ліцензував дизайн LMI-LAMBDA і виготовив свій власний варіант [en]. Деякі LMI-LAMBDA та TI Explorer були подвійними системами як з процесором Lisp, так і з Unix. TI також розробив 32-бітну мікропроцесорну версію свого процесора Lisp для TI Explorer. Цей чип Lisp також був використаний для MicroExplorer — плати NuBus для Apple [en] (NuBus спочатку розроблявся в MIT для використання в машинах Lisp).
Symbolics продовжувала розвивати сімейство 3600 і її операційну систему, [en], і виробляла Ivory, VLSI реалізацію архітектури Symbolics. З 1987 року було розроблено декілька машин на основі процесора Ivory: плати для Suns і Mac, автономні робочі станції й навіть вбудовані системи (I-Machine Custom LSI, 32-розрядна адреса, Symbolics XL-400, UX-400, MacIvory II). у 1989 році доступними були платформи Symbolics XL-1200, MacIvory III, UX-1200, Zora, NXP1000 «Коробка для піци»). Texas Instruments воплотив Explorer в кремній, як MicroExplorer, який був запропонований як картка для Apple [en]. LMI відмовився від архітектури CADR і розробив власний K-Machine, але LMI збанкрутувала до того, як машина була виведена на ринок. Перед його загибеллю LMI працювала над розподіленою системою для LAMBDA, використовуючи простір Moby.
Ці машини мали апаратну підтримку для різних примітивних операцій Lisp (тестування типів даних, [en]), а також апаратну підтримку інкрементного збору сміття. Вони дуже ефективно керували великими програмами Lisp. Машина Symbolics була конкурентоспроможна проти багатьох комерційних супер мінікомп'ютерів, але ніколи не була адаптована для звичайних цілей. Машини Symbolics Lisp також продавалися на деяких ринках, які не належать до ШІ, таких як комп'ютерна графіка, моделювання та анімація.
Лісп-машини, отримані від MIT, керувалися діалектом Lisp з іменем [en], що походить від [en] MIT. Операційні системи були написані з нуля в Lisp, часто використовуючи об'єктно-орієнтовані розширення. Пізніше ці машини Lisp також підтримували різні версії Common Lisp (зі [en], [en] та Common Lisp Object System(CLOS)).
Interlisp, BBN і Xerox
[en] (BBN) розробили власну машину Lisp, названу Jericho, яка керувала однією з версій [en]. Машина ніколи не продавалася. Розчарована група ШІ пішла у відставку, і була найнята здебільшого Xerox. Таким чином, Xerox Palo Alto Research Center, одночасно з власними розробками Грінблатта в MIT, розробив власні машини Lisp, які були використані для роботи InterLisp (і пізніше Common Lisp). Таке ж саме обладнання використовувалося з різним програмним забезпеченням, також як машини Smalltalk та офісної системи Xerox Star. Вони включали Xerox 1100, Dolphin (1979); Xerox 1132, Dorado ; Xerox 1108, Dandelion (1981); Xerox 1109, Dandetiger; і [en], Daybreak. Операційна система машин Xerox Lisp також перенесена на віртуальну машину і доступна для декількох платформ як продукт Medley. Машина Xerox була добре відома своїм передовим середовищем розробки (InterLisp-D), менеджером вікон ROOMS, її раннім графічним інтерфейсом та новими додатками, наприклад, [en] (одним з перших гіпертекстових додатків).
Xerox також працював на машині Lisp, заснованої на обчисленнях зі скороченим набором команд (RISC), використовуючи процесор Xerox Common Lisp Processor і планував вивести його на ринок у 1987 році, але ці плани не здійснились.
Integrated Inference Machines
У середині 1980-х років компанія Integrated Inference Machines (IIM) побудували прототипи машин Lisp під назвою Inferstar.
Розробки машин Lisp за межами США
У 1984—1985 роках британська фірма «Racal-Norsk», спільна дочірня компанія [en] і [en], спробувала перепрофілювати [en] виробництва Norsk Data як мікрокодовану Lisp-машину, що використовує програмне забезпечення CADR: Система обробки знань (KPS).
Було кілька спроб японських виробників вийти на ринок машин Lisp: Fujitsu розробила мейнфреймний сопроцесор , NTT процесор Elis, Toshiba процесор AI (AIP) і NEC — LIME. Кілька наукових досліджень в університетах дозволили створити робочі прототипи, серед яких TAKITAC-7 в університеті Кобе, FLATS RIKEN, і EVLIS в університеті у Осаці.
У Франції було два проекти по створенню Лісп-машин: машина M3L в Тулузькому університеті Пола Сабатьє, а потім MAIA.
У Німеччині Siemens розробив RISC-сумісний процесор COLIBRI.
Кінець машин Lisp
З настанням зими ШІ і на початку [en], які замінили б міні-комп'ютери і виробників робочих станцій, дешевші настільні ПК невдовзі змогли запускати Lisp-програми ще швидше, ніж Lisp-машини, без використання спеціального обладнання. Таким чином, їх велика прибутковість за рахунок апаратного бізнесу, була ліквідована. Більшість виробників машин Lisp вийшли з бізнесу на початку 90-х, залишивши лише фірми на основі програмного забезпечення, такі як [en] або виробників обладнання, які перейшли на програмне забезпечення та послуги, щоб уникнути банкрутства. Станом на січень 2015 року, крім Xerox, [en] — це єдина фірма Lisp, яка все ще працює, продаючи програмне середовище [en] для Лісп-машин і систему комп'ютерної алгебри [en].
Спадщина
Було зроблено кілька спроб написання емуляторів з відкритим кодом для різних машин Lisp: Емуляція CADR, Symbolics L Емуляція машини Lisp, Проект E3 (Емуляція TI Explorer II), Meroko (TI Explorer I), і Невермор (ТІ Експлорер I). На 3 жовтня 2005 року MIT випустила вихідний код CADR Lisp Machine, як відкритий вихідний код.
У вересні 2014 року Олександр Бургер, розробник [en], оголосив PilMCU, як реалізацію PicoLisp в апаратному забезпеченні.
Архів документів PDF у Бітвери містить PDF-версії великої документації для машин Symbolics Lisp, TI Explorer та MicroExplorer Машини Lisp і машини Xerox Interlisp-D Lisp.
Програми
Галузі, що використовують машини Lisp, були в основному програми з використанням штучного інтелекту, проти їх також використовували у комп'ютерній графіці, обробці медичних зображень та багатьох інших.
Основні комерційні експертні системи 80-х років, які були доступні: середовище інженерних знань Intellicorp (KEE), знання Craft, від Carnegie Group Inc., та ART (Automated Reasoning Tool) від корпорації Inference.
Технічний огляд
Спочатку машини Lisp були розроблені як особисті робочі станції для розробки програмного забезпечення в Lisp. Вони використовувалися однією людиною і не пропонували багатокористувальницького режиму. Машини мали великий чорно-білий растровий дисплей, клавіатуру і мишу, мережевий адаптер, локальні жорсткі диски, більше ніж 1 Мб оперативної пам'яті, послідовний інтерфейс і локальну шину для плат розширення. Кольорові відеокарти, стрічкові накопичувачі та лазерні принтери були додатковими.
Процесор не запускав Lisp безпосередньо, а був [en] з інструкціями, оптимізованими для компіляції Lisp. Перші машини Lisp використовували мікрокод для забезпечення набору команд. Для декількох операцій перевірка типів і диспетчеризація виконувалася в апаратному режимі під час виконання. Наприклад, можна використовувати тільки одну операцію додавання з різними числовими типами (цілочисельні, рухомі, раціональні та комплексні числа). Результатом було дуже компактне складання представлення коду Lisp.
Наступний приклад використовує функцію, яка підраховує кількість елементів списку, для яких повертається предикат true
.
(defun example-count (predicate list) (let ((count 0)) (dolist (i list count) (when (funcall predicate i) (incf count)))))
Розібраний машинний код для вищезгаданої функції (для мікропроцесора Ivory від Symbolics):
Command: (disassemble (compile #'example-count)) 0 ENTRY: 2 REQUIRED, 0 OPTIONAL ;Створення PREDICATE and LIST 2 PUSH 0 ;Створення COUNT 3 PUSH FP|3 ;LIST 4 PUSH NIL ;Створення I 5 BRANCH 15 6 SET-TO-CDR-PUSH-CAR FP|5 7 SET-SP-TO-ADDRESS-SAVE-TOS SP|-1 10 START-CALL FP|2 ;PREDICATE 11 PUSH FP|6 ;I 12 FINISH-CALL-1-VALUE 13 BRANCH-FALSE 15 14 INCREMENT FP|4 ;COUNT 15 ENDP FP|5 16 BRANCH-FALSE 6 17 SET-SP-TO-ADDRESS SP|-2 20 RETURN-SINGLE-STACK
Операційна система використовувала віртуальну пам'ять для забезпечення великого адресного простору. Керування пам'яттю здійснювалося зі збором сміття. Весь код має спільний простір адрес. Всі об'єкти даних зберігалися з тегом в пам'яті, так що тип може бути визначений під час виконання. Підтримували й називали процесами декілька потоків виконання. Всі процеси проходили в одному адресному просторі.
Все програмне забезпечення операційної системи було написано в Lisp. Xerox використовував Interlisp. Symbolics, LMI й TI використовували Lisp Machine Lisp (нащадок MacLisp). З появою Common Lisp, Common Lisp підтримувався на машинах Lisp, а деякі системні програми були перенесені на Common Lisp або пізніше написані в Common Lisp.
Деякі пізніші машини Lisp (такі як TI MicroExplorer, Symbolics MacIvory або Symbolics UX400 / 1200) тепер були не робочі станції, а плати, призначені для вбудовування в комп'ютери: Apple Macintosh II і SUN 3 або 4.
Деякі машини Lisp, такі як Symbolics XL1200, мали широкі графічні можливості з використанням спеціальних графічних плат. Ці машини використовувалися в таких областях, як обробка медичних зображень, 3D-анімація та CAD.
Див. також
- [en] — приклад інженерного програмного забезпечення на основі знань, спочатку розробленого на машині Lisp, що було достатньо корисним для перенесення за допомогою Common Lisp до Unix
- [en]
Примітки
- Newquist, HP. Brain Makers , Sams Publishing, 1994.
- . Portal.acm.org. doi : 10.1145 / 327070.327133 . Отримано 12 листопада 2011 року .
- Леві, S: Хакери . Пінгвін США, 1984
- Місяць 1985
- Заявка на патент Мобі 4779191
- . Журнал ШІ. 2 (1). 1981.
- . Журнал ШІ . 8 (1). 1987.
- , AI Magazine, 8 (1), 1987, архів оригіналу за 19 вересня 2020, процитовано 12 листопада 2011
- . Спрингер посилання. Отримано 12 листопада 2011 року.
- . Музей комп'ютерів. IPSJ. Отримано 12 листопада 2011 року.
- . Музей комп'ютерів. IPSJ. 9 вересня 1983 року . Отримано 12 листопада 2011 року .
- . NII. 25 серпня 1990 року . Отримано 12 листопада 2011 року .
- «Архітектура чипу процесора AI (IP1704)». NII. 25 серпня 1990 року. Отримано 12 листопада 2011 року.
- . Музей комп'ютерів. IPSJ. Отримано 12 листопада 2011 року.
- . Музей комп'ютерів. IPSJ. 10 лютого 1979 року . Отримано 12 листопада 2011 року.
- Музей комп'ютерів. IPSJ . Отримано 12 листопада 2011 року.
- . Музей комп'ютерів. IPSJ. Отримано 12 листопада 2011 року .
- . Limsi. Отримано 12 листопада 2011 року.
- . Limsi. Отримано 12 листопада 2011 року.
- Hafer, Christian; Plankl, Josef; Schmidt, Franz Josef (1991), «COLIBRI: сопроцесор для LISP на основі RISC», VLSI для штучного інтелекту та нейронних мереж , Бостон, Массачусетс: Springer
- Müller-Schloer (1988), «Bewertung der RISC-Methodik am Beispiel COLIBRI», в Bode, A (ed.), RISC-Architekturen [ Risc архітектура ] (німецькою мовою), BI
- Hafer, Christian; Plankl, Josef; Schmitt, FJ (7–9 березня 1990), «COLIBRI: Ein RISC-LISP-System» [Colibri: система RISC, Lisp], Architektur von Rechensystemen, Tagungsband (німецькою мовою), Мюнхен, : 11. ITG / GI -Fachtagung
- Легутко, християнин; Schäfer, Eberhard; Tappe, Jürgen (9-11 березня 1988), «Die Befehlspipeline дез Colibri-система» [Інструкція трубопровід системи Colibri], Architektur унд Betrieb фон Rechensystemen, Tagungsband (німецькою мовою), Падерборн, DE : 10. ITG / GI -Fachtagung
- . Архів оригіналу за 23 квітня 2021. Процитовано 2 травня 2019.
- . Архів оригіналу за 27 серпня 2021. Процитовано 2 травня 2019.
- . Unlambda . Отримано 12 листопада 2011 року .
- . Unlambda. 28 травня 2004 року . Отримано 12 листопада 2011 року .
- Unlambda . Отримано 12 листопада 2011 року .
- . Unlambda . Отримано 12 листопада 2011 року .
- «Nevermore Emulator (TI Explorer I)» [ 13 вересня 2021 у Wayback Machine.]. Unlambda. Отримано 12 листопада 2011 року .
- . Heeltoe . Отримано 12 листопада 2011 року .
- . Архів оригіналу за 8 грудня 2018. Процитовано 2 травня 2019.
- «Архів документів PDF» [ 12 березня 2010 у Wayback Machine.] . Бітварів . Отримано 12 листопада 2011 року .
- " . Бітварів . Отримано 12 листопада 2011 року
- . Бітварів. 15 травня 2003 року . Отримано 12 листопада 2011 року .
- . Бітварів. 9 вересня 2003 року. Отримано 12 листопада 2011 року .
- . Бітварів. 24 березня 2004 року. Отримано 12 листопада 2011 року .
- Ріхтер, Марк: Інструменти та методики ІІ . Ablex Publishing Corporation США, 1988, Розділ 3, Оцінка інструментів розробки експертної системи
Посилання
- Сайт символіки [ 12 травня 2021 у Wayback Machine.]
- Medley [ 16 травня 2008 у Wayback Machine.]
- Bitsavers, PDF документи
- Документація LMI [ 2 липня 2019 у Wayback Machine.]
- Документація MIT CONS [ 23 вересня 2019 у Wayback Machine.]
- MIT CADR документація [ 7 листопада 2019 у Wayback Machine.]
- Керівництво по машинному поширенню Lisp
- «Керівництво по машині Lisp, 4-е видання, липень 1981» [ 26 січня 2019 у Wayback Machine.]
- «Керівництво по машині Lisp, 6-е видання, версія HTML / XSL» [ 25 квітня 2019 у Wayback Machine.]
- «Керівництво по машині Lisp»
- Інформація і код для LMI Lambda і LMI K-Machine [ 2 травня 2019 у Wayback Machine.]
- з Вікіпедії, вільної енциклопедіїLisap Machine компанії Jaap Weel на машині Wayback (архівована 23 червня 2015 р.) — набір посилань і документів, що зберігаються на місці, що стосуються всіляких машин Lisp [ 27 серпня 2021 у Wayback Machine.]
- «Кілька речей, які я знаю про машини LISP» — набір посилань, в основному обговорення купівлі машин Lisp [ 27 серпня 2021 у Wayback Machine.]
- Музей машин символів Lisp Möller [ 14 квітня 2019 у Wayback Machine.]
- LISPMACHINE.NET — Книги та інформація Lisp [ 20 серпня 2010 у Wayback Machine.]
- (французькою) «Présentation Générale du projet M3L» — Звіт про французькі зусилля в тому ж дусі [ 22 травня 2019 у Wayback Machine.]
- Обговорення
- «Якщо це працює, це не AI: комерційний погляд на стартапи штучного інтелекту» [ 23 листопада 2018 у Wayback Machine.]
- «Symbolics, Inc .: Невдача гетерогенної техніки» — (PDF) [ 16 січня 2017 у Wayback Machine.]
- «Мій досвід Lisp і розвиток GNU Emacs» — транскрипт виступу Річарда Столмена про машини Emacs, Lisp і Lisp [ 4 жовтня 2003 у Wayback Machine.]
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Lisp mashina ye komp yuterom zagalnogo priznachennya rozroblenim dlya efektivnogo zapusku programnogo zabezpechennya na movi programuvannya Lisp zazvichaj za dopomogoyu aparatnoyi pidtrimki Voni ye prikladom komp yuternoyi arhitekturi movi visokogo rivnya i v pevnomu sensi voni buli pershimi komercijnimi odnokoristuvalnickimi robochimi stanciyami Popri te sho yih kilkist bula nevelikoyu blizko 7000 odinic u 1988 roci mashini Lisp stali pionerami komercijnogo vprovadzhennya bagatoh suchasnih tehnologij vklyuchayuchi taki yak efektivne zbirannya smittya lazernij druk vikonni interfejsi komp yuterni mishi rastrova grafika z visokoyu rozdilnoyu zdatnistyu rendering komp yuternoyi grafiki ta merezhevi innovaciyi taki yak en Dekilka firm buduvali i prodavali Lisp mashini u 80 h rokah en 3600 3640 XL1200 MacIvory ta inshi modeli Lisp Machines Incorporated LMI Lambda Texas Instruments en i Xerox robochi stanciyi en Operacijni sistemi buli stvoreni za dopomogoyu mov programuvannya en Interlisp Xerox a piznishe chastkovo na Common Lisp mashina Najta zbereglasya v muzeyi MITIstoriyaIstorichnij kontekst Symbolics 3640 Mashina Lisp Komp yuterni programi zi shtuchnogo intelektu ShI 1960 h i 1970 h rokiv neminuche vimagali yak vvazhalosya na toj chas velicheznoyi kilkosti pam yati ta potuzhnosti procesoriv Vimogi do obchislyuvanoyi potuzhnosti u doslidzhennyah shtuchnogo intelektu buli posileni cherez vikoristannya visokorivnevoyi movi programuvannya Lisp na vidminu vid komercijnogo obladnannya yake bulo rozrobleno ta optimizovano dlya mov programuvannya podibnih do asembleru ta Fortran Spershu vartist takoyi komp yuternoyi tehniki oznachala sho yiyi budut vikoristovuvati bagato koristuvachiv Oskilki tehnologiya integralnih shem skorotila rozmir i vartist komp yuteriv u 1960 h i na pochatku 1970 h rokiv a potrebi v pam yati program ShI stali perevishuvati adresnij prostir najposhirenishogo doslidnickogo komp yutera DEC PDP 10 doslidniki rozglyanuli novij pidhid komp yuter stvorenij specialno dlya rozrobki j zapusku velikih program shtuchnogo intelektu pristosovanih do semantiki movi Lisp Planuvalos sho dlya zberezhennya operacijnoyi sistemi vidnosno prostoyu ci mashini ne budut rozrahovani na vikoristannya bagatma koristuvachami ale budut pristosovani dlya personalnogo vikoristannya Pochatkovij rozvitok U 1973 roci en en ta programisti laboratoriyi shtuchnogo intelektu AI Lab v Massachusetskomu tehnologichnomu instituti MIT rozpochali te sho stane proektom MIT Lisp Machine koli voni vpershe pochali buduvati komp yuter komplektuyuchi yakogo specializovani dlya zapusku ta roboti z deyakimi bazovimi operaciyami Lisp zamist togo shob zapuskati yih u programnomu zabezpechenni u 24 bitnij arhitekturi z en Mashina takozh zrobila inkrementalnu abo Arena zbirku smittya Bilsh konkretno oskilki zminni u movi programuvannya Lisp tipizuyutsya pid chas vikonannya a ne pid chas kompilyaciyi proste dodavannya dvoh zminnih mozhe trivati u p yat raziv dovshe na zvichajnih aparatnih zasobah togo chasu cherez instrukciyi testuvannya ta rozgaluzhennya Mashini Lisp zapuskali testi v dekilka potokiv vikoristovuyuchi bilsh prostij sposib dodannya za dopomogoyu odniyeyi instrukciyi Yaksho testi pislya vikonannya paralelno provalyuvalis todi rezultat vidkidavsya i pererahovuvavsya ce v bagatoh vipadkah oznachalo zbilshennya shvidkosti na dekilka poryadkiv Cej pidhid sinhronnoyi perevirki buv vikoristanij takozh dlya testuvannya mezh masiviv na yaki posilayutsya ta inshih potreb upravlinnya pam yattyu a ne prosto zboru smittya abo masiviv Perevirka tipu bula dodatkovo vdoskonalena j avtomatizovana koli zvichajne bajtove slovo u 32 bit bulo podovzheno do 36 bitnih dlya mashin Lisp en 3600 model i zreshtoyu do 40 bitnih abo bilshe zazvichaj dlya kodiv sho vipravlyayut pomilki vikoristovuvalisya nadlishkovi biti Pershu grupu dodatkovih bitiv vikoristovuvali dlya zberigannya danih tipu roblyachi pam yat mashini en a inshi biti vikoristovuvali dlya realizaciyi en v yakomu zvichajni elementi zv yazanogo spisku stiskayutsya shob zajnyati priblizno polovinu prostoru dopomagayuchi u zbiranni smittya povidomlennyam velichin Podalshim polipshennyam buli dvi instrukciyi mikrokodu yaki specialno pidtrimuvali funkciyi Lisp zmenshuyuchi vartist vikliku funkciyi do 20 taktovih cikliv v deyakih realizaciyah Symbolics Pershu mashinu nazivali mashinoyu CONS nazvanu na chest operatora konstruktora spisku a href wiki Cons title Cons cons a v Lisp Chasto jogo nazivayut mashinoyu Najta mozhlivo z togo momentu yak en napisav disertaciyu na cyu temu vona bula nadzvichajno dobre prijnyata Nadali vona bula vdoskonalena u versiyu yaka nazivayetsya en yaka bula zasnovana na po suti tij samij arhitekturi Blizko 25 prototipiv CADR bulo prodano v mezhah i poza MIT za 50 000 vona shvidko stala ulyublenoyu mashinoyu dlya gakingu bagato z najbilsh vidomih programnih zasobiv buli shvidko pereneseni na nogo napriklad Emacs buv perenesenij z ITS v 1975 roci Ce bulo dobre sprijnyato na konferenciyi ShI yaka vidbulasya v MIT v 1978 roci i Agentstvo oboronnih naukovih proektiv DARPA pochalo finansuvati cyu rozrobku Komercializaciya tehnologiyi MIT Lisp U 1979 roci en perekonanij sho mashini Lisp mayut yaskrave komercijne majbutnye zavdyaki sili movi Lisp i aparatnogo priskorennya zaproponuvav Grinblattu komercializuvali tehnologiyu Nespodivano dlya hakera AI Lab Grinblatt pogodivsya spodivayuchis sho vin zmozhe vidtvoriti neformalnu i produktivnu atmosferu laboratoriyi v realnomu biznesi Ci ideyi ta cili znachno vidriznyalisya vid idej Nofckera Obidvi voni dovgo obgovoryuvati umovi ale nihto ne jshov na kompromis Oskilki novij biznes mig dosyagti uspihu lishe za dopomogoyu povnoyi i nepodilnoyi dopomogi hakeriv AI Lab yak komandi Nofcker i Grinblatt virishili sho dolya pidpriyemstva zalezhit vid nih i tomu vibir povinen buti zalishenij hakeram Nastupni obgovorennya podilili laboratoriyu na dvi frakciyi U lyutomu 1979 roku nastav moment koli shos potribno bulo virishuvati Hakeri vstali na bik Nofckera vvazhayuchi sho komercijna firma sho pidtrimuye komercijni fondi maye bilshe shansiv vizhiti j komercializuvati mashini Lisp nizh zaproponovanij Grinblattom samostijnij startap Grinblatt prograv bitvu Same na comu etapi en pidpriyemstvo Nofckera povilno formuvalosya Hocha Nofcker plativ svoyim spivrobitnikam zarobitnu platu v nogo ne bulo budivli abo bud yakogo obladnannya dlya roboti hakeriv Vin torguvavsya z Patrikom Vinstonom sho v obmin na te shob dozvoliti pracivnikam Symbolics prodovzhuvati pracyuvati u MIT Symbolics dozvolit MIT vikoristovuvati vnutrishno i vilno vsi rozrobleni Symbolics programi Konsultant z CDC yakij namagavsya rozrobiti komp yuternu programu dlya prirodnoyi movi z grupoyu programistiv iz Zahidnogo uzberezhzhya prijshov do Grinblattu shukayuchi mashinu Lisp z yakoyu pracyuvala jogo grupa priblizno cherez visim misyaciv pislya katastrofichnoyi naradi z Nofckerom Grinblatt virishiv zasnuvati vlasnu firmu konkurenta Lisp ale nichogo ne vijshlo Konsultant Oleksandr Dzhejkobson virishiv sho yedinij sposib yakim Grinblatt zapustit firmu i pobuduye mashinu Lisp yaku Dzhejkobson vidchajdushno potrebuvav ce yaksho Yakobson pidshtovhne i dopomozhe Grinblattu zapustiti firmu Yakobson rozrobiv biznes plani znajshov finansuvannya ta partnera dlya Grinblatta odin F Stiven Vajl Nova firma otrimala nazvu LISP Machine Inc LMI i finansuvalasya za dopomogoyu zamovlen CDC cherez Dzhejkobsona Priblizno v cej chas pochala diyati Symbolics firma Nofckera Ce zavazhalo obicyannyu Nofckera dati Grinblattu foru u rozmiri odnogo roku a takozh serjoznimi zatrimkami u zaluchenni venchurnogo kapitalu Symbolics vse she mala golovnu perevagu koli 3 abo 4 hakeri AI Lab perejshli na robotu do Grinblatta 14 inshih hakeriv pidpisali kontrakt z Symbolics Dva pracivniki laboratoriyi ShI ne buli najnyati nikim Richard Stolmen i Marvin Minski Stolmen odnak zvinuvachuvav Symbolics v zanepadi hakerskoyi spilnoti yaka bula zoseredzhena navkolo laboratoriyi ShI Protyagom dvoh rokiv z 1982 po kinec 1983 roku Stolmen sam pracyuvav shob skopiyuvati diyi programistiv Symbolics z metoyu zapobigti yihnij monopoliyi na komp yuteri dlya laboratorij Vsuperech comu pislya seriyi vnutrishnih bitv Symbolics startuvalo u 1980 1981 prodayuchi CADR yak LM 2 v toj chas yak en Inc prodala jogo yak LMI CADR Symbolics ne mala namiru viroblyati bagato LM 2 oskilki 3600 seriya mashin Lisp povinna bula prodavatisya shvidko ale 3600 seriya neodnorazovo zatrimuvalasya i Symbolics zakinchilo virobnictvo 100 LM 2 kozhen z yakih prodavavsya za 70 000 Obidvi firmi rozrobili produkti drugogo pokolinnya na osnovi CADR Symbolics 3600 i LMI LAMBDA z yakih LMI vdalosya prodati 200 3600 sho postavlyayetsya cherez rik piznishe z rozshirenim CADR rozshiryuyuchi mashinne slovo do 36 bit ta adresnij prostir do 28 bit i dodavannya aparatnih zasobiv dlya priskorennya deyakih zagalnih funkcij yaki buli realizovani v mikrokodi na CADR LMI LAMBDA yakij vijshov cherez rik pislya 3600 u 1983 roci buv sumisnij z CADR vin mig pracyuvati z mikrokodom CADR ale isnuvali vidminnosti v obladnanni Texas Instruments TI priyednavsya do borotbi koli vin licenzuvav dizajn LMI LAMBDA i vigotoviv svij vlasnij variant en Deyaki LMI LAMBDA ta TI Explorer buli podvijnimi sistemami yak z procesorom Lisp tak i z Unix TI takozh rozrobiv 32 bitnu mikroprocesornu versiyu svogo procesora Lisp dlya TI Explorer Cej chip Lisp takozh buv vikoristanij dlya MicroExplorer plati NuBus dlya Apple en NuBus spochatku rozroblyavsya v MIT dlya vikoristannya v mashinah Lisp Symbolics prodovzhuvala rozvivati simejstvo 3600 i yiyi operacijnu sistemu en i viroblyala Ivory VLSI realizaciyu arhitekturi Symbolics Z 1987 roku bulo rozrobleno dekilka mashin na osnovi procesora Ivory plati dlya Suns i Mac avtonomni robochi stanciyi j navit vbudovani sistemi I Machine Custom LSI 32 rozryadna adresa Symbolics XL 400 UX 400 MacIvory II u 1989 roci dostupnimi buli platformi Symbolics XL 1200 MacIvory III UX 1200 Zora NXP1000 Korobka dlya pici Texas Instruments voplotiv Explorer v kremnij yak MicroExplorer yakij buv zaproponovanij yak kartka dlya Apple en LMI vidmovivsya vid arhitekturi CADR i rozrobiv vlasnij K Machine ale LMI zbankrutuvala do togo yak mashina bula vivedena na rinok Pered jogo zagibellyu LMI pracyuvala nad rozpodilenoyu sistemoyu dlya LAMBDA vikoristovuyuchi prostir Moby Ci mashini mali aparatnu pidtrimku dlya riznih primitivnih operacij Lisp testuvannya tipiv danih en a takozh aparatnu pidtrimku inkrementnogo zboru smittya Voni duzhe efektivno keruvali velikimi programami Lisp Mashina Symbolics bula konkurentospromozhna proti bagatoh komercijnih super minikomp yuteriv ale nikoli ne bula adaptovana dlya zvichajnih cilej Mashini Symbolics Lisp takozh prodavalisya na deyakih rinkah yaki ne nalezhat do ShI takih yak komp yuterna grafika modelyuvannya ta animaciya Lisp mashini otrimani vid MIT keruvalisya dialektom Lisp z imenem en sho pohodit vid en MIT Operacijni sistemi buli napisani z nulya v Lisp chasto vikoristovuyuchi ob yektno oriyentovani rozshirennya Piznishe ci mashini Lisp takozh pidtrimuvali rizni versiyi Common Lisp zi en en ta Common Lisp Object System CLOS Interlisp BBN i Xerox en BBN rozrobili vlasnu mashinu Lisp nazvanu Jericho yaka keruvala odniyeyu z versij en Mashina nikoli ne prodavalasya Rozcharovana grupa ShI pishla u vidstavku i bula najnyata zdebilshogo Xerox Takim chinom Xerox Palo Alto Research Center odnochasno z vlasnimi rozrobkami Grinblatta v MIT rozrobiv vlasni mashini Lisp yaki buli vikoristani dlya roboti InterLisp i piznishe Common Lisp Take zh same obladnannya vikoristovuvalosya z riznim programnim zabezpechennyam takozh yak mashini Smalltalk ta ofisnoyi sistemi Xerox Star Voni vklyuchali Xerox 1100 Dolphin 1979 Xerox 1132 Dorado Xerox 1108 Dandelion 1981 Xerox 1109 Dandetiger i en Daybreak Operacijna sistema mashin Xerox Lisp takozh perenesena na virtualnu mashinu i dostupna dlya dekilkoh platform yak produkt Medley Mashina Xerox bula dobre vidoma svoyim peredovim seredovishem rozrobki InterLisp D menedzherom vikon ROOMS yiyi rannim grafichnim interfejsom ta novimi dodatkami napriklad en odnim z pershih gipertekstovih dodatkiv Xerox takozh pracyuvav na mashini Lisp zasnovanoyi na obchislennyah zi skorochenim naborom komand RISC vikoristovuyuchi procesor Xerox Common Lisp Processor i planuvav vivesti jogo na rinok u 1987 roci ale ci plani ne zdijsnilis Integrated Inference Machines U seredini 1980 h rokiv kompaniya Integrated Inference Machines IIM pobuduvali prototipi mashin Lisp pid nazvoyu Inferstar Rozrobki mashin Lisp za mezhami SShA U 1984 1985 rokah britanska firma Racal Norsk spilna dochirnya kompaniya en i en sprobuvala pereprofilyuvati en virobnictva Norsk Data yak mikrokodovanu Lisp mashinu sho vikoristovuye programne zabezpechennya CADR Sistema obrobki znan KPS Bulo kilka sprob yaponskih virobnikiv vijti na rinok mashin Lisp Fujitsu rozrobila mejnfrejmnij soprocesor NTT procesor Elis Toshiba procesor AI AIP i NEC LIME Kilka naukovih doslidzhen v universitetah dozvolili stvoriti robochi prototipi sered yakih TAKITAC 7 v universiteti Kobe FLATS RIKEN i EVLIS v universiteti u Osaci U Franciyi bulo dva proekti po stvorennyu Lisp mashin mashina M3L v Tuluzkomu universiteti Pola Sabatye a potim MAIA U Nimechchini Siemens rozrobiv RISC sumisnij procesor COLIBRI Kinec mashin Lisp Z nastannyam zimi ShI i na pochatku en yaki zaminili b mini komp yuteri i virobnikiv robochih stancij deshevshi nastilni PK nevdovzi zmogli zapuskati Lisp programi she shvidshe nizh Lisp mashini bez vikoristannya specialnogo obladnannya Takim chinom yih velika pributkovist za rahunok aparatnogo biznesu bula likvidovana Bilshist virobnikiv mashin Lisp vijshli z biznesu na pochatku 90 h zalishivshi lishe firmi na osnovi programnogo zabezpechennya taki yak en abo virobnikiv obladnannya yaki perejshli na programne zabezpechennya ta poslugi shob uniknuti bankrutstva Stanom na sichen 2015 roku krim Xerox en ce yedina firma Lisp yaka vse she pracyuye prodayuchi programne seredovishe en dlya Lisp mashin i sistemu komp yuternoyi algebri en Spadshina Bulo zrobleno kilka sprob napisannya emulyatoriv z vidkritim kodom dlya riznih mashin Lisp Emulyaciya CADR Symbolics L Emulyaciya mashini Lisp Proekt E3 Emulyaciya TI Explorer II Meroko TI Explorer I i Nevermor TI Eksplorer I Na 3 zhovtnya 2005 roku MIT vipustila vihidnij kod CADR Lisp Machine yak vidkritij vihidnij kod U veresni 2014 roku Oleksandr Burger rozrobnik en ogolosiv PilMCU yak realizaciyu PicoLisp v aparatnomu zabezpechenni Arhiv dokumentiv PDF u Bitveri mistit PDF versiyi velikoyi dokumentaciyi dlya mashin Symbolics Lisp TI Explorer ta MicroExplorer Mashini Lisp i mashini Xerox Interlisp D Lisp Programi Galuzi sho vikoristovuyut mashini Lisp buli v osnovnomu programi z vikoristannyam shtuchnogo intelektu proti yih takozh vikoristovuvali u komp yuternij grafici obrobci medichnih zobrazhen ta bagatoh inshih Osnovni komercijni ekspertni sistemi 80 h rokiv yaki buli dostupni seredovishe inzhenernih znan Intellicorp KEE znannya Craft vid Carnegie Group Inc ta ART Automated Reasoning Tool vid korporaciyi Inference Tehnichnij oglyadSpochatku mashini Lisp buli rozrobleni yak osobisti robochi stanciyi dlya rozrobki programnogo zabezpechennya v Lisp Voni vikoristovuvalisya odniyeyu lyudinoyu i ne proponuvali bagatokoristuvalnickogo rezhimu Mashini mali velikij chorno bilij rastrovij displej klaviaturu i mishu merezhevij adapter lokalni zhorstki diski bilshe nizh 1 Mb operativnoyi pam yati poslidovnij interfejs i lokalnu shinu dlya plat rozshirennya Kolorovi videokarti strichkovi nakopichuvachi ta lazerni printeri buli dodatkovimi Procesor ne zapuskav Lisp bezposeredno a buv en z instrukciyami optimizovanimi dlya kompilyaciyi Lisp Pershi mashini Lisp vikoristovuvali mikrokod dlya zabezpechennya naboru komand Dlya dekilkoh operacij perevirka tipiv i dispetcherizaciya vikonuvalasya v aparatnomu rezhimi pid chas vikonannya Napriklad mozhna vikoristovuvati tilki odnu operaciyu dodavannya z riznimi chislovimi tipami cilochiselni ruhomi racionalni ta kompleksni chisla Rezultatom bulo duzhe kompaktne skladannya predstavlennya kodu Lisp Nastupnij priklad vikoristovuye funkciyu yaka pidrahovuye kilkist elementiv spisku dlya yakih povertayetsya predikat true defun example count predicate list let count 0 dolist i list count when funcall predicate i incf count Rozibranij mashinnij kod dlya vishezgadanoyi funkciyi dlya mikroprocesora Ivory vid Symbolics Command disassemble compile example count 0 ENTRY 2 REQUIRED 0 OPTIONAL Stvorennya PREDICATE and LIST 2 PUSH 0 Stvorennya COUNT 3 PUSH FP 3 LIST 4 PUSH NIL Stvorennya I 5 BRANCH 15 6 SET TO CDR PUSH CAR FP 5 7 SET SP TO ADDRESS SAVE TOS SP 1 10 START CALL FP 2 PREDICATE 11 PUSH FP 6 I 12 FINISH CALL 1 VALUE 13 BRANCH FALSE 15 14 INCREMENT FP 4 COUNT 15 ENDP FP 5 16 BRANCH FALSE 6 17 SET SP TO ADDRESS SP 2 20 RETURN SINGLE STACK Operacijna sistema vikoristovuvala virtualnu pam yat dlya zabezpechennya velikogo adresnogo prostoru Keruvannya pam yattyu zdijsnyuvalosya zi zborom smittya Ves kod maye spilnij prostir adres Vsi ob yekti danih zberigalisya z tegom v pam yati tak sho tip mozhe buti viznachenij pid chas vikonannya Pidtrimuvali j nazivali procesami dekilka potokiv vikonannya Vsi procesi prohodili v odnomu adresnomu prostori Vse programne zabezpechennya operacijnoyi sistemi bulo napisano v Lisp Xerox vikoristovuvav Interlisp Symbolics LMI j TI vikoristovuvali Lisp Machine Lisp nashadok MacLisp Z poyavoyu Common Lisp Common Lisp pidtrimuvavsya na mashinah Lisp a deyaki sistemni programi buli pereneseni na Common Lisp abo piznishe napisani v Common Lisp Deyaki piznishi mashini Lisp taki yak TI MicroExplorer Symbolics MacIvory abo Symbolics UX400 1200 teper buli ne robochi stanciyi a plati priznacheni dlya vbudovuvannya v komp yuteri Apple Macintosh II i SUN 3 abo 4 Deyaki mashini Lisp taki yak Symbolics XL1200 mali shiroki grafichni mozhlivosti z vikoristannyam specialnih grafichnih plat Ci mashini vikoristovuvalisya v takih oblastyah yak obrobka medichnih zobrazhen 3D animaciya ta CAD Div takozh en priklad inzhenernogo programnogo zabezpechennya na osnovi znan spochatku rozroblenogo na mashini Lisp sho bulo dostatno korisnim dlya perenesennya za dopomogoyu Common Lisp do Unix en PrimitkiNewquist HP Brain Makers Sams Publishing 1994 Misyac Devid A Arhitektura simvoliki 3600 Portal acm org doi 10 1145 327070 327133 Otrimano 12 listopada 2011 roku Levi S Hakeri Pingvin SShA 1984 Misyac 1985 Zayavka na patent Mobi 4779191 Obchislyuvalni zasobi dlya shtuchnogo intelektu oglyad isnuyuchih ta najblizhchih variantiv Zhurnal ShI 2 1 1981 Konferenciya AAAI 86 novi napryamki dlya komercijnogo shtuchnogo intelektu realizaciya mashin VLSSLIS z mashinoyu Zhurnal ShI 8 1 1987 AI Magazine 8 1 1987 arhiv originalu za 19 veresnya 2020 procitovano 12 listopada 2011 Springer posilannya Otrimano 12 listopada 2011 roku Facom Alpha Muzej komp yuteriv IPSJ Otrimano 12 listopada 2011 roku NTT ELIS Muzej komp yuteriv IPSJ 9 veresnya 1983 roku Otrimano 12 listopada 2011 roku 32 rozryadnij procesor LISP dlya robochoyi stanciyi Al ELIS z movoyu paradigmi dekilkoh program TAO NII 25 serpnya 1990 roku Otrimano 12 listopada 2011 roku Arhitektura chipu procesora AI IP1704 NII 25 serpnya 1990 roku Otrimano 12 listopada 2011 roku Mashina NEC LIME Lisp Muzej komp yuteriv IPSJ Otrimano 12 listopada 2011 roku Mashina universitetu Kobe Muzej komp yuteriv IPSJ 10 lyutogo 1979 roku Otrimano 12 listopada 2011 roku Muzej komp yuteriv IPSJ Otrimano 12 listopada 2011 roku Mashina EVLIS Muzej komp yuteriv IPSJ Otrimano 12 listopada 2011 roku M3L A Lisp mashina Limsi Otrimano 12 listopada 2011 roku MAIA Mashina dlya shtuchnogo intelektu Limsi Otrimano 12 listopada 2011 roku Hafer Christian Plankl Josef Schmidt Franz Josef 1991 COLIBRI soprocesor dlya LISP na osnovi RISC VLSI dlya shtuchnogo intelektu ta nejronnih merezh Boston Massachusets Springer Muller Schloer 1988 Bewertung der RISC Methodik am Beispiel COLIBRI v Bode A ed RISC Architekturen Risc arhitektura nimeckoyu movoyu BI Hafer Christian Plankl Josef Schmitt FJ 7 9 bereznya 1990 COLIBRI Ein RISC LISP System Colibri sistema RISC Lisp Architektur von Rechensystemen Tagungsband nimeckoyu movoyu Myunhen 11 ITG GI Fachtagung Legutko hristiyanin Schafer Eberhard Tappe Jurgen 9 11 bereznya 1988 Die Befehlspipeline dez Colibri sistema Instrukciya truboprovid sistemi Colibri Architektur und Betrieb fon Rechensystemen Tagungsband nimeckoyu movoyu Paderborn DE 10 ITG GI Fachtagung Arhiv originalu za 23 kvitnya 2021 Procitovano 2 travnya 2019 Arhiv originalu za 27 serpnya 2021 Procitovano 2 travnya 2019 Emulyaciya CADR Unlambda Otrimano 12 listopada 2011 roku Simvolika emulyaciyi mashini Lisp Unlambda 28 travnya 2004 roku Otrimano 12 listopada 2011 roku Proekt E3 emulyaciya TI Explorer II Unlambda Otrimano 12 listopada 2011 roku Emulyator Meroko TI Explorer I Unlambda Otrimano 12 listopada 2011 roku Nevermore Emulator TI Explorer I 13 veresnya 2021 u Wayback Machine Unlambda Otrimano 12 listopada 2011 roku Vihidnij kod mashini MIT CADR Lisp Heeltoe Otrimano 12 listopada 2011 roku Arhiv originalu za 8 grudnya 2018 Procitovano 2 travnya 2019 Arhiv dokumentiv PDF 12 bereznya 2010 u Wayback Machine Bitvariv Otrimano 12 listopada 2011 roku Simvolika dokumentaciyi Bitvariv Otrimano 12 listopada 2011 roku Dokumentaciya TI Explorer Bitvariv 15 travnya 2003 roku Otrimano 12 listopada 2011 roku Dokumentaciya TI MicroExplorer Bitvariv 9 veresnya 2003 roku Otrimano 12 listopada 2011 roku Dokumentaciya Xerox Interlisp Bitvariv 24 bereznya 2004 roku Otrimano 12 listopada 2011 roku Rihter Mark Instrumenti ta metodiki II Ablex Publishing Corporation SShA 1988 Rozdil 3 Ocinka instrumentiv rozrobki ekspertnoyi sistemiPosilannyaSajt simvoliki 12 travnya 2021 u Wayback Machine Medley 16 travnya 2008 u Wayback Machine Bitsavers PDF dokumenti Dokumentaciya LMI 2 lipnya 2019 u Wayback Machine Dokumentaciya MIT CONS 23 veresnya 2019 u Wayback Machine MIT CADR dokumentaciya 7 listopada 2019 u Wayback Machine Kerivnictvo po mashinnomu poshirennyu Lisp Kerivnictvo po mashini Lisp 4 e vidannya lipen 1981 26 sichnya 2019 u Wayback Machine Kerivnictvo po mashini Lisp 6 e vidannya versiya HTML XSL 25 kvitnya 2019 u Wayback Machine Kerivnictvo po mashini Lisp Informaciya i kod dlya LMI Lambda i LMI K Machine 2 travnya 2019 u Wayback Machine z Vikipediyi vilnoyi enciklopediyiLisap Machine kompaniyi Jaap Weel na mashini Wayback arhivovana 23 chervnya 2015 r nabir posilan i dokumentiv sho zberigayutsya na misci sho stosuyutsya vsilyakih mashin Lisp 27 serpnya 2021 u Wayback Machine Kilka rechej yaki ya znayu pro mashini LISP nabir posilan v osnovnomu obgovorennya kupivli mashin Lisp 27 serpnya 2021 u Wayback Machine Muzej mashin simvoliv Lisp Moller 14 kvitnya 2019 u Wayback Machine LISPMACHINE NET Knigi ta informaciya Lisp 20 serpnya 2010 u Wayback Machine francuzkoyu Presentation Generale du projet M3L Zvit pro francuzki zusillya v tomu zh dusi 22 travnya 2019 u Wayback Machine Obgovorennya Yaksho ce pracyuye ce ne AI komercijnij poglyad na startapi shtuchnogo intelektu 23 listopada 2018 u Wayback Machine Symbolics Inc Nevdacha geterogennoyi tehniki PDF 16 sichnya 2017 u Wayback Machine Mij dosvid Lisp i rozvitok GNU Emacs transkript vistupu Richarda Stolmena pro mashini Emacs Lisp i Lisp 4 zhovtnya 2003 u Wayback Machine