Alan Kay a Marvin Minsky: Mae gan Gyfrifiadureg "ramadeg" eisoes. Angen "llenyddiaeth"

Alan Kay a Marvin Minsky: Mae gan Gyfrifiadureg "ramadeg" eisoes. Angen "llenyddiaeth"

Yn gyntaf o'r chwith mae Marvin Minsky, yr ail o'r chwith yw Alan Kay, yna John Perry Barlow a Gloria Minsky.

Cwestiwn: Sut byddech chi'n dehongli syniad Marvin Minsky bod “Mae gan Gyfrifiadureg ramadeg eisoes. Yr hyn sydd ei angen arni yw llenyddiaeth.”?

Alan Kay: Agwedd fwyaf diddorol y recordiad Blog Ken (gan gynnwys sylwadau) yw na ellir dod o hyd i unrhyw gyfeiriad hanesyddol at y syniad hwn yn unman. Yn wir, dros 50 mlynedd yn ôl yn y 60au bu llawer o sôn am hyn ac, fel y cofiaf, sawl erthygl.

Clywais am y syniad hwn gyntaf gan Bob Barton, yn 1967 yn yr ysgol i raddedigion, pan ddywedodd wrthyf fod y syniad hwn yn rhan o gymhelliant Donald Knuth pan ysgrifennodd The Art of Programming, yr oedd penodau ohono eisoes yn cylchredeg. Roedd un o brif gwestiynau Bob bryd hynny yn ymwneud â "rhaglennu ieithoedd a gynlluniwyd i'w darllen gan fodau dynol yn ogystal â chan beiriannau." A dyna oedd y prif gymhelliant ar gyfer rhannau o ddylunio COBOL yn y 60au cynnar. Ac, efallai’n bwysicach yng nghyd-destun ein testun, mae’r syniad hwn i’w weld yn yr iaith ryngweithiol gynnar iawn sydd wedi’i dylunio’n eithaf hardd JOSS (Cliff Shaw yn bennaf).

Fel y nododd Frank Smith, mae llenyddiaeth yn dechrau gyda syniadau gwerth eu trafod a'u hysgrifennu; yn aml mae'n cynhyrchu cynrychioliadau yn rhannol ac yn ymestyn ieithoedd a ffurfiau presennol; mae'n arwain at syniadau newydd am ddarllen ac ysgrifennu; ac yn olaf i syniadau newydd nad oeddent yn rhan o'r cymhelliad gwreiddiol.

Rhan o’r syniad o “llenyddiaeth” yw darllen, ysgrifennu, a chyfeirio at erthyglau eraill a allai fod o ddiddordeb. Er enghraifft, mae darlith Gwobr Turing Marvin Minsky yn dechrau gyda: “Y broblem gyda Chyfrifiadureg heddiw yw’r pryder obsesiynol gyda ffurf yn hytrach na chynnwys.”.

Yr hyn a olygai oedd mai’r peth pwysicaf mewn cyfrifiadureg yw’r ystyr a sut y gellir ei weld a’i gynrychioli, yn hytrach nag un o themâu mawr y 60au ynglŷn â sut i ddadansoddi rhaglennu ac ieithoedd naturiol. Iddo ef, efallai mai’r peth mwyaf diddorol am draethawd ymchwil y myfyriwr Meistr Terry Winograd yw er nad oedd yn gywir iawn o ran gramadeg Saesneg (roedd yn dda iawn), ond y gallai wneud synnwyr o’r hyn a ddywedwyd a chyfiawnhau’r hyn a ddywedwyd. Dywedodd gan ddefnyddio'r gwerth hwn. (Dyma throwback i'r hyn y mae Ken yn ei adrodd ar flog Marvin).

Ffordd gyfochrog o edrych ar “ddysgu iaith hollbresennol.” Gellir gwneud llawer heb newid yr iaith neu hyd yn oed ychwanegu geiriadur. Mae hyn yn debyg i sut gyda symbolau mathemategol a chystrawen mae'n hawdd iawn ysgrifennu fformiwla. Dyma'n rhannol y mae Marvin yn ei wneud. Mae'n ddoniol bod y peiriant Turing yn llyfr Marvin Computation: Finite and Infinite Machines (un o fy hoff lyfrau) yn gyfrifiadur gweddol nodweddiadol gyda dau gyfarwyddiad (ychwanegu 1 i gofrestru a thynnu 1 o gofrestr a changhennau i gyfarwyddyd newydd os yw'r gofrestr yn llai na 0 - mae yna lawer o opsiynau.)

Mae'n iaith raglennu gyffredin, ond byddwch yn ymwybodol o'r peryglon. Byddai'n rhaid i ateb rhesymol i "ddysgedig yn gyffredinol" hefyd gael rhai mathau o bŵer mynegiannol a fyddai'n debygol o ofyn am fwy o amser i ddysgu.

Arweiniodd diddordeb Don mewn "rhaglennu llythrennog" fel y'i gelwir at greu system awduro (WEB yn hanesyddol) a fyddai'n caniatáu i Don esbonio'r union raglen a oedd yn cael ei hysgrifennu, ac a oedd yn cynnwys llawer o nodweddion a oedd yn caniatáu i rannau o'r rhaglen fod. wedi'i dynnu ar gyfer astudiaeth ddynol. Y syniad oedd bod dogfen WEB yn rhaglen, a gallai'r casglwr dynnu'r rhannau wedi'u llunio a'u gweithredu ohoni.

Arloesedd cynnar arall oedd y syniad o gyfryngau deinamig, a oedd yn syniad poblogaidd ar ddiwedd y 60au, ac i lawer ohonom a oedd yn rhan bwysig o gyfrifiadura PC rhyngweithiol. Un o nifer o gymhellion ar gyfer y syniad hwn oedd cael rhywbeth fel "Egwyddorion Newton" y mae "mathemateg" yn ddeinamig a gellid ei redeg a'i glymu i graffeg, ac ati Roedd hyn yn rhan o'r cymhelliad i hyrwyddo'r syniad Dynabook yn 1968 flwyddyn. Un o’r termau y dechreuwyd ei ddefnyddio bryd hynny oedd “traethawd gweithredol,” lle mae’r mathau o ysgrifennu a dadlau y byddai rhywun yn eu disgwyl mewn traethawd yn cael eu gwella gan fod y rhaglen ryngweithiol yn un o sawl math o gyfryngau ar gyfer math newydd o ddogfen.

Gwnaed rhai enghreifftiau da iawn yn Hypercard gan Ted Cuyler ei hun ar ddiwedd yr 80au a dechrau'r 90au. Nid oedd Hypercard wedi'i ffurfweddu'n uniongyrchol ar gyfer hyn - nid gwrthrychau cyfryngau ar gyfer cardiau oedd sgriptiau, ond fe allech chi wneud rhywfaint o waith a chael sgriptiau i'w dangos ar gardiau a'u gwneud yn rhyngweithiol. Enghraifft arbennig o bryfoclyd oedd "Weasel", a oedd yn draethawd gweithredol yn esbonio rhan o lyfr Richard Dawkins Blind Watchmaker, gan ganiatáu i'r darllenydd arbrofi gyda fframwaith a oedd yn defnyddio math o broses fridio i ddod o hyd i frawddegau targed.

Mae'n werth ystyried, er bod Hypercard yn ffit bron yn berffaith ar gyfer y Rhyngrwyd sy'n dod i'r amlwg - a'i fabwysiadu'n eang yn y 90au cynnar - dewisodd y bobl a greodd y Rhyngrwyd beidio â'i gofleidio na syniadau cynharach mwy Engelbart. A gwrthododd Apple, a oedd â llawer o bobl ARPA/Parc yn ei adain ymchwil, wrando arnynt am bwysigrwydd y Rhyngrwyd a sut y byddai Hypercard yn wych am ddechrau system darllen-ysgrifennu cymesur. Gwrthododd Apple wneud porwr ar adeg pan fyddai porwr gwirioneddol dda wedi bod yn ddatblygiad arwyddocaol, ac efallai ei fod wedi chwarae rhan enfawr yn y modd y daeth "wyneb cyhoeddus" y Rhyngrwyd.

Os symudwn ymlaen ychydig flynyddoedd rydym yn darganfod yr abswrdiaeth absoliwt - bron yn anweddus hyd yn oed - o borwr gwe heb unrhyw system datblygu go iawn (meddyliwch pa mor wirion oedd datblygiad wiki i fod i weithio hyd yn oed), ac fel un o lawer o enghreifftiau syml, erthygl Wikipedia fel LOGO , sy'n gweithio ar gyfrifiadur, ond nid yw'n caniatáu i ddarllenydd yr erthygl roi cynnig ar raglennu LOGO o'r erthygl. Roedd hyn yn golygu bod yr hyn a oedd yn bwysig i gyfrifiaduron yn cael ei rwystro i ddefnyddwyr er mwyn amddiffyn gwahanol weithrediadau o hen gyfryngau.

Mae'n werth ystyried bod Wicipedia wedi bod ac yn brif genre ar gyfer meddwl, dyfeisio, gweithredu, ac ysgrifennu'r "llenyddiaeth cyfrifiadura" sydd ei angen (ac mae hyn yn sicr yn cynnwys darllen ac ysgrifennu mewn sawl ffurf ar amlgyfrwng, gan gynnwys rhaglennu).

Yr hyn sydd hyd yn oed yn fwy gwerth meddwl amdano yw na allaf ysgrifennu rhaglen yma yn yr ateb Quora hwn - yn 2017! - bydd hyn yn helpu i ddangos beth yn union yr wyf yn ceisio ei egluro, er gwaethaf y pŵer cyfrifiadurol enfawr sydd wrth wraidd y syniad gwan hwn o gyfryngau rhyngweithiol. Y cwestiwn pwysig yw “beth ddigwyddodd?” yn cael ei anwybyddu yn llwyr yma.

I gael syniad o’r broblem, dyma system 1978 a atgyfodasom yn rhannol ychydig flynyddoedd yn ôl fel teyrnged i Ted Nelson ac yn rhannol am hwyl.

(Gwyliwch yma am 2:15)


Mae’r system gyfan yn ymgais gynnar ar yr hyn yr wyf yn sôn yn awr amdano dros 40 mlynedd yn ôl.

Mae enghraifft wych i'w gweld yn 9:06.


Ar wahân i "wrthrychau deinamig", un o'r ystyriaethau allweddol yma yw y gellir prosesu "golygfeydd" - y cyfryngau sy'n weladwy ar y dudalen - yn unffurf ac yn annibynnol ar eu cynnwys (rydym yn eu galw'n "fodelau"). Mae popeth yn "ffenestr" (mae gan rai ffiniau amlwg ac nid yw rhai yn dangos eu ffiniau). Mae pob un ohonynt wedi'u llunio ar dudalen y prosiect. Mewnwelediad arall oedd gan fod yn rhaid i chi gyfansoddi a chyfuno rhai pethau, gwnewch yn siŵr bod popeth yn gyfansawdd ac yn gyfansoddiadol.

Credaf y gellir maddau i ddefnyddwyr ansoffistigedig am fethu â beirniadu dyluniadau gwael. Ond ni ddylai rhaglenwyr sy'n gwneud cyfryngau rhyngweithiol ar gyfer defnyddwyr, ac nad ydynt yn poeni am ddysgu am gyfryngau a dylunio, yn enwedig o hanes eu maes eu hunain, ddianc mor hawdd ag ef ac ni ddylid eu gwobrwyo am wneud hynny. maen nhw'n “wanach”.

Yn olaf, mae maes heb lenyddiaeth go iawn bron yn cyfateb i'r ffaith nad yw'r maes yn faes. Mae llenyddiaeth yn ffordd o gadw syniadau gwych mewn genre newydd, ac o feddwl heddiw ac yn y dyfodol yn y maes hwnnw. Nid yw hyn, wrth gwrs, yn bresennol yn y cyfrifiadau i unrhyw raddau defnyddiol. Fel diwylliant pop, cyfrifiadureg sydd â'r diddordeb mwyaf o hyd yn yr hyn y gellir ei wneud heb hyfforddiant helaeth, a lle mae gweithredu yn bwysicach na chanlyniadau'r canlyniadau. Llenyddiaeth yw un o'r cyfryngau lle gallwch symud o'r syml ac uniongyrchol i'r mwyaf a'r pwysicaf.

Mae ei angen arnom!

Am yr Ysgol GoTo

Alan Kay a Marvin Minsky: Mae gan Gyfrifiadureg "ramadeg" eisoes. Angen "llenyddiaeth"

Ffynhonnell: hab.com

Ychwanegu sylw