[comp.research.japan] Kahaner Report: IPSJ Conf. Proceedings

rick@cs.arizona.edu (Rick Schlichting) (05/08/91)

  [Dr. David Kahaner is a numerical analyst visiting Japan for two-years
   under the auspices of the Office of Naval Research-Asia (ONR/Asia).  
   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: Info Proc Soc of Japan, Semi-Annual Meeting, March 12-14, 1991 (Tokyo)
8 May 1991

ABSTRACT. Titles of papers presented at the semi-annual Info Proc Soc of
Japan meeting, March 12-14 1991. This report contains the Table of Contents
of the Proceedings.

INTRODUCTION AND SUMMARY. 
Twice each year the Information Processing Society of Japan (JIFIP) has a 
general meeting. The most recent was March 12-14 1991, in Tokyo. These 
meetings bring together people interested in all aspects of computing, 
hardware, software, standards, commercial, research, etc. The Proceedings 
occupy six bound volumes, with mostly short papers, perhaps only two or 
three pages. Only a small fraction of the papers are printed in English.  
Further, many of the papers are by junior faculty, research assistants, 
graduate students, etc., and only a few are carefully refereed. 
Nevertheless this is the best (perhaps the only) place to get an overall 
view of the computing activities here in Japan. With that in mind we have 
gone through the Proceedings, and extracted the titles and authors of most 
of the papers.  Some sections, marked below, have been omitted because of 
the effort needed to produce them and their questionable relevance to 
scientific interests.  

Our experience has been that authors are quite willing to provide more 
detailed information about their work, and often can communicate 
effectively in English. Some of the papers presented here have been 
triggers for me, and I hope that the same will occur to you.  To find out 
more about a particlar paper, please make an effort to contact the authors 
directly first before you ask me to help track them down.  




Information Processing Society of Japan
 Semi-Annual Meeting, March 12-14, 1991 (Tokyo)

     Table of Contents of Proceedings

BOOK 1

General Information Engineering
     Information Processing Education (TITLES OMITTED)
     CAI
     Information Theory

Basic Theory and Basic Technology
     Numerical Analysis
     Algorithm (1) (2)

Network (TITLES OMITTED)
     Protocol & Test
     Network Control
     OSI Application
     Group Ware/E-mail
     LAN
     Protocol Implementation

Application
     Applications for Office Management; Finance (TITLES OMITTED)
     Applications for Manufacturing Industries
     Application for Music (TITLES OMITTED)
     Application for New Fields
     Application for City Planning; Traffic


BOOK 2

Artificial Intelligence and Recognition Engineering
     Drawing Recognition
     Image Processing
     Image Understanding (1) (2)
     Character Recognition
     Voice and Sound Processing
     Bio Senser Information Processing
     Neural Network (1) (2) (3)
     Diagnosis, Analysis
     Planning ES, Control Management
     Design ES, Model Base
     Game, Robot, Fuzzy

Data Processing
     Reality Indication
     Image Input and Coding Scheme
     Computer Graphics Modeling
     Computer Graphics High Speed Scheme
     Animation
     Graphic Processing

BOOK 3

Artificial Intelligence and Recognition Engineering
     Morphological Analysis
     Machine Translation
     Meaning Analysis
     Dialogue System
     Syntax Analysis (1) (2)
     Sentence Generation
     Knowledge Acquisition and Study
     Language Understanding
     Language Method Analysis
     Grammar/Dictionary
     Knowledge Representation
     Artificial Intelligence Theory (1) (2)

Data Processing
     Multi-media Processing
     Japanese Input/Translation
     Document Processing (1) (2)


BOOK 4

Software
     Parallel/Distributed Processing
     High Performance Method
     Memory Control
     Evaluation/Debug
     Automatic Operation
     Information Retrieving/Data Structure
     Database Application
     Parallel/Distributed Database
     Database Designing and Implementation
     Multimedia Database
     Knowledge Base/IRDS

Dependability and Safety
     Security


BOOK 5

Software
     Programming Environment
     User Interface
     Software Basic
     Object-Orientation
     Language Processing System
     Optimization
     Theoretical Language
     Parallel Processing

Software Engineering
     LOTOS Communication Soft (TITLES OMITTED)
     Requirements Analysis/Specification Description
     Software Development Control
     Test Debug
     Program Synthesis/Development Technology
     Human Interface
     Components/Reuse
     Graphical User Interface Development
     CASE
     Analysis Development Environment
     Software Processing


BOOK 6

Hardware
     Parallel Architecture (1)
     Parallel Inference Machine
     Parallel Architecture (2)
     Parallel Processing
     Computer Architecture (1) (2)
     Workstation
     Hardware Description Language/Theory Composition
     Function/Theory Design Method
     Circuit/Theory Simulation
     Theory Design Verification/Fault Diagnosis
     Layout Design Support
     Automatic Placement/Routing
     Commonly-used Computer

System
     Office System
     CAI User Interface
     Decentralized System
     CAD
     CIM

----------END OF REPORT (TABLE OF CONTENTS)----------------------------------

rick@cs.arizona.edu (Rick Schlichting) (05/08/91)

  [Dr. David Kahaner is a numerical analyst visiting Japan for two-years
   under the auspices of the Office of Naval Research-Asia (ONR/Asia).  
   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.]

From: David K. Kahaner ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp]
Re: Info Proc Soc of Japan, Semi-Annual Meeting, March 12-14, 1991 (Tokyo)
8 May 1991

ABSTRACT. Titles of papers presented at the semi-annual Info Proc Soc of
Japan meeting, March 12-14 1991. This report contains the titles and
authors in Book 1 of the Proceedings.

BOOK 1 (TOPICS)

General Information Engineering
     Information Processing Education (TITLES OMITTED)
     CAI
     Information Theory

Basic Theory and Basic Technology
     Numerical Analysis
     Algorithm (1) (2)

Network (TITLES OMITTED)
     Protocol & Test
     Network Control
     OSI Application
     Group Ware/E-mail
     LAN
     Protocol Implementation

Application
     Applications for Office Management; Finance (TITLES OMITTED)
     Applications for Manufacturing Industries
     Application for Music (TITLES OMITTED)
     Application for New Fields
     Application for City Planning; Traffic



              PROCEEDINGS OF 42ND INTERNATIONAL GENERAL MEETING 
                               March 12-14, 1991
                         Tokyo Engineering University

BOOK 1 (TITLES/AUTHORS)

                        GENERAL INFORMATION ENGINEERING

CAI

     Production of Exercise-Study System based on Fuzzy Inference
          Jiro Matsuno, Torao Yanaru, Toyohiko Hirota (Kyushu Institute of
          Technology)

     On a Knowledge Base for use at Macro-level in CAI
          Masatoshi Fujiwara (Fukui National College of Technology)

     A Learning Environment based on Situated Simulation
          Koji Ishikawa, Hayato Ohwada, Fumio Mizoguchi (Science University of
          Tokyo)

     Construction of Students' Problem Resolving Processes Model based on
     Described Sentences of the Solution in the Range of the intelligent CAI
          Sayori Takeda, Tatsuhiro Konishi, Kyu Keon Lee, Hiroyoshi Ohara
          (Waseda University)
          Yukihiro Itoh (Shizuoka University)
          Akira Takagi (CSK Corp.)

     ITS: Recognizing the Context and Guiding Reduction Processes for Fraction
     Calculation - Hierarchical Structure of Domain knowledge and it's
     Applications
          Kenzi Watanabe, Yasuhisa Okazaki, Shinichi Tadaki, Hiroki Kondo
          (Saga University)
          Akira Takeuchi (Kyushu I.T.)

     Development of Systems Concerned with Teaching
          Osamaro Nakadake (Kyouto Bunkyou Jr. College)

     A Graphic Method, Especially Suitable to Education Using Computer
     Graphics, of Proof for Addition Theorem and Related Formulae in
     Trigonometric Function
          Shuuichi Inoue (Kantoudaiichi High School)

     CAI System for Geometry Proof with Interface of Figure Manipulation
          Shigeru Matsui, Naohiro Ishii (Nagoya Institute of Technology)
          Yuko Isomoto (Nagoya City University)

     The Application of Computer in the Teaching of English Composition
          Yoshihiko Sakata, Iwao Shinjo (Chubu University Junior College)

     Deluge Program for Junior High School Personal English ITS (2)
          Mikio Mimura (Osaka City University)

     Analysis of Learning Level by FISM Comparison Theory for the LISP
     Programming Language
          Kohki Itoh, Azuma Ohuchi (Faculty of Engineering, Hokkaido
          University)


Information Theory

     Analysis of Learning Level by FISM Comparison Theory for the LISP
     Programming Language
          Kohki Itoh, Azuma Ohuchi (Faculty of Engineering, Hokkaido
          University)

     The Japanese Word "Joho" in the Meiji Era
          Atsuo Ono (College of Liberal Arts, Kobe University)

     Soft-Cosmos Theory is a Logical Embedding
          Hideyuki Takahashi (Nihon University)

     Formalizing Metamathematical Theorems based on Constructive Logic RPT
          Yukiyoshi Kameyama (Tohoku University)

     Characteristic String Set and its Complexity
          Takao Yanagisawa, Hajime Enomoto (Shibaura Institute of Technology)

     Expressions of Quantifies in a Topological Grammar
          Jitsuko Igarashi (Electrotechnical Laboratory)

     Knowledge Representation of Origami and its Implementation
          Tadashi Uchida, Hidenori Itoh (Nagoya Institute of Technology)

     Study of Aptitude Test for Bringing up Information Processing Engineers
          Masashi Koga (Gumma College of Information & Electronics)


                       BASIC THEORY AND BASIC TECHNOLOGY

Numerical Analysis

     The Floating-point Arithmetic that is following up cancellation
          Hiroshi Suzuki (Tokyo Metropolitan College of Aeronautical
          Engineering)
          Hajime Ohiwa (Toyohashi University of Technology)

     A Numerical Comparison of the Charge Simulation Method and the Integral
     Equation Methods for Conformal Mapping
          Kaname Amano, Kiwamu Hino (Ehime University)

     Improvement of Numerical Integration by Division of Integral Interval
          Hiroshi Hirayama (Kanagawa Institute of Technology)

     Algorithms for Finding Some or All Eigenvalues of Tri-diagonal Matrix
          Yoshitaka Beppu, Kiyohiko Takeuchi (Shotoku Gakuen Women's College)
          Hidetaka Isaka (NEC Tohoku Software Gorp.)

     Choosing the Initial Approximations in the Durand-Kerner Method for
     Solving Algebraic Equations
          Takashi Kojima, Naoki Ikeya, Toshiaki Uematsu (Shizuoka University)

     On 8-stage Explicit Runge-Kutta Methods of Order 6
          Kenichi Kasuga, Masatsugu Tanaka, Sigeru Yamasita (Department of
          Electrical Engineering and Computer Science, Yamanasi University)

     On Characteristics and Optimization of Implicit Runge-Kutta Methods
          (Masatsugu Tanaka, Yasuhiko Hokari, Shigeru Yamashita (Yamanashi
          University)

     On Tuning of Blocking LU Decomposition for VP2000 Series
          Makoto Nakanishi, Jiro Mikami (Fujitsu, Ltd.)

     Symbolic Laplace Transform
          Sadao Shimoji, Akira Kobayashi, Haruo Machida (Tokyo Engineering
          University)

     Application of Symbolic Laplace Transform
          Sadao Shimoji, Akira Kobayashi, Haruo Machida (Tokyo Engineering
          University)

Algorithm (1)

     Graph f-edge Coloring Approximate Algorithms
          S. Nakano, H. Fujii, T. Nishizeki (Faculty of Engineering, Tohoku
          University)

     The Practical Method to Represent a Large Directed Graph
          A. Akamine, R. Wakizono, N. Uchihira (Toshiba Corporation)

     S4-Factorization Algorithms of Complete Multipartite Graphs
          Kazuhiko Ushino, Reiji Tsuruno (Kinki University)

     A Distance Between Two Binary Trees based on the Rotations
          Michio Shimizu (Nagano Prefectural College)

     Limited Algorithms of 1 to n Analogy and their complexity
          Kazuhiro Amijima, Hidenori Itoh (Nagoya Institute of Technology)

     Linear-time Algorithms for the N-queens Problem
          Sumitaka Akiba (Electrotechnical Laboratory)

     Very Small Nonconstant Time Bounds for CRCW-PRAMs
          Kazuo Iwama (Faculty of Engineering, Kyushu University)

     Bounds for Routing and Counting Soft Problems on the Mesh of Buses
          Eiji Miyano, Kazuo Iwama, Yahiko Kambayashi (Faculty of Engineering,
          Kyushu University; Faculty of Engineering, Kyoto University)

     On the New Algorithm for the Satisfiability Problem
          Yoshihiro Tanaka (CRIEPI, Japan)

     Algorithms for Natural Problems on RS-Vector Machines 
          (Chuzo Iwamoto, Kazuo Iwama (Faculty of Engineering, Kyushu
          University)

Algorithm (2)

     An Efficient A/D Algorithm
          Kimiyuki Tanaka, Tadayoshi Shioyama (Kyoto Institute of Technology)

     Multiresolution Analysis of 3-D Surface Using Structure Deformation Rules
          Satoru Morita, Toshio Kawashima, Yoshinao Aoki (Faculty of
          Engineering, Hokkaido University)

     On Optimal Selecting Method of Unreliable Judges
          Natsuhiko Nagumo (Department of Information and Computer Science,
          Kanagawa University)

     Basic Considerations of Parallel Computation for Simplex Algorithm
          Toshio Ohyanagi, Azuma Ohuchi (Hokkaido University)

     Improvement and Extension for Sequential Partitions of Graphs
          Taichi Kaji, Ikuo Kaji, Azuma Ohuti (Hokkaido Information
          University, Hokkaido Institute of Technology, Hokkaido University)

     Parallel Branch and Bound Algorithms for Integer Linear Programming on
     Hypercube Multiprocessor
          Katsuhiro Aoyagi, Hajime Iizuka (Seikei University)

     Trial of Multi-Dimension Fuzzy Clustering
          Masao Horioka (University of Occupational and Environmental Heal)

     Expression of Discrete Type Fuzzy Sets on Dependent Coordinates System &
     COSMOSDIAGRAM
          Torao Yanaru, Toyohiko Hirota (Kyushu Institute of Technology)

     Neural Networks as a Model of Parallel Computation
          Kaoru Nakazono (ATR Auditory and Visual Perception Research Labs.)


                                 APPLICATIONS

Applications for Manufacturing Industries

     Fabrication Line Semulator - A Method for Dynamic Modification of
     Operating Condition
          Osamu Mori, Junro Nose (NTT Communication and Information Processing
          Laboratories)

     Knowledge Based Blanch and Evaluation Method for Knowledge Based
     Scheduling System
          Ichiko Oba (Software Works, Hitachi Ltd.)
          N. Komoda, Kazuhiro Kawashima (Systems Development Lab., Hitachi
          Ltd.)
          Keiichi Hara (Hitachi Microcomputer System Ltd.)

     Development of Knowledge Based Scheduling System with Optimize Function
          Keiichi Hara (Hitachi Microcomputer System Ltd.)
          Michiko Oba, Norihisa Komoda, Kazuhiro Kawashima (Hitachi Ltd.)

     Proposal on Expansion of Knowledge Acquisition Function for Knowledge
     Based Planning System
          Kazuhiro Kawashima, Norihisa Komoda (Systems Development Laboratory,
          Hitachi, Ltd.)

     Recovery Boiler Optimal Control System
          Nobuyuki Ozaki, Kaoru Harayama (Toshiba Corporation)

     Adaptation of a CAD/CAM Information Model to CAT applications - An
     Approach to the Adaptive Kinematic Simulation
          Tsuyoshi Takayama, Issei Fujishiro, Yasuhiko Ikeba (University of
          Tsukuba)

     Computer Aided System for Design of Microcomputer-Interface
          (Katsuya Mizumoto, Shigeyuki Ohara, Akio Odaka (Tokai University)

     Introduction of Magnetic Tape Library and Effectiveness
          Takashi Kodani, Toshiyuki Kobayashi (Fujitsu, Ltd.)

     The Total Operation by FTOPS
          Tadashi Murase (Fujitsu Aichi Engineering, Ltd.)

Application for New Fields

     A Method of Reduction for Image Data
          K. Uzuki, M. Ozawa (Computer and Communication Research Center,
          Tokyo Electric Power Company)
          S. Miyano, S. Sakamoto, M. Takahashi (R&D Dept., Tokyo Computer
          Service Co., Ltd.)

     On Basic Mondorian Patterns as the Fundamental E (:painting pattern)-
     Elements
          Makoto Yokota, Koichi Komoda (University of the Electro-
          Communications)

     Modeling the Diffuse Paintings of "Sumie"
          Qinglian Guo, Tosiyasu L. Kunii (Dept. of Information Science,
          Faculty of Science, University of Tokyo)

     The Modifications of the Movement in the Animation and a Representation
     of them as Operators
          Isihara Wataru (Kyoto College of Art)

     Modeling System for Instruction of Computer Graphics
          Sadayoshi Momoi, Hideaki Meguro (Nagano Prefectural Research
          Institute for Information Technology)

     Folding of RNA Sequences by Simulated Annealing
          Yutaka Akiyama, Tatsumi Furuya (Electrotechnical Laboratory)

     Dental Articulation Modeling and Application to Diagnosis of Defective
     Articulation
          Takayuki Nakao, Tosiyasu L. Kunii, Masumi Ibusuki (Department of
          Information Science, Faculty of Science, The University of Tokyo)

     Development of a Cancer Grading System Using a Texture Analysis Technique
          Junji Maeda Tosiyasu L. Kunii (The University of Tokyo)
          Shouhei Nakamura (Jichi Medical School)
          Tsukuru Ishii (Musashino Red-Cross Hospital)
          Masahiro Sakano (Sanno College)

Application for City Planning; Traffic
          
     Multimedia Data Management for Urban Planning Supporting System
          Makiko Nagao, Hiroshi Sugiyama, Tamotsu Hasegawa, Hideo Numagami,
          Akio Okazaki (Research and Development, Center, Toshiba Corporation)

     Bird's-eye View of Arbitarary Extracted Buildings for Urban Planning
     Supporting System
          Satomi Fukuda, Hideo Numagami, Makiko Nagao, Akio Okazaki (Toshiba
          R&D Center)

     A Consideration on a Drive Scheduling System for Yokohama Bay Area
          Masami Kato, Keisuke Ohnishi, Katsumi Nihei (Sophia University)

     A Route Guidance System using Traffic Jam Information
          Masami Kato, Keisuke Ohnishi (Sophia University)

     Moving Object Tracking: Adaptive Control Method Using Fuzzy Inference and
     its Evaluation
          Shigekazu Higashimoto, Hidenori Itoh (Nagoya Institute of
          Technology)

     A Visualization Method for Traffic Environment Measurement
          Hitoshi Saji, Junji Maeda, Tosiyasu L. Kunii (The University of
          Tokyo)
          Takahiro Murata (National Research Institute of Police Science)
          Hideo Takahashi (Victor Company of Japan, Ltd.)

--------------END OF REPORT  (BOOK 1)----------------------------------------

rick@cs.arizona.edu (Rick Schlichting) (05/08/91)

  [Dr. David Kahaner is a numerical analyst visiting Japan for two-years
   under the auspices of the Office of Naval Research-Asia (ONR/Asia).  
   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.]

From: David K. Kahaner ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp]
Re: Info Proc Soc of Japan, Semi-Annual Meeting, March 12-14, 1991 (Tokyo)
8 May 1991

ABSTRACT. Titles of papers presented at the semi-annual Info Proc Soc of
Japan meeting, March 12-14 1991. This report contains the titles and
authors in Book 2 of the Proceedings.

BOOK 2 (TOPICS)

Artificial Intelligence and Recognition Engineering
     Drawing Recognition
     Image Processing
     Image Understanding (1) (2)
     Character Recognition
     Voice and Sound Processing
     Bio Senser Information Processing
     Neural Network (1) (2) (3)
     Diagnosis, Analysis
     Planning ES, Control Management
     Design ES, Model Base
     Game, Robot, Fuzzy

Data Processing
     Reality Indication
     Image Input and Coding Scheme
     Computer Graphics Modeling
     Computer Graphics High Speed Scheme
     Animation
     Graphic Processing


BOOK 2 (TITLES/AUTHORS)

              ARTIFICIAL INTELLIGENCE AND RECOGNITION ENGINEERING

Drawing Recognition

     Noise Removal for Contour Extraction from Topographical Map Image Data
          Takashi Hoshi, Hajime Mori (University of Tsukuba)

     Extract of Map Symbol with Hole-Feature
          Toru Takaki, Takashi Hoshi (University of Tsukuba)

     A Method of Contour Recognition by Vector Trace Data Processed Through
     the Concept of Fuzzy Theory
          Masami Kato, Tsunetake Noma (Sophia University)

     Partial Shape Recognition by Coarse to Fine Analysis Using Contour
     Information
          Kiyohiko Harada, Kenji Shoji (Utsunomiya University)

     Partial Shape Recognition based on Inclusion Relationship Between 2-D
     Figures
          Hiroyuki Imai, Kenji Shoji (Utsunomiya University)

     On Fundamental Mesh Patterns to be Flowed on the Lines as the Generalized
     Amida's Meshs
          Makoto Yokota (University of the Electro-Communications)

     An Analysis of Spatial Relations between Simple Closed Figures on the
     Layout Paper of Printing
          Akihiko Shirasaki (Dainippon Screen Manufacturing Co., Ltd.)
          Michihiko Minoh, Katsuo Ikeda (Kyoto University)

     A Study of the Similarity in Trademark
          Kouji Miyajima, Osamu Iwaki (NTT Data Communications Systems
          Corporation)

     Development of an Interactive Drawing Input System
          Yasutada Nagano, Hideaki Kanechika, Takao Hirata (Mitsubishi
          Electric Corporation)

     Recognition Algorithm and System for Freehand-drawn Tables
          Yoshinobu Yamamoto, Yuichiro Anzai (Keio University)

Image processing

     A New Method for Line Recognition
          Kyu-Jae Lee, Tosiyasu L. Kunii (The University of Tokyo)

     Estimation Method for Rotation Angle with Zernike Moment
          Toshiyuki Yoshida, Tadayoshi Shioyama (Kyoto Institute of
          Technology)

     An Automatic Determination Method of the Plausible Histogram Peaks using
     the Statistical Test Function
          Changming Zhou, Mikio Takagi (Institute of Industrial Science,
          Universoty of Tokyo)

     The Technique of Image Preprocessing about Inspection with Image
     Processing Method
          Yoshifumi Kitayama, Shuuji Ohji (Hiroshima Institute of Technology)

     Sequential Hough Transform Taking Account of Density/Sparseness of Points
          Keiichi Abe, Feng Chen (Faculty of Engineering, Shizuoka University)

     An Extension of Generalized Hough Transform of Fuzzy Set based on the
     Extension Pribnciple and its Application to the Measurement of the Number
     of Persons
          Masami Kato, Shigeki Nagaya (Sophia University)

     High Speed Image Processor for Monitoring System
          Hideto Fujiwara, Hiroshi Yoshikawa, Fumihiko Isogai, Kenji Kotaki
          (Mitsubishi Electric Corp.)

     Computer Recognition of Words in a Sign Language
          Masaya Hosokawa, Satoshi Asami, Tosiyasu L. Kunii (The University of
          Tokyo)

     Image Transformation via Feature Map modification
          Y. Matsuyama, H. Kawamoto, Y. Kurosawa, K. Morisawa, N. Kumagai
          (Ibaraki University)

     A Method of Classification of NOAA AVHRR Image using Feature Information
          Jun-ichi Kudoh, Shoichi Noguchi (Research Center for Applide
          Information Sciences, Tohoku University)

     Overlaping Isobar Data to NOAA Images
          Hiroaki Kaminaga, Juni-chi Kudoh, Hiroshi Kawamura, Shoichi Noguchi
          (Tohoku University)

     The Revised Data Format for NOAA Quicklook Images
          Masaya Nakayama (Dept. of Know. Info. Eng., Toyohashi Univ. of
          Tech.)

     Bahaviors of Areal Evapotranspiration using Landsat-TM Image Data
          Takashi Hoshi, Shinichi Sugimoto (University of Tsukuba)

Image Understanding

     Experiments on Frant-view Face Image Classification Using FFT Power
     Spectrum
          Tsutomu Sasaki, Shigeru Akamatsu, Yasuhito Suenaga (NTT Human
          Interface Laboratories)

     Recognition of Human Face by a Local Enhancement Algorithm and Optical
     Flow
          satoshi Asami, Toshiyasu L. Kunii (The University of Tokyo)

     Automatic Recognition of Facial Expressions
          Yukinobu Tsuchida, Toshiyasu L. Kunii (Department of Information
          Science, Faculty of Science, The University of Tokyo)

     Development of Human Faces Using 3D-CG Model for Face Recognition
          Nobuhiko Masui, Yasuhiko Watanabe, Shigeru Akamatsu, Yasuhito
          Suenaga (NTT Human Interface Laboratories)

     Automated Inspection of Rivets for Airplane
          Yoshitaka Nishiyama, Yuji Kuno (Oki Electric Industry Col, Ltd.)
          Tsunetoyo Sakamoto (Oki Technosystems Laboratory Inc.)
          Hiroyuki Jikei (Mitsubishi Heavy Industries, Ltd.)

     Automatic Recognition of Mark Drawn on the Road
          Yoshiaki Nakayama, Sadamu Ohteru (Waseda University)
          Shuji Hashimoto (Toho University)
          Akiyoshi Tanaka (Matsushita Research Institute Tokyo, Inc.)

     Detecting Intruders by an Indoor Moving Observer 
          Kingo Ozawa, Yoshio Kato (TOKIMEC Inc.)

     Finding Trajectories of Human Arms Using Motion Smoothness
          Atsushi Sato, Naonori Ueda, Kenji Mase (NTT HUman Interface
          Laboratories)

     AI Technology for Filing the Perception of Moving Object I Proposal
     for Filing Methodology by Perceiving Motion
          Sachiko Kitawaki (NEC Corporation)

     Image Understanding System based on PDP Models - Proposition of ICE
     Systems (Image CEntered System)
          Naoyuki Tsuruta, Rinichiro Taniguchi, Makoto Amamiya (Kyushu
          University)

Image Understanding (2)

     Inference and Reconstruction of the Occulusion on a Partial Feature of an
     Object Contour
          Yuji Tanano, Norihiro Abe, Tadahiro Kitahashi (The Institute of
          Scientific and Industrial Research, Osaka University)

     Dynamic Vision System "DynaEye" - One Solution for Occlusion Problem
          Masaki Watanabe, Yoshiyuki Ohta, Shigeru Sasaki (Fujitsu
          Laboratories, Ltd.)

     Integration of Multiple Range Data
          Yoshihiro Kawai, Takashi Yoshimi, Masaki Oshima (Electrotechnical
          Laboratory)

     Partial Order of Objects
          Toshiyasu Nakao, Yuji Tanano, Norihiro Abe, Tadahiro Kitahashi (The
          Institute of Scientific and Industrial Research, Osaka University)

     On Epipolar Transformations
          Richard Baldwin, Kazuhiko Yamamoto (Image Understanding Section,
          Electrotechnical Laboratory, Umezono 1-1-4, Tsukuba Science City)

     Binocular Stereoscopic Matching Based on Prominency of Edges
          Sunichi Kaneko, Hiromasa Ohmachi, Tsunenori Honda (Tokyo University
          of Agriculture and Technology)

     Region Correspondence Based on Distance Level
          Yi-Long Chen, Hiromasa Nakatani (Shizuoka University)

     Shape Restoration from Shaded Scene Sequence
          Naoki Mukawa (NTT Human Interface Laboratories)

     Object Flow Estimation from Space-time Sectioning
          Kenji Mase (NTT Human Interface Laboratories)

     Detecting a Divergence of the Movement-Vector Field by the Directional
     Variance
          Hajime Kawakami, Naoya Ohta (NEC Corporation)

Character Recognition

     Handwritten Numeric Character Recognition through Neural Nets with the
     Standard Pattern Data as the Initial Weights
          Masami Kato, Akihiro Mizutani (Sophia University)

     Adaptive Input Field Neural Network: - A Neural Network Model which can
     Verify its Output
          Minoru Asogawa (C&C Systems Research Laboratories, NEC Corporation)

     Adaptive Recognition of On-Line Hanguel by Using Neural Networks
          Changhun Kim, Seiichi Nishihara (University of Tsukuba)

     Recognition of Handprinted Characters with Multiple Feature
          Akira Okumura, Tadayoshi Shioyama (Kyoto Institute of Technology)

     Recognition of Handwritten Chinese Characters by Fuzzy Mesh Black Pixel
     Density-Feature
          Wang Xiaowen, Reiji Hashimoto, Yoshiya Miyagaki (Okayama University
          of Science)

     A Recognition Process Monitor for the User Interface with On-line
     Handwritten Character Recognition
          Hidehiro Fukushima, Masayuki Homma, Toshio Souya, Msaaki Nakagawa
          (Tokyo University of Agriculture and Technology)

     Human Interface to Input Mathematical Formulas through Handwriting and
     their Recognition
          Atsushi Murase, Hidehiro Fukushima, Toshio Souya, Masaki Nakagawa
          (Tokyo University of Agriculture and Technology)

     Quantifying Distortion Degree of Handprinted Characters
          Katsuhiro Sasada, Tadayoshi Shioyama (Kyoto Institute of Technology)

     Character Recognition from Color Images
          Shoichiro Hara, Atsuhiro Takasu, Eishi Katsura (National Center for
          Science Information System)

     Recognition Rate Up Method of OCR and Simplification of the Systems
          Katsuhiko Kumagai, Sinichi Suzuki, Koji Ueno (Faculty of Electric
          Engineering, Kisarazu Industrial Engineering College)
          
Voice and Sound Processing

     Unsupervised Speaker Normalization by Sspeaker Markov Model Converter for
     Speaker-Independent Speech Recognition Systems 
          Pascale Fung, Tatsuya Kawahara, Shuji Doshita (Department of
          Information Science, Kyoto University)

     Interlingua Output from Continuous Speech Recognition
          Jun Noguchi, Akitoshi Okumura, Kaichiro Hatazaki, Shinsuke Sakai,
          Takao Watanabe (C&C Information Technology Research Laboratories,
          NEC Corp.)

     Very Large-Vocabulary Speech Recognition Using HMM-LR
          Kenji Kita, Terumasa Ehara, Tsuyoshi Morimoto (ATR, Interpreting
          Telephony Research Laboratories)

     Spoken Number Recognition by Neural Nets using Non-uniform Sampling of
     Spectrum
          Masami Kato, Toshiyuki Ukai (Sophia University)

     Syllable Trigram Adaptation for Statistical Language Modeling
          Shoichi Matsunaga, Tomokazu Yamada, Kiyohiro Shikano (NTT Human
          Interface Laboratories)

     Influence of Noise for Speech Recognition
          Toshihiro Kasuya, Kenya Murakami (NTT Data Communications Systems
          Corp.)

     Feature Extraction of Piano Playing in Musical Information Processing
          Yasuhiro Ichinaka (Division of Scientific Studies, University of
          Tsukuba)
          Shigeru Igarashi (Institute of Information Sciences and Electronics,
          University of Tsukuba)

     A Model of Musical Top-down Process by Neural Network
          Kazuyuki Toto, Makoto Yokota (University of Electro-Communications)

Bio Senser Information Processing

     A Study on Expression of Memorized Information by Parallel Connected
     Units
          Hiroshi Yokoi, Yukinori Kakazu (Hokkaido University)

     Characteristics of Differentiation and Nonlinear Processing in Neural
     Network
          Naohiro Ishii (Nagoya Inst. Technology) 
          Katsumi Yoshine (Nagoya City University)

     Evoked Potential Detection Power and Reduction of the Average Count
          Shuichi Kato, Yasuhiro Nakatsuji, Hirobumi Nonaka (Teikyo University
          of Technology)
          Nobuko Ikawa (Sanno College)

     A Restoration of Pulse Density Modulation Wave by a Visual Model - An
     Expression Between the Parameters
          Junji Kawasaki (Kanazawa Technical College)
          Toshihiro Hata (Kanazawa Institute of Technology)
          Taizo Iijima (Engineering University)

     Morphological Modeling of Facial and Gestural Expressions of Emotion - A
     Morphological Approach to the Computation of Emotional Information
          Tosiyasu L. Kunii (Dept. of Information Science, Faculty of Science,
          The University of Tokyo)

     Computer Simulation of Mental Condition on a Dialog System
          Kumiko Shimazaki, Yoshiyuki Kotani (Tokyo University of Agriculture
          and Technology)

     Mapping of Functional Local Areas by a Two-Dimensional Expansion of a
     Brain Cortex
          Masahisa Saburi (Electrotechnical Laboratory)

     On Eye Movement with Regard to the Shape Constancy
          Hiroshi Takayanagi, Takahiro Yamanoi (Hokkai-Gakuen University)
          Takamasa Oyama (ATR Laboratory)
          Toshimasa Yamazaki (NEC Laboratory)

Neural Network (1)

     Minimizing the Absolute Value Energy Function
          Nami Kin, Tosiyasu L. Kunii (The University of Tokyo)
          Yoshiaki Takai (Hokkaido University)

     Analog Neural Networks Versus Boltzmann Machines
          Tomoki Fukai (Gumma Women's College)
          Masatoshi Shiino (Tokyo Institute of Technology)

     Role of Noise for Neural Network - Associated Neuron Memory
          Tomoko Yamazaki, Sadamu Ohteru (Waseda University)
          Shuji Hashimoto (Toho University)

     Current Circuit Style Neural-Network
          Akira Hoshi (Toshiba Corporation)

     A Complex Back-propagation Learning
          Tohru Nitta, Tatsumi Furuya (Electrotechnical Laboratory)

     A Consideration on the Learning and Integration of Neural Nets with
     Different Kinds of Vectors as Inputs
          Masami Kato, Akihiro Mizutani, Chikayoshi Sumi (Sophia University)

     Multi-layer Neural Network with Feedback Links
          Tatsumi Furuya, Yutaka Akiyama, Toshio Tanaka, Tohru Nitta
          (Electrotechnical Laboratory)

     Neural Network Models for Incremental Learning
          Atsushi Sato, Keiji Yamada, Jun Tsukumo, Tsutomu Temma (NEC
          Corporation)

     Tuning Neural Networks for Pattern Recognition
          Shigeo Abe, Masahiro Kayama, Hiroshi Takenaga (Hitachi, Ltd.)

Neural Network (2)

     Parallel Processing of Optimizing Problem with Hopfield Model
          Yoshitada Ohba, Hiroko Midorikawa, Hajime Iizuka (Seikei University)

     CMOS Layout Design of the Hysteresis McCulloch-Pitts Neuron
          Masanori Tsuchimura, Hirotsugu Kajisaki, Takakazu Kurokawa (Dept. of
          Computer Science, The National Defense Academy)
          K.C. Lee, Y.B. Cho, Yoshihalsu Takefuji (Dept. of EEAP, Case Western
          Reserve University)

     Parallelization of Neural Networks by a Multi-Transputer System
          Katsuhiro Yamazaki, Keiichi Kurokawa, Tohru Watanabe (Ritsumeikan
          University)

     Advanced Parallel Processing System Based Upon Strictly Digital Neural
     Networks
          Tohru Nakagawa, Hajime Kitagawa, Toyota Technological Institute
          (Toyota Technological Institute)

     A Logic Testing and Design for Testability Using a Strictly Digital
     Neural Network
          Masatoshi Arai, Tohru Nakagawa, Hajime Kitagawa (Toyota
          Technological Institute)

     Solving Four-Coloring Map Problems Using Strictly Digital Neural Networks
          Katsuhiko Murakami, Tohru Nakagawa, Hajime Kitagawa (Toyota
          Technological Institute)

     A Planarization of Printed Circuit Connections using Strictly Digital
     Neural Networks
          Syuji Nakasima, Tohru Nakagawa, Hajime Kitagawa (Toyota
          Technological Institute)

     Solving Polymino Puzzles using Strictly Diogital Neural Networks
          Yoshimasa Nakaya, Tohru Nakagawa, Hajime Kitagawa (Toyota
          Technmological Institute)

     Solving the Travelling Salesman Problem using Strictly Digital Neural
     Networks
          Kazuyoshi Nagasaki, Tohru Nakagawa, Hajime Kitagawa (Toyota
          Technological Institute)

Newral Networks (3)

     A Neural Network Approach for BIBD Problems
          Takakazu Kurokawa (The National Defense Academy)
          Yoshiyasu Takefuji (Case Western Reserve University)

     Competition, Cooperation, Categorization and Vehicle Routing Problems
          Yasuo Matsuyama, Yasushi kurosawa, Takako Furuya (Ibaraki
          University)

     A Hopfield Type Neural Network Solving O-1 Integer Programming
          Masami kato, Toshiyuki Ukai, Yuki Aoyama (Sophia University)

     Comparison of Some Fast Algorithms for Solving the N-Queen Problem
          Hideo Shimizu, Akira Hayashi (Kanazawa Institute of Technology)

     Threshold Control Method for Solving the Travelling Salesman Problem with
     Neural Networks
          Toshio Tanaka, Tatsumi Furuya, Yutaka Akiyama (Electrotechnical
          Laboratory)

     A Sufficient Condition for Local Minima on a Learning Surface
          Satoshi Yamaguchi, Hidekiyo Itakura (Chiba Institute of Technology)

     Support of Material Design by Neural Network
          Ikuo Yoshihara (Systems Development Lab., Hitachi Ltd.)
          Yoshikatsu Ueda (Systems Engineering Div., Hitachi, Ltd.)
          Masahiko Takano (Information Systems Works, Hitachi, Ltd.)

     On the Effect of Dynamic Control of the Non-Linearity and the Input
     Biases in a Hopfield-type Neural Network
          Yutaka Akiyama, Tatsumi Furuya (Electrotechnical Laboratory)

     Adaptation and Evolution of Perceptron Animals by Genetic Algorithm
          Nobuyoshi Ando, Masanori Ichinose, Tsutomu Hoshino (University of
          Tsukuba)

     Optimization of Neural-Net Structure by Genetic Algorithm
          Masahiro Kouchi, Tsutomu Hoshino (University of Tsukuba)

Diagnosis; Analysis ES

     Considerations on Diagnosis System for Microcomputers Based on Object
     Model with the Knowledge of Abnormal Behavior
          Masahito Yamamoto, Yasumasa Oomori, Haruki Ueno (Tokyo Denki
          University)
          Hidekazu Fukuda (IBM Japan)

     Troubleshooting System for Logical Circuit based on Object Model
          Yasumasa Oomori, Haruki Ueno (Tokyo Denki University)
          Hidekazu Fukuda (IBM Japan)

     Model-Based Diagnosis for Complex System (1) - Model/Simulation
          Makoto Murata, Takashi Kise, Hiroshi Naito, Koichi Masegi
          (Information Systems Research Center, Canon Inc.)

     Model-Based Diagnosis for Complex Systems (2) - Diagnosis
          Takashi Kise, hiroshi Naito, Koichi Masegi
          Information Systems Research Center, Canon Inc.)

     Diagnosis Function of a Network System Performance Evaluation using
     Simulation
          Yoshinaga Seki, Shinji Iwamoto (C&C Systems Interface Eng. Lab., NEC
          Corporation
          Youichi Miyaki (NEC Scientific Information System Development Ltd.)

     Qualitative Simulation Method based on Quantitative Data
          Masanori Akiyoshi, Shogo Nishida (Mitsubishi Electric Corp.)

     Plant Control Expert System: Consideration on Parallel Simulator
          Chiho Konuma, Yasuo Gotoh, Shigeru Mochiji, Jin Murata (Toshiba
          Corporation)

     Classification of Logical Errors and it's Application to Reasoning User's
     Intention in Knowledge-Based Program Understanding
          Rika Sekimoto, Hirosi Murayama, Haruki Ueno (Tokyo Denki University)

     Development of Expert System for Solar Flare Prediction
          Tamotsu Shirado (Communications Research Laboratory, M.P.T.)

     Knowledge Representation for Construction Method
          Shigeru Karino, Katsuhiko Watanabe (Kajima Corporation)

     Contrast and Compare System for Multi-Records
          Yoji Taniguchi, Hiroshi Tsuji (Hitachi Ltd.)

     A Query Generation Method with Focus of Attention
          Megumi Saito, Shigeo Kaneda, Fumio Hattori (NTT Communications and
          Information Processing Laboratories)
          Akiko Ishiyama (NTT Software Corporation)

Planning ES; Control Management

     A Trial Q-A System Applying AI-Techniques to Make Lecture-Plans
          Shinya Yamada, Takahiro Haga (Aichi Institute of Technology)

     A Cooperative Inference Method Applicable for Train Group Control
          Kiyomi Kishi (Hitachi Information and Control Systems)
          Setsuo Turuta, Toshiya oshima (Hitachi, Ltd.)

     A Knowledge Assimulation Method based on Cooperative Inference, by using
     a Spread-Seat
          Toshio Eguchi, Setsuo Turuta (Hitachi, Ltd.)

     Solution of a Time-table Production Problem Using the Best-first Search
     Strategy
          Yoshitaka Fujiwara, Toshiharu Matsunishi (Kitami Insitute of
          Technology)

     Planning System for Product Shipment
          Katsumi Iritsuki, Satoshi Fukumura (Kawasaki Steel Co.)

     An Estimation Expert System with an Explanation Function for Clarifying
     Specifications
          Naoki Take (Research & Development Lab., Shinko Electric Co., Ltd.)
          Norihiro Abe, Tadahiro Kitahashi (Institute of Scientific &
          Industrial Research, Osaka University)

     A Configuration of Expert System for Production Scheduling
          Masatoshi Yamao, Masahito Takeda (Toshiba Corporation)

     Automatic Generator of Technical Illustration
          Kazuo Tamakashi, Norihiro Abe, Tadahiro Kitahashi
          The Institute of Scientific and Industrial Research, Osaka
          University)

     An Expert System on Symbolism and Connectionism - System Configuration
          Hiroki Konaka, Kazuhiro Abe, Kazuo Seo (Mitsubishi Electric Corp.)

     An Expert System on Symbolish and Connectionism - Implemedntation of
     Sample Master
          Kazuhiro Abe, Hiroki Konada, Ryuichi Kobune (Mitsubishi Electric
          Corp.)

Design ES, Model Base

     Design Support System based on the Multi-Hierarchical Object Model
          Hisano Takumi (Electrotechnical Laboratory)

     Overview of Co-operative Logic Design Expert System (co-LODEX)
          Yoriko Minoda, Shuho Sawada, Yuka Takizawa, Fumihiro Maruyama,
          Nobuaki Kawato (Fujitsu Ltd.)

     A PAIR Extraction Expert System for Design LSI
          Kazumi Ugajim, Susumu Hamada, Takashi Yamaguchi, Makoto Sugata
          (Toshiba Corporation)

     Support System for Design of Sheet metal Stamping Dies
          Hiroyoshi Watanabe, Tatsuyuki Edano (Industrial Technology Center of
          Tochigi Pref.)
          Chosei Tohno, Yasuyuki Watanabe (Tohno Seisakusyo Corporation Ltd.)

     The Development of Control Logic Design ES
          Tetsuya Kitagawa, Shoichi Kojima (Toshiba Corporation)

     HITEGRA, An Export System for Computer Graphics
          Toshiya Mima, Hiroshi Komazaki, Akihiko Matsuo (Fujitsu Laboratories
          Ltd.)

     HITEGRA, An Expert System for Computer Graphics - User Interface
          Akihiko Matsuo, Yukari Saitoh, Atsuko Tokuhara, Junichi Sugiyama,
          Toshiya Mima (Fujitsu laboratories, Ltd.)

     Introduction of AI Technology to Office Work
          Toshiaki miyashita, Yoshihide Ishiguro, Ichiro Matsuo, Kansai C&C
          Research Lab., NEC Corp.)

     Case-Based program Tuning Expert System (3)
          Shunsuke Akifuji, Hiroshi Tsuji, Ikuo Yoshihara, Hiroshi Matsuo,
          Toshio Sekiya (Hitachi, Ltd.)
          Hiroshi Takahashi (Hitachi Tohoku Software, Ltd.)

     Refinement of Case-base for Support System of Generation of Restoration
     Plan Electric Power System
          Kenzo Okuda, Hideki Mizoguchi, Hideaki Sasaki (Utsunomiya
          University)
          Katsuhiro Yamazaki (Ritsumeikan University)

     Expert Shell for Intelligent Form-Filling Front-end
          Unifying Case-Basded Reasoning and Rule-based Reasoning
          Shinji Genta (Hitachi Seibu Software Co., Ltd.)
          Hiroshi Yamada, Chizuko Yasunobu (Systems Development Laboratory,
          Hitachi, Ltd.)
          Yoshiharu Kamada, Masahiro Ogura (Systems Engineering Division,
          Hitachi, Ltd.)

     The Usage of Structure Mapping Engine for CBR
          Taro Morishita, Kazuhiro Tubaki, Takahiro Yamaji (Information
          Systems Research and Development Center, Sharp Corp.)

Game; Robot; Fuzzy

     A Logical Approach to Endplay Strategies of Contract Bridge
          Yutaka Sasaki (Division of Scientific Studies, University of
          Tsukuba)
          Chiharu Hosono, Takashi Tsuji, Shigeru Igarashi (Institute of
          Information Sciences and Electronics, University of Tsukuba)

     A Method of Making a Flexible Formation in the Opening of Shogi Game (2)
          Kunihiro Seno, Taketoshi Yoshida, Hiroyuki Iida, Yoshiyuki Kotani
          (Tokyo University of Agriculture and Technology)

     Computation of One Move Checkmate Without Looking Ahead in Shougi Game
          Fumio Yamazaki, Kunihiro Seno, Hiroyuki Iida, Yoshiyuki kotani
          (Tokyo University of Agriculture and Technology)

     Analysis of Ability of Problem Solving as for Searching in Maze
          Satoshi Kobori (Kurume Institute of Technology)

     A Fast Algorithm of Path-Planning and Motion-Planning for a Mobile Robot
     on a Distance Transformation Image
          Donguk Shin (Waseda University)

     Open Robot Simulator: ORS
          Shunichi kaneko, Kiyotaka Nagayama, Tsunenori Honda (Tokyo
          University of Agriculture and Technology)

     A Short-Distance Motion-Planning for a Biped Walking Robot Using Vision
     System
          Donguk Shin (Waseda University)

     Robot Teaching System based on Production System
          Tomoichi Takahashi, Shunichi Ohara (NTT Human Interface
          Laboratories)

     User Interactive Control of Graphical Correction Using Fuzzy Inference
          Tadaaki Morikami, Hidenori Itoh (Nagoya Institute of Technology)

     A Study of Auto Fuzzy Modeling in Fuzzy Knowledge Design Expert System
          Yuji Kajitani, Ryu Katayama, Kenshi Matsumoto, Masahide Watanabe,
          Yukiteru Nishida (Sanyo Electric Co., Ltd.)

                                DATA PROCESSING

Reality Indication

     Generating Patchwork of Color Texture Image Using DP
          Hideaki Shirota, Kenji Shoji (Utsunomiya University)

     Rendering Cloth Objects with Three Dimensional Texture
          Hirotsugu Kimoto, Yoshio Ohno (Keio University)

     An Implementation of Environment Mapping
          Kouichi Shiono, Masanori Kono (Central R&D Center, Research &
          Development Division, Victor Company of Japan, Ltd.)

     A Shading Model of Parallel Cylindrical Light Source for Evaluating
     Quality of Curved Surfaces
          Tomoyuki Nishita (Fukuyama University)
          Shinichi Takita (Kagawa University)
          Eihachiro nakamae (Hiroshima University)

     Exaggerated Representation of Textures for Interactive Rendering
          Hisashi Sato, Kunio Kondo, Shizuo Shimada, Saitama University)

     Interaction with Virtual Creatures in Artificial Reality - Framework of
     Virtual World 
          Kazushi Hayashi, Takushi Fujita, Chikako Matsumoto, Kouichi Murakami
          (Fujitsu Laboratories, Ltd.)

     Interaction with Virtual Creatures in Artificial Reality (2) - Behavior
     Simulation
          Takushi Fujita, Chikako Matsumoto, Kazushi Hayashi, Kouichi Murakami
          (Fujitsu Laboratories, Ltd.)

     Interaction with Virtual Creatures in Artificial REality - Virtual
     Environment Interface System
          Soichi Nishiyama, Katsuhiko Hirota, Masanori Kakimoto, Masako
          Nakajima, Hitomi Taguchi, Koichi Murakami (Fujitsu Laboratories,
          Ltd.)

     Real-time Particle System for Artificial Reality
          Katsuhiko Hirota, Koichi Murakami, Soichi Nishiyama (Fujitsu
          Laboratories, Ltd.)
          Suma Noji (Nippon Electronics College)
          Asako Sanada 9Big Towns, Ltd.)

Image Input and Coding Scheme

     Computer-Aided 3D Input of Actual Movements of Human Bodies for Sports
     Instruction
          kangda Wang, Tosiyasu l. Kunii (The University of Tokyo)
          Lining Sun (Nihon Silicon Graphics K.K. (NSG))

     Generation of Three Dimensional Shape Data from Two Views of Freehand
     Machine Drawing
          Tsunenori Honda, Yoshiko Takeda, Shunichi Kaneko (Tokyo University
          of Agriculture and Technology)

     Automatic Generation of Three Dimensional Topography by Homotopy
          Tetsuya Ikeda, Toshiyasu L. Kunii (Department of Information
          Science, Faculty of Science, The University of Tokyo)

     An Extraction Method of Contour Line Using Fuzzy Inference
          Toshimasa Haneyoshi, Masayuki Fukase (Tokyo Denki University)

     User Interface Through Hand-writing - Applied to Line-Drawing Input
          Shinya Kazama, Hidehiro Fukushima, Masaki Nakagawa (Tokyo University
          of Agriculture and Technology)

     A High-speed Algorithm for Morphological Operation Using Run-length
     Expressions of Structuring Elements
          Yuichi Kawada, Kenji Shoji (Utsunomiya University)

     3D Runlength Representation and its Closest-point Seaching Ability
          Yoshiki Arakawa (Kansai Advanced Research Center, Communications
          Research Laboratory)

     A Method of Feature Extraction for Eye Movements Detection by Image
     Processing
          Miharu Arai, Yukihiro Nakagawa (Fujitsu Laboratories, Ltd.)
          Toshiyuki Goto (Yokohama National University)

     Image Coding Scheme by Feature Extraction Considering Human Visual
     Processing
          Yuji Itoh, Yasuhiro Nakamura, Kineo Matsui (The National Defense
          Academy)

     A Method of Vector Quantization of Images using Multitree Code
          Masami Kato, Shigeki Nagaya, Toshihiro Yoshioka (Sophia University)

     An Interactive System for Encoding Images with Fractal Geometry
          Noriaki Oishi, Yoshinao Aoki (Faculty of Engineering, Hokkaido
          University)
          Tsuyoshi Yamamoto (Computing Center, Hokkaido University)

     Analysis of Lip Motion on Singing
          Hideto Takeuchi, Sadamu Ohteru (Waseda University)
          Shuji Hashimoto (Toho University)
          Akiyoshi Tanaka (Matsushita Research Institute Tokyo, Inc.)

CG Modeling

     Human Image Synthesys Using Synchronized Cylindrical Range & Color Data
          Yasuhiko Watanabe, Yasuhito Suenaga (NTT Human Interface
          laboratories)

     3-D Human Figure Model Generation Using Synchronized Cylindrical Range &
     Color Data Scanner
          Yasuhiko Watanabe, Yasuhito Suenaga (NTT Human Interface
          Laboratories)

     Singularity Theoretical Modeling of Garment Wrinkle Formation Processes
          Hironobu Gotoda, Toshiyasu L. Kunii (Department of Information
          Science, Faculty of Science, The University of Tokyo)

     A Study About a Model of Human Hair
          Taketo Tsukioka, Toshiyasu L. Kunii (The University of Tokyo)

     Point Selection of Contour Lines for Delaunay Triangulation
          Katsuyuki Kamei, Yasuaki nakamura, Shigeru Abe (Mitsubishi Electric
          Corporation)

     A Representation Method for Multiple Triangular Patches using Quad Code
          Masami kato, Keisuke Ohnishi, Yuki Chujoh, Yoshihiro Kawashima
          (Sophia University)

     Automatic Mesh Generation for FEM - In the Case of Nodal Points Being
     Defined Before the Generation
          Toyomitsu Senda, Shinichirou Ohbayashi (Ehime University)

     A Generating Method of Blending Surfaces Using Physical Phenomena
          Masahiro Kimura, Takafumi Saito (NTT Human Interface Laboratories)

     Generation of Control Points for Initial Surfaces using Gauss Map
          Kensyu Yoshida, Tosiyasu L. Kunii (University of Tokyo)

     A Method of Constructing B-Spline Curves Hierarchically
          Mamoru Hashimoto, Katsuya Shinohara (C&C Systems Research
          Laboratories, NEC Corporation)

     A Generation Method of Interpolation Curves Through Vector Synthesis
          Masami Kato, Yuki Chujoh (Sophia University)

     Alingning Contours Using Morphological Characteristics of Cross Sectional
     Data
          Yoshihisa Shinagawa, Tosiyasu L. Kunii (The University of Tokyo)

CG High Speed Scheme

     Computer Graphics on a Highly Parallel DSP Array
          Taku Oto, Masaki Kohata, Yoshiya Miyagaki (Okayama University of
          Science)

     Near Real-Time Shadow Generation with 3D Graphics Board for Personal
     Computers
          Kenichi Mori, Mitsuyoshi Okamura, Mitsuo Saito (Toshiba Corporation)

     3-D Graphics Accelerator for Personal Computer
          Katsuji Nishio, Akio Matsushita, Shinji Egashira, Toshio Kikuchi,
          Yoshihiko Sato, Shouji Ohkawa, Atsushi Kubota, Kazuhiro Mochizuki
          (Fujitsu Program Laboratories, Ltd.)
          Hiroaki Shirahama, Teruhisa Taji, Masatoshi Kato, Reiji Okada
          (Fujitsu Ltd.)

     Vectorized Volume Rendering
          Toshifumi Takei (NEC Corporation)

     Image Processing on a Conventional Parallel Machine with a Parallel
     Programming Language Valid-A
          Rinichiro Taniguchi, Makoto Amamiya (Kyushu University)

     High-speed Display Algorithm for Equi-valued Surfaces
          Akio Doi, Akio Koide (IBM Japan, Ltd.)

     A Scan Conversion Algorithm Using Quad-tree Representation of Extended Z
     Buffer
          Tsuyoshi Yamamoto (Kokkaido University)

Animation

     Interactive Animation Design Tool
          Myeong Won Lee, Takashi Sugino (Kubota Computer Inc.)
          Tosiyasu L. Kunii (The University of Tokyo)

     A Real Time Animation Method on X Window System
          Masato Kajimoto, Toshio Matsuura, Kenichi Taniguchi (Dept. of
          Information and Computer Science, Osaka University)

     Automatic Viewing for Computer Animation
          Tsukasa Noma, Naoyuki Okada (Kyushu Institute of Technology)

     A Zoom Parameter Estimation for Moving Image
          Masayuki Uchida, Sadamu Ohteru (Waseda University)
          Shuji Hashimoto (Toho University)
          Akiyoshi Tanaka (Matsushita Research Institute Tokyo Inc.)

     Automatic Generation of Ficial Animation Algorithms from Elementary Voice
     Information
          Katsuyuki Kuribayashi, Tosiyasu L. Kunii (The University of Tokyo)

     A Framework for Analysis of Facial Muscle Movement by a Brain Wave
     Analyzer
          Yasuyuki Yoshida, Tosiyasu L. Kunii (The University of Tokyo)
          Masashige Furukawa (Chiyoda Clinic)
          Masahiro Sakano (Sanno College)

     Symbolic Representation of Head Motion
          Jin-Tae Lee, Tosiyasu L. Kunii (The University of Tokyo)

     
Graphic Processing

     Research and Development of Color Picture Processing and Painting System
          Hajime Enomoto, Minoru Kamoshida (Shibaura Institute of Technology)
          Isao Miyamura (University of Niigata)

     Window-based Elaboration Language for Picture Processing and Painting -
     WELL-PPP
          Minoru Kamoshida (Shibaura Institute of Technology)

     Function of Window Interface for WELL-PPP
          Naoto Niwa, Minoru Kamoshida, Hajime Enomoto (Shibaura Institute of
          Technology)

     Outline Drawing of Picture Painting
          Teruki Yamamoto, Minoru Kamoshida, Hajime Enomoto (Shibaura
          Institute of Technology)

     Generation and Painting of Luminance from Edge Informations
          Taro Seki, Minoru Kamoshida, Hajime Enomoto (Shibaura Institute of
          Technology)

     Generation and Painting of Chrominance from Edge Informations
          Masahiro Matsumoto, Minoru Kamoshida, Hajime Enomoto (Shibaura
          Institute of Technology)

     Picture Generation and Modification on the Level of Liminance and
     Chrominance Informations
          Yoshiyuki Okada, Minoru Kamoshida, Hajime Enomoto (Shibaura
          Institute of Technology)

     An Integrated Management of Vector, Region and Image Data by PMR Quadtree
          Misayo Kitamura, Yasuaki Nakamura, Shigeru Abe (Mitsubishi Electric
          Corp.)

     Knowledge Based Graphics Transofmation by Smalltalk-80
          Tomohisa Yamaguchi, Hiroshi Kasahara (Tokyo Denki University)

     A Method for Geometric Graphics Interchanging
          Kazuya Yamada, Yasumasa Moriya (Fuji Xerox Co., Ltd.)

     Analysis of Parallel Ray-Tracing Model in Personal Computer Network
          Tohru Yoshioka, Michio Iikura, Akira Watanabe (Nippon Institute of
          Technology)

     On a Distributed Image Synthesis Method based on the NeXT Computer
          Hiroyuki Yoshida (Tokyo Institute of Polytechniques)
          Toshiyuki Takahara (Tokyo Kasei University)

     Network for Efficient Access and Exchange of Picture Data: PicNet
          Masahide Kaneko, Atsushi Koike, Yoshinori Hatori (KDD Research and
          Development Laboratories)


--------------END OF REPORT  (BOOK 2)----------------------------------------

rick@cs.arizona.edu (Rick Schlichting) (05/08/91)

  [Dr. David Kahaner is a numerical analyst visiting Japan for two-years
   under the auspices of the Office of Naval Research-Asia (ONR/Asia).  
   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.]

From: David K. Kahaner ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp]
Re: Info Proc Soc of Japan, Semi-Annual Meeting, March 12-14, 1991 (Tokyo)
8 May 1991

ABSTRACT. Titles of papers presented at the semi-annual Info Proc Soc of
Japan meeting, March 12-14 1991. This report contains the titles and
authors in Book 3 of the Proceedings.

BOOK 3 (TOPICS)

Artificial Intelligence and Recognition Engineering
     Morphological Analysis
     Machine Translation
     Meaning Analysis
     Dialogue System
     Syntax Analysis (1) (2)
     Sentence Generation
     Knowledge Acquisition and Study
     Language Understanding
     Language Method Analysis
     Grammar/Dictionary
     Knowledge Representation
     Artificial Intelligence Theory (1) (2)

Data Processing
     Multi-media Processing
     Japanese Input/Translation
     Document Processing (1) (2)



PROCEEDINGS OF 42ND INTERNATIONAL GENERAL MEETING

BOOK 3 (TITLES/AUTHORS)

              ARTIFICIAL INTELLIGENCE AND RECOGNITION ENGINEERING

Morphological Analysis

     Morphological Analysis of Japanese Sentences by Minimum Connective-Cost
     Method
          Toru Hisamitsu, Yoshihiko Nitta (Advanced Research Laboratory,
          Hitachi Ltd.)

     On Neural Networks for Japanese Morphological Analysis
          Naoto Takahashi, Shunichi Itahashi, Yuzo Hirai (University of
          Tsukuba)

     Morphological Analysis for Spoken Language
          Atsushi Takeshita, Hironobu Fukunaga (NTT Human Interface
          Laboratories)

     Disambiguation of the Particle Line in Morph-analysis
          Kazuhiro Takahashi, Naoyuki Nomura (C&C Information Technology
          Research Laboratories, NEC)

     A Method of Compound Noun Analysis Utilizing Dependency Co-occurrence
     Frequency
          Yasuo Fukuda, Shuichi Itahashi (University of Tsukuba)

     Learning of Lexicon by Morpheme Analyze
          Yoshiteru Kawakami, Yoshiyuki Kotani, Hirohiko Nishimura (Tokyo
          University of Agriculture and Technology)

     A Method for Dividing Sentences Based on Conjunctive Particles
          Hiromi Abe, Toshiyuki Okunishi, Hideo Miyoshi, Yasuji Obuchi (Sharp
          Corporation)

     Implementation and Evaluation of a Morpheme Extraction Machine MEX-II
          Toshikazu Fukushima (C&C Systems Research Laboratories, NEC
          Corporation)

     User Customizable Japanese Dictionary System and Morphological Analyzer
          Yutaka Myoki, Yuji Matsumoto, Makoto Nagao (Department of Electrical
          Engineering II, Kyoto University)

Machine Translation

     A Transducing Mechanism for Similarity-based Translation System
          Hideo Watanabe (Tokyo Research Laboratory, IBM Japan, Ltd.)

     A Method of Presenting Case Categorial Ambiguity by Illustrative
     Sentences in Japanese-English Machine Translation by MONolingual Dialogue
          Minoru Ashizawa, Hiroyuki Kaji (Systems Development Laboratory,
          Hitachi, Ltd.)

     Processing for Case Discrepancy
          Kozo Kikuchi, Yoshihiro Kojima (Fujitsu Shizuoka Engineering, Ltd.)

     Lexical Selection Mechanism in Machine Translation Using Target Language
     Knowledge
          Hiroshi Nomiyama (Tokyo Research Laboratory, IBM Japan)

     Utilizing Concept Dictionary in Understanding Translated Sentences
          Yukio Yamamoto (Oki Electric Industry Co., Ltd.)

     Learning of Translation Words Using Target-language Documents
          Hiroyasu Nogami, Akira Kumano, Katsumi Tanaka, Shinya Amano (Toshiba
          Corporation)

     Inductive Learning of Information on Co-occurrence Relation - Application
     to English-Japanese Machine Translation
          Sumio Fujita (Computer Institute of Japan, Ltd.)

     Improvement of Machine Translation System - for Practical Use (2)
          Koji Miyahara, Katsushi Suzuki, Fuyuki Maruyama (Mitsubishi Electric
          Corp.)

     User-cooperative Japanese Sentence Generation
          Akira Kumano, Hiroyasu Nogami, Yumiko Yoshimura, Shinya Amano
          (Toshiba Corporation)

     Machine Translation System which Saves the Format of DTP-Documents
          Etsuo Itoh, Kimihito Takeda, Hideki Hirakawa, Shinya Amano (Toshiba
          Corp)

     An Editor for a Japanese-to-English Machine Translation System JETS
          Hiroyuki Okano (IBM Research, Tokyo Research Laboratory)

     The Utilization of Machine Translation in Online Database Translation
     Service
          Toshihiko Watanabe, Mari Yamamoto, Harushi Kato (Fujitsu Shizuoka
          Engineering, Ltd.)

Meaning Analysis

     A Computational Model for Text Disambiguation Using Knowledge and Context
          Hideki Kozima, Teiji Furugori (University of Electro-Communications)

     Word Sense Disambiguation with Semantic Features and Sample Sentences in
     Longman Dictionary
          Naohiko Uramoto, Katashi Nagao (IBM Research, Tokyo Research
          Laboratory)

     An Integrated Japanese Analysis based on Incremental Disambiguation Model
          Tomoyoshi Akiba, Katsunobu Itou, Manabu Okumura, Hozumi Tanaka
          (Tokyo Institute of Technology)

     Japanese Analysis with a Generalized Discrimination Network
          Manabu Okumura, Tomoyoshi Akiba, Katsunobu Itou, Hozumi Tanaka
          (Department of Computer Science, Tokyo Institute of Technology)

     Concept Chain Reaction Model
          Yasuhito Tanaka (Himeji College)
          Sho Yoshida (Kyushu Institute of Technology)

     Acquisition of Meanings of Content Words based on Operation in a Semantic
     Space
          Hiroya Fujisaki, Satoshi Oguni (The University of Tokyo)

     Evaluation Learning in Learning of Semantic Concepts from Coupler
     Sentences
          Kenji Akira, Junichi Sasaki, Yoshio Momouchi (Hokkai Gakuen
          University)

     A Proposal of Event Based Abstraction Method
          Hirohito Inagaki, Tohru Nakagawa (NTT Human Interface Laboratories)

     An Abstracting Method based on Extracting Important Sentences and
     Deleting Unnecessary Words
          Yasutsugu Morimoto (Systems Development Laboratory, Hitachi, Ltd.)

Dialogue System

     Using Discourse Structure and Concept of Words in Spoken Language
     Understanding
          Masahiro Araki, Takashi Saitoh, Kenji Satoh, Toyoaki Nishida, Shuji
          Doshita (Kyoto University)

     A Study of the Fuzzy Expressions for Qualitative Linguistic Expression
     Applying Fuzzy Theory
          Hisakazu Ogura, Tetsuyuki Takahama (Department of Information
          Science, Fukui University)
          Hirosi Kobayasi (ATRAS Information Service Corporation)

     Multi-Modal Electronic Manual
          Mayumi Hiyoshi, Kenshi Nishimura, Kazuo Kiyomatsu, Hideo Shimazu ,
          Yousuke Takashima (NEC Corporation)

     Experimental and Practical Retrieval System with a Japanese Interface
          Kouichi Ryu, Shuji Kobayashi (Japan Database Network Laboratory Co.,
          Ltd.)
          Masao Yokota (Fukuoka Institute of Technology)

     A Natural Language Interface with Guidance - Outline
          Yuji Ikeda, Kenichi Sakai, Minoru Fujita (Information Systems
          Research Center, Canon Inc.)

     A Natural Language Interface with Guidance - Intention Extraction
          Keiichi Sakai, Yuji Ikeda, Minoru Fujita (Information Systems
          Research Center, Canon Inc.)

     Supporting Computer Users Through Dialogue:  (1) An Architecture and the
     Model of the Dialogue World
          Akira Ito, Hideyuki Higuchi, Tuyosi Ebina, Tadahiko Kumamoto
          (Communications Research Lab., Ministry of Posts and
          Telecommunications)

     Supporting Computer Users Through Dialogue:  (2) A Knowledge
     Representation in CLOS
          Hideyuki Higuchi, Akira Ito (Communications Research Lab., Ministry
          of Posts and Telecommunications)

     Supporting Computer Users Through Dialogue:  (3) Natural Language
     Interpretation for Intelligent Question-Answering Systems
          Tadahiko Kumamoto, Akira Ito (Communications Research Lab., Ministry
          of Posts and Telecommunications)

     Supporting Computer Users Through Dialogue:  (4) Application to XMH
          Tsuyoshi Ebina, Hideyuki Higuchi, Akira Ito (Communications Research
          Lab., Ministry of Posts and Telecommunications)

Syntax Analysis (1)

     Parallel Parsing for Augmented Context-free Grammars
          Tsunenori Mine, Rinichiro Taniguchi, Makoto Amamiya (Graduate School
          of Engineering Science, Kyushu University)

     Bidirectional Concurrent Parsing and its Application to Idiom Handling
          Katsuyoshi Yamagami, Yuji Matsumoto, Makoto Nagao (Kyoto University)

     Handling Gaps in Wh-construction with a Concurrent Parsing System
          Masahiko Haruno, Yuji Matsumoto, Makoto Nagao (Kyoto University)

     Evaluation of a Prototype of a Parallel Natural Language Processing
     System LaPut
          Shigeichiro Yamasaki, Kaori Suehiro, Ikuko Nagasawa, Kenji Sugiyama
          (Fujitsu Labs. Corporation)

     Corpus-based Parser
          Hideo Shimazu, Yosuke Takashima (NEC Corp.)

     Augmented Typed-Feature-Structures
          Hang Li, Shunji Ichiyama (C&C Information Technology Research
          Laboratories, NEC)

     Parallel Unification for Unification-Based Grammar on Logic Programming
          Takeshi Sugai, Fumio Mizoguchi (Science University of Tokyo)

     An Efficient Parsing Method for Unification-Based Grammars
          Masaaki Nagata (ATR Interpreting Telephony Research Laboratories)

     On a Context Structure Based on Syntax Tree
          Yoshitaka Sato, Yoshikazu Miyanaga, Koji Tochinai (Hokkaido Univ.)

Syntax Analysis (2)

     Category Determination in "Sa-Series Noun + Comma" Pattern
          Kaihei Kuwata, Takeshi Yumura, Yukiteru Nishida (Information &
          Communication System Research Center, Sanyo Electric Co., Ltd.)

     Analysis of Coordinate Phrase Based on "rhyme" in natural Language
     Processing
          Osamu Horiguchi, Katsushi Suzuki, Fuyuki Maruyama (Mitsubishi
          Electric Corporation)

     Parsing by Semantic Dependency Between Two Phrases
          Hideo Kohyama (ATR Interpreting Telephony Research Laboratories)

     Making a Sentence Structure Using Simplified Syntactic Analysis
          Hirohito Inagaki, Tohru Nakagawa (NTT Human Interface Laboratories)
          Fumihiko Ohashi (NTT Intelligent Technology Co., Ltd.)

     Analysis of Japanese Sentence Including Parentheses
          Toshika Sasaki, Yoshiyuki Kotani (Tokyo University of Agriculture
          and Technology)

     Inference of Unidentified Words in Chinese
          Kaukau Cheng, Kamei Sya, Yoshiyuki Kotani, Hirohiko Nishimura (Tokyo
          University of Agriculture and Technology)

     Understanding Erroneous Sentence with Fragmental Analysis
          Xuemin Liu, Toyoaki Nishida, Shuji Doshita (Kyoto University)

     Verb Pattern Improving Method in Computer Aided English Text Improving
     System
          Kuniaki Ozawa, Yukinori Terahama, Hiroshi Kinukawa (Hitachi)
          Hiroyuki Kannari (Hitachi Microcomputer System)
          Kuniko Mizukawa (Hitachi Seibu Software)

Sentence Generation

     Efficiency Improvement of Unification-based Generation
          Yoshihiro Ueda (ATR Interpreting Telephony Research Laboratories)

     On Bi-Directionality of Pseudo-Unification Grammars
          Koichi Takeda (IBM Research, Tokyo Research Laboratory)

     Repartitioning a Semantic Network for Translating Utterances
          Masami Suzuki (ATR Interpreting Telephony Research Laboratories)
          Ryo Stanwood (Currently at the University of Hawaii)

     Towards a Sentence Generation Based on the Point of View
          Junichi Nakamura, Yuko Tanaka, Sho Yoshida (Kyushu Institute of
          Technology)
          Yasuhiro Den (Kyoto University)

     Writing-Style Dependent Structures and Articles in a Text
          Yuriko Uchida (Electrotechnical Laboratory)

     Text Generation as Revising Process
          Kentaro Inui, Takenobu Tokunaga, Hozumi Tanaka (Department of
          Computer Science, Tokyo Institute of Technology)

     Story Generation Based on Dynamics of Mind
          Tsutomu Endo, Hidehiko Kawakami (Oita University)
          Naoyuki Okada (Kyushu Institute of Technology)

Knowledge Acquisition and Study

     A Case-based Parsing as a Userinterface of Abduction Support System
     "CHIE-NO-IZUMI"
          Hideyuki Inoue, Ryohei Orihara, Kazue Nagao, Akihiko Ohsuga (Toshiba
          Corporation)

     A Unified Method for Knowledge Acquisition Based on PCT and F2ISM
          Azuma Ohuchi, Tamotsu Mitamura (Hokkaido University)

     Inductive Knowledge Acquisition Guided by Explanatory Reasoning: KAISER -
     Application to Electric Transformer Diagnosis
          Katsuhiko Tsujino, Shogo Nishida (Mitsubishi Electric Corporation)

     Design Knowledge Acquisition System: ISAK
          Hiroshi Nina, Riichiro Mizoguchi (I.S.I.R., Osaka University)
          Katsusi Matsuda, Yasuo Nomura (Faculty of Engineering, Kansai
          University)

     An Adaptive Rule Induction System which can Obtain New Attributes
          Masafumi Kanesiro, Riichiro Mizoguchi (I.S.I.R., Osaka University)

     A Study of Problem Solving and Knowledge Acquisition with Deep Knowledge:
     Visual Acquisition of Deep Knowledge
          Kazuhiro Ohishi (Fujitsu Laboratories, Ltd.)

     On Phonological Concept Acquisition from Spoken Word Samples
          Hiroaki Kojima, Satoru Hayamizu, Kazuyo Tanaka (Electrotechnical
          Laboratory)

     Inductive Learning of Probabilitic Knowledge
          Y. Nakakuki, Y. Koseki, M. Tanaka (C&C Systems Research Labs., NEC
          Corporation)

     Learning Strategy for Modifying Conceptual Bias
          Taichi Yamada, Nobuhiro Inuzuka, Naohiro Ishii (Nagoya Institute of
          Technology)

     Learning Stochastic Rules Built on Probabilistic Predicates
          Junichi Takeuchi, Kazuhiko Ohno, Naoki Abe, Kenji Yamanishi (C&C
          Information Technology Labs, NEC Corp)

     A Knowledge Base System Including Meta Level Description and Learning
          Akio Nishikawa (Communications Research Laboratory)
          Norio Okino (Kyoto University)

     Concept Learning with Conjunctive Network
          Yoshiaki Tsukamoto, Kazuyuki Nishimura, Akira Namatame (National
          Defence Academy)

     Generalization and Difference-based Learning of Common-sense Knowledge
          Masahiro Doteguchi, Teiji Furugori (University of Electro-
          Communications)

Language Understanding

     Metaphor Comprehension - Proposal of Metaphor Comprehension Model Based
     on Association of Person
          Kouichi Doi, Hirohiko Sagawa, Hidehiko Tanaka (Division of
          Engineering, University of Tokyo)

     Proposal of Knowledge Representation for Metaphor Comprehension
          Hirohiko Sagawa, Koichi Doi, Hidehiko Tanaka (Division of
          Engineering, University of Tokyo)

     A Formalization of Context Sensitive Metaphor Understanding in Situation
     Semantics
          Tatsunori Mori, Hiroshi Nakagawa (Faculty of Engineering, Yokohama
          National University)

     An Application of Metonymy Comprehension for Language Translation System
     with Image Interface
          Toshiyuki Maeda, Shusaku Okamoto, Masamichi Nakagawa, Fumio Maehara
          (Central Research Laboratories, Matsushita Electric)

     Interpreting and Generating Fragmentary Sentences Through Efficient
     Representations
          Kohji Dohsaka (ATR Interpreting Telephony Research Laboratories)

     Core-meaning of Case Postposition in Japanese and its Application to
     Sentence Understanding
          Nobuaki Mutoh, Hiroshi Nakagawa (Faculty of Engineering, Yokohama
          National University)

     A Fundamental Study of a Supporting Tool for Situation Logic
          Osamu Kaseno, Hiroshi Nakagawa (Yokohama National University)

     Plan Inference with Probabilistic-outcome Actions
          John K. Myers (ATR Interpreting Telephony Research Laboratories)

     Contextual Information Application Method for Selecting Noun-phrase
     Expressions in the Next Utterance
          Takayuki Yamaoka, Hitoshi Iida (ATR Interpreting Telephony Research
          laboratories)
          Hidekazu Arita (Mitsubishi Electric Corporation)

Language Method Analysis

     Analysis of Japanese Active Verb Based on State Transition Model
          Tadashi Yamamoto, Atsushi Yamada, Toyoaki Nishida, Shuji Doshita
          (Faculty of Engineering, Kyoto University)

     Extension of Numerical Expression Processing in Japanese-English Machine
     Translation
          Yasuhiro Takayama, Katsushi Suzuki, Fuyuki Maruyama (Mitsubishi
          Electric Corporation)

     Investigation of Comparative Forms in Japanese Spoken Dialogue
          Mutsuko Tomokiyo, Masami Susuki (ATR Interpreting Telephony Research
          Laboratories)

     Extraction of Fixed Patterns from AP Economy News
          Noriyoshi Uratani, naoto Katoh, Teruaki Aizawa (NHK Science and
          Technical Research Laboratories)

     Index Words for Abstract Making
          Noburo Ehara (Meiji University)

     Japanese-English Correspondence Data by Bunsetsu for Interpreted Keyboard
     Dialogues
          Terumasa Ehara (ATR Interpreting Telephony Research Laboratories)

     A Study of Text Ordering
          Hironobu Fukunaga (NTT Human Interface Labs.)

     Automatic Segmentation Method for Occupation Heading
          Katsumi Takahashi, Susumu Fujiwara (NTT Communications and
          Information Processing Laboratories)

     Evaluation of Japanese Text Extraction System
          Takahiro Nakamura, Satoshi Aisaka (Computer Applications Co., Ltd.)

Grammar/Dictionary

     Constructing Syntactic Rules for Speech Recognition Considering the
     Tendency of Recognition Error
          Junko Hosaka, Toshiyuki Takezawa, Terumasa Ehara (ATR Interpreting
          Telephony Research Laboratories)

     A Grammar Development Environment for a Japanese Dialogue Analysis
     Grammar
          Hidehiko Matsuo, Yasuo Tanida (Toyo Information Systems Co., Ltd.)
          Masaaki nagata (ATR Interpreting Telephony Research Lab.)

     Aspects in Predicate Structure Youko Nagasawa, Hirosi Sano (ICOT)

     A Design for Dictionary's Description Items in the Bilingual Dictionary
          Takano Ogino (Japan EDR Institute Ltd.)
          Shoichi Yokoyama (Electrotechnical Laboratory)

     Object Oriented Image Dictionary for Retrieving Image Parts on Text-Image
     Conversion System
          Shusaku Okamoto, Toshiyuki Maeda, Masamichi Nakagawa, Fumio Maehara
          (Central Research laboratories, Matsushita Electric Industrial Co.,
          Ltd.)

     Combination Method of the Clustering Result and a Existing Thesaurus
          Naomi Inoue, Tsuyoshi Morimoto (ATR Interpreting Telephony Research
          Laboratories)

     Semantic Network by Concurrence Word Data
          Masaki Matsudaira, Yukio Yamamoto, Masashi Sakamoto (Oki Electric
          Industry Co., Ltd.)

Knowledge Representation

     Extension of Frame System based on Reflection Principle
          Katsuhiro Kijima, Yasuaki Nishitani (Gumma University)

     Knowledge Representation System - Fracks/TP - and its Application to
     Traffic Lights Control
          Tsutomu Sugimoto, Satoru Nonaka, Hiroki Oohama (NTT Data
          Communications Systems Corp.)

     A Study of Semantic Representation by Semantic Primitive
          Shuuichi Shiitani, Yoshiyuki Kotani (Tokyo University of Agriculture
          and Technology)

     A Flexible Self-Definable and Automatical Programmed Frame Representation
     Language ZES
          Yasumi Nagasaka, Hideyuki Otaki (Faculty of Engineering, Saitama
          University)

     An Analogical Inference Method on Frame
          Akiumi Itoh, Yoshiyuki Kotani, Hirohiko Nishimura (Tokyo University
          of Agriculture & Technology)

     A Classification of Complex Relation Among Objects or Events in
     Arithmetic Problems
          Hidehiro Yajima, Shinichi Yasuda, Tatsuhiro Konishi, Hiroyoshi Ohara
          (Waseda University)
          Yukihiro Itoh (Shizuoka University)

     Connectionist Knowledge Processing Model with Structured Knowledge
     Representation
          Kazuyuki Nishimura, Yoshiaki Tsukamoto, Akira Namatame (National
          Defence Academy)

     Structural Meanings of Concepts and Their Learning 
          Nobuhiro Inuzuka, Naohiro Ishii (Nagoya Institute of Technology)

     Knowledge Representation by Using Position-Display-Map
          Tomomi Yamazaki. Hiroaki Kobayashi, Tadao Nakamura (Tohoku
          University)

     An Approach for Reasoning on Waveform Patterns
          Yoshitaka Fujiwara (Kitami Institute of Technology)

Artificial Intelligence Theory (1)

     Improvement of Geometric Theorem Proving Using Dependency Analysis of
     Algebraic Constraint
          Yasuo Nagai (Toshiba Corp.)

     On the Computational Complexity of Constraint Satisfaction Problems: Part
     1
          Seiichi Nishihara, Jiang-Hong Li (University of Tsukuba)

     On the Computational Complexity of Constraint Satisfaction Problems: Part
     2
          Jiang-Hong Li, Seiichi Nishihara (University of Tsukuba)

     An Automatic Algorithm Generation Method for Multi-Dimensional Resource
     Assignment Problems
          Masazumi Yoshikawa, Shinichi Wada (C&C Systems Research Labs., NEC
          Corporation)

     Constraint Maintenance System for Dynamic Constraint Satisfaction
     Problems
          Satoru Nonaka, Tsutomu Sugimoto, Hiroki Oohama (NTT Data
          Communications Systems Corp.)

     Constraint Relaxation Method for Constraint Satisfying Optimization
     Problems
          H. Hara, N. Yugami, H. Yoshida (Fujitsu Laboratories Ltd.)

     Implementation of Merge Method by Rete-network
          Shuji Ushida (NTT Data Communications Systems Corp.)
          Hideto Sazuka (Kurume Institute of Technology)

     Conflict Resolution Strategy Oriented Matching Algorithm (CREST)
          Seiji Sakaguchi, Hiroshi Koike, Hiroshi Tomita (Systems Development
          Laboratory, Hitachi, Ltd.)

     Dynamic Optimization of RETE-Network
          Yoshitaka Kuwata, Shuji Ushida (NTT Data Communications Systems
          Corp.)

Artificial Intelligence Theory (2)

     Fast Hypothetical Reasoning based on Partial Compilation of Knowledge-
     base
          Hiroaki Endo, Mitsuru Ishizuka (University of Tokyo)
          Saburo Tsuruta (Tokyo University of Mercantile Marine)

     Parallel ATMs based on Extended Justifications
          Tetsuya Iizuka, Yasuaki Nishitani (Gumma University)

     A Parallel Implementation of TMS by Randomized Algorithm
          Noboru Iwayama, Ken Satoh (Institute for New Generation Computer
          Technology)

     A Consideration of Truth Maintenance Concept and Theorem Proving
          Taku Harada, Fumio Mizoguchi (Science University of Tokyo)

     Axiom Generalization Rules in Nonmonitonic Logics based on the Rate
     Distortion Theorem
          Yoshikane Takahashi (NTT Communications and Information Processing
          Laboratories)

     Game Thoric Approach to Coopeations in DAI
          Gouichi Nakamura, Kouichirou Deguchi (University of Tokyo)

     Protocol for Cooperative Distributed Problem Solving
          Ken Hirata, Masaru Nakamori, Minoru Iuchi, Haruaki Yamazaki
          (Yamanashi University)

     Knowledge Representation Models on Cooperative Distributed Problem
     Solving
          Tsutomu Murata, Tomohiro Shibata, Masahiro Choki, Minoru Iuchi,
          Haruaki Yamazaki (Yamanashi University)

                                DATA PROCESSING

Multi-media Processing

     Structuring Graphical-Represented Concept and its Application
          Akiyasu Zen, Toyofumi Takanaka (ATR Communication Systems Research
          Laboratories)

     Drill Text Understanding in Cooperation with Picture Processing
          Tsutomu Endo, Kazuhiro Takaoka (Oita University)

     Time-based Browsing Method for Multimedia Scenario Presentation
          Hiroaki Harada, Ryuichi Ogawa (C&C Information Technology Research
          Laboratories, NEC Corporation)

     An Advanced Multimedia Document Architecture Specifying the Description
     of Temporal and Spatial Relationships between Media
          Tatsuo Sato, Takafumi Ichikawa, Joung-hoon Lim, Yutaka Matsushita
          (Faculty of Science and Technology, Keio University)

     Multimedia Document Interchange System
          Takeshi Yoneda, Yasue Hashimoto, Tomoyuki Yashiro, Yutaka Matsushita
          (Faculty of Science and Technology, Keio University)

     Outline of the Multimedia Authoring Tool
          Hitomi Baba, Fumio Honda, Shigemi hara, Hitoshi Matsumoto (Fujitsu
          Laboratories, Ltd.)
          Tetsuo Tamura (Fujitsu Ltd.)

     The Hyper Dictionary Hydra (1) - Database Constructing
          Hiroshi Naito, Jiro Nemoto, Shinji Yamashita, Yoichi Matsuyama,
          Koichi Masegi (Information Systems Research Center, Canon Inc.)

     The Hyper Dictionary Hydra (2) - Data Model
          Jiro Nemoto, Shinji Yamashita, Yoichi matsuyama, Hiroshi Naito,
          Koichi Masegi (Information Systems Research Center, Canon Inc.)

     The Gadget Structure of Hyper Navigator
          Masako Ohta, Ritsuko Nishikawa, Shinobu Hasebe, Takuro Kitayama (Oki
          Electric Industry Co., Ltd.)

     The Graph Gadget of Hyper Navigator
          Toshiyuki Okui, Ritsuko Nishikawa, Takuro Kitayama (Oki Electric
          Industry Co, Ltd.)

     An Overview of Sound Tool
          Akinori Ito, Hitomi Tsujiyama (Oki Software Kyushu Co., Ltd.)

     A Unified Format Conversion for Multimedia Information Networks
          Naomi Nakamura (Toyo University)

     Performance Evaluation of Multimedia Information Network
          Yoshitaka Shibata (Toyo University)

Japanese Input/Translation

     Design Philosophy of the Kana-Kanji Translation System Version 2 on
     OS/omicron
          Hideki Shimomura, Yukie Motomiya, Takako Sakai, Mitarou Namiki,
          Nobumasa Takahashi (Department of Computer Science, Faculty of
          Technology, Tokyo University of Agriculture and Technology)

     Design and Implementation of the Kana-Kanji Translation System Version 2
     on OS/omicron
          Yukie Motomiya, Hideki Shimomura, Takako Sakai, Mitarou Namiki,
          Nobumasa Takahashi (Department of Computer Science, Faculty of
          Technology, Tokyo University of Agriculture and Technology)

     Kana-kanji Translation Method Using Large Scale Dictionary - The Effect
     of Using Collocation
          Hiroshi Yamada, Yutaka Ohyama (C&C Systems Research Laboratories,
          NEC Corporation)

     A Probe into Kana-Kanji Translation Algorithm on Japanese Word Processors
          \takako Sakai, Yukie Motomiya, Hideki Shimomura, Mitarou Namiki,
          Nobumasa Takahashi (Tokyo University of Agriculture and Technology)

     Input of Japanese Character not using Kana-Kanji Transfer
          Takanori Shimooke 

     The Electronic Office Equipments for Users with Disabilities and their
     Accessibility
          Kiyoshi Yamasawa (Ehime University)

     Integrated Japanization Method for Different Programming Environments
          Masahiro Maeda, Masayuki Kurahashi, Yasumasa Moriya (System
          Technology Research Laboratory, Fuji Xerox Co., Ltd.)

     Japanese Input Method of OS/2
          Toshihiro Suzuki, Naoto Sato, Jun Furusawa (IBM Japan Ltd.)

     A Treatment of "renyou-tyuushi" Expressions in a Sentence Division
     Processing
          Eiji Takeishi, Yoshihiko Hayashi (NTT Communications and Information
          Processing Laboratories)

Document Processing (1)

     An Analysis of the Surface Features of Japanese Technical Text
          Tsuyoshi Toyofuku, Mitarou Namiki, Nobumasa Takahashi (Dep. of
          Computer Science, Faculty of Technology, Tokyo University of
          Agriculture and Technology)

     A Design of a Text Editor in the Computer Aided Japanese Document
     Preparation Environment
          Hiroshi Daikoku, Hideki Shimomura, Mitarou Namiki, Nobumasa
          Takahashi (Tokyo University of Agriculture and Technology)

     Evaluation and Extension of a DTP System Using Suggestive User Interface
          Mika Fukui, Koji Yamaguchi, Isamu Iwai (Toshiba Corporation)

     A Document Processing Language in the Document Integration Environment
     and Tools (DIET)
          Masaaki Nagashima, Tadashi Yamakawa (Information Systems Research
          Center, Canon Inc.)

     External Data Reference Notation in the Document Integration Environment
     and Tools (DLET)
          Takayuki Sasaki, Tadashi Yamakawa (Information Systems Research
          Center, Canon Inc.)

     Document Separating for Automatic Registration
          Hirotoshi Ise, Haruo Takeda, Tetsuo Machida (Systems Development
          Laboratory, Hitachi, Ltd.)
          Hidefumi Masuzaki (Odawara Works, Hitachi, Ltd.)

     Proposal of Range Search Engine for Text Search
          Takanori Shimura, Hisamitsu Kawaguchi, Kanji Kato, Atsushi
          Hatakeyama, Mituru Akizawa (Hitachi, Ltd.)

     An Implementation of a Mathematical Formula Editor: Xeed
          Osamu Udagawa, Masahiko Suzuki, Yoshimitsu Ebisawa, Shuji Tsukiyama
          (Chuo University)

Document Processing (2)

     Development of ODA Document Processing System - Implementation of Graphic
     Editor
          N. Kuwahara, R. Susami, Y. Wada (Electronic Information Laboratory,
          Sumitomo Electric Industrial Co., Ltd.)

     A Study of the Handling Tool for Graphic Editor
          Fumio Yamaguchi, Nobuhiko Yamagami (Toshiba Corp. Information and
          Communication Systems Laboratory)

     A Prototyping for Color TEX System
          Haruo Shimizu, Manabu Ohga, Osamu Yoshizaki (Information Systems
          Research Center, Canon Inc.)

     The Architecture of the JOSHO System Ver. 3
          Shigekazu Sasagawa, Jirou Terakawa, Atsushi Monna, Hideki Shimomura,
          Mitarou Namiki, Nobumasa Takahashi (Tokyo University of Agriculture
          and Technology)

     Development of a Presentation Document Preparation System
          Tooru Takahashi, Kei Yonezawa, Kunihiro Yanagi (Hitachi, Ltd.)
          Hajime Araki (Hitachi Microcomputer System, Ltd.)

     A Kanji Design System Using Object-Oriented Knowledge Base
          Yu Dong (Faculty of Engineering, The University of Tokyo)

     A Study on Evaluation Scales for Document Design Quality
          Tsuyoshi Tanaka, Masakazu Fujimoto, Tomomi Urushibara (Fuji Xerox
          Co., Ltd.)

     Placement of Open Characters on Texture Images
          Takemi Kimura, Kenji Shoji (Utsunomiya University)

--------------END OF REPORT  (BOOK 3)----------------------------------------

rick@cs.arizona.edu (Rick Schlichting) (05/08/91)

  [Dr. David Kahaner is a numerical analyst visiting Japan for two-years
   under the auspices of the Office of Naval Research-Asia (ONR/Asia).  
   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.]

From: David K. Kahaner ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp]
Re: Info Proc Soc of Japan, Semi-Annual Meeting, March 12-14, 1991 (Tokyo)
8 May 1991

ABSTRACT. Titles of papers presented at the semi-annual Info Proc Soc of
Japan meeting, March 12-14 1991. This report contains the titles and
authors in Book 4 of the Proceedings.


BOOK 4 (TOPICS)

Software
     Parallel/Distributed Processing
     High Performance Method
     Memory Control
     Evaluation/Debug
     Automatic Operation
     Information Retrieving/Data Structure
     Database Application
     Parallel/Distributed Database
     Database Designing and Implementation
     Multimedia Database
     Knowledge Base/IRDS

Dependability and Safety
     Security



      PROCEEDINGS OF ARTIFICIAL INTELLIGENCE AND RECOGNITION ENGINEERING
                               March 12-14 1991
                         Tokyo Engineering University

BOOK 4 (TITLES/AUTHORS)

                                   SOFTWARE

OS (Parallel/Dispersion Processing)

     Inter-processor Communication and Remote System Call on a Backplane
     Network
          Takehiko Shimojima, Keiichi Seki, Takashi Kojo (NEC Corporation)
          Yuuji Arino, Chiaki Yamana (NEC Microcomputer Technology, Ltd.)

     Compound Printer Server for Personal Computer and Workstation
          Yoshiaki Kobayashi, Shinji Takaoka, Hideo Ienaka (Toshiba Corp.)

     An Extensible Server for Distributed Systems
          Kazuhiro Kazama (NTT Software Laboratories)

     On the Distributed Operating System ISE and its Parallel Processing
     Language
          Yuji Miyagawa, Yoshikatsu Ohta, Michio Oyamaguchi (Faculty of
          Engineering, Mie University)

     An Environment of the Automatic Topology Mapping for Distributed Memory
     Multiprocessors
          Shogo Kojima, Hajime Iizuka (Seikei University)

     The Design of RPC Through Netowork for a Distributed Operating System ToM
          Toshio Okamoto (Toshiba Corporation)
          Takashi Sakuragawa (Kyoto University)
          Kazunori Horikiri (Fuji Xerox Co., Ltd.)
          Hisao Yamagishi (Victor Data Systems Co., Ltd.)

     An Execution Control for Distributed Processing Systems with Non-FIFO
     Communication
          Kazuaki Rokusawa (Oki Electric Co.)
          Reki Yamamoto, Hideo Kawai, Akira Imai (ICOT)
          Akihiko Nakase (Toshiba Laboratories)

     Stacking Objects in a Distributed Operating System
          Yasushi Shinjo, Yasushi Kiyoki (University of Tsukuba)

     A Design of the NFS on DIROS
          Hiroaki Usubuchi, Satoshi Hakomori, Hideo Taniguchi (NTT Data
          Communications Systems Corporation)


OS (High Performance Method)

     Co-scheduling Concurrent Processes with an Adaptive Lock
          Takeshi Miei, Naohisa Takahashi (NTT Software Laboratories)

     A Proposal of High Performance Control Method of Multiprocessors for
     Online Systms
          Kazuyoshi Negishi, Tetsuhiko Fujii, Shigeru Yoneda, Kazuhiro Sato
          (Hitachi, Ltd.)
          Nariaki Sumida (Hitachi Chubu Software, Ltd.)

     Parametric Analysis of Optimal Static Load Balancing
          Yongbinb Zhang, Hisao Kameda, Kentaro Shimizu (The University of
          Electro-Communications)

     A Decomposition Algorithm for Optimal Load Balancing in Tree Hierarchy
     Networks
          Jie Li, Hisao Kameda (University of Electro-Communications)

     Implementation of Interrupt Response Performance on Real-time OS
          Noriyoshi Ichinose, Norio Ohashi, Takehiko Shimojima, Takashi Kojo
          (NEC Corporation)

     Development of Real-time OS for Audio Compiler
          M. Tago (Japan Victor, Ltd.)

     Realization of Real-time System based on CTRON Interface Communication
     Control
          Hiroshi Kise, Hiroyuki Ikuta, Shooziroo Fushimi, Akio Takei
          (Software Works, Hitachi, Ltd.)
          Akira Yamamoto (Hitachi Software Engineering Co., Ltd.)

     Realization of Highly Real-time System based on CTRON Interface
     Specifications
          Yoshinori Saitoh, Akira Sekine (Software Works, Hitachi, Ltd.)
          Kenji Saitoh (Hitachi Software Engineering Co., Ltd.)
          Kenji Naiki (Hitachi Chubu Software, Ltd.)

     A Design of Light Weight Process
          Hideo Taniguchi, Satoshi Hakomori, Kazutoshi Yokoyama (NTT Data
          Communications Systems Corporation)

     Performance Evaluation of Light Weight Process wityh Access Sharing
          Kazutoshi Yokoyama, Satoshi Hakomori, Hideo Taniguchi (NTT Data
          Communications Systems Corporation)

     Parallel Processing Performance with Light Weight Process and
     Asynchronous System-call Function
          Satoshi Hakomori, Kazutoshi Yokoyama, Hideo Taniguchi (NTT Data
          Communications Systems Corporation)

OS (Memory Control)

     MOLDS:  Memory Organization for Linked Data Structures
          Hirotoshi Maegawa, Takenori Saneto (Telecommunication & Information
          Systems Research Laboratory, Sony Corporation)

     Dynamic Characteristics of the Memory Organization Scheme, MOLDS
          Takanori Saneto, Hirotoshi Maegawa (Telecommunication & Information
          Systems Research Laboratory, Sony Corporation)

     Preload Set Learnaing Control in Memory Hierarchy Systems and Its
     Application for Cached Disk Subsystems
          Akira Yamamoto, Hiroyuki Kitajima (Systems Development Laboratory,
          Hitachi, Ltd.)
          Shigeru Honma, Masafumi Nozawa (Odawara Works, Hitachi, Ltd.)
          Toshiaki Tuboi (Hitachi Microcomputer Systems, Ltd.)

     A Counter Method for Online Since/Incremental File Saving
          Isamu Takakuwa, Junichi Kondoh, Ryoya Mori, Masaharu Nozaki (Fuchu
          Works, Toshiba, Ltd.)
          Akihiro Taketoshi (Toshiba Information System, Ltd.)

     High Speed Access Method of the Disk Subsystem for Super-mini-computer
          Hiroyuki Kaneko, Junichi Kihara (Toshiba Corp.)

     Effective Use of External Storage by Using Optical Disk Device
          Hiroyuki Fukumoto, Eiji Morita (Fujitsu, Ltd.)

     Implementation of Optical Disk File System
          Hitoshi Suzuki, Eiji Ishibashi, Ryoya Mori, Masaharu Nozaki (Toshiba
          Corporation)
          Susumu Nagai (Toshiba Engineering Co., Ltd.)

     Simulation of Performance Evaluation for Cartridge MT Library System
          Ai Tanaka, Takashi Kobayashi, Kenzou Kurihara (Systems Development
          Laboratory, Hitachi, Ltd.)

     External Storage Layered by Magnetic Tape Library System
          Hideki Matsura, Isao Kitagawa (Fujitsu Aichi Engineering, Ltd.)

OS (Evaluation/Debugg)

     A Programming Design using Events Driven Structure for Presentaion
     Manager
          Kiyoshi Ikeda, Tomiya Nakano, Kenichi Abe (NTT Data Communications
          Systems Corporation)

     Job Management Support System
          Yoshitaka Masuda (Sumitomo Trust & Banking Co., Ltd.)

     Development of Automatic OS Test System OSTD II/AUTO
          Naoko Ikegaya, Yasufumi Yoshizawa, Hidenori Umeno, Shunji Tanaka,
          Taiji Hirotaka (Hitachi, Ltd.)

     A Debugging Environment for Operating Systems on a Hyper-OS
          Masaaki Shimizu, Mitarou Namiki, Nobumasa Takahashi (Dept. of
          Computer Science, Faculty of Technology, Tokyo University of
          Agriculture and Technology)

     OS Simulation Model for Performance Evaluation
          Takashi Omizo (Toshiba Corporation, R&D Center)

     Performance Evaluation of Multi Processor System by Simulator
          Tetsuhiko Fujii, Kazuyoshi Negishi, Shigeru Yoneda, Kenji Fukuta
          (Hitachi, Ltd.)
          Nariaki Sumida (Hitachi Chubu Software, Ltd.)

     Performance Valuation of a Burst Traffic Processing System
          Toshio Komatsu, Junro Nose (NTT Communications and Information
          Processing Laboratories)
          Youichi Nagatuka (NTC Co., Ltd.)

     OLTP Performance Prediction Tool: SMART
          Tomoko Matsuzawa, Naoki Ogawa, Takahide Ohkami, Tamotsu Noji
          (Mitsubishi Electric Corp.)

OS (Automatic Operation)

     Automatic Operation Support System by Personal Computer (V) - Console
     Operations with Multi-window Feature
          Atsushi Ueoka, Motohide Kokunishi, Toshio Hirosawa (Hitachi, Ltd.)

     Operating System SXO for Continuously Operable SURE SYSTEM 2000 (1) - An
     Overview
          Masahiro Date, Hiroshi Yoshida (Fujitsu Ltd.)

     Operating System SXO for Continuously Operable SURE SYSTEM 2000 (2) - The
     Architecture
          Yoshiya Eto, Miyako Kasuga, Kei Nakamura (Fujitsu Ltd.)

     Operating System SXO for Continuously Operable SURE SYSTEM 2000 (3) - The
     Methology to Realize Fault Tolerance
          Hiroyuki Suzuki, Hiroshi Yoshida, Tadaomi Kato (Fujitsu Ltd.)

     Operating System SXO for Continuously Operable SURE SYSTEM 2000 (4) - The
     Technique for Dynamic Maintenance
          Yukio Kawai, Takuya Kishino, Mitsuhiro Tamura (Fujitsu Ltd.)

     Operating System SXO for Continuously Operable SURE SYSTEM 2000 (5) - The
     Fault Tolerance of Communication Processing
          Masayuki Kasukawa (Fujitsu Ltd.)

     Operating System SXO for Continuously Operable SURE SYSTEM 2000 (6) -
     Capacity Expandability of Communication Processing
          Syuichi Hasegawa (Fujitsu Ltd.)

     Operating System SXO for Continuously Operable SURE SYSTEM 2000 (7) - The
     Technique for Remote Maintenance and Supervisory Service
          Masato Yamaguchi (Fujitsu Aichi Engineering Ltd.)

Information Retreaving/Data Structure

     Storage Structure for Extensible DBMS: COMMON
          Teruhisa Houchin (NTT Communications and Information Processing
          Laboratories)

     A Building of Knowledge Integrated Process Data Base (I)
          Masanori Tokuda (Research Institute of Mineral Dressing and
          Metallurgy, Tohoku university)
          Junichi Kudo, Shoichi Noguchi (Research Center for Applide
          Information Sciences, Tohoku University)

     Data Structure for Multi-Layer N-Dimensional Data Using Extended DZ-
     expression
          Yoshitomo Yaginuma, Masao Sakauchi (Institute of Industrial Science,
          Univcersity of Tokyo)

     An Information Retrieval Assistant System for Multiple Databases
          Akifumi Sekijima, Yasushi Kiyoki (University of Tsukuba)
          Hiroyuki Shimizu (Fuji Xerox Co., Ltd.)

     User Interface for CD-ROM Retriever
          Shigeru Suzuki, Shinobu Hasebe, Takuro Kitayama (Oki Electric
          Industry Co., Ltd.)

     An Image Retrieval Method based on Memory and Contents of an Image
          Hisashi Nagata, Kiyoshi Aiba, Yoichiro Matsumoto, Teruo Yokoyama,
          Yutaka Matsushita (Faculty of Science and Technology, Keio
          University)

     Retrieving Environment for Ambiguous Queries - Modeling and User
     Interface
          Tohru Honda, Toshiyuki Odaka  Takahiko Nomura, Naoto Ohki, Teruo
          Yokoyama, Yutaka Matsushita (Faculty of Science and Technology, Keio
          University)

     Retrieving Environment for Ambiguous Queries - LBG Algorithm for Fuzzy
     Data Retrieval
          Naoto Ohki (Faculty lf Science and Technology, Keio University)
          
     An Indexing Scheme for Extended Terms using SCW
          Tsutomu Tanaka, Yukihiro Morita (System Laboratory, Oki Electric
          Industry Co., Ltd.)

Database Application

     Dictionary Management for Distributed RDB Management System
          Noriyuki Iwai, Mitsunobu Tasaka, Masamichi Kato (System Development
          Lab., Hitachi)
          Azuma Yamashita (Hitachi Chubu Software)
          Koichi Kurosawa (Hitachi Nuclear Engineering)

     A Structure Editor for Pseudonatural Language Expressions Discribing
     Relational Database Queries
          Hirofumi Amano (Faculty of Engineering, Kyushu University)
          Yahiko Kambayashi (Faculty of Engineering, Kyoto University)

     Conversion Subquery to Join Form in RDB II
          Noboru Ohkuma, Nobuyuki Takebe (Fujitsu Kobe Engineering, Ltd.)

     Real World Database (3) Information Presentation
          Kazuo Ikeda, Shiusuke Kurashina, Makoto Ohashi (Tokyo Metropolitan
          Research Laboratory of Public Health)

     Integration of MS-DOS Worksheet Data under the UNIX DBMS
          Minako Kimura, Keiji Osaki (Kyushu Women's Junior College)

     Computerization of the College Library Work by WS-PC LAN system
          Keiji Osaki, Minako Kimura (Kyushu Women's Junior College)

     A Case Study on a Composite Object - A Comparison with the Relational
     Approach
          Yoshihisa Udagawa (Mitsubishi Electric Corp.)

     Architectural Layout Objects as Complex Object
          Kiyoshi Okamoto, Yoshihisa Udagawa (Mitsubishi Electric Corp.)

     Retrieval for Updates in Object-Oriented Databases
          Shinichi Konomi, Tetsuya Furukawa (Kyushu University)
          Yahiko Kambayashi (Kyoto University)

     History Update in Temporal Object-Oriented Database
          Mohamed El-Sharkawi (Faculty of Engineering, Kyushu University)
          Yahiko Kambayashi (Kyoto University)

     An Evaluation of the Method for Accessing Persistent Objects in
     Programming Language P3L
          Shinji Suzuki, Masaru Kitsuregawa, Mikio Takagi (Institute of
          Industrial Science, the Unversity of Tokyo)

Parallel/Dispersion Database

     On Processing Replicated Data in Vertically Distributed Databases
          Satoshi Takano, Kunitoshi Tsuruoka (NEC Corporation)

     Function of Remote AP for Distributed Access Service XDM/DF (Extensible
     Data Manager/Distributing Facility)
          Kazuhiro Katayama, Hiromichi Ishikawa (Hitachi Ltd.)
          Atsumi Kimura (Hitachi Seibu Software Co., Ltd.)

     Cooperating Multiple Autonomous Database Systems
          Masahiro Hasegawa, Makoto Takizawa (Tokyo Denki University)

     A Collaborative Work Environment based on Communication and Information
     Management
          Go Fujino, Norihiko Matsuura, Shinichi Hiraiwa, Hirohisa, Kikawa,
          Yutaka Matsushita (Keio University)

     A Database with Multi-layard Architecture Suitable for Concurrent
     Collaborative Work
          Koji Tsukada, Satoshi Ichimura, Norihiko Matsuura, Kenichi Okada,
          Yutaka Matsushita (Keio University)

     Deadlock Resolution in Parallel Execution of Nested Transactions
          Makoto Takizawa, Shinji Yasuzawa (Tokyo Denki University)

     Implementation and Evaluation of two Module SDC, the Super Database
     Computer
          S. Hirano, M. Nakamura, Y. Aiba, K. Suzuki, M. Kitsuregawa, M.
          Takagi (Institute of Industrial Science, University of Tokyo)

     A Synchronous Operation in an Omega Network with the Flat Bucket
     Distribution Mechanism for the Super Database Computer
          Y. Aida, S. Hirano, M. Kitsuregawa, M. Takagi (Institute of
          Industrial Science, University of Tokyo)

     The Bus Monitoring Tool for the SDC, the Super Database Computer
          M. Harada, K. Suzuki, S. Hirano, M. Kitsuregawa, M. Takagi (Insitute
          of Industrial Science, University of Tokyo)

Database Designing & Implementation
          
     On Extension of a Database Logical Design System SEED
          Kimitaka Miyao (Fuji Research Institute Corp.)
          Syunsuke Uemura (Tokyo Univ. of Agriculture and Technology)

     Modeling Tree Structures in CAD Databases Based on Algebric Specification
          N. Tsuchiya (Division of Scientific Studies, Univ. of Tsukuba)
          K. Yamaguchi, N. Ohbo, H. Kitagawa (Institute of Information
          Sciences and Electronics, Univ. of Tsukuba)

     Experimental Results of Data Compression by the Order Preserved Coding
          Nami Akiyama, Narao Nakatsu (Aichi University of Education)

     A Data Management Scheme for Integration of Version Control and Temporal
     Information Management
          Hajime Tanaka, Hiroyuki Kitagawa, Nobuo Ohbo, Isao Suzuki
          (University of Tsukuba)

     Incorporating the Persistent Caching Technique to the B+-tree - a Static
     Allocation Approach
          Masashi Takeuchi (Asahi Works, Hitachi Ltd.)
          Kazuhiko Kato, Takashi Masuda (Dept. of Information Science, Univ.
          of Tokyo)

     The Dynamic Extension of DC Buffer
          Yutaka Yamada (Fujitsu Ltd.)

     Implementation of Base System for Database Management System
          Hiroshi Hayata, Yasuhiko Kiuchi, Hirofumi Komatsubara, Naoto Sato
          (Fuji Xerox Co., Ltd. STDC)

     A Method in Database Cooperation Between Host and Workstation
          Takahiro Takenaka, Yoshikazu Yamaguchi, Yoshiko Maeda (Fujitsu Kobe
          Engineering, Ltd.)

     Using Different Types of DBMS's in Online Transction Processing
          Nobuyuki Miyao, Youchi Shibata, Hirozou Nakata, Kazuyoshi Nakamaru,
          Yoshio Matsuzaki, Hironobu Yoshida (NTT Data Communications Systems
          Corp.)

     Performance Evaluation of Parallel Processing of Join Operation on
     Symmetry S81
          S. Tsudaka, M. Nakano, M. Kitsuregawa, M. Takagi (Institute of
          Industrial Science, University of Tokyo)

     Message Recovering Methods for OLTP on Middle Range Computers
          Kouichi Kagawa, Hideaki Takimoto (Toshiba Corp.)
          Hideyuki Iijima (Nihon System Cor.)

     High Reliability Methods for OLTP on Middle Range Computers
          Atsuko Nishi, Masaharu Nozaki, Hideaki Takimoto, Muneki Iguchi
          (Toshiba Corp.)

Multimedia Database
 
     A Hyperdictionary of Japanese History using Multimedia
          Masami Kato, Yuki Chujoh, Yukihisa Iijima (Sophia University)

     A Hypertext Generation Assistant System
          Hongzhi Wang (Kyushu University)
          Yahiko Kambayashi (Kyoto University)

     Integration of Hypertext and Database with Correlation
          Zhong-qing Wang (Program in Engineering Science, Univ. of Tsukuba)
          Kazunori Yamaguchi, Hiroyuki Kitagawa, Nobuo Ohbo, Yuzuru Fujiwara
          (Institute of Information Science and Electronics, Univ. of Tsukuba)

     A Hypertext System with a Dynamic Link Generation Mechanism
          Yasushi Ogawa, Tetsuya Morita, Mitsuhisa Kanaya (Research and
          Development Center, RICOH Co., Ltd.)

     Design and Implementation of Music Library Database
          Keiko Kudo, S. Arai, T. Ishimaru, K. Kubota, K. Shindo, S. Hioki,
          S.Y. Chen, B.T. Mashumba, Y. Hagiwara, M. Nakamori, S. Uemura (Tokyo
          University of Agriculture and Technology)

     Image Database with Multi Acseptual Information
          Teruo Shimomura, Minako Hara (Fujitsu Oita Software Laboratories
          Limited)
          Kiyotaka Kinoshita (Fujitsu Limited)

     The Feature Extraction from Video Data
          Akihito Akutsu, Yoshinobu Tonomura, Yuji Ohba (NTT Human Interface
          Laboratories)

     An Extraction Method of Document Logical Structures by Analyzing Heading
     Marks
          Yoshihiro Shima, Masashi Koga, Tatsuya Murakami, Hiromichi Fujisawa
          (Central Research Laboratory, Hitachi, Ltd.)

Knowledge Base/IRDS

     Implementation of Set in Kapa DBMS
          Tsutomu Igarashi (Mitsubishi Electric Computer System (Tokyo Corp.))
          Atsushi Kanaegami (Mitsubishi Electric Corp.)
          Moto Kawamura (Institute for New Generation Computer Technology)

     A Management Method of Database Design Informations for Adapting to
     System Life Cycle
          Hiroki Machihara, Naritaka Okubo, Jun Sekine (Communication and
          Information Processing Lab., NTT)

     Level Parallelism and Self-reproducibility in ISO IRDS 
          Ryosuke Hotaka, Kazumasa Iwasaki (University of Tsukuba)

     Implementation and Evaluation of ISO IRDS1
          Kazumasa Iwasaki, Ryosuke Hotaka (University of Tsukuba)

     Supporting JDMF on IRDS1
          Hiroshi Noguchi (Ibaraki University)
          Kazumasa Iwasaki (University of Tsukuba)

     On Use of IRDS in Information Systems Analysis
          Ryo Sato (University of Tsukuba)

     On the Tool Integration by an IRDS
          Junichi Kobayashi (Oki Electric Industry, Co., Ltd.)

                           DEPENDABILITY AND SAFETY

Security

     A Digital Multi-Signature Scheme for Facsimile-mail Service
          Kiyoshi Tanaka, Yasuhiro Nakamura, Kineo Matsui (The National
          Defense Academy)

     Image Scrambling Scheme Employed an Orthogonal Transformation
          Noboru Naitoh (Shinshu University)

     Group Oriented Management and Distribution System of Encryption Key
          Yasusi Mutoh, Hidenori Nakamura, Yutaka Matsushita, Kenichi Okada
          (keio University)

     Implementation of Remote Conference System with Encryption and
     Authentification Functions
          Kazuyuki Takagi, Hidenori Nakamura, Tihiro Yonezawa, Kenichi Okada,
          Yutaka Matsushita (Keio University)

     The Quantitative Threat Evaluation Method for Building Intrusions based
     on Network Flow Model
          Akira Tsurushima, Takashi Hasegawa, Muneaki Saitoh (SECOM IS
          Laboratory, Artificial Intelligence Dept.)

--------------END OF REPORT  (BOOK 4)----------------------------------------

rick@cs.arizona.edu (Rick Schlichting) (05/08/91)

  [Dr. David Kahaner is a numerical analyst visiting Japan for two-years
   under the auspices of the Office of Naval Research-Asia (ONR/Asia).  
   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.]

From: David K. Kahaner ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp]
Re: Info Proc Soc of Japan, Semi-Annual Meeting, March 12-14, 1991 (Tokyo)
8 May 1991

ABSTRACT. Titles of papers presented at the semi-annual Info Proc Soc of
Japan meeting, March 12-14 1991. This report contains the titles and
authors in Book 5 of the Proceedings.


PROCEEDINGS OF 42ND INTERNATIONAL GENERAL MEETING

BOOK 5 (TOPICS)

Software
     Programming Environment
     User Interface
     Software Basic
     Object-Orientation
     Language Processing System
     Optimization
     Theoretical Language
     Parallel Processing

Software Engineering
     LOTOS Communication Soft (TITLES OMITTED)
     Requirements Analysis/Specification Description
     Software Development Control
     Test Debug
     Program Synthesis/Development Technology
     Human Interface
     Components/Reuse
     Graphical User Interface Development
     CASE
     Analysis Development Environment
     Software Processing



BOOK 5 (TITLES/AUTHORS)

                                   SOFTWARE

Programming Environment

     Despersion System Development Assisting Roots Based on MVC Model
          M. Yamamoto, T. Hara (Tokyo Institute of Technology)

     Programming Environment for Concurrent LISP
          Tetsuo Sakaguchi, Shigeo Sugimoto, Koichi Tabata (University of
          Library and Information Science)

     A Programming Environment for Concurrent Programming Language NCC/i
          Atsushi Kunimatsu, Tetsuro Kimura, Hideharu Amano (Keio University)

     GHC Deduction System
          Jiro Tanaka (Fujitsu Limited)
          Fumio Matono (Fujitsu Social Science Laboratory Limited)

     On Graphical User Interface for Cross Debugger
          Naoki Murayama, Sayuri Sutou, Takeshi Hiramatsu, Maki Takahashi,
          Takashi Kojo (NEC Corporation)
          Masayuki Iwamoto (NEC Microcomputer Technology, Ltd.)

     Trace Techniques for Debugging Parallel Program
          Kazunori Inoue, Takahiro Yakoh, Hideharu Amano, Yuichiro Anzai (Keio
          Univ.)

     Development of Parallel Inference Machine PIM/k (1) - Debugging Technique
     of KL1 System
          Kenji Oki, Hisashi Tanno (Toshiba Software Engineering Co., Ltd.)
          Hiroshi Sakai, Akihiko Nakase, Toshiaki Takewaki (Toshiba
          Corporation)

     Development of Parallel Inference Machine PIM/k (2) - Evaluation of its
     KL1 System
          Hisashi Tanno, Kenji Oki (Toshiba Software Engineering Co., Ltd.)
          Hiroshi Sakai, Akihiko Nakase, Toshiaki Takewaki (Toshiba
          Corporation)
                                                                           
     Real-time Processing System Analysis/Evaluation Tool
          Yoshikazu Ohsuga, Makoto Satoh, Shigeru Suzuki (NEC Scientific
          Information System Development, Ltd.)
          Takashi Kojo (NEC Corporation)

     Development of Program Analysis Tools on Common ESP
          Satoshi Matsuura, Noriaki Sanechika (AI Language Research Institute,
          Ltd.)
          Reiko Sasaki (Fuji Software Inc.)

User Interface

     A Design of the Integrated Shel of Visual and Textual Interface
          Yasushi Miyajima, Tsunehisa Kawamata, Tooru Komatsu, Mitarou Namiki,
          Nubumasa Takahashi (Tokyo University of Agriculture and Technology)

     Implementation of Completion Function Based on the Degree of Difference
          Shigeru Kawabe, Hironori Koyama (Tokyo Denki University)

     The Top-level Window of HyperDEBU: The Debugger for Fleng Programs
          Junichi Takemura, Hampei Koike, Hidehiko Tanaka (The University of
          Tokyo)

     Integration of Programming Environments with a Window Manager
          Kinichi Hayashi, Masataka Sassa (University of Tsukuba)

     A Migration-method of Local-window-system to X-window-system
          Kazumi Nakayama (NTT Data Communications System Corporation)

     Support Toolkit of X Window System Implemented by Common Lisp
          Hiotoshi Nishimura, Kazuto Hirai (Japan Information Processing
          Service Co., Ltd.)
          Yoshiro Ueda (ATR Interpreting Telephony Research Laboratories)

     Window Oriented Shee for Application Integration on X Window
          Tetsuyuki Takahama, Hisakazu Ogura, Masao Nakamura (Fukui
          University)
          Youichi Nakaya (Eiwa System Management Corp.)

     A Design of Display Interface Development Tool on OS/2 Presentation
     Manager
          Shigeru Kanda (Ome Works, Toshiba Corporation)
     
     Implementating Drama Performance in IntelligentPad
          Mina Akaishi, Yuzuru Tanaka (Hokkaido University)

     On Visual Constraint Programming
          Kazuhiro Machida (NEC Scientific Information System Development,
          Ltd.)
          Kyoji Kawagoe (NEC Corporation)
          Akira Aiba (ICOT)

     Multimedia Interface to the Prolog Programming through the HyperCard
     System
          Masahiro Shibuya (Hokkaido Institute of Technology)
          Yuzuru Tanaka (Hokkaido University)

     A System for Visualizing Parallel Algorithm Behavior
          Yutaka Kobayashi, Kazuhiro Sado, Nobuyuki Kanaya (Gumma University)

Basic Software

     Derivation of Invariant using Industive Proof
          Fumihiro Gotoh, Yasuaki Nishitani (Gumma University)

     Tabulation Recursion and Transformation of Term Rewriting System
          Yoshinori Tanaka (Nagoya University)

     Cover Set Induction Principle and a Study about Mechanical Support for
     Verifying Algebraic Specification
          Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki (Nagoya
          University)

     How to Transform Algebraic Specification into Logic Program
          Takeshi Hamaguchi, Masahiko Sakai, Kiyoshi Agusa (Nagoya University)

     An Algebraic Specification of a Reflective Language (Preliminary Version)
          Masahito Kurihara, Azuma Ohuchi (Hokkaido University)

     Specification Synthesis and Implementation Based on E-R Model and
     Constraint
          Masakazu Sato, Masaaki Hashimoto, Toyofumi Takenaka (ATR
          Communication Systems Research Laboratories)

     Abstract Interpretationb for Flat GHC Programs
          Kenji Horiuchi (Institute for New Generation Computer Technology)

     A Type Inference System for a Concurrent Logic Language
          Dongwook Shin (IIAS-SIS, Fujitsu Limited)

Object-Orientation

     Extended Features of C++ based Discrete Simulation Language CCDS
          Ichiro Koshida, Tomomi Yokokawa (Tokyo Engineering University)

     The Compiler of an Object-oriented Knowledge Base Management System
     Jasmine
          Masaaki Aoshima (Fujitsu Laboratories, Ltd.)

     Using COB Classes in Smalltalk Environment
          Fumihiko Kitayama (IBM Research, Tokyo Research Laboratory)

     Implementation of Volatile Objects in A"UM-90
          Koichi Konishi, Tsutomu Maruyama, Akihiko Konaga (NEC Corporation)
          Kaoru Yoshida, Takashi Chikayama (ICOT)

     PaiObject: A Parallel Object Oriented Language for PaiLisp
          Yasuki Iizuka, Takayasu Ito (Tohoku University)

     Structuring of Tuple Space in Linda Model
          Takahito Nozato, Akira Sugimoto, Shigeru Abe (Mitsubishi Electric
          Corp)

     Realization of GLOS
          T. Kageyama, Y. Kawatsu, N. Saji (NEC, Ltd)
          Y. Takahashi (NEC Microtechnology, Ltd.)

     Computation Model based on an Autonomous Decentralized Cooperative
     Concept: Kemari
          Hiroyuki Yano, Shoichi Noguchi (Research Center for Applied
          Information Sciences, Tohoku University)
          Hiroshi Takemiya (Hitachi tohoku Software)
          Hiroshi Nunokawa (Research Institute of Electrical Communication,
          Tohoku University)

     Cooperative Computation Model in an Autonomous Decentralized
     Environment - Method to Describe Cooperation: Cooperation Scope
          Hiroshi Takemiya (Hitachi Tohoku Software)
          Hiroyuki Yano, Syoichi Noguchi (Research Center for Applied
          Information Sciences, Hoku University)
          Hiroshi Nunokawa (Research Institute of Electrical Communication,
          Tohoku University)
          Norio Shiratori (Faculty of Engineering, Tohoku University)
          
     The Multiple Object Concept and its Implementation
          Seishi Tsukada, Toshiaki Sugimura (NTT Human Interface Laboratories)

     Media Operation Language "Monyoh" - Language Feature
          Shinobu Koizumi, Fie Kobayashi, Koichi Yamano (Systems Development
          Laboratory, Hitachi Ltd.)

     Media Operation Language "Monyoh" - Implementation
          Rie Kobayashi, Shinobu Koizumi, Koichi Yamano (Systems Development
          Laboratory, Hitachi Ltd.)

Language Processing System

     Overloading in Pattern Transformation for Extending C
          Taizo Kojima, Akira Sugimoto, Shigeru Abe (Mitsubishi Electic Corp.)

     Design and Implementation of Scanner Generator SGEN
          Yuko Yamaguchi, Ichiro Kyushima, Toshiaki Kohno (Systems Development
          Laboratory, Hitachi Ltd.)

     Generation Method for Delivery Lisp System
          Hiroyuki Sigiyama (NTT Human Interface Laboratories)

     Acceleration of Hook-variable Reference for Deep Binding
          Katsumi Kishida (NTT Human Interface Laboratories)

     Fixed-blocking Heap Management in PROLOG Implementation
          Mitsutoshi Nakamura, Shigeru Matsumoto (Hitachi Tohoku Software,
          Ltd.)
          Yooichi Takeuchi, Kousuke Sakoda (System Developing Laboratories,
          Hitachi Ltd.)

     Garbage-collection-free Coding on ELIS Common Lisp
          Toshiaki Sugimura, Katsumi Kishida (NTT Human Interface
          Laboratories)

     A Garbage Collection without Sweep Phase
          Masahiro Nakazawa, Yasuyuki Tauchi, Muneaki Saito (Artificial
          Intelligence department, SECOM Intelligent Systems Laboratory)

     An Appropriate Syntax Error Analysing based on Bottom-up Chart Parsing
          Hiroshi Kato, Masayuki Takeda, Kenzo Inoue (Science University of
          Tokyo)

     All Resident Library on the FORTRAN System
          Takanori Terada, Toshiaki Hirota, Yasuhiro Okayama (Fujitsu Ltd.)

     FORTRAN Language Processor based on Multi-target System Concept
          Minoru Tanaka, Akira Ohwada, Masayuki Goto (Fujitsu Ltd.)

Optimization

     A Program using VMAP macro and VMAP Function on the Vectorizing Lisp
     Compiler, and its Evaluation
          Kazutaka Kobayashi, Kazuhiro Abe, Hiroshi Yasui (Osaka University)

     An Algorithm for Minimizing the Data Transfer in Evaluating an Expression
     on a Distributee-memory Multiprocessor
          Hiroshi Ohta, Kousuke Sakoda (Hitachi Systems Development Lab)
          Tetsuo Saito, Toshiyuki Yamamoto (Hitachi Microcomputer Engineering
          Ltd.)
          Eiichiro Maeda (Hitachi Nuclear Engineering Co., Ltd.)

     A Vector Processing Method of Multiple Data with Sharing
          Yasusi Kanada (Hitachi, Ltd.)

     Loop Optimization for Superscalar Processors and its Instruction Level
     Parallelism
          Atsushi Inoue, Kenji Sirakawa (R&D Center, Toshiba Corp.)

     Register Allocation Technique based on Prior Splitting of Variables' Live
     Range
          Hitoshi Abe, Yasumasa Moriya (System Technology Research Labs., Fuji
          Xerox Co., Ltd.)

     Loop-unrolling in a Fortran Compiler
          Kohji Kobayashi (Fujitsu Shizuoka Engineering Ltd.)

     Hardware Dependence Optimization of FORTRAN
          Tadashi Nakahira, Kiyoshi Watanabe (Fujitsu Ltd.)

     APARC: ADETRAN Parallelizing Compiler
          Shigeru Kuroda (Matsushita Soft Research, Inc.)
          Koji Zaiki, Akiyoshi wakatani, Tadashi Okamoto, Hiroshi Kadota
          (Matsushita Electric Industrial Co., Ltd.)

Theoretical Language

     Constraint Evaluator in Quasar Prolog
          Kenichi Kakizaki (Kyushu Institute of Technology)

     Implementation of LTB on Common ESP
          Tetsuro Fujise, Satoshi Nishiyama, Yutaka Utashiro (AI Language
          Research Institute, Ltd.)

     Circuit Parts Retrieval Supporting System for Evaluation of CESP
          Toru Ogino (AI Language Research Institute, Ltd.)
          Yasuhiko Hirashima, Shozo Kondo (Mitsubishi Electric Co.)
          Haruhiko Aramaki (System Twenty One Inc.)

     Building Expert System on Common ESP - Prototyping "Kanpouyaku Shohou"
     System
          Yoshimasa Fujii (AI Language Research Institute, Ltd.)
          Mariko Suzuki (Toyo Information Systems Co., Ltd.)

     UNIX Consultation System by Object-oriented Programming Language CESP -
     Basic Architecture
          Kyouji Kawagoe (AI Language Research Institute, Ltd.)
          Keiko Miyashita, Jun Watanabe (NEC Microcomputer Technology, Ltd.)

     UNIX Consultation System by Object-oriented Programming Language CESP - 
     Implementation and Evaluation
          Kyouji Kawagoe (AI Language Research Institute, Ltd.)
          Keiko Miyashita, Jun Watanabe (NEC Microcomputer Technology, Ltd.)

     Multi Process Environment of Common ESP
          Tsuneko Hagiwara, Youchi Uchida, Osamu Nakazawa (AI Language
          Research Institute, Ltd.

     OR-Parallel Execution of Constraint Logic Programming
          Hiroyuki Kurumatani, Tadashi Hirose (Systems Dev. Lab., Hitachi
          Ltd.)

     Message-Oriented Parallel Implementation of GHC Programs: Overview
          Kazunori Ueda (Institute for New Generation Computer Technology)
          Masao Morita (Mitsubishi Research Institute)

     Message Oriented Parallel Implementation of GHC Programs: Preliminary
     Evaluation
          Masao Morita (Mitsubishi Research Institure)
          Kazunori Ueda (Institute for New Generation Computer Technology)

Parallel Processing

     An Implementation of Quicksort on Multi-Processor
          Yutaka Irie, Kazunori Matsumoto (Toshiba Corp.)

     Debugging Method for Parallel Programming Using Shared Dataspace Model
          Tatsuya Kawamoto, Kenzou Inoue (Science University of Tokyo)

     Evaluation of Goal Communication on Parallel Inference Machine PIM/i
          Eiji Kuno, Masatoshi Sato (Oki Electric Industry Co., Ltd.)

     An Implementation of SPLAN on nCUBE 2
          Shunsuke Okamoto, Hajime Iizuka (Department of Information Sciences,
          Seikei University)

     On the Distributed C Language Based on Remote Procedure Calls
          Takeo Murakami, Kazuhiko Kato, Takashi Masuda (Dept. of Information
          Science, University of Tokyo)

     LU Cecompositon with Arrays in Miranda
          Martin Santavy (Department of Computer Science and Communication
          Engineeriang, Kyushu University)

     Concurrent Programming in Dataflow-based Multi-agent System
          Takashi Tomokiyo, Shigeru Kusakabe, Rinichiro Taniguchi, Maskoto
          Amamiya (Graduate School of Engineering Sciences, Kyushu University)

     Implementation of Message-flow Agent Based on Data-flow Mechanism
          Shigeru Kusakabe, Takashi Tomokiyo, Rinichiro Taniguchi, Makoto
          Amamiya (Graduate School of Engineering Sciences, Kyushu University)

                             SOFTWARE ENGINEERING

Requirements Analysis/Specification Description

     Requirements Analysis Method by Reusing Word Specification Knowledge (I)
          T. Yasuda, A. Yamada, N. Imamura, K. Matsumura (Systems & Software
          Engineering Laboratory, Toshiba Corporation)

     Requirements Analysis Method by Reusing Word Specification Knowledge (II)
          T. Yasuda, A. Yamada, N. Imamura, K. Matsumura (Systems & Software
          Engineering Laboratory, Toshiba Corporation)

     An Interactive System of Acquiring Requirements Specification
          Toyoro Nogiwa, Yoshiyuki Kotani (Tokyo University of Agriculture and
          Technology)

     A Strategic Business Model Based on the Control Theory
          Eitarou Komatsu (Nippon Steel Information & Communication Systems
          Inc.)
          Kiyoshi Agusa (Nagoya University)

     A Prototype System for Supporting Hierarchically Construction of Data
     Flow Diagram
          Atsushi Kumamoto, Koji Ohno (Nihon Unisys, Ltd.)
          Tohru Kikuno, Koji Torii (Faculty of Engineering Science, Osaka)
          University)

     Specification Refinement by Cardimalities in Conceptual Model
          Kazuhisa Yokota, Masaki Hashimoto, Katsumi Okamoto, Kazumasa Sato,
          Toyofumi Takenaka (ATR Communication Systems Research Laboratories)

     Formal Specifications Expressed by Tree Structured Dyagrams
          Katsuhiko Ohba, Takao Kaneto (Shimadzu Corporation)

     On Flexibility of Some Kinds of Specification Description Methods
          Satoshi Endoh, Azuma Ohuchi (Hokkaido University)

     Rapid Prototyping with Executing Specification on Real System
          Hirofumi Kondoh, Koutaroh Yamashita, Hidenori Takeuchi, Isamu
          Miyagawa (Hitachi, Ltd.)

     Proposal of Visual Environment for Assembling Control Software Modules
          Yooichi Takeuchi, Tadashi Hirose, Akira Maeda, Motohisa Funabashi
          (Systems Development Laboratory, Hitachi, Ltd.)

     Designing User Interface for Some Application
          Shinichiroh katsuragi (NTT Software Engineering Laboratory)

Software Development Control

     A Study of Software Estimate
          Naohiko Murata, Mayumi Takeuchi (Toshiba Corporation)

     Software Quality Evaluation System ESQUT - Quality Evaluation of Software
     Specification
          Hideo Ogasawara, Masayuki Hirayama, Jiro Okayasu, Nobuhisa Munechika
          Tetsuji Fukaya, Yukihiro Mihara (Toshiba Corporation)

     A Method of Dynamic Software Configuration Management
          Yoshihiko Okada, Hajimu Iida, Katsuro Inoue, Koji Torii (Faculty of
          Engineering Science, Osaka University)

     A Management Model of Software with Object-oriented Method
          Takashi Naito, Kazuhiko Ishii, Yasuo Kato (NTT Software Engineering
          Laboratory)

     Realization of Source File Management for Software Conversion
          Yoshihiro Murayama (Mitsubishi Electric Computer System Co., Kansai)

     A Note on Portability Issues
          Tomosada Hayashi, Norikazu Iwata, Yoshiyuki Miyazaki (NTT
          Communications and Information Processing Laboratories)

     A Study of Implementation for AP Portability Check Tool
          Kenichi Hirano (NTT Communications and Information Processing
          laboratories)
          Ayako Komiya, Masakazu Ebisawa (NTT Software Corporation)

     A Pad Comparing Tool
          Masayo Tanahashi, Noboru Yamashita, Hidekatsu Hattori (Hitachi,
          Ltd.)

     Variation handling on Program Recognition
          Katsumi Hara, Kenji Kaijiri (Faculty of Engineering, Shinshu
          University)

Test Debugg

     Test Case Generation for Changed Software
          Nobutoshi Furuya, Akihiro Hanaoka, Yoshiaki Fukazawa, Toshio
          Kadokura (School of Science and Engineering, Waseda University)

     A Method of Generating Test Data Based on Specifications Modeled by
     State-transition Diagrams
          Jiro Okayasu, Masayuki Hirayama, Kouichi Kaji, Yukihiro Mihara
          (Systems & Software Engineering Laboratory, Toshiba Corporation)

     Extensions of the Testing Criterion using Gloval Veriable Data Flow for
     Concurrent Programs
          Koji Arimura, Zengo Furukawa, Kazuo Ushijima (Faculty of
          Engineering, Kyushu University)

     Extraction of the Sample from Program
          Takaaki Hiramatsu, Naohiro Ishii (Nagoya Institute of Technology)

     An Evaluation of Debugging Efficiency using Visual Debugger
          Kenji Takahashi, Takao Shimomura (NTT Software Laboratories)

     A Vsiaulizing Tool "Vickey" - (1)
          Itaru Ichikawa, Yuji Hotta (Fujitsu Laboratories, Ltd.)
          Tadamichi Suzuki, Takeshi Seike, Tsuneki Haizuka (Fujitsu Ltd.)

     A Visualization Tool "Vickey" - (2)
          Yuji Hotta, Itaru Ichikawa (Fujitsu Laboratories, Ltd.)
          Tadamichi Suzuki, Takeshi Seike, Tsuneki Haizuka (Fujitsu Ltd.)

     On a Generation of Code for Monitoring the Execution of Program
          Hideki Itoh, Kiminori Utsunomiya, Yuzuru Fujiwara (University of
          Tsukuba)

     Program Development Tools of New ELIS System
          Hisayasu Takada, Koji Tsurumaki (NTT Human Interface Laboratories)

     The Usage of Profile in Parallel Machine PIM/i
          Yuichi Yoshida, Masatosi Sato (Oki Electric Industry Co., Ltd.)

     Debigging of Distributed Control System: Checking the Event History using
     Behabior Specification
          (Kenji Hirai, Akira Sugimoto, Shigeru Abe (Mitsubishi Electric
          Corp.)

Program Synthesis/Development Technology

     A Method of Program Synthesis for Programs in a Procedual Language
          Shuichi Yamaguchi, Masaaki Sato (Software Technology Center,
          Information-technology Promotion Agency, Japan)

     Automatic Program Generation System by Prolog
          Fujio Nishida (Fukui Institute of Technology)
          Shinobu Takamatsu (University of Osaka Prefecture)

     The Development of Automation Systems of Generating Parameters for Online
     Control Programs
          Hiroshi Mizuno, Noriyuki Ohkouchi, Tuyoshi Ochi (Hitachi Chubu
          Software, Ltd.)

     A Method of Iterative Plan Recognition from User's Command Sequences
          Makoto Motoki, Rei Hamakawa (C&C Systems Research Labs., NEC
          Corporation)

     Realization of One System Concept for Application Control System of
     Dispersing System
          N. Mori (Fujitsu Ltd.)

     Standardization of COBOL Application Development Method - An Evaluation
     of the HCP Chart Compiler - CODA
          K. Kobayashi, S. Nagaoka, T. Ikenomoto (Kansai International
          Information System Development Center, NTT Corporation)

     Prolog Programming Based on Extended TS Charts
          Mendjamin Sinaga, Shigeyuki Ohara, Masamori Iida (Tokai University)

     Entaku (RoundTable): Objectbase Based on Relational Database
          Takehiro Yokoyama (Sony Corp.)

     A Method of OS/2 Device Driver Development with C Language
          Hiroko Iwamoto (NTT Data Communications Systems Corporation)

Human Interface

     "Trouble Models" for Usability Testing
          Toshiyuki Asahi (C&C Systems Research Laboratories, NEC Corp.)

     A Case Study on Manual Structure and Compositon for User Interface
          Eriko Kouda, Toshio Souya, Masaki Nakagawa (Department of Computer
          Science, Faculty of Technology, Tokyo University of Agriculture and
          Technology)

     A Window System with Leafing Through Function: Book Window
          Kaoru Kinoshita, Kyoichi Arai, Takashi Satoh, Kenichi Okada, Yutaka
          Matsushita (Keio University)

     Intelligent Interface for Home VTR
          Hidemi Tomitsuka, Yasuhiro Chigusa, George Fukuda, Asako Tamura
          (Telecommunication & Information Systems Research Laboratories, Sony
          Corporation)

     Visual Software Agent by Using Parallel Processing for High Human
     Interface Technology
          Osamu Hasegawa, Wiwat Wongwarawipat, Lee Chil-Woo, Hiroshi Dohi,
          Mitsuru Ishizuka (Institute of Industrial Science, University of
          Tokyo)

     Metaphor Network - Network Service on a Heterogeneous Distributed System
     Based on City Metaphor
          Hiroshi Nunokawa (Research Institute of Electrical Communication,
          Tohoku University)
          Nobuhisa Miyake, Shoichi Noguchi (Research Center for Applied
          Information Sciences, Tohoku University)

     Postal Serviceon the Metaphor Network
          Hiroshi Nunokawa (Research Institute of Electrical Communication,
          Tohoku University)
          Makoto Ito, Nobuhisa Miyake, Shoichi Noguchi (Research Center for
          Applied Information Sciences, Tohoku University)

     Hot-Card: A Card-style Electronic Library System
          Kazuhito Kojima, Mika Sato, Mitsumasa Miyazawa, Teruo Yokoyama,
          Yutaka Matsushita (Keio University)

     A Study of Shape Processing Environment Using TM-metaware
          Michio Miwa, Miwa Fukino, Masao Kato (Tokyo Information and
          Communications Research Laboratory, Matsushita Electric Industrial
          Co., Ltd.)

Components/Reuse

     Software Modification Support Method with Design Information
          Yoko Shimizu, Takumi Kusanagi, Toshiyuki Obi, Koichi Kaji (System &
          Software Engineering laboratory, Toshiba Corporation)

     Hierachical and Safe Type Management System for Persistent Data
          Takuzi Suzuki, Mitsuo Kobayashi (University of Electro-
          communications)

     Intelligent Programming Support Environments Based on Data-flow Model
          Kazuhiro Katsuki, Toyohiko Hirota, Torao Yanaru (Kyushu Institute of
          Technology)

     Improving Productivity by Reusing Logic Components
          Ieaki Nabeshima (Fujitsu Ltd.)

     A Study of Applying the Software Productivity Improvement Tool
          Daisuke Adachi (Fujitsu Ltd.)

     A Planning Method of SIS using User's Software Resources
          Yukimasa Takimoto (Fujitsu Ltd.)

     Software Development Environments based on Program Synthesis
          Kazuo Ogimoto, Tetsushi Okuyama, Nobuhiko Nishi, Katsuhiko Ohba,
          Takao Kaneto (Shimadzu Corporation)

     Software Understanding Support System for Automatic Programming
     Environment
          Ken Mabuchi (Faculty of Engineering, Nagoya University)

GUI Development

     Constraint-oriented Graphics using Constraint Logic Programming
          Daisuke Asao, Hayato Ohwada, Fumio Mizoguchi (Science University of
          Tokyo)

     The Graphical User Interface Development Environment of Hyper Auk
          Shigeru Fujimura, Shoji Tomita, Shuji Kuwahara (Yokogawa Electric
          Corporation)

     The Remote Window System Part I: Purpose and Overview
          Masanobu Hamano, Hiroshi Saito, Tetsuro Kumamoto (Fujitsu Ltd.)

     The Remote Window System Part 2: The Method of Server
          Takashi Ikero, Mitsuru Ohmori, Shigeru Ohmori, Katsuhiko Maehara,
          Takashi Yamamoto, Toru Ohashi (Fujitsu Shigeoka Engineering Ltd.)

     The Remote Window System Part 3: Client Controller
          Fujimasu Sugiyama, Tsneo Sato, Shigeru Chiba, Toshifumi Kogure
          (Fujitsu Ltd.)

     The Remote Window System Part 4: Communication Protocol
          Tasuku Oosone, Junya Murata, Hirotoshi Okushiro (Fujitsu Ltd.)

     The Remote Window System Part 5: A Method of Input Control in Multiwindow
     System
          Takanori Kojima (Fujitsu Shizuoka Engineering Ltd.)

     The Remote Window System Part 6: Application Interface
          Shinobu Kutsuki, Ichirou Hotta, Takanobu Fujimoto (Fujitsu Ltd.)

     UI Design Tool for Generic Terminals: U-face
          Tomonari Kanba, Osamu Iseki (C&C Systems Research Laboratories, NEC
          Corp.)

     UI Design Tool: U-face - UI Evaluation
          Tomonari Kanba, Toshiyuki Asahi, Osamu Iseki, Mami Itoh (C&C Systems
          Research laboratories, NEC Corp.)

CASE

     An Approach for Integration of CASE Tools (1)
          Hiroaki Abe, Yasuhiro Sakamoto, Yukiko Takahashi, Yoshio Nishiyama
          (Fujitsu Ltd.)
          Itaru Fukao (Fujitsu Hokkaido Communication Systems Ltd.)

     An Approach for Integration of CASE Tools (2)
          Yasuhiro Sakamoto, Yukiko Takahashi, Yoshio Nishiyama (Fujitsu Ltd.)
          Hiroaki Abe, Itaru Fukao (Fujitsu Hokkaido Communication Systems
          Ltd.)


     Speedup of Program-Development by Immediate Execution of High-Level
     Language programs
          Takaya Arita, Masahiro Sowa (Nagoya Institute of Technology)

     Design of a Development System for graph Based Computation Models -
     Automatic Generation of Model Transformation System
          Eiji Moriya, Tomohito Eguchi, Tomoyuki Nakashima, Toshimitsu
          Inomata, Katsuaki Onogi, Yoshiyuki Nishimura (Toyohashi University
          of Technology)

     Visual Software Development Environment vie (1): Concept
          Tomoya Ogawa, Reiko Yamamoto, Yuko Nakayama, Itaru Ichikawa (Fujitsu
          Laboratories)

     Visual Software Development Environment vie (2): Conspectus of Animation
     Manual
          Reiko Yamamoto, Tomoya Ogawa, Yuko Nakayama, Itaru Ichikawa (Fujitsu
          Laboratories, Ltd.)

     Visual Software Development Environment vie (3): Application of Animation
     Manual
          Yuko Nakayama, Tomoya Ogawa, Reiko Yamamoto, Itaru Ichikawa (Fujitsu
          Laboratories, Ltd.)

     Development Support Tool for Applications which apply Graph Structure
          Chan Soo Son (Manufacturing Engineering Research laboratory, Fuji
          Xerox Co. Ltd.)

     Introduction of the Automatic Translator System for Users Manual
     "Document System"
          Hiromi Kobayashi (NEC Corporation)
          Masato Shima, Yasufumi Hironaka, Kyoto Ueki (NEC Telecom System,
          Ltd.)

     Overview of the TENSE Object Management System
          Kenji Nishioka, Taeko Watanabe (Yokogawa Electric Corporation)

     Customizing of the TENSE Object Management System
          Taeko Watanabe, Kenji Nishioka (Yokogawa Electric Corporation)

     A Development of Sub-Database for Integrated Programming Environment
          Katsuhisa Hamazaki, Akitomo Yamada, Shigeru Kobayashi (Toshiba
          Corp.)

Analysis Development Environment

     Collaboration Environment for Software Distributed Concurrent Development
          Katsuya Takahashi, Yukio Kiyokane (Fujitsu Ltd.)
          Minoru Takimoto, Masami Nakamura (Fujitsu Hokkaido Communication
          Systems Ltd.)

     Distributed Development Supports for Remote Systems
          Tatsuya Takahashi (Fujitsu Kobe Engineering, Ltd.)

     A Study of Management of Software Development on Remote and Distributed
     Environment
          Kenzo Suzuki, Mutsuo Muramatsu, Yuji Yamamoto, Sadatoshi Koshihara
          (Fujitsu Facom Information Processing Corporation)

     A Study of Management of Software Development on Remote and Distributed
     Environment
          Noboru Arai, Masayuki Chishima, nobuhiko Kawano, Koji Mochizuki
          (Fujitsu Facom Information Processing Corporation)

     The Operation of Virtual Machine on Personal Terminal
          Okumiya Kazuaki, Tatsuo Obara, Shinji IIo (Fujitsu Aichi
          Engineering, Ltd.)

     Distributed 4th Generation language System EAGLE/4gl
          Matsuki Yoshino, Keiko Taniguchi, Isao Nishiyama (Hitachi, Ltd.)

     An Approach for Implementing Environment with Laptop EWS
          Kennichi Mizoguchi, Mayumi Arai, Nobuhiro Kobayashi (Toshiba
          Corporation)
          Kaoru Kagaya (Toshiba Factory Automation Systems Engineering
          Corporation)

     Problems and Solutions for using Networks in Software Development
     Environment
          Hiroshi Naganuma, Nobuhiro Kobayashi (Toshiba Corporation)
          Kaoru Kagaya (Toshiba Factory automation Systems Engineering
          Corporation)

     A Load Balancing program for Software Development Environment
          Toshitsugu Futagami, Fumiaki Miura (NTT Software Laboratories)

Software Process

     Realization of Software Descriptive process by Using Intentional Template
          T. Moriya, H. Murao, H. Enomoto (Shibaura Institute of Technology)

     The Roles of Formal Specification in the System Design Process
          Tim Gleeson, Toyofumi Takenaka (ATR Communication System Research
          Laboratories)

     Realization of Composite-relationship Views for Cooperative Design
     Database Systems
          Haiyan Xu (Fukuoka Institute of Technology)
          Yahiko Kambayashi (Kyoto University)

     Standardization of Software Development Process using QC-operations Sheet
          Motonobu Sasaki, Kazumi Iida, Daiki Abe, Hajime Imaisumi (Mitsubishi
          Electric Mechatronics Software Corporation)

     Software Design and Maintenance Support using Design History
          Masaki Hamada, Toyofumi Takenaka (ATR Communication Systems Research
          Laboratories)

     Development of the Education Tool using Software Process for the Young
     Systems Engineers (part 2)
          Sumio Mochizuki, Akira Yamauchi, Masaichi Suzuki (Mitsubishi Space
          Software Co.)
          Takuya Katayama (Tokyo Institute of Technology)
          Seiichirou Siomi (Nippon Advanced Technology Co.)

     Analysis and Evaluation of Software Process (part 2)
          Sumio Mochizuki, Akira Yamauchi, Hideaki Ichimura, Masaichi Suzuki
          (Mitsubishi Space Software Co.)
          Takahiro Yoshino, Seiichirou Siomi (Nippon Advanced Technology Co)
          Takuya Katayama, Masato Suzuki (Tokyo Institute of Technology)

--------------END OF REPORT  (BOOK 5)----------------------------------------

rick@cs.arizona.edu (Rick Schlichting) (05/08/91)

  [Dr. David Kahaner is a numerical analyst visiting Japan for two-years
   under the auspices of the Office of Naval Research-Asia (ONR/Asia).  
   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.]

From: David K. Kahaner ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp]
Re: Info Proc Soc of Japan, Semi-Annual Meeting, March 12-14, 1991 (Tokyo)
8 May 1991

ABSTRACT. Titles of papers presented at the semi-annual Info Proc Soc of
Japan meeting, March 12-14 1991. This report contains the titles and
authors in Book 6 of the Proceedings.


BOOK 6 (TOPICS)

Hardware
     Parallel Architecture (1)
     Parallel Inference Machine
     Parallel Architecture (2)
     Parallel Processing
     Computer Architecture (1) (2)
     Workstation
     Hardware Description Language/Theory Composition
     Function/Theory Design Method
     Circuit/Theory Simulation
     Theory Design Verification/Fault Diagnosis
     Layout Design Support
     Automatic Placement/Routing
     Commonly-used Computer

System
     Office System
     CAI User Interface
     Decentralized System
     CAD
     CIM


PROCEEDINGS OF 42ND INTERNATIONAL GENERAL MEETING


BOOK 6 (TITLES/AUTHORS)

                                   HARDWARE

Parallel Architecture (1)

     Message-flow: A New Computation Model for MIMD-type Parallel Machines
          Hiroaki Fujii, Kiyoshi Shibayama (Kyoto University)

     On Parallel Architecture for Hard Real-time Applications
          Kenji Nishida, Shuichi Sakai, Kei Hiraki, Kenji Toda, Yoshinobu
          Uchibori, Toshio Shimada (Electrotechnical Laboratory)

     Parallel Computer Architecture for Term Rewriting Systems
          Jun Kamada (Nagoya University)

     B-Net of Highly Parallel Processor AP-1000: Architecture & Evaluation
          Sadayuki Kato, Hiroaki Ishihata, Toshiyuki Shimizu, Takeshi Horie
          (Fujitsu Laboratories, Ltd.)

     Past Sharing Data on Tightly Coupled Multiprocessor and its
     Implementation with Addressing Mode
          Hiroshi Hoshino, Hiroshi Kitano, Toshihiro Suzuki, Masaki Tomisawa,
          Satoshi Igarashi, Oichi Atoda, Nobuo Saito (Tokyo University of
          Agriculture and Technology)

     Exceptions and Protections Mechanism for Tightly Coupled Multiprocessor
          Hitoshi Tamura, Masaki Tomisawa, Satoshi Igarashi, Oichi Atoda,
          Nobuo Saito (Department of Computer Science, Faculty of Technology,
          Tokyo University of Agriculture and Technology)

     Simulation for Various Implementation of base-m n-cube Network
          Yasushi Kawakura, Noboru Tanabe, Takashi Suzuoka (Toshiba Research
          and Development Center)

     Simulator for a Parallel Object-oriented Total Architecture A-NET
          Masahiro Hamada, Tsutomu Yoshinaga, Takanobu Baba (Utsunomiya
          University)

     Performance Estimation of the Data Parallel Computing Model by Livermore
     Loops
          Eiichiro Maeda (Hitachi Nuclear Engineering Co., Ltd.)
          Kousuke Sakoda, Hiroshi Ohta (Hitachi Ltd.)
          Tetsuo Saito, Toshiyuki Yamamoto (Hitachi Microcomputer Engineering
          Ltd.)

Parallel Inference Machine

     On Scheduling and Load Distribution of the Parallel Processing Management
     Kernel of PIE64
          Yasuo Hidaka, Hampei Koike, Hidehiko Tanaka (Faculty of Engineering,
          University of Tokyo)

     Extended Dereference Mechanism for PIE64
          Takeshi Shimizu, Hanpei Koike, Hidehiko Tanaka (The University of
          Tokyo)

     The Inference Processor UNIRED II: Performance Evaluation Using
     Simulation
          Kentaro Shimada, Hanpei Koike, Hidehiko Tanaka (Faculty of
          Engineering, University of Tokyo)

     Performance Evaluation of PIM/m Front End Processor
          Minoru Saeki, Hiroshi Nakashima, Hirokazu Tateno, Morihiro Ikeda,
          Ryuji Tajima (Mitsubishi Electric Corporation)

     Garbage Collector of PIM/m Front-end Processor
          H. Tateno, K. Takahashi, M. Ikeda (Mitsubishi Electric Co., Ltd.)
          Y. Kawada (SET)

     KL1 System on the Intercluster Shared Memory
          Hiroshi Sakai, Akihiko Nakase, Toshiaki Takewaki (Toshiba
          Corporation)

     Measurements of Instruction Set Usage of the Processing Element of
     Parallel Inference Machine PIM/i
          Koichi Takeda, Masatoshi Sato, Teruhiko Oohara (Oki Electric
          Industry Co., Ltd.)

     Evaluation of Tagged Architecture on Parallel Inference Machine PIM/i
          Kenji Kato, Masatoshi Sato, Koichi Takeda, Teruhiko Oohara (Oki
          Electric Industry Co, Ltd.)

     Evaluation of the Parallel Inference Machine PIM/i Memory System -
     Parallel Cache
          Teruhiko Oohara, Koichi Takeda (Oki Electric Industry Co., Ltd.)
          Masaki Sato (ICOT)

     Branch Behavior in Parallel Inference Machine PIM/i
          Masatoshi Sato, Koichi Takeda, Teruhiko Oohara (Oki Electric
          Industry Co., Ltd.)

     Parallel Inference Machine PIM/c - Development of PIM/c Firmware
          Takayuki Nakagawa, Machiko Asaie, Mamoru Sugie (Hitachi Ltd.)
          Shigeru Hayaki (Hitachi Microcomputer System Ltd.)
          Hiroyuki Imanishi (Human Systems Inc.)

     Parallel Inference Machine PIMN/c - Automatic Generation of Micro
     Instruction Address to Make Branch Cost to Zero
          (Hiroyuki Imanishi, Ryo Sakuma, Jyouichi Ojima (Human Systems Inc.)
          Shigeru Hayaki (Hitachi Microcomputer System Ltd.)
          Takayuki Nakagawa, Mamoru Sugie (Hitachi Ltd.)

Parallel Architecture (2)

     Stream Data Processing on Massively Parallel Image Processor AMP
          Hiroshi Tomiyasu, Noriyasu Yamamoto, Naoyuki Turuta, Rinichiro
          Taniguchi, Makoto Amamiya (Graduate School of Engineering Science,
          Kyushu University)

     Evaluation of Dynamic Function Distributions in the EM-4
          Yuetsu Kodama, Shuichi Sakai, Yoshinori Yamaguchi (Electrotechnical
          Laboratory)

     Adaptive Optimization Methods on the EM-4
          Shuichi Sakai, Yuetsu Kodama, Yoshinori Yamaguchi (Electrotechnical
          Laboratory)

     VLIW Computer KIDOCH with 5 Port Register Files
          Masato Abe (Computer Center, Tohoku University)
          Keniti Kido (Chiba Institute of Technology)

     All-to-all Communication Network Controlled by Local Intelligence
          Yasuo Noguchi, Riichirou Take, Haruo Yokota (Fujitsu Laboratories
          Ltd.)

     A Processor Element LSI for Data Driven Computer "EDDEN"
          Hiroki Miura, Hideki Ohashi, Masahisa Shimizu (Sanyo Electric Co.,
          Ltd.)

     Overview of Systolic Array for Image Processing
          Tetsuo Nakazawa, Makoto Odajima, Atsushi Kawai (Oki Electric
          Industry Co, Ltd.)

     A Contention-Free Multiport Frame Buffer for Multicomputer Systems
          Satoshi Nishimura, Ryo Mukai, Tosiyasu L. Kuni (Department of
          Information Science, Faculty of Science, The University of Tokyo)

     An Example of the Cache Prefetch Control for a Tightly Coupled Multi-
     Processor System
          Noboru Yamamoto (Faculty of Engineering, Mihon University)

Parallel Processing

     A Parallel Execution Scheme of Conditional Branches and its Evaluation
     for the Parallel Processing System - Harray
          Hayato Yamana, Toshiaki Yasue, Jun Kohdate, Yoichi Muraoka (Waseda
          University)

     A Control Scheme of Processing Elements for the Parallel Processing
     System - Harray
          Kazuaki Ishizaki, Yoshihiko Ishii, Takeshi Hagimoto, Hayato Yamana,
          Yoichi Muraoka (Waseda University)

     Optimizing Multiprocessor Scheduling Algorithm Considering Inter-
     processor Data Transfer
          Keisuke Itoh, Sho Miyagawa, Hironori Kasahara (Waseda University)

     Data-reploading and Data-poststoring Algorithm for Hierachial Memory
     Multiprocessor System
          Kazunori Fujiwara Hironori Kasawara (Waseda University)
          Kensuke Shiratori (NTT DATA Communications Systems Corporation)
          Makoto Suzuki (Mitsubishi Heavy Industries, Ltd.)

     Performance Evaluation of Static Scheduling Method "CP-DTSP" Resistive to
     Dynamic Fluctuation of Execution Timing
          Hiromitsu Takagi, Takaya Arita, Masahiro Sowa (Nagoya Institute of
          Technology)

     Nonlinear MHD Plasma Simulator on Cenju
          Satoshi Matsushita (NEC Corporation)
          Masaru Narusawa (NEC Scientific Information System Development Ltd.)
          Genichi Kurita, Toshihide Tsunematsu, Tatsuoki Takeda, Nobuhiko
          Koike (Japan Atomic Energy Research Institute)

     Evaluation of Finite Element Analysis on the Parallel Simulation machine
     Cenju - Parallel Calculation of Stiffness Matrix
          Yasushi Kanoh, Toshiyuki Nakata, Nobuhiko Koike (C&C Systems
          Research Laboratories, NEC Corporation
          Hidehito Okumura, Kunihiko Ohtake, Takashi Nakamura, Masahiro Fukuda
          (National Aerospace Laboratory)

     Parallel Processing of Fortran Subroutines on OSCAR
          Akiyoshi Mogi, Hiroki Honda, Hironori Kasahara (Dept. of Electrical
          Engineering, Waseda University)

     A Hierarchical Macro-dataflow Computation of Fortran Program on OSCAR
          Akio Ogura, Kento Aida, Hiroki Honda, Hironori Kasahara, Seinosuke
          Narita (Waseda University)

     A Parallel Processing Scheme for the Cellular Neural Network Simulation
     on OSCAR
          Akihiro Yoshioka, Chunchen Lin, Hironori Kasahara, Seinosuke Narita,
          (Waseda University)
          L.O. Chua (University of California, Berkeley)

     A Parallel Processing of the Layered-Neural-Network Learning Calculation
     on OSCAR
          Haruhiko Iida, Hideo Wakada, Hironori Kasahara (Waseda University)
          Keiichi Nakano (Olympus Optical Co., Ltd.)

     Debugging System for OSCAR
          Kazufumi Takizawa, Hironori Kasahara, Seinosuke Narita (Waseda
          University)

Computer Architecture (1)

     The Evaluation of 3-D Integrated Circuit Technology by Studying the
     Layout of FFT Circuits
          Yasuhiko Ichijo, Takakazu Kurokawa (Department of Computer Science,
          The National Defense Academy)

     A Parallel Processing Suitable to Three Dimentional Circuit
          Hideo Ohhigashi (Electrotechnical Laboratory)

     A Trial on Performance Evaluation of Asynchronous Processors
          Yoichiro Ueno, Narihito Kon, Takashi Nanya (Faculty of Engineering,
          Tokyo Institute of Technology)

     Optically Connected Multi-Read/White Memory
          Takashi Takemoto, Hideharu Amano (Keio University)

     A Study of an Evaluation Method for Bus Spilit Architecture
          Kazunori Takahashi, Hiroshi Kamiyama, Masashi Deguchi (Kansai
          Information and Communications Research laboratory, Matsushita
          Electric Industrial Co., Ltd.)

     Hardware Development of the ELIS-VME Board
          Katsumi Shibuya, Kazuichirou Kodaira (Ohkura Electric Co., Ltd)
          Tatsuo Suzuki (NTT Intelligent Technology Co., Ltd.)

     Management for the ELIS-VME Board
          Kazuichirou KODAIRA, Katsumi Shibuya (Ohkura Electric Co., Ltd.)
          Tatsuo Suzuki (NTT Intelligent Technology Co., Ltd.)

     Development of ELIS Board for PC
          Hiromasa Kawamura (NTT Human Interface Laboratories)

     Application of the New ELIS LSI Chip to AI Engine
          Kazufumi Watanabe (NTT Human Interface Laboratories)

Computer Architecture (2)

     Tree-structured General-purpose Pipeline using Transputers
          Tadayoshi Nakajima, Masaaki Fukase, Tadao Nakamura (Tohoku
          University)

     A Note on Fault Tolerance in Multi-layer Neural Networks
          Yasuo Tan and Takashi Nanya (Faculty of Engineering, Tokyo Institute
          of Technology)

     Computer System for Japanese Language Processing
          Kazuo Kurokawa, Katsumi Osuga (Science University of Tokyo)

     Architecture of Japanese Language Processing Computer
          Katsumi Osuga, Toshiyuki Nakagawa, Kenji Ishimatsu, Kazuo Kurokawa
          (Science University of Tokyo)

     A Structure of Efficient Control Memories for a Hardware Concurrency
     Control
          Hiroki Takakura (Faculty of Engineering, Kyushu University)
          Yahiko Kambayashi (Facultyu of Engineering, Kyoto University)

     Design of a Hardware Log Management System to Reduce Logging Overhead
          Hiroki Takakura, Tomoya Amie (Faculty of Engineering, Kyushu
          University)
          Yahiko Kambayashi (Facultyu of Engineering, Kyoto University)

     Functional Reduction and Restoration Control of Disk Controller
          Masaharu Akatsu, Tomohiro Murata, Kenzo Kurihara, Shigeo Honma
          (Hitachi, Ltd.)

     High Performance Channel Technology of Superminicomputer
          Tadashi Yoneyama, Junichi Kihara (Toshiba Corp.)

Workstation

     Laptop Workstation SPARC LT System Overview
          Tsuyoshi Tokoro, Akio Otani, Tadashi Hayashi (Toshiba Corporation
          Fuchu Works)

     Laptop Workstation SPARC LT Hardware Architecture
          Kohki Hasebe, Yoshiaki Bandai, Yoshinobu Sano (Toshiba Corp.
          Information and Communications Systems Laboratory)

     Laptop Workstation SPARC LT Imput/Output System
          Tsuyoshi Igarashi (Toshiba Corp. Information and Communication
          Systems Laboratory)
          Takashi Kosaka (Toshiba Corp. Fuchu Works)

     Laptop Workstation SPARC LT Display System
          Yutaka Oshima, Koutarou Kuwashima (Toshiba Corp. Information and
          Communications Systems Laboratory)
          Masayuki Murakami (Toshiba Corp. Fuchu Works)

     Laptop Workstation SPARC LT Extension Bus
          Yoshiyuki Satoh, Nobuhiko Yamagami (Toshiba Corp. Information and
          Communication Systems Laboratory)

     Packing Technology of Laptop Workstation SPARC LT
          Fumiaki Takeda, Toshimasa Murano (Toshiba Corporation Fuchu Works)

     Laptop Workstation SPARC LT Application Binary Interface Compatibility of
     OS
          Hideo Nagai, Yasuichiro Izumi, Tomoaki Murakami, Masayuki Murayama
          (Toshiba Corp, Fuchu Works)

Hardware Description Language/Theory Composition

     An Extended TS Chart Compiler for VHDL
          Yoichi Matsuda, Shigeyuki Ohara, Akio Odaka (Tokai University)

     Development of a UDL/I Simulation System based on Semantics Definition
          Koji Tankai, Fumitsugu Ohtaka, Hiroto Yasuura, Keikichi Tamaru
          (Kyoto University)

     Modifications of the Procedure Generating 3-level Initil Circuits for
     Transduction Method and its Evaluation
          Sunao Sawada (Faculty of Engineering, Kyushu University)
          Yahiko Kambayashi (Faculty of Engineering, Kyoto University)

     A BDD-based Two Level Minimizer for Multi Level Logic Synthesis
          Yusuke Matsunaga, Masahiro Fujita (Fujitsu Laboratories, Ltd.)
          K.C. Chen (Fujitsu America Inc.)

     An Automatic Method for Exhaustive Verification, Correction and Selection
     of Logic Circuits
          Satoshi Wakabayashi, Hiroyuki Ishikawa (Graduate School of Hosei
          University)
          Takashi Ichikawa, Ryo Dang (College of Engineering, Hosei
          University)

     Latch Reallocation Method for Sequential Networks
          Noriharu Hiratsuka, Tsuguo Shimizu, Kazumasa Shimada, Keisaku Bekki
          (Hitachi, Ltd.)

     A Method for Automatic Synthesis of Control Circuits in Asynchronous
     Processors
          Hiroto Kagotani, Hitoshi Doi, Takashi Nanya (Faculty of Engineering,
          Tokyo Institute of Technology)

     Hardware Sorter Design by using a High-level DA System A2DL-DA
          Tetsuya Yamazaki, Ryuichi Takahashi 9NEC Corporation)

     High-level Synthesis in a Design Automation System A2-DL-DA
          Yuichi Takahashi (C&C Systems Research Labs, NEC Corporation)

Function/Theory Design Method

     A Functional Design Algorithm for a High-Speed Digital Circuit using
     Multiphase Clocking
          Toshinori Hayashi (Computing Center, Hokkaido University)
          Yuzuru Tanaka (Faculty of Engineering, Hokkaido University)

     Minimization of Ring-sum Expansions Using Transform Methods
          Y.X. Shui, K. Shimizu (Gunma University)

     Asynchronous Master-slave Register for 2-rail 2-phase Data Transfer
          Yukihito Kawabe, Tokuyasu Katayama, Yoshinori Yamamura, Takashi
          Nanya (Faculty of Engineering, Tokyo Institute of Technology)

     A Vector Algorithm for Mainpulating SBDD
          Hiroyuki Ochi, Nagisa Ichiura, Shuzo Yajima (Kyoto University)

     Minimum-width Method of Variable Ordering for Shared Binary Decision
     Diagrams
          Shinichi minato (NTT LSI Lboratories)

     A Timing Optimization Method for Logic Synthesis
          Nobuhiro Takeda, Katsumi Harashima, Junko Yamanouchi, Takashi Kambe
          (Sharp Corporation)

     On Delay Assumption for 2-rail 2-phase Data Transfer in Asynchrous
     Processors
          Tokuyasu Katayama, Kouji Kawabe, Yoshinori Yamamura, Takashi Nanya
          (Faculty of Engineering, Tokyo Institute of Technology)

     An Algorithmic Level LSI Design Including Redesign by Selecting Search
     Branch based on Evaluation
          Xing-jian Xu, Mitsuru Ishitsuka (University of Tokyo)

     Overview of the Application Specific Integrated Processor Design
     Environment
          Jun Sato, Tetsuya Hakata, Alaudain Y. Alomary, Masaharu Imai
          (Department of Information and Computer Sciences, Toyohashi
          University of Technology)
          Nobuyuki Hikichi (Software Research Associates)

     Compiler Generator for the Application Specific Integrated Processor
     Design Environment
          Tetsuya Hakata, Jun Sato, Masdaharu Imai (Department of Information
          and Computer Sciences, Toyohashi University of Technology)
          Nobuyuki Hikichi (Software Research Associates)

     Hierchical Design of Microprogrammed-controller Based Sequential Machines
     Using Algebraic Methods
          Junji Kitamichi, Kouichi Narahara, Kenichi Taniguchi (Dept. of
          Information & Computer Science, Osaka University)

Circuit/Theory Simulation

     Interactive Supercomputing of Circuit Analysis in a CRAY Y-MP
          Hirotoshi Yoshida, Yuko Yoshida (Toshiba Corporation)
          Masami Abe (Toshiba CAE Systems Inc.)

     A Multi-level System Simulator for LSI Enhancement
          Chiaki Hirai, Toshinori Watanabe, Shinichi Hayashi (Hitachi, Ltd.)

     An Effecient Logic Verification and Trouble Shooting Method using HAL III
          Kyoko Naritomo, Yoshihiro Hirabayashi, Masahiro Kurashita, Sigeru
          Takasaki (NEC Corporation)
          Masaru Nakata (NEC Software Hokuriku, Ltd.)

     One-chip Simulation Engine: TASSE II
          W. Tomita, N. Suganuma, S. Tada, K. Hirano (Kobe University)

     A Method of Speed-up for Vectorized Event-Driven Logic Simulation System
          Yoshito Mizoue, Yoshiaki Kinoshita, Yoshio Takamine, Masayuki
          Miyoshi (Hitachi, Ltd.)
          Yoshiyuki Nagata, Motonobu Nagafuji (Hitachi Computer Engineering
          Co., Ltd.)

     Parallel Logic-level Simulation based on the Virtual Time 
          Yukinori Matsumoto, Kazuo Taki (Institute for New Generation
          Computer Technology)

     Research on Accelerating Fault Simulation - (1) Excepting Un-observable
     Faults
          Mika Kamiwaki, Takaharu Nagumo, Takao Nishida (Central Research
          Laboratory, Hitachi, Ltd.)

     Research on Accelerating Fault Simulation - (2) Pre-propagating Faults
     Before Simulation
          Takaharu Nagumo, Mika Kamiwaki, Takao Nishida (Central Research
          Laboratory, Hitachi, Ltd.)

     Analysis of Timing Error Probability Using Probablistic Coded Time-
     symbolic Simulation
          Yutaka Deguchi, Nagisa Ishiura, Shuzo Yajima (Kyoto University)

     A Consideration of Improving Delay Calculation Precision Between LSI and
     LSI Based on Hierachical Method
          Reiji Toyoshima, Hidetomo Hongo, Sachie Kawada (Hitachi Computer
          Engineering Co., Ltd.)
          Tatsuki Ishii, Seiichi Kawashima, Masakazu Yamamoto (Hitachi, Ltd.)

     The Effect of Wire Delay in Synchronous Systems
          Hiroyoshi Itoh, Takashi Nanya (Faculty of Engineering, Tokyo
          Institute of Technology)

     Design Verification of MOS Synchronous Circuits
          Yuji Kukimoto, Tsutomu Saito, Hidehiko Tanaka (Faculty of
          Engineering, The University of Tokyo)

     A Method of Logic Verification for Network Equipment
          Kazunobu Morimoto, Yoshio Sato, Masato Morita, Haruo Nonaka
          (Hitachi, Ltd.)
          Masaru Fujino, Kazuo Suzuki (Hitachi Computer Electronics Co., Ltd.)

     A Logic Verification Coverage for Primitive Functions
          Hong-Hai Jiang, Tamotsu Yamamoto, Yoshihiro Hayashi (University of
          Tokyo)
          Masahiro Tomita (Kobe University)

     A Consideration About Verification of Isolation for Incircuit Board
     Diagnosis
          Tsutomu Tsujimura, Masayo Seto, Hiroyuki Kuroki (Hitachi Ltd.)
          Kazunori Satoh, Futoshi Kaneta, Kazuo Suzuki (Hitachi Computer
          Electronics Co., Ltd.)

     On Functional Information Extraction from Synchronous Sequential Circuits
          Mashiko Ohmura, Hiroto Yasuura, Keikichi Tamaru (Faculty of
          Engineering, Kyoto University)

     Suggestion of Test Pattern Language for ASIC
          Masanori Ushikubo, Hisashi Hembo, Michio Murakami (Oki Electric
          Industry Co., Ltd.)

     The Coincidence Error Detecting Scheme for the Combinational Logic
     Circuits and its Applications
          Shigeya Tsuki (Suzuka College of Technology)
          Takahiro Haga (Aichi Institute of Technology)

     A Fault Diagnosis and Recovery for a Batcher Sorter
          Hideharu Amano (Keio University)

     A Consideration of Test Method for RAM with Logic LSI
          Kazuhiro Kojima, Shigeo Sayama, Yoshio Hinataze (Hitachi Computer
          Engineering Co., Ltgd.)
          Kaoru Moriwaki (Hitachi, Ltd.)

     An Automatic Multiple Logic Design Errors Location Method
          Tamotsu Yamamoto, Hong-Hai Jiang, Yoshihiro Hayashi (University of
          Tokyo)
          Masahiro Tomita (Kobe University)

Layout Design Support

     Evaluation Report on an Interactive Analog LSI Layout Design System
          Kazuhito Kondou, Hisashi Sasaki (Toshiba Microelectronics Corp,
          Toshiba Corp.)

     A Module Generator for Analog LSI
          A. Nagao, T. Yamanouchi, M. Otoi, T. Kambe (Sharp Corp.)

     Physical Design Technique of Clock Logic for VLSI
          Masahiro Yamada, Kazuo Suzuki, Munehiro Sasagawa, Naoki Furuta
          (Hitachi Computer Electronics Co., Ltd.)
          Shun Isiyama, Toshihiro Okabe (Hitachi, Ltd.)

     A Design Support System for VLSI Chip Peripheral Layout
          Kazuaki Gotoh, Takashi Koresawa (Oki Micro Design Miyazaki Co.,
          Ltd.)
          Mitsuru Nadaoka (Oki Electric Industry Co., Ltd.)

     On-chip Modification Design Automation System for LSI's
          Katsuyoshi Suzuki, Yoosuke Nagao, Tatsuki Ishii, Yasuo Satou,
          Masahito Hamamoto (Hitachi Ltd.)
          Kouji Takahashi, Tomio Taniguchi (Hitachi Software Engineering Co.,
          Ltd.)

     Routing Pattern Optimizer System for LSI's On-chip Modification
          Yoshiyuki Kawashima, Masao Ogino (Hitachi Software Engineering Co.,
          Ltd.)
          Yasuo Satou, Takuji Itoh, Yasuhiro Ikemoto, Katsuyoshi Suzuki
          (Hitachi Ltd.)

     On-chip Modification Availability Check System for LSI's
          Tomio Taniguchi, Naoko Toyoda (Hitachi Software Engineering Co.,
          Ltd.)
          Yoshihiko Tomoshige (Hitachi Ltd.)

     On-chip Modification Data Input and Check System for LSI's
          Tsutomu Nakajima, Kouji Takahashi, Sachip Kikuchi, Yuuichirou Kaida
          (Hitachi Software Engineering Co., Ltd.)
          Akiko Yokokawa (Hitachi Ltd.)

     Module Generator for Custom LSI Designs
          Tomohiro Yoshizumi (Oki Micro Design Miyazaki Co., Ltd.)

Automatic Placement/Routing

     A Routing Method for Macro Cell VLSI Layout in a Chip Planning System
          Michiyo Nakatani, Chiyoshi Yoshioka, Shinichi Fujiwara, Tokihito
          Okada, Takashi Kambe (Sharp Corporation)

     Macro Cell Placement based on Rectangular Dual
          Yutaka Tamiya, Masahiro Fujita, Taeko Kakuda, Yusuke Matsunaga
          (Fujitsu Laboratories, Ltd.)

     A Placement Algorithm for Sea-of-gates Layouts
          Mikiko Sode, Masato Edahiro, Takeshi Yoshimura (C&C Systems Research
          Laboratories, NEC Corporation)

     Placement Argorithm for CMOS Free Channel Gate Array
          Hirotake Tokuyama, Tetsuo Sasaki, Tooru Hiyama, Tatsuki Ishii,
          Yousuke Nagao, Yasuo Satou, Hisahiro Takeuchi (Hitachi Ltd.)

     Path Delay Optimization Placement Techniques
          Tetsuo Sasaki, Tatsuki Ishii, Tooru Hiyama, Yasushi Ogawa, Hachidai
          Nagase, Yasuo Satou (Hitachi Ltd.)
          Kiyoshi Endou (Hitachi Software Engineering Co., Ltd.)

     A Rip up Replace Method for PCB
          Shinji Miura, Hiroyuki Yoshimura, Hirokazu Uemura, Hideo Aoe
          (Matsushita Electric Industrial Co., Ltd.)

     Expert Ststem of Placement for PWB
          Keiichi Handa, Hiroshi Tsukimoto, Chihiro Horiuchi, Kazuhiro Okumoto
          (Toshiba Corporation)

     Knowledge-based Router for PCB
          Yuichi Nishimura, Hiroyuki Yoshimura, Hirokazu Uemura, Hideo Aoe
          (Matsushita Electric Industrial Co., Ltd.)

     A Maze-router on a Vector Processor
          Yoshio Miki, Kei Suzuki, Yoshio Takamine (Hitachi Ltd.)

Commonly-used Computer

     Address Adder Bypass Logic: A Logic for Minimizing Address Generation
     Interlock Delay in HITAC M-880 Instruction Processor
          Tooru Shonai, Yooichi Shintani, Kazunori Kuriyama, Eiki Kamada,
          Kiyoshi Inoue (Central Research Lab, Hitachi Ltd.)
          Kooji Nakamura (Kanagawa Works, Hitachi Ltd.)

     Speed up Method for Storage Operand Conflict Applied to HITAC M-880
          Eiki Kamada, Yooichi Shintani, Tooru Shonai, Kiyoshi Inoue, Seiji
          Nagai (Hitachi Ltd.)

     Performance Evaluation Method using Logic Simulation for Development of
     HITAC M-880
          Kiyoshi Inoue, Yooichi Shintani (Central Research lab., Hitachi
          Ltd.)
          Kanji Kubo, Zentaro Hirose (Kanagawa Works, Hitachi Ltd.)

     Multiprocessor Performance Evaluation Technique for Main Frame Computer
          Seiji Kaneko, Yasuhisa Tamura, Akio Yamamoto, Masaya Watanabe,
          Toshiyuki Kinoshita (Hitachi Ltd.)

     High Performance Architecture for M-880 Multiprocessor
          Yasuhisa Tamura, Seiji Kaneko, Akio Yamamoto, Masaya Watanabe,
          Toshiyuki Kinoshita (Hitachi Ltd.)

     Implementation of Enhanced Usability for Mainframe Computer with Service
     Processor
          Hitoshi Ueno (Hitachi Ltd.)

                                    SYSTEM

Office System

     Decision Support System Engine based on SQL
          Yuji Honda (Oki Electric Industry Co., Ltd.)

     Design of Enterprise's Internal Mail System
          Hideyuki Umeoka (Fujitsu Ltd.)

     An Implementation and Evaluation of PC Document Conference System
          Toshiaki Tanaka, Kouji Nakao (KDD R&D Laboratories)

     The Next Generation Integrated Office System - Systems Overview
          Terumi Sawada, Nobuo Hanada, Kazutaka Tokunaga, Yukio Yamazaki (NEC
          Corporation)

     Tne Next Generation Integrated Office System - Adaptation of the
     Server/Client Model for the Office System
          Kensaku Tsutsui, Hiroko Suzuki, Seiji Yamasuga (NEC Software Kobe,
          Ltd.)
          Kimiaki Kagaya, Masayoshi Atsumi (NEC Corp.)

     Tne Next Generation Integrated Office System - The Method to Manage the
     Information on the User's Customization
          Yoshiko Watanabe (NEC Software Chugoku, Ltd.)
          Kensaku Tsutsui (NEC Software Kobe, Ltd.)
          Hiroyuki Shimade (NEC Corporation)

     Integrated Office System II - Environment for the Construction of Office
     Applications
          Hiroshi Wakabayashi, Koji Sugita, Chiharu Kitano (EDP Systems
          Engineering Division, NEC Corporation)

     The Next Generation Integrated Office System - The Administration of the
     Office Information
          Kazutaka Inoue, Takashi Ishio (NEC Software Chugoku, Ltd.)
          Masako Sugaya (NEC Corporation)

     The Next Generation Integrated Office System - Management of the
     Distributed Server in the Office System
          Norio Shimizu, Shinya Mikado, Takashi Kawashima (NEC Corporation)

     Control Systems for use in the Distributed Office System
          Fumiyoshi Himeno, Hisamitsu Yamamoto (NEC Corporation)

CAI User Interface

     A Method of Inferring in the Intelligent CAI System CAIRNEY and its
     Evaluations
          Minoru Kiyama, Yoshimi Fukuhara (NTT Communications and Information
          Processing Laboratories)

     Courseware Implementation Method of the Intelligent CAI System CAIRNEY
          Yoshimi Fukuhara, Osamu Mino (NTT Communications and Information
          Processing Laboratories)

     A Method of Using Information on Language Functions for an ICAI System
     for Training a Foreign Language
          Katsuya Oba (Osaka Gas Information System Research Institute)
          Kyoko Kai (Oki Electric Ind. Co., Ltd.)

     The System Learning Any Subject Taught by User
          Ikuko Harada, Yoshiyuki Kotani (Tokyo University of Agriculture and
          Technology)

     SQL Automatic Generation in Spreadsheet Calculator
          Hajime Otogao, Hiroyuki Arai, Kazunori Oonishi (Toshiba Ltd.)

     Data Analysis Function in Graph
          Yutaka Inaba, Masao Fujihara, Hajime Otogao (Toshiba Ltd.)

     Case Study of Shared Window System Architecture
          Eiji Kuwana, Seiichi Komura, Masashi Shibasaki (NTT Software
          Laboratories)

     The Performance Evaluation of the Database Macro-functions of Making the
     Spreadsheet
          Fukashi Gotoh, Kiyoshi Okamoto, Yuji Wada (Mitsubishi Electric
          Corp.)

     Mechanical Design Assistant Shell
          K. Tahara, T. Kato (Kayaba Industry Co., Ltd.)

     An Extension of the Winograd's Basic Conversation Diagram to the Case of
     Three Members
          Seiichi Komura, Masashi Shibasaki (NTT Software Laboratories)

     The NaviGlasses: A Media for Realize Artificial Telepathy
          Shigemitsu Ohzahata (Macintelligence, Inc.)

Decentralized System

     Autonomous Decentralization Concept and Computer System
          Yasuo Suzuki, Kinji Mori (Systems Development Laboratory, Hitachi
          Ltd.)
          Hirokazu Kasashima, Shinji Hori (Omika Works, Hitachi Ltd.)
          Toshihiko Itou (Industrial & System Dept., Hitachi Ltd.)

     Operating System for Autonomous Decentralized System and Test Technique
          Hisao Kikuchi, Katsuo Suzuki (Hitachi Process Computer Engineering,
          Inc.)
          Hirokazu Kasashima (Omika Works, Hitachi Ltd.)
          Kinji Mori (System Development Laboratory, Hitachi Ltd.)

     Intelligent Communication Processor in Autonomous Decentralized System
          Shinji Hori, Hirokazu Kasashima (Omika Works, Hitachi Ltd.)
          Yasuo Suzuki, Kinji Mori (Systems Development Laboratory, Hitachi
          Ltd.)
          Hideaki Koike, Shuuichi Sakuyama (Hitachi Engineering Co., Ltd.)

     An Example of Applying Autonoumous Decentralized System to Iron and Steel
     Industry
          Koichi Doi, Nobuharu Sakuma (Hitachi Engineering Co., Ltd.)
          Shinji Hori (Omika Works, Hitachi Ltd.)
          Kinji Mori, Yasuo Suzuki (Systems Development Laboratory, Hitachi
          Ltd.)

     An Test Method in Autonomous Decentralized System
          Nobuharu Sakuma, Koichi Doi, Hideaki Koike (Hitachi Engineering Co.,
          Ltd.)
          Shinji Hori (Omika Works, Hitachi Ltd.)
          Yasuo Suzuki (Systems Development Laborlatory, Hitachi Ltd.)

     Autonomous Decentralized Software Design and Programming Support
          Tsunao Kanzaki (Hitachi Microcomputer System Ltd.)
          Yasuo Suzuki, Kinji Mori (Systems Development Lab., Hitachi Ltd.)
          Shinji Hori (Omika Works, Hitachi Ltd.)
          Kouichi Doi (Hitachi Engineering Co., Ltd.)

     Autonomous Decentralization System and its Application for Industry
          Toshihiko Itou (Industrial & System Dept., Hitachi Ltd.)
          Yasuo Suzuki (Systems Development Laboratory, Hitachi Ltd.)
          Shinji Hori (Omika Works, Hitachi Ltd.)

     OZ+: Object Oriented Open Distributed System - Extension of OZ+
     Communication Architecture
          Michiharu Tukamoto (Electrotechnical Laboratory)
          Isao Mizutani (Sumitomo Electric Industries, Ltd.)
          Hiroyuki Kaziura (Sharp Corporation)
          Hiroki Shinohara (Matsushita Electric Industrial Co., Ltd.)

     OZ+: Object Oriented Open Distributed System - Multicast RPC for OZ+
          Michiharu Tukamoto (Electrotechnical Laboratory)
          Hiroyuki Kaziura (Sharp Corporation)
          Isao Mizutani (Sumitomo Electric Industries, Ltd.)
          Hiroki Shinohara (Matsushita Electric Industrial Co., Ltd.)

     OZ+: Object orented Oepn Distributed System - A Version Function in OZ+
          Michiharu Tukamoto (Electrotechnical Laboratory)
          Hiroki Shinohara (Matsushita Electric Industrial Co., Ltd.)
          Isao Mizutani (Sumitomo Electric Industries, Ltd.)
          Hiroyuki Kaziura (Sharp Corporation)

CAD

     A Discussion on the Knowledge-base for Mechanical Designs based on the
     Hierarchy of the Mechanical Structure
          Masaki Yoneyama, Yoshiharu Takeda, Hiroaki Kobayashi, Tadao Nakamura
          (Tohoku University)

     Development of a Reactor Vessel Design System (1)
          Toshihiko Mochizuki, Takashi Tutida (Toshiba Case Systems Incorp.)
          Sigeru Kisi, Satosi Ohte (Toshiba Corp.)

     A Meta-model for a CAD Database and its Visual Environment
          Deepa Krishnan, Tosiyasu L. Kunii (The University of Tokyo)

     Stabilization of Grid Attraction for Boundary-Fitting Method: FEM
     Analysis Supporting System WING (11)
          Hiroyasu Enomoto (Yokohama Research Laboratory Babcock-Hitachi K.K.)
          Masahiro Shimazu (Bab Hitachi East Software Co., Ltd.)

     Bus Scheduling System
          Masamoto Kashiwagi, Kiyoshi Muto, Hajime Yano (Toshiba Corp.)


CIM

     Production Parameter Driven Scheduler
          Mariko Hashimoto, Shusuke Nakayama, Mariko Yamamoto, Toshiharu Aoki,
          Jyunichirou Tanaka (NEC Co.)
          Masami Tunekazu (NEC Scientific Information System Development,
          Ltd.)

     On Invariant Set of Production System Represented by Petri Net
          Hiroyuki Yamada, Yoshio Sugasawa, Sugayasu Hirano (Nihon University)

     The Fundamental System Concept for Micro-scheduling - The Study on
     Scheduling for Logistic Production by Timed Petri Net
          Takumi Kojima (Tokyo Institute of Japan Small Business Corporation)
          Shinichi Osawa (INES Corporation)
          Yoshio Sugasawa (Nihon University)

     Utilizing Error Cancellation in Parallel Assembly
          Kaoru Maeda, Tosiyasu L. Kuni (Department of Information Science,
          The University of Tokyo)

     The Designing Process and Structure Function of Logical Structure in
     Sensor-base Network Systems
          Toshio Takahara, Hiroto Shingai, Kaori Suzuki (Fujitsu Network
          Engineering Ltd.)

     Behavior Analysis of Trap Systems Using Stochastic Petri Nets
          Qun Jin, Yoshio Sugasawa, Koichiro Seya (Nihon University)

     Research for Distributed CIM with Workstations and Database
          Koji Doi (OMRON Co. Intelligent Controller Laboratory)

     Operation Design for CIM
          Masaaki Kaneko (Fujitsu Ltd.)

--------------END OF REPORT  (BOOK 6)----------------------------------------