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-----------------------------------