rick@cs.arizona.edu (Rick Schlichting) (10/24/90)
[Dr. David Kahaner is a numerical analyst visiting Japan for two-years under the auspices of the Office of Naval Research-Far East (ONRFE). The following is the professional opinion of David Kahaner and in no way has the blessing of the US Government or any agency of it. All information is dated and of limited life time. This disclaimer should be noted on ANY attribution.] [Copies of previous reports written by Kahaner can be obtained from host cs.arizona.edu using anonymous FTP.] To: Distribution From: David K. Kahaner ONR-ASIA [kahaner@xroads.cc.u-tokyo.ac.jp] Re: Program of InfoJapan'90, 1-5 October 1990, Tokyo Japan Date: 24 Oct 1990 ABSTRACT: The titles of papers and lectures presented at InfoJapan'90, Tokyo Japan, 1-5 October 1990, are given. For copies of the Proceedings contact: The Information Processing Society of Japan Hoshina Building 3F 2-4-2 Azabudai, Minato-ku, Tokyo 106 Tel: (03) 505-0505, Fax: (03) 584-7925. PROGRAM InfoJapan'90 Information Technology Harmonizing with Society International Conference Organized by OPSJ to Commemorate the 30th Anniversary October 1-5, 1990 Tokyo, Japan Information Processing Society of Japan TUTORIAL SESSIONS (A) Software Technology Ada, Now and in the Future J. Ichbiah (Alsys, USA) Program Synthesis--Past, Present and Future (in Japanese) M. Hagiya (Kyoto Univ., Japan) (B) Parallel Computing Parallel Processing: Moving into the Mainstream H.T. Kung (CMU, USA) Recent Advances in Microcomputer Technology (in Japanese) I. Morishita (Univ. of Tokyo, Japan) (C) Knowledge Engineering Knowledge and Inference (in Japanese) M. Ishizuka (Univ. of Tokyo, Japan) Machine Learning J. Gennari (Univ. of California at Irvine, USA) (D) Databases Object-Oriented Databases--Its Significance and Trends (in Japanese) A. Makinouchi (Kyushu Univ., Japan) Database Programming Languages P. Buneman (Univ. of Pennsylvania, USA) SPECIAL EVENTS Keynote Address Information Technology Harmonizing with Society H. Inose (National Center for Science Information System, Japan) Pioneer Address VM+ASIP=Silicon Solution for the Future M. Shima (V.M. Technology, Japan) Commemorative Address Computing in the '90s S.P. Jobs (NeXT Inc., USA) Panel Discussions (1) Technology and Future of Parallel Symbolic Processing Moderator: H. Tanaka (Univ. of Tokyo, Japan) Panelists: R. Overbeek (Argonne Nat. Lab., USA), S. Uchida (ICOT, Japan), V. Kumar (Univ. of Minnesota), M. Amamiya (Kyushu Univ. Japan) (2) Trends in Parallel Computers Moderator: Y. Muraoka (Waseda Univ., Japan) Panelists: H.T. Kung (CMU, USA), D.A. Padua (Univ. of Illinois), M. Kumar (IBM, USA), H.Y. Chang (IBM, USA), T. Shimada (ETL, Japan) (3) Computer Virus & Security F. Kamijo (Tokai Univ., Japan) R. Hayano (Univ. of Tokyo, Japan) (Other panelists will be announced later.) TECHNICAL SESSIONS Track A: Software Technology (1) Theory of Software Termination of Direct Sum of Simply-Terminating Term Rewriting Systems M. Kurihara, A. Ohuchi (Hokkaido Univ., Japan) Implementation and Numerical Experiments on an Interior-Point Algorithm for Linear Programming T. Miyazaki (Fujitsu, Japan), S. Miaogen (Tsinghua Univ., China) Representations and Routing for Borel Cayley Graphs K.M. W. Tang, B.W. Arden (Univ. of Rochester, USA) (2) Formal Methods in Software Development Formal, Model-oriented Software Development Methods from VDM to ProCos & from RAISE to LaCoS D. Bijorner (Tech. Univ., Denmark), A.E. Haxthausen, K. Havelund (CRI, Denmark) Trends in Formal Specification Methods based on Algebraic Specification Techniques--from Abstract Data Types to Software Processes: A Personal Perspective K. Futatsugi (ETL, Japan) (3) Human Interface An Interactive Presentation System S. Yokoyama (NTT DCS, Japan), J.R. Williams (MIT, USA) GIGA:A Graphical and Interactive UIMS G. Barzaghi, M. Bordegoni (Istituto Macchine Utensili - C.N.R., Italy), U. Cugini, C. Rizzi (Univ. degli studi di Parma, Italy) Principles for Naming Program Elements, A Practical Approach to Raise Informativity of Programming K. Laitinen, V. Seppanen (Tech. Research Centre, Finland) (4) Parallel Logic Programming Designing a Concurrent Programming Language K. Ueda (Inst. for New Generation Computer Tech., Japan) (5) Distributed and Real Time Systems Client Requirements for Real-Time Communication Services D. Ferrari (UC Berkeley, USA) A Prototyping Process for Performance Design in Real-Time Systems S. Honiden, N. Uchihira, K. Matsumoto (Toshiba, Japan), K. Itoh (Sophia Univ., Japan) Verification-Oriented Methodology for the Development of Hard Real-Time Distributed Systems M. Kim, C.V. Ramamoorthy (UC Berkeley, USA) The IDPS File System T. Hasegawa, T. Seki, Y. Okataku, S. Tamura (Toshiba, Japan) (6) Software Design Process Implications from Empirical Studies of the Software Design Process B. Curtis (MCC, USA) (7) Programming Environment Program Information Management Method for an Intelligent Programming Support Environment H. Haga, S. Masui (Hitachi, Japan) Description and Implementation of File Management System Using Attribute Grammars T. Imaizumi, Y. Shinoda, T. Katayama (Tokyo Inst. of Tech., Japan) (8) Software Development Process Redoing: A Mechanism for Dynamics and Flexibility of Software Process M. Suzuki, T. Katayama (Tokyo Inst. of Tech., Japan) Enhancing Software Changes through Explicit Representation Chiang-Choon D.POO (National Univ., Singapore), P.J. Layzel (Univ. of Manchester, Tech., U.K.) Profile-Driven Compilation A.D. Samples, P.N. Hilfinger (UC Berkeley, USA) Information Technology Strategy in Harmony with Business D.J. Carlton (Strategos, Australia) (9) Software Testing & Metrics An Approach to the Automation of System Testing for Microcomputer Embedded Consumer Products F. Teshima, Y. Mihara, Y. Ofude (Toshiba, Japan) Test Path Selection Using Input-Output and Input-Predicate Relations Y. Bo, H. Ural (UNiv. of Ottawa, Canada) Track B: Parallel Computing (1) Mesh Connected Architecture The Cubemat: A Parallel Interconnection Model Consisting of Hypercube & Global Bus Connections S. Shibusawa (Gumma Univ., Japan) On the Power of Global-Bus in Mesh-Connected Architectures H. Umeo (Osaka Electro-Communication Univ., Japan), T. Worsh, R. Vollmar (Karlsruhe Univ., Germany) Driving a SIMD Array with RISC Control Unit: A Modular and Flexible Approach to Computer Vision Applications T.S. Cinotti, R. Cucchiara, L.D. Stefano, G. Neri (Univ. of Bologna, Italy) (2) Neurocomputers Symbolic and Subsymbolic Massive-Parallelism for Speech-to-Speech Translation: Hybrid Time-Delay, Recurrent, and Constraint Propagation Connectionist Architecture H. Tomabechi (CMU, USA) A Parallel Neurocomputer Architecture with Ring Registers H. Kato, H. Yoshizawa, H. Ichiki, K. Asakawa (Fujitsu, Japan) Concepts in Implementation of the Neural Network Language Condela-3 N. Almassy (Univ. of Zurich-Irchel, Switzerland), M. Kohle, F. Schonbauer (Tech. Univ. of Vienna, Austria) (3) Supercomputers Architecture of VP2000 Series N. Uchida (Fujitsu, Japan) The GF11 Parallel Computer: Programming & Performance M. Kumar, Y. Baransky (IBM, USA) HAL III: Ultra High Speed Function Level Hardware Simulation System S. Takasaki, N. Nomizu, Y. Hirabayashi, H. Ishikura, M. Kurashita, N. Koike, T. Nakata (NEC, Japan) (4) Dataflow and Novel Architecture Dataflow Computer Development at the ETL T. Yuba, T. Shimada, Y. Yamaguchi, K. Hiraki, S. Sakai, S. Sekiguchi, Y. Kodama (ETL, Japan) A Novel Paradigm of Parallel Computation and its Use to Implement Simple High-Performance Hardware R.W. Hartenstein, A.G. Hirschbiel, M. Weber (Univ. Kaiserslautern, Germany) A Prototype of a Highly Parallel Dataflow Machine EM-4 and its Preliminary Evaluation Y. Kodama, S. Sakai, Y. Yamaguchi (ETL, Japan) (5) Formal Semantics of Concurrency A Theory of Concurrent Calculus W. Li (Beijing Univ. of Aero & Astro, China) An Approach to Verifying Concurrency Behavior of Real-Time Systems Based on Time Petri Net and Temporal Logic C.K. Chang, H. Huang, C.C. Song (Univ. of Illinois, USA) (6) Parallel Software Experience of Parallel AI Programming with Parallel Lisp H.G. Okuno (NTT, Japan) Problem-Solving Environments for Parallel Computers D.A. Padua (Univ. of Illinois, USA) The Connection Machine Opportunity for the Implementation of a Concurrent Functional Language C. Bettini, L. Spampinato (Univ. of Milano, Italy) (7) Shared Memory Performance Effects of Program Structures on a Snoop-Cached Multiprocessor System N. Yamanouchi (IBM Japan Ltd., Japan) Experience Porting MACH to the RP3 Large-Scale Shared-Memory Multiprocessor H.Y. Chang, B. Rosenburg (IBM, USA) Design and Implementation of a Parallel Abstract Machine Model RAP/LOP- WAM for Parallel Execution of Logic Programs Y. Gao, S. Chengzheng, H. Shouren (Changsha Inst. of Tech., China) (8) Input and Graphics An Intelligent Chinese Input System W. Xiaolong, W. Kaizhu, L. Zhongrong (Harbin Inst. of Tech., China) Doppler Color Shift in Relativistic Image Synthesis P.K. Hsiung, Robert H. Thibadeau, C.B. Cox, R.H.P. Dunn (CMU, USA) Track C: Artificial Intelligence (1) Theory and Algorithms (1) The NIMBLE Project--An Applications Compiler for Real-Time Common Lisp H.G. Baker (Nimble Computer, USA) A Knowledge Acquisition Support Tool based on Software Bricks S. Matsumoto (Fujitsu, Japan) Entailment Lattices as Algebraic Models Entailment Logic J. Cheng (Kyushu Univ., Japan) (2) Theory and Algorithms (2) Vocabulary-Based Logic Programming Y. Tanaka (Hokkaido Univ., Japan) Reducing the Cost of Backtracking for Prolog N.F. Zhou, T. Takagi, K. Ushijima (Kyushu Univ., Japan) PLD Optimization with Parallel Prolog M. Nilsson (SICS, Sweden) Design and Implementation of Annotated Prolog H. Shigeta, C.V. Ramamoorthy (UC Berkeley, USA) S. Shekhar (Univ. of Minnesota, USA) (3) Natural Language Processing (1) NADINE: An Experimental Dialogue Translation System from Japanese to English K. Kogure, H. Iida, T. Hasegawa, K. Ogura (ATR Interpreting Telephony Research Lab., Japan) Example-Based Approach in Machine Translation E. Sumita, H. Iida, H. Kohyama (ATR Interpreting Telephony Research Lab., Japan) A Natural Language Front End to Relational Systems Based on Formal Semantics A.N.D. Roeck, H.E. Jowsey, B.G.T. Lowden, R. Turner, B.R. Walls (Univ. of Essex, England) (4) Natural Language Processing (2) An Anaphora Disambiguation System Using Inferencing S. Wang (Zhejiang Univ., China) Generating Explanations: There is more to it than meets the eye E. Sarantinos, P. Johnson (Univ. of London, U.K.) Structural Disambiguation with Knowledge on Word-to-Word Dependencies K. Nagao (IBM, Japan) Integrating Acoustic Processing and Linguistic Processing K.H. Loken-Kim, S. Kimura, Y. Nara (Fujitsu, Japan) (5) Understanding Images and Motions Neural Net Self-Organization and Two-level Parallelism Y. Matsuyama (Ibaraki Univ., Japan) A Study of Kanji Character Recognition Using Neural-Networks Y. Ando, O. Iwaki, H. Kida (NTT DCS, Japan) Pictorial Information Processings Based on Non-Uniform Image Field Model of Human Visual Characteristics T. Honda, S. Kaneko, S. Kawaguchi (Tokyo Univ. of Agriculture and Tech., Japan) (6) Robotics Development of Large Scale Autonomous Robots with Mobility and Perception T. Kanade (CMU, USA) (7) Reasoning (1) Plausible Semantics for Logic Programs E.L. Lozinskii (Hebrew Univ., Israel) Reconsideration of Pointwise Circumscription: Transformation of Non- recursive Predicate Circumscription into First-Order Sentences K. Iwanuma (Yamanashi Univ., Japan), M. Harao (Kyushu Inst. of Tech., Japan), S. Noguchi (Tohoku Univ., Japan) Formalizing Nonmonotonic Reasoning by Preference Order K. Satoh (Inst. for New Generation Computer Tech., Japan) (8) Reasoning (2) Synthesizing Illustrated Documents: A Plan-Based Approach E. Andre, T. Rist (German Research Center for AI, Germany) Role of Qualitative and Quantitative Reasoning in Diagnosis and Improvement for Queuening Network Bottleneck K. Itoh, J. Sawamura, K. Shida (Sophia Univ., Japan), S. Honiden (Toshiba, Japan) A Rule-Based Consistency Maintenance for Subjective Judgments T. Shintani (Fujitsu, Japan) (9) Vision Mechanism An Abductive Inferencing Scheme for Object Recognition S. Chaudhury, S. Subramanian, G. Parthasarathy (National Center for Knowledge Based Computing, India) A Strategy of Feature Extraction in Image Recognition S. Nishio, K. Futakawa, H. Takano (NTT DCS, Japan) Affine Transformation for Representing Movement and Its Application to Motion Interpolation T. Toriu, S. Naoi, T. Gotoh (Fujitsu, Japan) A Real Time Image Processor for the Extraction of 3-D Distance Information from Image Sequence T. Hattori (Kagawa Univ., Japan), M. Nakada, K. Kubo (Toshiba, Japan) Track D: Advanced Information Systems (1) Knowledge Representation Deducing Conceptual Distance from a Hierarchical Thesaurus in a Knowledge Based Information Retrieval Model Y.W. Kim (Research Center, Korea Telecommunication Authority), W.G. Cho, J.H. Kim (Korea Advanced Inst. of Science & Tech., Korea) Representation and A Model of Chemical Information with Generic Hierarchy Y.Q. Luan, K. Yamaguchi, N. Ohbo, H. Kitagawa, Y. Fujiwara (Univ. of Tsukuba, Japan) Design and Implementation of a Mathematical Formula Database for Computer Algebra System GAL Y. Masunaga (Univ. of Library and Information Science, Japan) T. Sasaki (The Inst. of Physical & Chemical Research) (2) Conceptual Modeling Finding Structure in Knowledge Soup J.F. Sowa (IBM, USA) Incremental Reasoning Process for Application Development K. Becker, P. Therese, B. Francois (Univ. of Notre Dame, Belgium) Software Object Modelling by an Object-Oriented Extension of Attribute Grammars Y. Shinoda, T. Katayama (Tokyo Inst. of Tech., Japan) (3) Object-Oriented Databases Object-Oriented Databases for New Applications W. Kim, M. Scheevel, C. Tomlinson (MCC, USA) Schema Version and Views in Object-Oriented Databases H.J. Kim (Georgia Inst. of Tech., USA), H.F. Koyth (Univ. of Texas, USA) (4) Database Systems Transaction Models for Federative Distributed Database Systems W. Johannsen (IBM, Germany) Preventing Inference and Unauthorized Modification of Protected Data in Multilevel Relational Databases S. Chatvichienchai, Y. Kambayashi (Kyushu Univ., Japan) Design and Implementation of Join Algorithms for KD-Tree Indexed Relations L. Harada, M. Kitsuregawa, M. Takagi (Univ. of Tokyo, Japan) (5) Communications ArbNet: A Flood Routing LAN with Arbitrary Topology H.K. Pung (National Univ. of Singapore, Singapore) An Integrated Network Based on Dynamic Variable Packet Length T. Yoneda, K. Okada, Y. Matsushita (Keio Univ., Japan) Reliable Broadcast Communication M. Takizawa, A. Nakamura (Tokyo Denki Univ., Japan) (6) Information Systems Information Resource Management for Information System Development S.P. Takahashi, S. Ura (Keio Univ., Japan) A Workbench for An Information System Design C. Souveyet (Univ. Pierre et Marie Curie, France), C. Rolland (Univ. de la Sorbonne, France) A Model for Computer Life W. Litwin, G. Wiederhold (Stanford Univ., USA) (7) Computers and Education A Practical Education System for Microprogramming Y. Imai (Takuma College of Tech., Japan), Y. Kojima, H. Abe (AMD Japan, Japan), S. Tomita (Kyushu Univ., Japan) Issues in Education in an Information Age: Trends in Cognitive Science for Instructional Design D.L. Harnisch (Univ. of Illinois, USA), T. Sato (NEC, Japan) Computers in Education: A Comparative Approach between Developed and Developing Countries A. Qualid (Inst. National de Statistique et d'Economie Appliquee, Morocco) (8) Computers and Society Professional Qualifications for The IT Practitioners D.S. Tung (Chinese Univ. of Hong Kong, Hong Kong), R.K. Li (B&I Group of Companies, Hong Kong) Supply Forecast of Computer Specialists for the Year 2000 in Japan: Model and Numerical Examination S. Kobayashi, M. Yano (Tokyo Inst. of Tech., Japan) S. Inui (Nagaoka Univ. of Tech., Japan) Social Infrastructure and Societal Cooperation for Effective Diffusion of Information Technology D.V. Gibson (Univ. of Texas, USA), F.W. Wu (Fordham Univ., USA) Equity Problems in Information Technology: A Third World Perspective A.D. Abdallah, A.H. Yahya (Birzeit Univ., Israel) Track S: Special Topics (1) Fifth-Generation Computers The 5th Generation Computer Project--Its Contribution to Information Processing K. Fuchi (ICOT, Japan) Current Status and Future Direction of the 5th Generation Computer Project K. Furukawa (ICOT, Japan) (2) Neurocomputers Connectionist Large Vocabulary Speech Recognitions A. Waibel (CMU, USA) Neural Network Parallel Computing for Combinational Optimization Problems T. Takefuji (Case Western Reserve Univ., USA) (3) Supercomputers Research Results of the Project "High Speed Computing System for Scientific and Technological Uses" K. Tamura (ETL, Japan) The Status Quo and Prospect of Josephson Junction Device Technology U. Kawabe (Hitachi, Japan) Present Status of HEMT LSI Technology M. Abe (Fujitsu, Japan) The Concept of . and Tools for Developing Parallel Programs R. Narita (Fujitsu, Japan) (4) Software Development Environment Sigma System: Concepts and Structure N. Akima (Information-tech. Promotion Agency, Japan) S. Nakata, A. Nishijima, T. Kubo, Y. Konishi (Sigma, Japan) Sigma Tool Implementation and Integration S. Nakata, A. Nishijima, Y. Konishi, T. Kubo (Sigma, Japan) An Example of Software Development Environment and its Experience in New-SWB S. Yamamoto (Toshiba, Japan) (5) Microprocessors SPARC: A Scalable Processor Architecture A. Agrawal, R.B. Garner (Sun Micro, USA) The Gmicro/300 32 Bit Microprocessor T. Kitahara (Fujitsu, Japan) A 32b BiCMOS Microprocessor T. Hotta, T. Bandoh, A. Hotta, T. Nakano, S. Iwamoto, S. Adachi (Hitachi, Japan) (6) Open Systems Interconnection Systems Development of OSI Application Layer Protocols Software by the Object- Oriented Approach T. Nakakawaji, K. Katsuyama, T. Mizuno (Mitsubishi, Japan) A Basic LOTOS Simulator in OBJ K. Ohmaki, K. Futatsugi, K. Takahashi (ETL, Japan) Toward the Realization of Document Interchange Based on OSI M. Oya (Hitachi, Japan) (7) Standardization A Perspective of OSI Standardization--Object Oriented Architecture for Distributed Processing Y. Kobayashi (IBM, Japan) Standardization of Optical Disks Y. Mitsuhashi (ETL, Japan) Picture Coding Standardization H. Yasuda (NTT, Japan) (8) Machine Translation of Languages A Practical Application of a Machine Translation System in JICST- -Current and Future Outlooks M. Sato (JICST, Japan) Multi-Language Translation System at Using Interlingua for Asian Languages Y. Tsuji (CICC, Japan) Spoken Language Translation: Toward Realizing an Automatic Telephone Interpretation T. Morimoto, H. Iida, A. Kurematsu, K. Shikano, T. Aizawa (ATR, Japan) -----------------END OF REPORT-----------------------------------