Perspectives on Papert
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Design Principles Behind Beauty and Joy of Computing
Paper Session: CS0 SIGCSE ’20, March 11–14, 2020, Portland, OR, USA Design Principles behind Beauty and Joy of Computing Paul Goldenberg June Mark Brian Harvey Al Cuoco Mary Fries EDC EDC UCB EDC EDC Waltham, MA, USA Waltham, MA, USA Berkeley, CA, USA Waltham, MA, USA Waltham, MA, USA [email protected] [email protected] [email protected] [email protected] [email protected] ABSTRACT Technical Symposium on Computer Science Education (SIGCSE’20), March 11–14, 2020, Portland, OR, USA. ACM, NewYork, NY, USA, 7 pages. ACM, This paper shares the design principles of one Advanced Placement New York, NY, USA, 7 pages https://doi.org/10.1145/3328778.3366794 Computer Science Principles (AP CSP) course, Beauty and Joy of Computing (BJC), both for schools considering curriculum, and for 1 Introduction developers in this still-new field. BJC students not only learn about The National Science Foundation (NSF) and College Board (CB) in- CS, but do some and analyze its social implications; we feel that the troduced the Advanced Placement Computer Science Principles (AP job of enticing students into the field isn’t complete until students CSP) course to broaden participation in CS by appealing to high find programming, itself, something they enjoy and know they can school students who didn’t see CS as an inviting option—especially do, and its key ideas accessible. Students must feel invited to use female, black, and Latinx students who have been typically un- their own creativity and logic, and enjoy the power of their logic derrepresented in computing. The AP CSP course was the center- and the beauty and elegance of the code by which they express it. -
A Universal Modular ACTOR Formalism for Artificial
Artificial Intelligence A Universal Modular ACTOR Formalism for Artificial Intelligence Carl Hewitt Peter Bishop Richard Steiger Abstract This paper proposes a modular ACTOR architecture and definitional method for artificial intelligence that is conceptually based on a single kind of object: actors [or, if you will, virtual processors, activation frames, or streams]. The formalism makes no presuppositions about the representation of primitive data structures and control structures. Such structures can be programmed, micro-coded, or hard wired 1n a uniform modular fashion. In fact it is impossible to determine whether a given object is "really" represented as a list, a vector, a hash table, a function, or a process. The architecture will efficiently run the coming generation of PLANNER-like artificial intelligence languages including those requiring a high degree of parallelism. The efficiency is gained without loss of programming generality because it only makes certain actors more efficient; it does not change their behavioral characteristics. The architecture is general with respect to control structure and does not have or need goto, interrupt, or semaphore primitives. The formalism achieves the goals that the disallowed constructs are intended to achieve by other more structured methods. PLANNER Progress "Programs should not only work, but they should appear to work as well." PDP-1X Dogma The PLANNER project is continuing research in natural and effective means for embedding knowledge in procedures. In the course of this work we have succeeded in unifying the formalism around one fundamental concept: the ACTOR. Intuitively, an ACTOR is an active agent which plays a role on cue according to a script" we" use the ACTOR metaphor to emphasize the inseparability of control and data flow in our model. -
Agent-Based Modeling with Netlogo
Agent-Based Modeling with NetLogo Uri Wilensky Center for Connected Learning and Computer-Based Modeling Northwestern Institute on Complex Systems Departments of Computer Science & Learning Sciences Northwestern University Agent-Based Modeling in NetLogo SFI MOOC, Summer 2016 1 History: Roman to Hindu-Arabic Europe – at the turn of the first millenium • Before widespread adoption of Hindu-Arabic, very few could do multiplication/division • Scientists recognized superiority immediately • But widespread adoption took a very long time • Was in surreptitious use, but not official 2 Restructurations Structurations -- the encoding of the knowledge in a domain as a function of the representational infrastructure used to express the knowledge Restructurations -- A change from one structuration of a domain to another resulting from a change in representational infrastructure --- Wilensky & Papert 2006;2010 What is important and hard for people today? Similar to numeracy importance for science but difficulties in understanding, today we need to make sense of complex systems yet we find it difficult. What are Complex Systems? • Systems with a large number of interacting parts, evolving over time • Decentralized decisions vs. centralized control • Emergent global patterns from local interactions and decisions • Examples: ecosystems, economies, immune systems, molecular systems, minds, stock market, democratic government... Emergent Phenomena • Structure (Rules) at Micro- level leads to pattern at Macro- level • Order without Design • No leader or orchestrator -
BERKELEY LOGO 6.1 Berkeley Logo User Manual
BERKELEY LOGO 6.1 Berkeley Logo User Manual Brian Harvey i Short Contents 1 Introduction :::::::::::::::::::::::::::::::::::::::::: 1 2 Data Structure Primitives::::::::::::::::::::::::::::::: 9 3 Communication :::::::::::::::::::::::::::::::::::::: 19 4 Arithmetic :::::::::::::::::::::::::::::::::::::::::: 29 5 Logical Operations ::::::::::::::::::::::::::::::::::: 35 6 Graphics:::::::::::::::::::::::::::::::::::::::::::: 37 7 Workspace Management ::::::::::::::::::::::::::::::: 49 8 Control Structures :::::::::::::::::::::::::::::::::::: 67 9 Macros ::::::::::::::::::::::::::::::::::::::::::::: 83 10 Error Processing ::::::::::::::::::::::::::::::::::::: 87 11 Special Variables ::::::::::::::::::::::::::::::::::::: 89 12 Internationalization ::::::::::::::::::::::::::::::::::: 93 INDEX :::::::::::::::::::::::::::::::::::::::::::::::: 97 iii Table of Contents 1 Introduction ::::::::::::::::::::::::::::::::::::: 1 1.1 Overview ::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1 1.2 Getter/Setter Variable Syntax :::::::::::::::::::::::::::::::::: 2 1.3 Entering and Leaving Logo ::::::::::::::::::::::::::::::::::::: 5 1.4 Tokenization:::::::::::::::::::::::::::::::::::::::::::::::::::: 6 2 Data Structure Primitives :::::::::::::::::::::: 9 2.1 Constructors ::::::::::::::::::::::::::::::::::::::::::::::::::: 9 word ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 9 list ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 9 sentence :::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 9 fput :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: -
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language Gul Agha and Prasanna Thati University of Illinois at Urbana-Champaign, USA {agha,thati}@cs.uiuc.edu http://osl.cs.uiuc.edu/ 1 Introduction The development of Simula by Ole-Johan Dahl and Kristen Nygaard introduced a number of important programming language concepts – object which supports modularity in programming through encapsulation of data and procedures, the concept of class which organizes behavior and supports Abstract Data Types, and the concept inheritance which provides subtyping relations and reuse [6]. Peter Wegner terms programming languages which use objects as object-based languages, and reserves the term object-oriented languages for languages which also support classes and inheritance [58]. Concurrency provides a natural model for the execution of objects: in fact, Simula uses co-routines to simulate a simple form of concurrency in a sequen- tial execution environment. The resulting execution is tightly synchronized and, while this execution model is appropriate for simulations which use a global virtual clock, it is not an adequate model for distributed systems. The Actor Model unifies the notion of objects with concurrency; an actor is a concurrent object which operates asynchronously and interacts with other actors by sending asynchronous messages [2]. Many models for concurrent and distributed computation have been devel- oped. An early and influential model is Petri Nets developed by Carl Adam Petri [44]. In the Petri Net model, there are two kinds of elements – nodes and tokens. Nodes are connected to other nodes by fixed (static) links. Tokens are passed be- tween nodes using these links. -
A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package
E. Roanes-Lozano, C. Solano-Macías & E. Roanes-Macías.: A simplified introduction to virus propagation using Maple's Turtle Graphics package A simplified introduction to virus propagation using Maple's Turtle Graphics package Eugenio Roanes-Lozano Instituto de Matemática Interdisciplinar & Departamento de Didáctica de las Ciencias Experimentales, Sociales y Matemáticas Facultad de Educación, Universidad Complutense de Madrid, Spain Carmen Solano-Macías Departamento de Información y Comunicación Facultad de CC. de la Documentación y Comunicación, Universidad de Extremadura, Spain Eugenio Roanes-Macías Departamento de Álgebra, Universidad Complutense de Madrid, Spain [email protected] ; [email protected] ; [email protected] Partially funded by the research project PGC2018-096509-B-100 (Government of Spain) 1 E. Roanes-Lozano, C. Solano-Macías & E. Roanes-Macías.: A simplified introduction to virus propagation using Maple's Turtle Graphics package 1. INTRODUCTION: TURTLE GEOMETRY AND LOGO • Logo language: developed at the end of the ‘60s • Characterized by the use of Turtle Geometry (a.k.a. as Turtle Graphics). • Oriented to introduce kids to programming (Papert, 1980). • Basic movements of the turtle (graphic cursor): FD, BK RT, LT. • It is not based on a Cartesian Coordinate system. 2 E. Roanes-Lozano, C. Solano-Macías & E. Roanes-Macías.: A simplified introduction to virus propagation using Maple's Turtle Graphics package • Initially robots were used to plot the trail of the turtle. http://cyberneticzoo.com/cyberneticanimals/1969-the-logo-turtle-seymour-papert-marvin-minsky-et-al-american/ 3 E. Roanes-Lozano, C. Solano-Macías & E. Roanes-Macías.: A simplified introduction to virus propagation using Maple's Turtle Graphics package • IBM Logo / LCSI Logo (’80) 4 E. -
Actorscript™ Extension of C#®, Java®, Objective C®, Javascript ®, and Systemverilog Using Iadaptivetm Concurrency for Anti
ActorScript™ extension of C#®, Java®, Objective C®, JavaScript®, and SystemVerilog using iAdaptiveTM concurrency for antiCloudTM privacy and security Carl Hewitt This article is dedicated to Ole-Johan Dahl and Kristen Nygaard. Message passing using types is the foundation of system communication: Messages are the unit of communication Types enable secure communication Actors ActorScript™ is a general purpose programming language for implementing iAdaptiveTM concurrency that manages resources and demand. It is differentiated from previous languages by the following: Universality o Ability to directly specify exactly what Actors can and cannot do o Everything is accomplished with message passing using types including the very definition of ActorScript itself. Messages can be directly communicated without requiring indirection through brokers, channels, class hierarchies, mailboxes, pipes, ports, queues etc. Programs do not expose low-level implementation mechanisms such as threads, tasks, locks, cores, etc. Application binary interfaces are afforded so that no program symbol need be looked up at runtime. Functional, Imperative, Logic, and Concurrent programs are integrated. A type in ActorScript is an interface that does not name its implementations (contra to object-oriented programming languages beginning with Simula that name implementations called “classes” that are types). ActorScript can send a message to any Actor for which it has an (imported) type. 1 o Concurrency can be dynamically adapted to resources available and current load. Safety, security and readability o Programs are extension invariant, i.e., extending a program does not change the meaning of the program that is extended. o Applications cannot directly harm each other. o Variable races are eliminated while allowing flexible concurrency. -
Down with School! up with Logoland!
NEW SCIENTIST REVIEW Down with School! Up with Logoland! The Children's Machine: Rethinking in the classroom, with mixed results. large and small, designed to implement his School in the Age of the Computer I was one of them. About ten years ago, ideas, and has received a wealth of feed by Seymour Papert, Basic Books, New York, I was part of a team that developed and back, much of it deeply discouraging. But HarperCollins in Britain, pp 241, £22·50 taught an introductory course in computer one can learn even more from "mistakes" science aimed at universirv students who than from a string of successes-that is a Daniel Dennett hated and feared computers but whose central tenet of Papert's vision of learning, parents, in many cases, had said "You must and he practices what he preaches. So this IN 1956, the mathematician John McCarthy learn about computers before you gradu sequel engagingly recounts what he has coined the term "artificial intelligence" ate." These students were seasoned veter learned, and especially the mistakes he for a new discipline that was emerging ans of what Paperr calls School-experts at made along the way. His own thinking from some of the more has undergone a transforma imaginative and playful tion; he is still an infectiously explorations of that new optimistic visionary, but a mind-tool, the computer. A wiser one. few years later he devel Logo has nowjoined forces oped a radically new sort of with Lego, the plastic build programming language, ing blocks, and a new wave Lisp, which became the of delectable settings for lingua franca of AI. -
Papert's Microworld and Geogebra: a Proposal to Improve Teaching Of
Creative Education, 2019, 10, 1525-1538 http://www.scirp.org/journal/ce ISSN Online: 2151-4771 ISSN Print: 2151-4755 Papert’s Microworld and Geogebra: A Proposal to Improve Teaching of Functions Carlos Vitor De Alencar Carvalho1,4, Lícia Giesta Ferreira De Medeiros2, Antonio Paulo Muccillo De Medeiros3, Ricardo Marinho Santos4 1State University Center of Western, Rio de Janeiro, RJ, Brazil 2CEFET/RJ, Valença, RJ, Brazil 3Rio de Janeiro Federal Institute (IFRJ), Pinheiral, RJ, Brazil 4Vassouras University, Vassouras, RJ, Brazil How to cite this paper: De Alencar Car- Abstract valho, C. V., De Medeiros, L. G. F., De Me- deiros, A. P. M., & Santos, R. M. (2019). This paper discusses how to improve teaching of Mathematics in Brazilian Papert’s Microworld and Geogebra: A Pro- schools, based on Seymour Papert’s Constructionism associated with Infor- posal to Improve Teaching of Functions. mation Technology tools. Specifically, this work introduces the construction- Creative Education, 10, 1525-1538. https://doi.org/10.4236/ce.2019.107111 ist microworld, a digital environment where students are able to build their knowledge interactively, in this case, using dynamic mathematics software Received: June 6, 2019 GeoGebra. Accepted: July 14, 2019 Published: July 17, 2019 Keywords Copyright © 2019 by author(s) and Microworld, GeoGebra, Seymour Papert, Information Technologies in Scientific Research Publishing Inc. Education This work is licensed under the Creative Commons Attribution International License (CC BY 4.0). http://creativecommons.org/licenses/by/4.0/ Open Access 1. Introduction This research’s main goal is to present a proposal to help Brazilian teachers im- prove their educational practices. -
2018 General Local Elections
LOCAL ELECTIONS CAMPAIGN FINANCING CANDIDATES 2018 General Local Elections JURISDICTION ELECTION AREA OFFICE EXPENSE LIMIT CANDIDATE NAME FINANCIAL AGENT NAME FINANCIAL AGENT MAILING ADDRESS 100 Mile House 100 Mile House Councillor $5,000.00 Wally Bramsleven Wally Bramsleven 5538 Park Dr 100 Mile House, BC V0K 2E1 100 Mile House Councillor $5,000.00 Leon Chretien Leon Chretien 6761 McMillan Rd Lone Butte, BC V0K 1X3 100 Mile House Councillor $5,000.00 Ralph Fossum Ralph Fossum 5648-103 Mile Lake Rd 100 Mile House, BC V0K 2E1 100 Mile House Councillor $5,000.00 Laura Laing Laura Laing 6298 Doman Rd Lone Butte, BC V0K 1X3 100 Mile House Councillor $5,000.00 Cameron McSorley Cameron McSorley 4481 Chuckwagon Tr PO Box 318 Forest Grove, BC V0K 1M0 100 Mile House Councillor $5,000.00 David Mingo David Mingo 6514 Hwy 24 Lone Butte, BC V0K 1X1 100 Mile House Councillor $5,000.00 Chris Pettman Chris Pettman PO Box 1352 100 Mile House, BC V0K 2E0 100 Mile House Councillor $5,000.00 Maureen Pinkney Maureen Pinkney PO Box 735 100 Mile House, BC V0K 2E0 100 Mile House Councillor $5,000.00 Nicole Weir Nicole Weir PO Box 545 108 Mile Ranch, BC V0K 2Z0 100 Mile House Mayor $10,000.00 Mitch Campsall Heather Campsall PO Box 865 100 Mile House, BC V0K 2E0 100 Mile House Mayor $10,000.00 Rita Giesbrecht William Robertson 913 Jens St PO Box 494 100 Mile House, BC V0K 2E0 100 Mile House Mayor $10,000.00 Glen Macdonald Glen Macdonald 6007 Walnut Rd 100 Mile House, BC V0K 2E3 Abbotsford Abbotsford Councillor $43,928.56 Jaspreet Anand Jaspreet Anand 2941 Southern Cres Abbotsford, BC V2T 5H8 Abbotsford Councillor $43,928.56 Bruce Banman Bruce Banman 34129 Heather Dr Abbotsford, BC V2S 1G6 Abbotsford Councillor $43,928.56 Les Barkman Les Barkman 3672 Fife Pl Abbotsford, BC V2S 7A8 This information was collected under the authority of the Local Elections Campaign Financing Act and the Freedom of Information and Protection of Privacy Act. -
Actor Model of Computation
Published in ArXiv http://arxiv.org/abs/1008.1459 Actor Model of Computation Carl Hewitt http://carlhewitt.info This paper is dedicated to Alonzo Church and Dana Scott. The Actor model is a mathematical theory that treats “Actors” as the universal primitives of concurrent digital computation. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of concurrent systems. Unlike previous models of computation, the Actor model was inspired by physical laws. It was also influenced by the programming languages Lisp, Simula 67 and Smalltalk-72, as well as ideas for Petri Nets, capability-based systems and packet switching. The advent of massive concurrency through client- cloud computing and many-core computer architectures has galvanized interest in the Actor model. An Actor is a computational entity that, in response to a message it receives, can concurrently: send a finite number of messages to other Actors; create a finite number of new Actors; designate the behavior to be used for the next message it receives. There is no assumed order to the above actions and they could be carried out concurrently. In addition two messages sent concurrently can arrive in either order. Decoupling the sender from communications sent was a fundamental advance of the Actor model enabling asynchronous communication and control structures as patterns of passing messages. November 7, 2010 Page 1 of 25 Contents Introduction ............................................................ 3 Fundamental concepts ............................................ 3 Illustrations ............................................................ 3 Modularity thru Direct communication and asynchrony ............................................................. 3 Indeterminacy and Quasi-commutativity ............... 4 Locality and Security ............................................ -
Stanford Artificial Intelligence Laboratory Memo AIM-337
Stanford Artificial Intelligence Laboratory Memo AIM-337 Computer Science Department Report No. STAN-CS-80-808 Basic Research in Artificial Intelligence and Foundations of Programming bY John McCarthy, Principal Investigator Thomas Binford, David Luckham, Zohar Manna, Richard Weyhrauch Associate Investigators Edited by Les Earnest Research sponsored by Defense Advanced Research Projects Agency COMPUTER SCIENCE DEPARTMENT Stanford University . Stanford Artificial Intelligence Laboratory May 1980 Memo AIM-337 Computer Science Department Report No. STAN-C&80-808 Basic Research in Artificial Intelligence and Foundations of Programming John McCarthy, Principal Investigator Thomas Binford, David Luckham, Zohar Manna, Richard Weyhrauch Associate Investigators Edited by Les Earnest Recent research results are reviewed in the areas of formal reasoning, mathematical theory of computation, program verification, and image understanding. This research was supported by the Advanced Research Projects Agency of the Department of Defense under ARPA Order No. 2494, Contract MDA903-76-C-0206. The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing the oflcial policies, either expressed or implied, of Stanford University, vr any agency of the U. S. Government. Reproduced in the U.S.A. Available from the National Techicol Information Service, Springfield, Z4rginia 22161. 1 . 1 Table of Contents 1. Introduction Sect ion Page This report describes recent research in several 1. Introduction 1 related areas: 2. Basic Research in Artificial Intelligence 0 Basic research in artifiial intelligence and and Formal Reasoning 2 formal reasoning addresses fundamental 2.1 Formal Reasoning 2 problems in the representation of knowledge 2.2 First Order Logic 3 and reasoning processes applied to this 2.3 Mathematical Theory of Program knowledge.