Notes for my talk at Midwest Faculty Seminar The University of Chicago 1-3 March 2001 1. Attitude toward this study: A. Teleological, rather than ontological; B. Think long-term, act now; C. Asking the right questions is more critical than answers. 2. My main concern: How does cyberspace affect the *structure* of our communication? A. "Structure" is characterized by the operations that can be performed on messages. B. Appearance is important, but not central. C. Data structure (CJTCS). D. Interaction structure (teaching). E. Empower the reader! 3. Scholarly Publishing. A. Conventional content, for now. B. Format: structural rather than page-oriented. * WYSIWYG (What You See Is What You Get) or WYSIAYG (What You See Is All You've Got)? * Which format automatically produces others? SHOW 6 SLIDES HERE (use DVI from Web browser) C. Example: CJTCS. SHOW CJTCS WWW PAGES HERE: Journal Articles 1995 3. Rabin Measures (use ~/Stage/MFS/cj95-03.dvi, 6s) pp. 1, 17, 18, 20 Post or read comments 4. Teaching. A. More (and finer-grained) communication *among* students and instructors. SHOW ONLINE DISCUSSION FOR CS221: Online Discussion Class Work Outline depth: All 27. Assignment #7 Notice questions by students, feedback from students B. More variety of materials. SHOW LECTURE NOTES FOR CS221 Lecture Notes (interpolate between textbook, personal notes) Basic Definitions smiley definition Moby Dick Front Matter Figure 1. Specifying Programming Language Syntax Figure 7 SHOW ANNOTATED DISCOURS FOR 22C:096 Readings for the Course Discoures on the Method of Rightly Conducting the Reason ... Part II C. More collaboration among instructors. SHOW NACHOS MATERIALS FOR CS230 Computing Resources Nachos page at Berkeley Nachos Road Map Mechanics of Thread Switching NACHOS Source code Guide to Reading the Source Code Thread Dispatching and Bootstrapping thread.cc (or any source code selection) SEPARATE WINDOW D. Math: the Movie SHOW SKIlift DEMO FOR 22C:096 (use satisfaction:Stage/MFS/SKIlift.stk) Kxy constant Sxyz shuffle Ix identity SKKx identity SIIx self-application SII(SII) infinite loop S(Km)(SII)(S(Km)(SII)) recursion Ixy apply S(K(SI))Kxy reversed apply