Thesis (PDF, 2Mb)

Total Page:16

File Type:pdf, Size:1020Kb

Thesis (PDF, 2Mb) On the Formal Flexibility of Syntactic Categories Chenchen Song Supervisors: Prof. Ian Roberts Dr. Theresa Biberauer Theoretical and Applied Linguistics Faculty of Modern and Medieval Languages University of Cambridge This thesis is submitted for the degree of Doctor of Philosophy Gonville & Caius College July 2019 Declaration This thesis is the result of my own work and includes nothing which is the outcome of work done in collaboration except as declared in the Preface and specified in the text. It is not substantially the same as any that I have submitted, or, is being concurrently submitted for a degree or diploma or other qualification at the University of Cambridge or any other University or similar institution except as declared in the Preface and specified in the text. I further state that no substantial part of my thesis has already been submitted, or, is being concurrently submitted for any such degree, diploma or other qualification at the University of Cambridge or any other University or similar institution except as declared in the Preface and specified in the text. It does not exceed the prescribed word limit for the relevant Degree Committee. Chenchen Song July 2019 On the Formal Flexibility of Syntactic Categories Chenchen Song This dissertation explores the formal flexibility of syntactic categories. The main proposal isthat Universal Grammar (UG) only provides templatic guidance for syntactic category formation and organization but leaves many other issues open, including issues internal to a single category and issues at the intercategorial, system level: these points that UG “does not care about” turn out to enrich the categorial ontology of human language in important ways. The dissertation consists of seven chapters. After a general introduction in Chapter 1, I lay out some foundational issues regarding features and categories in Chapter 2 and delineate a featu- ral metalanguage comprising four components: specification, valuation, typing, and granularity. Based on that I put forward a templatic definition for syntactic categories, which unifies the com- binatorial and taxonomic perspectives under the notion mergeme. Then, a detailed overview of the “categorial universe” I work with is presented, which shows that the syntactic category sys- tem (SCS) is an intricate web structured by five layers of abstraction divided into three broad levels of concern: the individual level (layers 1–2), the global level (layers 3–4), and the supra- global level (layer 5). In the subsequent chapters I explore the template-flexibility pairs at each abstraction layer, with Chapters 3–4 focusing on the first layer, Chapter 5 on the second layer, and Chapter 6 on the third and fourth layers; the fifth layer is not in the scope of this dissertation. Chapter 3 examines a special type of category defined by an underspecified mergeme, the defective category, which behaves like a “chameleon” in that it gets assimilated into whatever nondefective category it merges with. This characteristic makes it potentially useful in analyz- ing certain adjunction structures, and I explore this potential by two case studies, one focusing on modifier-head compounds and the other on sentence-final particles. Chapter 4 examines another special type of category defined by the absence of a mergeme, the Root category. Deduc- tive reasoning leads me to propose a generalized root syntax, according to which roots are not confined to lexical categorial environments but may legally merge with and hence “support” any non-Root category. I demonstrate the empirical consequences of this theory by a comprehensive study of the half-lexical–half-functional vocabulary items in Chinese. Chapter 5 ascends to the second abstraction layer and raises the question of whether the cate- gorial sequences (or projection hierarchies) in human language are necessarily totally ordered, as certain analytical devices (e.g., “flavored” categories) can only be theoretically maintained if we also allow categorial sequences to be partially ordered. After a diachronic study of the flavored verbalizer vbe (stative) in Chinese resultative compounds, I conclude that while “flavoring” is indeed a possible type of flexibility in the SCS, it is the deviation rather than the norm due to non-UG or “third” factors and hence should be cautiously used in syntactic analyses. Chapter 6 ascends even higher on the ladder of abstraction and examines the global inter- connection in the SCS ontology with the aid of mathematical Category theory. I formalize the functional parallelism across major parts of speech and the inheritance-based relations across granularity levels as Category-theoretic structures, which reveal further and more abstract tem- plates and flexibility types in the SCS. A crucial mathematical concept in the formalization is epi- Adjunction. Finally, in Chapter 7 I summarize the main results of this dissertation and briefly discuss some potential directions of future research. Acknowledgments I would like to thank everyone who has helped me during my PhD studies in one way or another. First of all, I am truly grateful to my supervisors, Ian Roberts and Theresa Biberauer, for their pa- tient guidance and continuous support. I had arrived at Cambridge knowing little about formal syntax but now can understand the most advanced works in the field. My academic growth is the result of their scholarly enlightenment, and I cannot thank them enough for this intangible gift. Ian gave me ample freedom since day one, allowing me to explore my interests at myown pace but also pointing me in the right directions, which were not necessarily in his own research areas. He often knew what I would be interested in even before I knew it myself, which inmy eyes was like magic. I will never cease admiring his erudition and achievements. I have always admired Theresa’s knowledge and enthusiasm in linguistics too, so when she offered to be my co-supervisor at the end of my first year, I felt really lucky. I am deeply indebted to her for her detailed feedback on my work, her encouragement when I accidentally stepped into a whole new field, her practical advice on various (semi)academic matters, and her always timely help with my paperwork. Being an international student often means extra difficulty, and her administrative aid has made my life much easier. Both Ian and Theresa have hugely influenced my way of thinking, as can be seen in multiple places in this dissertation, but what I especially appreciate is that they have also helped me produce a piece of work that I can confidently call my own. Their open-mindedness to and protection of nonmainstream ideas is something I will pass on to my own students in the future. I have been fortunate enough to work or converse with a lot of experts in and beyond the linguistics community at Cambridge and elsewhere, which has been an important source of in- spiration for me to explore further realms in the intellectual world. Many thanks to Víctor Acedo- Matellán, who had been a great mentor-advisor while being here and continued helping me after moving to The Other Place; to Andrew Pitts and his Category Theory course in the Department of Computer Science and Technology, which was the first math course I had seriously taken years after high school, as well as John Baez and his Applied Category Theory course in the Az- imuth forum, where my layman questions were patiently answered; to Anders Holmberg, Igor Arrieta, Erin Pretorius, Cherry Lam, and others who kindly commented on my written work; to Jenneke van der Wal, Michelle Sheehan, Craig Sailor, and other SyntaxLab goers who gave me feedback at various points of my research; to Jim Baker, András Bárány, Jamie Douglas, Anna viii Hollingsworth, Daniela Gerz, Hanna Ajer, Li Nguyen, and other PhD colleagues with whom I have had thought-provoking chats; and also to the many friendly people I have luckily had the chance to meet at various conferences—I look forward to seeing you again! I have been able to fully concentrate on my PhD research thanks to the generous funding from Cambridge Trust and China Scholarship Council. I should particularly thank Cambridge Trust for extending my scholarship into my fourth year, without which I would not have been able to write up this dissertation. I would also like to thank Gonville & Caius College for giving me financial help when I was in need. In addition, both Gonville & Caius College and the Faculty of Modern and Medieval Languages have offered me student grants, which have allowed me to present my work at conferences and attend language courses. Life is not all about linguistics, and I should like to extend my thanks to all my dear friends who have made my nonacademic life at Cambridge enjoyable. Among those I hang out with, Wiktor Olszowy is the most reliable one; sometimes he plays loud music at midnight but at least his taste in music is fine. Beñat Mencia Uranga is unlike Wiktor but has the funniest style (despite what Wiktor says in his PhD Acknowledgments) and arranges the best meal groups (with a lot of sparkling conversations). The Caius Movie Appreciation Society, the beginning of which I had witnessed, is probably the best Cambridge society I have been to. There I have watched (or occasionally napped through) many movies that I would probably never watch elsewhere and met a bunch of lovely people, including but not limited to Michael Kosicki (who makes good pie), Michele Sanguanini (who makes good tiramisu), Alex Shattock (who has the best party costumes), Christine Yu (who is the most energetic), and Daniela Peris (who gave me her Beedle the Bard). I would also like to thank all my old friends, in China and elsewhere, who have shared my joy and heard my complaints, given me advice and helped me grow, and never got annoyed by my monthslong silence.
Recommended publications
  • CWI Scanprofile/PDF/300
    ADAPI'ED: ADJUSTED; widened; rowed; NINE : EIGHI' plus one. hipped; voided. NONPROC : PLAIN ; format ; procedure ADIC : PRIORITY; monadic. with PARAMETERS MOID; reference to ADJUSTED: FITI'ED; procedured; united. NONPROC; structured with FIEIDS; .ALPHA : a ; b ; c ; d ; e ; f ; g ; h ; row of NONPROC ; UNITED • i ; j ; k ; 1 ; m ; n ; o ; p ; q ; NONROW: NONSTOWED; structured with r; S; t; U; V; W; X; y; z. FIEIDS. ANY: KIND; suppressible KIND; NONSTOWED : TYPE ; UNITED. replicatable KIND; NarION: .ALPHA; NOTION .ALPHA. replicatable suppressible KIND. NUMBER : one ; 'IWO ; THREE ; FOUR ; BITS : structured with row of boolean FIVE ; SIX ; SEVEN ; EIGHI' ; NINE. field LENGTHETY letter aleph. PACK : pack ; package. BOX : IMOODSETY box. PARAMETER: MODE parameter. BYTES: structured with row of character PARAMETERS : PARAMETER ; field LENGTHETY letter aleph. PARAMETERS and PARAMETER.. CLAUSE: MOID clause. PARAMETY : with PARAMETERS ; EMPTY. CLOSED: closed; collateral; conditional. PHRASE: declaration; CLAUSE. COERCEND : MOID FORM. PLAIN: INTREAL; boolean; character. COMPLEX: structured with real field PRAM: procedure with IMODE parameter letter r letter e and real field and RMODE parameter MOID; letter i letter m. procedure with RMODE parameter MOID. DIGIT: digit FIGURE. PRIMITIVE : integral ; real ; boolean EIGHI' : SEVEN plus one. character; format. EMPTY : . PRIORITY: priority NUMBER. FEAT : finn ; weak ; soft. PROCEDURE: procedure PARAMETY MOID. FIEID : MODE field TAG. REAL: LONGSETY real. FIEIDS FIEID ; FIEIDS and FIEID. REFETY: reference to; EMPTY. FIGURE: zero; one; two; three; four; RFIEIDSETY: and FIEIDS; EMPTY. five; six; seven; eight; nine. RMODE: MODE. FITI'ED: dereferenced; deprocedured. RMOODSETY : RMOODSETY and MOOD EMPTY. FIVE : FOUR plus one. ROWS: row of; ROWS row of. FORESE: ADIC formula; cohesion; base.
    [Show full text]
  • A Complete Bibliography of Publications in Science of Computer Programming
    A Complete Bibliography of Publications in Science of Computer Programming Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 23 July 2021 Version 2.85 Title word cross-reference .NET [1085, 1074]. 0 [195, 291, 202, 572, 183, 515, 265, 155, 192, 231, 243, 514, 245, 1980, 295, 156, 151, 206, 1 + 118 [2359]. 10 [91]. $102.50 [267, 268]. 146, 203, 213, 289, 285, 286, 287, 219, 244, 11 [95]. 12 [101]. 13 [103]. 14 [107]. 15 [112]. 207, 246, 182, 229, 153, 321, 296, 217, 208, 16 [117]. 18 [125]. 19 [131]. 2 [43]. 20 [147]. 297, 193, 180, 298, 67, 204, 267, 268, 194, 21 [160]. 22 [178]. 23 [190]. 24 [242]. 3 [47]. 216, 320, 181, 317, 145, 214, 266, 269, 397, 3=2 [693]. $31.25 [320]. 4 [54]. 5 [61]. 6 [66]. 169, 574, 390, 215, 173, 1976, 227, 185, 575, + 2 7 [72]. $74.25 [318]. 8 [77]. [2065, 2428]. 226, 318, 270, 201, 288, 166, 205, 196, 284, 3 [466]. [1492]. 1 [944]. fun [1352]. SCR [1723]. 230, 247, 248, 249, 250, 524]. 0-06-042225-4 M jj [1894]. CSP B [1280]. ∆IC [879]. E3 [180]. 0-12-064460-6 [214]. 0-12-274060-2 [523]. j [1050, 1534]. k [1890, 2529]. λ [146].
    [Show full text]
  • CWI Scanprofile/PDF/300
    STICHTING MATHEMATISCH CENTRUM ,,n 2e BOERHAAVESTRAAT 49 AMSTERDAM REKENAFDELING MR 100 FINAL DRAFT REPORT ON THE ALGORITHMIC LANGUAGE ALGOL 68 A. van Wijngaarden ·(editor), B • J. Mailloux, J. E. L. Peck I , and C. H.A.Koster · Commissioned by Worldng Group 2 .1 on ALGOL of the International Federation .for Information Processing December 1968 MATHEMATISCH Contents P. Prologue P.1. History of the Report . P. 2. Membership of the Working Group::· · P.3. Maintenance P.4. References o. Introduction 0.1. Aims and principles of design 0.1.1. Completeness and clarity of description. 0.1.2. Orthogonal design.- 0.1.3. Security. 0.1.4. Efficiency. 0.1.4.1. Static mode checking. 0.1.4.2. Static scope checking. 0.1.4.3. Mode independent parsing. 0 • 1 • 4. 4. Independent compila·tion. 0 • 1 • 4. 5 • Loop optimization. 0. 1 • 4. 6. Representations 0.2. Comparison with ALGOL 60 0.2.1. Values in ALGOL 68. 0.2.2. Declarations in ALGOL 68. 0.2.3. Dy­ namic storage allocation in ALGOL 68. 0.2.4. Collateral elaboration in ALGOL 68. 0.2.5. Standard declarations in ALGOL 68. 0.2.6. Some particu­ lar constructions in ALGOL 68 1 • Language and metalanguage ":· ,,.. 1.1. The method of description . 1 • 1 • 1 • 'I'he strict, extended and representation languages. 1 • 1 • 2. The syntax of the strict language. 1.1.3. The·syntax of the metalanguage. 1.1.4. The production rules of the metalanguage. 1.1.5. The production rules of the strict language. 1.1.6.
    [Show full text]
  • Castalia, the Game of Ends and Means | 2016
    JOURNAL > SITE 0: CASTALIA, THE GAME OF ENDS AND MEANS | 2016 Castalia, the Game of Ends and Means Glass Bead The first issue of this journal, as well as Glass Bead‘s project at large, is directed towards rethinking art as a mode of rational thought. This engagement stems from a shared discontent with art’s ongoing exclusion from reason, its positioning at the peripheries of knowledge, and its resulting political inconsequentiality. Our project departs from the assumption that any claim concerning the efficacy of art—its capacity, beyond either its representational function or its affectivity, to make changes in the way we think of the world and act on it—first demands a renewed understanding of reason itself. It might come as a surprise to our readers that while it is an art journal, Glass Bead offers no critical reviews, no art-historical texts on specific works, artists, or exhibitions. None of the discursive practices that commonly surround and legitimize art are present in this journal. This absence is determined by Glass Bead’s methodological decision not to address art from a pre-constituted identity, but rather to dynamically define its role through the exploration of other forms of reasoning (science, philosophy, politics, art, etc.). While it foregrounds transits between disciplines, Glass Bead is not an interdisciplinary journal. In all its scholarly enthusiasm and benevolence, interdisciplinarity has now become some kind of empty motto. Starting from already constituted disciplinary identities, interdisciplinarity seeks connections whose broader impact on the forms of knowledge they connect are consequently silenced. As such, it appears unable to move beyond the implicit equivalence posited between the things it connects.
    [Show full text]
  • Revised Report on the Algorithmic Language ALGOL 68 Edited By: A
    Revised Report on the Algorithmic Language ALGOL 68 Edited by: A. van Wijngaarden, B.J. Mailloux, J.E.L. Peck, C.H.A. Koster, M. Sintzoff, C.H. Lindsey, L.G.T. Meertens and R.G. Fisker. This Report has been accepted by Working Group 2.1, reviewed by Technical Committee 2 on Programming and approved for publication by the General Assembly of The International Federation for Information Processing. Re- production of the Report, for any purpose, but only of the whole text, is explicitly permitted without formality. The translation 1.1.5 of the Report to TEX source language was created by: f W.g B. Kloke, mailto:[email protected] . Remarks on this edition are collected into a separated document, http://vestein.arb-phys.uni-dortmund.de/~ wb/RR/vorwort.tex. Further versions will be found also in http://vestein.arb-phys.uni- dortmund.de/~ wb/RR/. The table of contents had to be removed, because page numbers are not a valid concept in TEX source language. Known errata, as published in Algol Bulletin No. 41 and ::: , are cor- rected. Syntactic errors in the standard-prelude, as mentioned in Commen- tary AB 43 p.7f, are corrected also. The Partial Parametrization Proposal (AB39.3.1) has been appended to the text. Layout of examples may still be improved. 1 Section ALGOL 68 Revised Report Acknowledgements Habent sua fata libelli. f De litteris Terentianus Maurus g Working Group 2.1 on ALGOL of the International Federation for Infor- mation Processing has discussed the development of \ALGOL X", a succes- sor to ALGOL 60 [3] since 1963.
    [Show full text]
  • Revised Report on the Algorithmic Language Algol 68
    Revised Report on the Algorithmic Language Algol 68 Edited by A. van Wijngaarden, B. J. Mailloux, J. E. L. Peck, C.H. A. Koster, M. Sintzoff, C.H. Lindsey, L. G. L. T. Maertens and R. G. Fisker This Edition, which is issued as a Supplement to ALGOL Bulletin number 47, includes all errata authorised by the ALGOL 68 Support subcommittee of IFIP WG2.l up to the end of 1978. This Report has been accepted by Working Group 2.1, reviewed by Technical Committee 2 on Programming and approved for publication by the General Assembly of the International Federation for Information Processing. Reproduction of the Report, for any purpose, but only of the whole text, is explicitly permitted without formality. CONTENTS Acknowledgements . ... 6 0. Introduction . ..... ... ... .. .. ... ... ... ... .. .. ... .... ... .. ... ... 8 0.1. Aims and principles of design....................................................... 8 0.1.l. Completeness and clarity of description................................. 9 0.1.2. Orthogonal design.................................................................. 9 0.1.3. Security................................................................................. 9 0.1.4. Efficiency.............................................................................. 9 0.2. Comparison with ALGOL 60 .. ... .. .. ... .. .. ... .. ... ... .. .. .. 10 0.3. Comparison with the language defined in 1968............................... 13 0.4. Changes in the method of description............................................ 15 PART I Preliminary definitions
    [Show full text]
  • Yoneda Lemma 2
    What You Needa Know About Yoneda Jeremy Gibbons S-REPLS #12, July 2019 The Yoneda Lemma 2 1. Nobuo Yoneda 1930–1996 • Professor of Theoretical • Foundations of Information Science, University of Tokyo member of IFIP WG2.1, • contributor to discussions about Algol 68, major role in Algol N but primarily an algebraist • The Yoneda Lemma 3 2. The Yoneda Lemma “Arguably the most important result in category theory” (Emily Riehl). The Yoneda Lemma, formally: For C a locally small category, [C, Set](C(A, ), F) F(A), − ' naturally in A C and F [C, Set]. 2 2 . From left to right, take nt φ : C(A, ) F to φA(idA) F(A). − ! 2 From right to left, take element x F(A) to nt φ such that φB(f ) F(f )(x). 2 = As a special case, the Yoneda Embedding: The functor Y : Cop [C, Set] is full and faithful, and injective on ! objects. [C, Set](C(A, ), C(B, )) C(B, A) − − ' Quite fearsomely terse! The Yoneda Lemma 4 3. The Yoneda Lemma, philosophically roughly, “a thing is determined by its relationships with other things” • in English, you can tell a lot about a person by the company they keep • in Japanese, (‘ningen’, human being) constructed from • (‘nin’, person) and (‘gen’, between), in Euclidean geometry, a point ‘is’ just the lines that meet there • in poetry, c’est l’ex´ecution du po`eme qui est le po`eme (Val´ery) • in music, die Idee der Interpretation gehort¨ zur Musik selber und ist ihr nicht • akzidentiell (Adorno) in sculpture, need to see a work from all angles • in order to understand it (Mazzola) The Yoneda Lemma 5 4.
    [Show full text]
  • Professor Nobuo Yoneda (28 March 1930-22 April 1996)
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Science of Computer Programming ELSEVIER Science of Computer Programming 27 (1996) 2 15-2 16 Obituary Professor Nobuo Yoneda (28 March 1930-22 April 1996) Dr. Nobuo Yoneda, professor emeritus at the University of Tokyo passed away on the 22nd of April 1996. He was 66 years old. Immediately after Dr. Yoneda graduated the Department of Mathematics, the Faculty of Science, the University of Tokyo in 1952, he was appointed as an assistant professor in the department. While on the faculty, he stayed at the Institute for Advanced Study of Princeton University from 1956 to 1959 and also made research trips to UK and France. In 1962, he was appointed as an associate professor of the Faculty of Science, Gakushuuin University, and was promoted to the rank of professor in 1966. After the Department of Information Science was created in the Faculty of Science, the University of Tokyo in 1971, he became a professor of Theoretical Foundation of Information Science in 1972. In education and research he made many contributions to the department and also to the university. On retirement from the University of Tokyo in 1990, he moved to Tokyo Denki Daigaku University and taught there until March 1996. During his tenureship at the University of Tokyo. Dr Yoneda’s activities were not confined to research and education. He contributed much to the development of Information Science at the university by serving as chairman of many committees including the program library committee of the Computer Centre.
    [Show full text]
  • CURRICULUM VITÆ February 10, 2021
    CURRICULUM VITÆ February 10, 2021 1. Biographical and Personal Information Donald E. Knuth, born January 10, 1938, Milwaukee, Wisconsin; U. S. citizen. Chinese name (pronounced G¯ao D´en`a or Ko Tokuno or Go Deoknab). ] (b. July 15, 1939), June 24, 1961. Married to Nancy Jill Carter [ Children: John Martin (b. July 21, 1965), Jennifer Sierra (b. December 12, 1966). 2. Academic History Case Institute of Technology, September 1956–June 1960; B.S., summa cum laude, June, 1960; M.S. (by special vote of the faculty), June 1960. California Institute of Technology, September 1960–June 1963; Ph.D. in Mathematics, June 1963. Thesis: “Finite Semifields and Projective Planes.” 3. Employment Record Consultant, Burroughs Corp., Pasadena, California, 1960–1968. Assistant Professor of Mathematics, California Institute of Technology, 1963–1966. Associate Professor of Mathematics, California Institute of Technology, 1966–1968. Professor of Computer Science, Stanford University, 1968–. Staff Mathematician, Institute for Defense Analyses—Communications Research Division, 1968–1969. Guest Professor of Mathematics, University of Oslo, 1972–1973. Professor of Electrical Engineering (by courtesy), Stanford University, 1977–. Fletcher Jones Professor of Computer Science, Stanford University, 1977–1989. Professor of The Art of Computer Programming, Stanford University, 1990–1992. Professor of The Art of Computer Programming, Emeritus, Stanford University, 1993–. Visiting Professor in Computer Science, University of Oxford, 2002–2006, 2011–2017. Honorary Distinguished Professor, Cardiff School of Computer Science and Informatics, 2011–2016. Theta Chi Hall of Honor, 2016–. 4. Professional Societies American Guild of Organists, 1965–. American Mathematical Society, 1961–. Committee on Composition Technology, 1978–1981. Association for Computing Machinery, 1959–.
    [Show full text]
  • AB26.5 CIRCULATION LIST Dipl. Math. Reiner Durchholz, 7755
    AB26 p AB26.5 CIRCULATION LIST AB26.5,1. Changes of address Dipl. Math. Reiner Durchholz, 7755 ALLENSBACH, Kapplerbergstrasse 27, W. Germany. lAB21 p 80 Dr Manfred Paul, Leibniz-Rechenzentrum der Bayerischen Akademie der Wissenschaften, 8 MUENQIEN 2, Richard Wagnerstrasse 18, W. Germany. lAB17 p 20 Professor Dr Ir W.L. van der Poel, Technische ltogeschool, Delft, The Netherlands. lAB17 p 22 Professor Niklaus Wirth, Rechenzentrum UniversitKt ZUrich, Sumatrastrasse 30, ZUrich 8006, Switzerland. lAB/7 p 27 A. d'Agapeyeff, Computer Analysts and Programmers Ltd., CAP }louse, 14-15 Great James Street, London WC 1, UK lAB17 p 23 Arthur S. Radford, Leicester College of Technolo~;b', Department of Mathematics, The Newarke, Leicester, UK. lAB20 p 51 P.G. Smith, MRC Clinical Effects of Radiation Research Unit, Western General Ilospital, Crewe Road, Edinburgh 4, UK lAB25 p 30 R.W.L. Trundle, 100 l~yron Way, Northolt, Middlesex, UK. [AB2/ p 79 D.H. Vellacott, I Bradstock Road, Stoneleigh, Ewell, Surrey, UK [AB25 p 30 M. Woodger, Auto,omics Division, National Physical Laboratory, Teddington, Middlesex, UK. [ABI7 p 25 James M. Boyle, Applxed ~lathemat,cs D,v,sxon, Argonne National Laboratory, Argonne, Illinois 604.39, USA. lAB2/ p 83 Robert T. Braden, SLAC Facxlxty of the Stanford Computatxon Center, Stanford Unlverslty, Stanford, California 94.505, USA. lAB20 p 51 lloward Bromberg, Information Management Inc., 4.32 Clay Street, San Francisco, Calxfornia 94111, USA. [ABI7 p 26 Jacques Cohen, P.O. Box 157, MIT Branch Post Office, Cambridge, ~lassachusetts 02159, USA. lAB17 p 20 R.E. Keirstead, Stanford Research Instxtute, Menlo Park, California 94025, USA.
    [Show full text]
  • Report,Rapport
    J A-53163 l j '2.- '1....- Library CW/ Am sterdam e Ceotrum voor Wiskunde en lnformatica REPORT,RAPPORT I Conference on the history of ALGOL 68 ] G. Alberts (ed.) J Department of Analysis, Algebra and Geometry ] Historical Note AM-HN9301 January 1993 E> ~ Centrum voor Wiskunde en lnfor~a~~ \ REPORT RAPPORT Conference on the history of ALGOL 68 G. Alberts (ed.) CWI BIBLIOTHEEK ll ll lllllll l l~ ll llll l lllll llll 1 ~ 1 111 1 1 1 11111 1 1111 1 11 1 11 1 11111 1 Department of Analysis, Algebra and Geometry 3 0054 00113 1078 Historical Note AM·HN9301 January 1993 I; j f] i ) ! ii -·.... \ ~ r··-:. ,.:./~J~:itr·u·:i' · ',· r ·"'. 1,r.{ic:'k •1r·, ·:,-. :..1', ·,·,·1, !q r,'1iniltJ ' '<::.. •..>:J" l.. •,..,,,,., , j 1p ~ • I . • , _ \., , " 1 \,,1 I \J ·~"-... Amsf!]td a m · ~;- = ::'. ~_ _: :_ · · - CWI is the National Research Institute for Mathematics and Computer Science. CWI is part of the Stichting Mathematisch Centrum (SMC), the Dutch foundation for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of ERCIM, the European Research Consortium for Informatics and Mathematics. Copyright © Stichting Mathematisch Centrum P.O. Box 4079, 1009 AB Amsterdam (NL) Kruislaan 413, 1098 SJ Amsterdam (NL) Telephone +31 20 592 9333 Telefax +31 20 592 4199 Contents Introduction to the Conference 5 Gerard Alberts History of Programming Languages, a Survey 9 Friedrich L. Bauer The History of ALGOL 68 (Extended Abstract) 23 Charles Lindsey The Making of Algal 68 27 Gees Koster An orthogonal first programming language 41 Sietse van der M eulen Algal 68 - 25 Years in the USSR 45 Mikhail A.
    [Show full text]
  • (Artificial Intelligence in Education). PUB DATE 2000-11-00 NOTE 229P.; In: Learning Societies in the New Millennium: Creativity, Caring & Commitments
    DOCUMENT RESUME ED 454 816 IR 020 795 TITLE ICCE/ICCAI 2000 Full & Short Papers (Artificial Intelligence in Education). PUB DATE 2000-11-00 NOTE 229p.; In: Learning Societies in the New Millennium: Creativity, Caring & Commitments. International Conference on Computers in Education/International Conference on Computer-Assisted Instruction (Taipei, Taiwan, November 21-24, 2000); see IR 020 792. Some figures contain very small and illegible type. PUB TYPE Collected Works - General (020) Speeches/Meeting Papers (150) EDRS PRICE MF01/PC10 Plus Postage. DESCRIPTORS *Artificial Intelligence; *Computer Uses in Education; *Educational Technology; Elementary Secondary Education; Higher Education; Instructional Design; Internet; Systems Development IDENTIFIERS Learning Environments ABSTRACT This document contains the full and short papers on artificial intelligence in education from ICCE/ICCAI 2000 (International Conference on Computers in Education/International Conference on Computer-Assisted Instruction) covering the following topics: a computational model for learners' motivation states in individualized tutoring system; a fuzzy-based assessment for Perl tutoring system; a genetic approach to parallel test construction; a learning environment for problem posing in simple arithmetical word problems; a method of creating counterexamples by using error-based simulation; a study of a networked constructive CAI (Computer Assisted Instruction) system using multiplication; adaptive programming language tutoring system on the World Wide Web; an agent-based
    [Show full text]