DOCSLIB.ORG

AB26.5 CIRCULATION LIST Dipl. Math. Reiner Durchholz, 7755

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. [AB22 p 35 Dr T,W, Olle, RCA-EDP, Rldg 204-2, Cherry Ilill, Camden, New Jersey 08101, USA. lAB17 p 27 Dr M. Pacelli, General Electric Computer Dept. C-76, 134...~0 North Black Canyon Highway, Phoenix, Arizona 85029, USA[AB18 p 52 Theodore G. Reiss, P.O. Box 1193, Falls Church, Virginia 22041, USA. lAB18 p 5.~ Winston Riley III, WESTAT Research Inc., 7979 Old Georgetown Road, Bethesda, Maryland 20014, USA. [AB17 p 27 Alien Springer, 2569 Easy, Ann Arbor, Michigan 48104, USA. [AB25 p 30 Harry Bjork, Mickelsbergsv~en 136, H~gersten, Sweden. [ AB22 p 3.5 AB26 p 45 AB26,5.2. To be deleted C. Wyld, London W I. [AB22 p 37 Richard Carlisle, Phoenix, Arizona. [ 2o p 5x AB26.5.3. Supvlement No, 11 - August ./.~6Z Austria Professor Hans J. Stetter, Instztut fdr Numerische Mathematik, Technische Hochschule Wien, Karlsplatz 13. A-I040 Vienna. Belgium Professor P.E, Gennart, Ecole Royale ~ilitaire, 30 Avenue de la Renaissance, Brussels 4. J. Loeckx, MBLE Research L~>oratory, 2 Avenue Van Becelaere, Brussels 17. Denmark Professor Hans J~rgen llelms, ~orthern l:urope University Computing Centre, Technical University of Denmark, Lyngby. Franc.e J.C. Boussard, Universit~ de Grenoble, }~.P. 7, St. Martin d'ireres (Is~re). Librarian, C.E.R.A., Cit~ Fournier 78, Velizy-Villacoublay. Mme. Darnet, Compagnie Bull - General Electric, 94 avenue Gambetta, Paris 20e. N. Duc Lam, 104 Boulevard Arago, Paris 14e. Dr C. Pair, Universit~ de Nancy, Institut Universitaire de Calcul Automatique, 42 avenue de la Liberation, Na~,cy. Mme Tournyol du Clos, Ing~nieur Doc,~entaliste, Centre de Calcul Scientifique de I" Armement, 16his Avenue Prieur-de-la-C~te-d" Or, 94 Arcueil. Germans (Bundesrepublik) Dr Gerhard Goos, Rechenzentrum der T II, 8 M~nchen 2, Arcisstrasse 21. Georg Nees, Siemens AG, Abt. ZEF / Rechenzentrum, 8520 Erlangen, G.-Scharowsky-strasse. Greece Antony Bernaris, Governor of O.G.A., 48 Athenas Street, Athens 111. Andreas Drlmiotis, 3 Karneadou Street, Athens 139. AB26 p Shigeru Igarashi, Computer Centre, University of Tokyo. [email protected]. Tokyo. Tsurane lwamura, Department of the Foundations of Mathematical Sciences, Tokyo University of Education, 5-29-I Otsuka Bunkyo-ku, Tokyo. Jun Kojima, Electronic Com[,utation Centre, Waseda University, 4-170 Nishiok~xbo, Shinjuku-ku, Tokyo. Ikuo Nakata, Central Research Laboratory, Hitachi Ltd., Kokubunji, Tokyo. Toshio Nishimura, Dep~rtme.t of the Foundations of Mathematical Sciences, Tokyo University of Education, 5-29-I Otsuka Bunkyo-ku, Tokyo. Nobuo Yoneda, ~o~atn :!-4-5, ~akano-ku, Tokyo. Prof. N. ¥oneds, F~c,,V~y of ~cicnce, Cakushuin University, Mejoro, Toshin:a-ku. T~,~:yo. Netherl ands D.J.M. Dirks, Rozenoord ~3. ~,:stelveen. Ir M.If. van Emden. c/o Mathem~tisch Centrum, 2e I~oerhaavestraat 49, Amsterdam - O. Mr W.A.K. Mass, Electronisch Rekencentrum der Rijksuniversiteit, Boothstraat lc, t!trecht. Centraal Rekeninstituut, ~ihliotheek, Statlonsweg 20, Leiden. W.M.H. Rutten, ,entraal ~eker~in~tituut, Stationsweg 20, Leiden. J.W. van Wingen, Nederl.t.4~ IT~tituut voor Praeventieve Geneeskunde, Wassenaarseweg ~, Leiden. L.J. 7eckendorf, N.V. Phil ips ~'.,,puter Industrie, Apeldoorn, Postbus 245. Pol and Dr A. Mazurkiewicz, ll~stytut Xlaszyn Matematychznych, Koszyko~a 79, Warsaw ~. Sweden Librarian, The Library of Chal~e,'~ University of Technology, Gothenburg. Switzerland Professor P. L~uchli, Institute for Applied Mathematics ETH, 8006 Z~rlch. ,U,.nited Kingdom M.A. Batty, Systems l'rogravuning Division, English Electric Computers Ltd., Kidsgrove, ~(oke-o.-Trent, Staffs. Professor J.C. Bro~, Ocp~irt,,ent of Computer Science, Queen" s University, Belfast 7, ~i,,~h~rn Ireland. AB26 p 47 D.G. Burnett-Hall, Director, Department of Computation, University of York, Hesl ingt on, York. John M. Chambers, Department of Mathematics, Imperial College, London SW 7. R.J. Cunningham, Centre for Computing and Automation, Imperial College, London SW 7. Mrs D, Day, Librarian, Atlas Computer Laboratory, Chilton, Didcot, Berks° Robin E° Day, Software Mana~;er, Edinburgh Regional Computing Centre, 4 Buccleuch Place, Edinburgh 8. Dr J.J. Florentin, Centre for Computing and Automation, Imperial College, London SW 7. Inn Fraser and As~ociates, 50-~I Russell Square, London WC I. Mrs I. Go.de. Mathematics Divisio,. National Physical Lad.oratory, Teddington, Middlesex. D.C. lianneman, Computing Section, Portsmouth College of Technology, ltampshire Terrace, Portsmouth° llants. David Tlendry, Institute of Computer Science, 44 Gordon Square, London WC 1. T.R. lleywood, Development Lal,(~ratory, IPIM UK Laboratories Ltdo, llursley Park, ~inchester. l!ants. J.H. !lope, Laporte Industries Ltd., '.lathematics Dept., I llill Street, Berkeley ~qu~re, l.ondon W ?. C,.S. Marliss, Imperial College, C~_~ Princes Gate, London SW 7. John Marsh, The Scottish Woollen, Technical College, Galashiels, Selkirkshireo Ann Maybrey, The University of Liverpool, Department of Computational and Statistical Science, l. iverpool 3. Eric Nix,n, Institute of Co, putter .~cie1~ce, 44 Gordon Square, London WC I. D..~,I.R° Park, Program~i~:~ Research Group, 4~ Banbury Road, Oxford. R.M. Pengelly, Depart~fwnt of Computer Science, Queen" s University, Belfast 7, Nortl~ern Ireland. D.W. Pygott, Librarian, English Electric Computers Ltd., Kidsgrove, Stoke-on-Trent. Staffs. Peter J. Whlte, Se~ior Lecturer', North East Essqrx Technical College, Sheepen Road, Cotchester, Essex. O°J. Wintrinsham, IB~J T:r~ited Kin:~dom Ltd°, 40 Basinghall Street, London EC 2. United States .of A_merica R.V. Bock, Manager. Adva~lced Simulation ~nd Modeling Techniques, General Electric Company. 73430 North Bla~k Canyon Highway, (K-27), Phoenix, Arizona. 8520~, AB26 p 48 Prof. Dr Ao Grau, Department of Mathematics, Northwestern University, Evanston, Illinois 60201. Prof. David Gries, Computer Scie,ce Department, Stanford University, Stanford, California 94~G'5. E.T. Irons, Institute for Defex~se Analyses, 100 Prospect Avenue, Princeton, New Jersey [~8540. C. Katz, Burroughs Corporation, Great Valley Laboratory, Paoli, Pennsylvania 1.9307. Leonard Levi~g, Stanford Research Institute, Menlo Park, California 94025. R°A° Mackenzie Jr., Manager. 600 Computer Operations, Mail Location B-123, 1~4~' ~!orth Black Canyon Highway, Phoenix, Arizona 85029. Document Ro~r.~ 26-270. MIT Computation Center, Cambridge, Massachusetts 02139. Cleve B. Mo!er, Department of Mathematics. University of Michigan, Ann ~rbor, Michigan ,~81C~4. Peter Shant z, RCA-EDP, Cherry lli I 1 - Bldg. 204.2, Camden, New Jersey 08101. T°B. Steel Jr.. System Developmevt Corporation, 2500 Colorado Avenue, Sancta Monica, California 90406. Mrs PatrJcia V. Zirmerman, UNIVAC Division of Sperry Rand Corporation, I'.0. Box 8100, Philadelphia. Pennsylvania 19101. Union of.. Soviet Socj.aAist Reput,.!.ics VoI. Burkov, PNIIMM (Penza Sc,rntific and Research Institute of Mathematical Machines), u!. Baidukova t, Penza 11. Professor VoN. Faddeeva. LOtSI (Leningrad Division of the Mathematical Institute of the tISSR Academy of Sciences), Fontanka 25, Leningrad. V.P. Kalina, NIIUVM (Scientific and Research Institute of Control Computers), pl. Pobedy, Severodonetsk. M.R. Levinson, CI~I AN 55$R (CrI~:al Institute of Mathematical Economics of the USSR Academy of Sciences). Leninskiy prospekt 14, Korpus 7, Moscow V-71. G,V. Peledov, Computing Centre, '~EI (Moscow Energy Institute), ul. Krasnokazarmennaya 7.I, Moscow E-250. Mrs T.A. Posyagina, ul. Druzhby 77, kv. 52, Perm 70. N.V. Shkut, Institute of Mathematics of the Belorussian Academy of Sciences, Vysokaya 65, Minsk 47. Dr E.A. Zhogolev. MGU (Moscow State University), Computing Centre, Moscow V-234. [End of AB26 .
Load more

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]
  • 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.
    [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]
  • 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]