Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!asuvax!ncar!noao!arizona!rick
From: rick@cs.arizona.edu (Rick Schlichting)
Newsgroups: comp.research.japan
Subject: Kahaner Report: Jour JIFIP V14#1 (1991) & Trans JIFIP V31#6-12 (1990)
Message-ID: <4301@optima.cs.arizona.edu>
Date: 15 Jun 91 02:03:14 GMT
Sender: rick@cs.arizona.edu
Lines: 772
Approved: rick@cs.arizona.edu


  [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: Jour JIFIP V14#1 (1991) & Trans JIFIP V31#6-12 (1990)
14 June 1991
This file is named "jifip14.abs"

ABSTRACT. Titles and abstracts from Jour JIFIP V14#1 (1991)  and titles from 
Trans JIFIP V31#6-12 (1990). All the papers are in English


JOURNAL OF INFORMATION PROCESSING Vol. 14. No. 1, 1991

Almost Boolean Algebraic Computation of LALR (1) Look-Ahead Sets
     Hiroyuki Anzai (Faculty of Engineering, Kyushu Institute of Technology)

          In order to obtain an LALR (1) parser from a given grammar, it is 
     necessary to construct an LR (0) automation and to compute LALR (1) Look-
     Ahead sets.  This paper presents a new method for doing so, based on the 
     linear algebra-like approach instead of the traditional graph theoretical 
     one.  
          After pointing out that the regular language generated from the
     empty set is isomorphic to Boolean algebra, this paper shows that the
     above problems can be solved by partially reducing them to problems of
     this simplest language, Boolean algebra, in such a manner that unknown
     sets are defined by simultaneous equations each of whose coefficients is
     a Boolean number.
          For a given BNF, equations of this kind defining the state
     transition of an LR (0) automation are given and solved.  Follow sets are
     similarly defined and solved.  Each solution is a formula for computing
     the desired sets, whose form is the product of the closure of a Boolean
     matrix and a vector of either Boolean numbers or sets of symbols. 
     Finally, each Look-Ahead set is obtained as a union of properly selected
     Follow sets.
          Until now, this kind of computation has been done in an iterative
     manner of set computation on the equations until the sets obtained become
     unchanged.  Instead, this paper gives a formula for computing them by
     almost Boolean matrix computation.

A Nonmonotonic Temporal Logic and Its Kripke Semantics
     Yasushi Fujiwara, Shinichi Honiden (Systems & Software Engineering
     Laboratory, Toshiba Corp.)

          Human commonsense reasoning is at the same time nonmonotonic and
     temporal.  This paper proposes a logic for nonmonotonic temporal
     reasoning.  The nonmonotonic temporal logic "autoepistemic temporal
     logic" (ATL) is an extension of both autoepistemic logic, a kind of
     nonmonotonic logic, and propositional temporal logic (PTL).  A spatio-
     temporal logic ST5, which is suitable for reasoning about multiprocess
     networks, is also proposed, and a close relationship is exhibited between
     the semantics of ATL and ST5.  Stable expansions of premises of a certain
     type are then characterized in terms of statewise autoepistemic stable
     expansions.  The result may also provide a general approach to
     constructing nonmonotonic logic with possible-world semantics.

Accurate Reconstruction of a 3D Object Composed of Multiple Surfaces
     Kazufumi Kaneda, Yutaka Wakasu, Eihachiro Nakamae (Faculty of
     Engineering, Hiroshima University)
     Mineo Yasuda, Akinao G. Sato (School of Medicine, Hiroshima University)

          In order to observe in detail the internal structure of a multi-
     layered object consisting of various elements, it is very important to
     reconstruct the original object from its cross-sectional data and display
     the inner along with the outer appearance of the reconstructed object.
          This paper describes a technique for reconstructing a 3D object from
     complex contours on the cross-sections efficiently and faithfully.  The
     proposed method succeeds even when the object's shape varies radically
     between successive cross-sections: cross-sections with radically
     different contours and/or radically different contour line segments are
     automatically supplemented.
          The usefulness of the proposed method is demonstrated with some
     semitransparent and stereoscopic displays of a reconstructed mouse
     embryo.

A Dynamic Algorithm for Placing Rectangles without Overlapping
     Takeshi Tokuyama (IBM Research, Tokyo Research Laboratory)
     Takao Asano (Faculty of Science and Technology, Sophia University)
     Shuji Tsukiyama (Faculty of Science and Engineering, Chuo University)

          We consider the dynamic allocation problem of rectangles such that a
     mixed sequence of insertions and deletions of rectangles in a rectangular
     board is executed without any pair of rectangles overlapping each other. 
     We present an O (n log log n) time algorithm for insertion of a rectangle
     if n rectangles have been already placed in the board.  We solve the
     problem by reducing it to the contour construction problem on a special
     class of arrangements of rectangles.

Roughly Sorting: A Generalization of Sorting
     Yoshihide Igarashi (Department of Computer Science, Gumma University)
     Derick Wood (Department of Computer Science, University of Waterloo,
     Canada)

          A sequence `=(a1, ...., an) is k-sorted if and only if for all 1<i,
     j<n, i<j-k implies a1<aj.  A k-sorting algorithm called k-Bubblesort is
     first designed, since it is a generalization of Bubblesort.  Next, a k-
     sorting algorithm called k-Quicksort is designed, as well as an algorithm
     for transforming a roughly sorted sequence into a less roughly sorted
     sequence.  It is shown that k-Quicksort is time-optimal within a constant
     factor if k satisfies a certain condition.  Parallel implementation of k-
     Bubblesort and k-Quicksort are also discussed.

Remote Object Access Mechanism
     Kaoru Yoshida (Institute for New Generation Computer Technology (ICOT)

          As part of the firth-generation project, ICOT has been developing an
     object-oriented logic programming and operating system, SIMPOS, for the
     personal sequential inference machines PSI and PSI-II.  Currently, about
     tree hundred PSI machines and some other machines have been connected in
     local and global area networks.  Two different protocols, PSI-NET and
     TCP-IP, are supported over the network.
          For a distributed system to be built to be network-transparent as
     simply and compactly as possible, it should be network-transparent at the
     base, that is, at the method-call level for an object-oriented system.
          This paper describes the principles and implementation of the Remote
     Object Access mechanism (ROAM), which is a general mechanism embedded in
     SIMPOS to make method calls to objects on remote PSI machines as well as
     on the local PSI machine.
          ROAM has been implemented as a set of classes.  Network-transparent
     objects can be defined easily by inheriting a ROAM interface class and
     customizing some of the inherited methods.  ROAM is currently in
     operation, and uses both of the above two protocols.  A variety of
     application software programs have been developed with ROAM, for
     practical use, one of which, a global file system, described as an
     example.

A New Reorthogonalization in the Lanczos Algorithm
     Hitoshi Imai, Makoto Natori, Eiji Kawamura (Institute of Information
     Sciences and Electronics, University of Tsukuba)

          A new reorthogonalization in the Lanczos algorithm is proposed.  In
     this method, the loss of orthogonality among Lanczos vectors is monitored
     by a recurrence formula.  When it is directed, Ritz vectors, which
     correspond to converging Ritz values, are employed for the
     orthogonalization.  The main feature of this method is that can be
     stopped as soon as the desired eigenvalues have been obtained.
          Numerical computations are carried out to evaluate the method. 
     Here, matrics obtained by discretization of the two-dimensional Laplace
     operator are used.  The features mentioned above are confined
     numerically, and an improvement in the computational time is confirmed.

Design Issues of OMEGA: An Object-Oriented Multimedia Database Management
System
     Yoshifumi Masunaga (Department of Library and Information Science,
     University of Library and Information Science)

          OMEGA is an object-oriented multimedia database management system
     under development at the University of Library and Information Science. 
     Some of the design issues of OMEGA are reported in this paper.  First,
     the multimedia data modeling is discussed.  It is stressed that the
     object-oriented approach is essential in order to organize and manage
     multimedia data.  The Referred Object Integration method for multimedia
     database organization is presented that its semantically more powerful
     than the hypermedia approach.  Next, the object model of OMEGA is
     investigated.  It is shown that traditional object-oriented models are
     not powerful enough to represent multimedia objects. Some extensions are
     made for representing part hierarchy and temporal and spatial information
     about multimedia data.  Object identify that equality are characterized. 
     Type issues and object management schemes are also examined.  After this,
     the language model of OMEGA is investigated and the design of the class
     definition, the query, and the database programming language are
     discussed.  The problem of how to translate Smalltalk objects into C+ +
     objects, and vice versa is investigated with a view to supporting
     multiple object-oriented database programming languages with persistent
     object-sharing capability in OMEGA.  The object-oriented and the SQL-Like
     syntax of the class definition and the query language are also described.

An Experimental Reflective Programming System Written in GHC
     Jiro Tanaka (IIAS-SIS, Fujitsu Laboratories Ltd.)

          A Programming system can be defined as an environment in which one
     can input programs and execute goals.  Two approaches to enhancing meta-
     interpreters, namely, meta-extension and reflective-extension, are
     described.  They are then combined and reflective opertions on such meta-
     interpretation techniques, is described.  The whole system consists of
     two layers, a distributed abstract machine layer and an execution system
     layer, both of which are totally written in the parallel logic language
     GHC.  Two examples are given of reflective programming: load balacing and
     dynamic reduction count control.  An example is also given of an actual
     program execution of ExReps.


--------------------------------------------------------------------------
TRANSACTIONS OF INFORMATION PROCESSING SOCIETY OF JAPAN, 
    Vol 31, #6 -- #12 (1990)

Reasoning for Logic Circuit Synthesis Expert System
     Keisuke Bekki (The 10th Department, Hitachi Research Laboratory, Hitachi
     Ltd.), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Knowledge Acquisition Method Utilizing Multi-attribute Utility Theory
     Toru Mitsuya (Energy Research Laboratory, Hitachi Ltd.), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Formalizing Soft Constrains by Interpretation Ordering
     Ken Satoh (Institute for New Generation Computer Technology)
     Transactions of IPSJ 31, 6 (June 1990)

A Topological Model for Propositional Logics
     Hiroshi Tsukimoto (Toshiba Corporation)
     Transactions of IPSJ 31, 6 (June 1990)

A Textual Analysis Method for Extracting Negative Expressions in Tools for
Writing Japanese Documents
     Akira Suganuma (Department of Computer Science and Communication
     Engineering, Faculty of Engineering, Kyushu University), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

A Japanese-Korean Predicate Translation System Using the Semantic
Correspondence between Their Auxiliary Predicative Expressions
     Heedong Lee (Imaging Science and Engineering Laboratory, Faculty of
     Engineering, Tokyo Institute of Technology), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Natural-Language Dialogue Understanding on a Four-Typed Plan Recognition Model
     Hitoshi Iida (ATR Interpreting Telephony Research Laboratories), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Parallel Implementation of OPS5 in QLISP
     Hiroshi G. Okuno (NTT Software Laboratories), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

MAP: Multi-Angled Parallelism for Feature Extraction from Topographical Maps
     Hiromitsu Yamada (Machine Understanding Division, Electrotechnical
     Laboratory), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Parallel Complexity of Logic Programs and Highly Parallel Computation by Logic
Circuits
     Yasuo Okabe (Department of Information Science, Faculty of Engineering,
     Kyoto University), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

The Intention of the Student and the Conversation Control Method in an
Intelligent CAI System for Training in a Foreign Language
     Hideki Yamamoto (Systems Laboratory, R&D Group, Oki Electric Industry
     Col., Ltd.), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Iterative Multiplication Method Using Redundant Binary Representation
     Motonobu Tonomura (Hitachi Central Research Laboratory, Hitachi Ltd.)
     Transactions of IPSJ 31, 6 (June 1990)

A Craniofacial Surgical Planning System (NUCSS-V2, Containing a Function for
Cutting or Moving Arbitrary Shapes from Bony Blocks
     Takami Yasuda (Department of Information Engineering Faculty of
     Engineering, Nagoya University), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Hypothesizing and Testing Geometric Attributes of Image Data
     Kenichi Kanatani (Department of Computer Science, Gumma University), et.
     al.
     Transactions of IPSJ 31, 6 (June 1990)

Optimal Checkpointing Policies Using Checkpointing Density
     Satoshi Fukumoto (Faculty of Engineering, Hiroshima University), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Design and Implementation of OS/omicron Task Management Suitable for Multi-
Processor Systems
     Mitarou Namiki (Department of Information Science, Faculty of Technology,
     Tokyo University of Agriculture and Technology), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Formalization of the Interface Design Method and Construction of a Design
Support System Based on Knowledge-Based Design Methodology
     Tetsuo Kinoshita (Systems Laboratory, Oki Electric Ind. Co., Ltd.), et.
     al.
     Transactions of IPSJ 31, 6 (June 1990)

An Algorithm for Constructing a Semi-LL (2) Grammar's Parsing-table
     Keiichi Yoshida (Department of Computer Science, College of Engineering,
     Shizuoka University), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Efficiency of an SOR-Like Method Suited to Vector Processing
     Masaki Sugihara (Department of Economics, Hitotsubashi University), et.
     al.
     Transactions of IPSJ 31, 6 (June 1990)

A New Representation of Natural Numbers Based on Variably Multiple
Decomposition
     Mario Nakamori (Faculty of Technology, Tokyo University of Agriculture
     and Technology), et. al.
     Transactions of IPSJ 31, 6 (June 1990)

Calculation with Discretization Functions
     Kazuo Hatano (Department of Electronics, Faculty of Engineering, Aichi
     Institute of Technology)
     Transactions of IPSJ 31, 7 (July 1990)

Fast Multiple-Precision Calculation of Square Root
     Kazufumi Ozawa (Department of Information Engineering, Sendai National
     College of Technology)
     Transactions of IPSJ 31, 7 (July 1990)

A High-Order Iteration Formula for Simultaneous Determination of the Zeros of
a Polynomial
     Tetsuya Sakurai (Department of Information Engineering, Faculty of
     Engineering, Nagoya University)
     Transactions of IPSJ 31, 7 (July 1990)

Implementation and Evaluation of the Sentence Analysis System YAPXR
     Tatsuya Hayashi (Fujitsu Laboratories Ltd.)
     Transactions of IPSJ 31, 7 (July 1990)

An Algorithm for Constructing Extensions of Propositional Autoepistemic Logic
     Noboru Babaguchi (Department of Communication Engineering, Faculty of
     Engineering, Osaka University), et. al.
     Transactions of IPSJ 31, 7 (July 1990)

Rapid Learning Method for a Multilayered Neural Network Using a Conjugate
Gradient Method with Two-Dimensional Search
     Toshinobu Yoshida (Department of Electrical and Electronic Engineering,
     Faculty of Engineering, Chiba University)
     Transactions of IPSJ 31, 7 (July 1990)

Improvement of the Learning Capability of Neural Networks Based on a Redundant
and Diverse Structuring
     Itsuo Kumazawa (Department of Computer Science, Faculty of Engineering,
     Tokyo Institute of Technology)
     Transactions of IPSJ 31, 7 (July 1990)

Fast Algorithm for Point Pattern Matching by Using Ordered Lists
     Hongbin Zhang (Department of Information Science, Kyoto University)
     Transactions of IPSJ 31, 7 (July 1990)

The Software Architecture of a Vision and Image Engineering Workstation
     Hiroaki Sato (Canon, Inc.), et. al.
     Transactions of IPSJ 31, 7 (July 1990)

Automatic Classification of Texture Using Fractal Dimension(s) and Lower-Order
Statistics
     Tatsuya Yoshizawa (Tokyo University of Agriculture and Technology), et.
     al.
     Transactions of IPSJ 31, 7 (July 1990)

Representation of Modeling Processes by Data Dependency, and its Application
to Variational Solid Modeling
     Masatomo Inui (Research Center for Advanced Science and Technology, The
     University of Tokyo), et. al.
     Transactions of IPSJ 31, 7 (July 1990)

Development and Use of a Computer Manual Refinement and Proofreading System
     Zenbun Takahashi (Software Engineering Department, Software Division,
     Computer Systems Group, Fujitsu, Ltd.)
     Transactions of IPSJ 31, 7 (July 1990)

A Memory Management Scheme for Compact Common Lisp System and its
Implementation
     Tsuyoshi Yamamoto (Department of Information Engineering, Faculty of
     Engineering, Hokkdido University)
     Transactions of IPSJ 31, 7 (July 1990)

Cellula: A Parallel Cooperation Model Composed of "Process+Field" Amalgams
     Norihiko Yoshida (Department of Computer Science and Communication
     Engineering, Kyushu Univesity)
     Transactions of IPSJ 31, 7 (July 1990)

Process Migration Policies in Distributed Operating Systems
     Kyu Sung Park (Department of Information Science, Faculty of Science,
     University of Tokyo), et. al.
     Transactions of IPSJ 31, 7 (July 1990)

The Software Development Environment dmCASE
     Saeko Matsuura (Kanrikogaku, Ltd.), et. al.
     Transactions of IPSJ 31, 7 (July 1990)

A Process Model for Improving by Using Matrix Expressions
     Toshihiko Sunazuka (Software Management Department, Software Engineering
     Development Laboratory, NEC Corporation)
     Transactions of IPSJ 31, 7 (July 1990)

Design Support Environment for Communications Software
     Hiroshi Fujimoto (Business Switching Systems Division, Fujitsu Ltd.), et.
     al.
     Transactions of IPSJ 31, 7 (July 1990)

Proposal and Implementation of a Systematic Testing Environment, FOREST, Based
on Standardized Formal Description Technique
     Kotaro Katsuyama (Information Systems and Electronics Development
     Laboratory, Mitsubishi Electric Corp.), et. al.
     Transactions of IPSJ 31, 7 (July 1990)

Regular Temporal Logic Expressively Equivalent to Finite Automata, and its
Application to Logic Design Verification
     Hiromi Hiraishi (Department of Information Science, Faculty of
     Engineering, Kyoto University), et. al.
     Transactions of IPSJ 31, 7 (July 1990)

Error Analysis of the Least-Square Approximation Using Composite Polynomials
     Kazuo Hatano (Department of Electronics, Faculty of Engineering, Aichi
     Institute of Technology)
     Transactions of IPSJ 31, 8 (Aug. 1990)

Error Analysis of Recurrence Technique for the Calculation of Bessel Function
Iv(X)
     Toshio Yoshida (College of Business Administration and Information
     Science, Chubu University)
     Transactions of IPSJ 31, 8 (Aug. 1990)

Utilization of Common-sense and Context Information in the Machine Translation
of Technical Documents
     Kou Mukainaka (EDP Systems Engineering Division, NEC Corp.)
     Transactions of IPSJ 31, 8 (Aug. 1990)

A Knowledge-Directed Scheduling Support Method for Plant Related Activities
     Hisanori Nonaka (Energy Research Laboratory, Hitachi Ltd.), et. al.
     Transactions of IPSJ 31, 8 (Aug. 1990)

Programming Knowhow Representation Method Based on the Semantic Network and
its Application to the Programming Support System
     Hirohide Haga (Kansai Systems Laboratory, Systems Development Laboratory,
     Hitachi, Ltd.)
     Transactions of IPSJ 31, 8 (Aug. 1990)

Complex Object Abstract Data Type in CAD Database Environments -- Its
Application to Solid Databases
     Sehi-Jie Jiang (Program in Engineering Sciences, Graduate School,
     University of Tsukuba), et. al.
     Transactions of IPSJ 31, 8 (Aug. 1990)

Edge-Enhanced Drawing in Computer Graphics
     Takafumi Saito (NTT Human Interface Laboratories), et. al.
     Transactions of IPSJ 31, 8 (Aug. 1990)

A Multiple Polynomial for Curve Generation
     Noboru Murayama (Ricoh R&D Center)
     Transactions of IPSJ 31, 8 (Aug. 1990)

Approximate Optimization of the Sequence for Drawing Restricted Connections
between Segments or Points
     Mayumi Oyama (Information Processing Research Center, Kwansei Gakuin
     University), et. al.
     Transactions of IPSJ 31, 8 (Aug. 1990)

An Accelerating Processor for Relational Operations
     Hideki Takeda (NTT Communications and Information Processing
     Laboratories), et. al.
     Transactions of IPSJ 31, 8 (Aug. 1990)

String Graph Representations for Arithmetic Algorithms
     Motonobu Tonomura (Hitachi Central Research Laboratory, Hitachi Ltd.)
     Transactions of IPSJ 31, 8 (Aug. 1990)

Data Path Verification System Using Temporal Logic for Bihavioral Description
     Hiroshi Nakamura (Electrical Engineering Course, Graduate School of
     Engineering, University of Tokyo), et. al.
     Transactions of IPSJ 31, 8 (Aug. 1990)

Proposal and Performance Evaluation of MAC Bridge Configuration Scheme
     Junji Fukuzawa (Systems Development Laboratory, Hitachi, Ltd.), et. al.
     Transactions of IPSJ 31, 8 (Aug. 1990)

Numerical Solutions of Nonlinear Integral Equations by Approximation of Fixed
Points
     Chisato Suzuki (International Institute for Advanced Study of Social
     Information Science, Fujitsu Ltd.)
     Transactions of IPSJ 31, 9 (Sep. 1990)

High-Speed Processing Method for a Production System Compiler
     Kenichi Kurosawa (8th Department, Hitachi Research Laboratory, Hitachi,
     Ltd.), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)


Integrated Natural Language Analysis with an Integrated Parsing Engine (IPE)
     Xuemin Liu (Department of Information Science, Kyoto University), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)

Correspondence between Functional Features and Visual Features in MIRACLE-IV
     Hitoshi Matsubara (Electrotechnical Laboratory), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)

Reconstruction of a Solid from a Set of Three Orthographic Views -
Applications to Many Polyhedral Solids
     Toyomitsu Senda (Mechanical Engineering, Faculty of Engineering, Ehime
     University)
     Transactions of IPSJ 31, 9 (Sep. 1990)

A Cognitive Model for Training in Japanese Typing in which Speed Advancement
is Calculated from Training Texts
     Yoshihiko Ono (Insternational Research Center for Japanese Studies)
     Transactions of IPSJ 31, 9 (Sep. 1990)

Three-Dimensional Graphics and Image Transfer Using Extended Raster Operation
     Ryo Fujita (Hitachi Research Laboratory, Hitachi, Ltd.), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)

Free-Form Shape Manipulation Using Differential Geometry
     Keiichi Yamagata (Department of Precision Engineering, Faculty of
     Engineering, Osaka University), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)

The Structure of the Parsing-Table and the Parsing Algorithm for Semi-LL(2)
Grammars
     Keiichi Yoshida (Department of Computer Science, College of Engineering,
     Shizuoka University), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)

Design Concept of a System for Developing Application-Dependent User Interface
     Kouichirou Tanikoshi (10th Dept., Hitachi Research Laboratory, Hitachi,
     Ltd.)
     Transactions of IPSJ 31, 9 (Sep. 1990)

Multi-Project Scheduling
     Yoshitsugu Ohmae (Department of Information Science, Faculty of
     Engineering, University of Ibaraki), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)

High Performance I/O Interface Cable Length Extended System
     Toshio Matsunaga (NTT Communications and Information Processing
     Laboratories), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)

Representation of Descriptive Name and the Resolution Method with a Semantic
Network Structure
     Fumiko Kouda (Department of Electrical Engineering, Faculty of
     Engineering, University of Tokyo), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)

An Intelligent User Interface Language Integrating Object-oriented Rule-base
and X Toolkit
     Toshikazu Tanimoto (Department of Systems Software Engineering, Research
     and Development Center, Digital Equipment Corporation Japan), et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)
Ambiguity Detection in Japanese Dependency Structures for Pre-Editing
     Akihiro Hirai (Systems Development Laboratory, Hitachi, Ltd.). et. al.
     Transactions of IPSJ 31, 9 (Sep. 1990)

An Algorithm for Detecting Activizable Japanese Passives
     Yoshihiko Hayashi (NTT Communications and Information Processing
     Laboratories), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

Implementation and Evaluation of a Hybrid System of Formula and Numerical
Manipulations Using an Extended Form of PASCAL as a Kernel Language
     Kazuyoshi Mori (Information and Computer Sciences, Faculty of
     Engineering, Toyohashi University of Technology), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

A Decision Principle of Switch Nodes in the Parallel Language DFCII
     Satoshi Sekiguchi (Electrotechnical Laboratory), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

Generation of Hichart Program Diagrams
     Nobuyoshi Go (Academic Computing Center, Tokai University), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

A Quality Deployment Approach to Software Quality Management - Conceptual
Framework and Methodology
     Akira Ohmori (International Institute for Advanced Study of Social
     Information Science, Fujitsu Limited)
     Transactions of IPSJ 31, 10 (Oct. 1990)

Implementation of a Test Sequence Generation Method for Stepwise Testing of
Communication Systems
     Fumiaki Sato (Information Systems and Electronics Development Laboratory,
     Mitsubishi Electric Corp.), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

INTERA, a User Interface Simulator
     Osamu Hashimoto (NEC Corporation), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

Job Shop Scheduling Using a Hopfield-type Neural Network
     Yukinori Kakazu (Department of Precision Engineering, Faculty of
     Engineering, Hokkaido University), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

Data Transmission Method in a Multistage Switching Network for Multiprocessor
Image DSP
     Yasuyuki Okumura (Transport Processing Laboratory, NTT Transmission
     Systems Laboratories), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

Resolution Algorithms for Horn Clauses Using the Retrieval-by-Unification
Operation on Term Relations
     Haruo Yokota (Fujitsu Ltd.), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

Extensive Reconstruction of a Hough-Type Transform for the Pattern Detector
     Hiroyasu Koshimizu (Chukyo University), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

G1 Continuity Condition between Rational Bezier Surface Patches
     Tsuyoshi Harada (Software Division, RICOH Company Ltd.), et. al.
     Transactions of IPSJ 31, 10 (Oct. 1990)

The Hand Calculator as a Teaching Tool in an Introductory Course for the BA
Degree in Computer Science
     Mario Nakamori (Faculty of Technology, Tokyo University of Agriculture
     and Technology), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

A System for Information Processing Education and CAI by Personal Computer
     Miyoichi Eguchi (Department of Electrical Engineering, Fukuoka Insitute
     of Technology), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

A Memory-Type Parallel Computation Model and Its Computational Power - Yet
Another Approach to Supercomputing
     Naofumi Takagi (Department of Information Science, Faculty of
     Engineering, Kyoto University), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

MAGIC: A Shell for Building Mechanical Design Assistant Expert Systems
     Yusei Nakashima (Technology & Research Center, Kayaba Industry Co.,
     Ltd.), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

Knowledge-base-Oriented Parallel-Processing System
     Haruo Yokota (Fujitsu Ltd.), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

Color Classification and Segmentation of Color Images
     Shoji Tominaga (Department of Precision Engineering, Faculty of
     Engineering, Osaka Electro-Communication University)
     Transactions of IPSJ 31, 11 (Nov. 1990)

Transformation of an Attribute Grammar to Translate Case Statements into
Action Routines
     Yoshimichi Watanabe (Department of Electrical Engineering and Computer
     Science, Faculty of Engineering, Yamanashi University)
     Transactions of IPSJ 31, 11 (Nov. 1990)

A Variable Allocation Algorithm for Shared Memory Parallel Processing Systems
     Minoru Koike (Department of Mechanical Engineering for Computer-
     Controlled Machinery, Faculty of Engineering, Osaka University), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

Automatic Generation of a Parser and an Unparser Using Definite Clause Grammar
     Kyoko Ohashi (Fujitsu Laboratories Ltd.), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

An Analysis Method for Mutual Exclusion Overhead of a Tightly-Coupled
Multiprocessor
     Masaaki Iwasaki (Hitachi Central Research Laboratory, 8th Department),
     et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

An Image Retrieval Method using Inquiries on Spatial Relationships
     Tomoichi Takahashi (ATR Communication Systems Research Laboratories), et.
     al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

Minimization of Incompletely Specified Sequential Machines by Boolean
Processing
     Shinobu Matsumoto (Department of Information Science, Faculty of
     Engineering, Kyoto University), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

A Multiway Merge Sorter for Sorting of Large Databases
     Tetsuji Satoh (NTT Communications and Information Processing
     Laboratories, Dedicated Systems Laboratory), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

Construction of the Tohoku University Academic Information Network System -
TAINS
     Masato Sakata (Computer Center, Tohoku University), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

Mean Value Evaluation of Point-to-point Response Time for a LAN Communication
System with One Relay Node
     Yoshihiko Ebihara (Institute of Information Sciences and Electronics,
     University of Tsukuba), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

Construction and Manipulation of a Geometric Model with Geometric Constraints
     Yasuo Hidaka (Department of Electric Engineering, Faculty of Engineering,
     The University of Tokyo), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

A Constraint-based Explanation Function for a Knowledge-based Planning System
     Michiko Oba (Systems Development Laboratory, Hitachi Ltd.), et. al.
     Transactions of IPSJ 31, 11 (Nov. 1990)

An Algorithm for Disambiguating Noun Meanings in Noun-noun Compounds of Kanji
Characters
     Masato Ishizaki (NTT Communications and Information Processing
     Laboratories)
     Transactions of IPSJ 31, 11 (Nov. 1990)

Analysis of Japanese Popular Music by the Theory of KM2O-Langevin Equations
     Norio Konno (Faculty of Engineering, The Muroran Institute of
     Technology), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

Real Fast Fourier Transform on Quasi-Equidistant Sample Points
     Hiroshi Sugiura (Department of Information Engineering, Faculty of
     Engineering, Nagoya University), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)


An Efficient Sentence Analysis Method for General Phrase-Structure Grammars
     Tatsuya Hayashi (Fujitsu Laboratories Ltd.)
     Transactions of IPSJ 31, 12 (Dec. 1990)

Analysis Methods for Japanese Idomatic Predicates
     Masahiro Oku (NTT Communications and Information Processing Laboratories)
     Transactions of IPSJ 31, 12 (Dec. 1990)

Object Identification by Natural Language
     Akira Hakata (Fujitsu Laboratories Ltd.), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

Road Scene Interpretation and Modeling Based on Dynamic Multi-Sensor
Integration
     Minoru Asada (Mech. Eng. for Computer-Controlled Machinery, Osaka
     University), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

Understanding of Library Cataloging Cards Using a Knowledge-based Approach
     Qin Luo (Department of Information Engineering, Faculty of Engineering,
     Nagoya University), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

An Organizational Model of Computation and Its Application
     Takeo Maruichi (Electrical Engineering, Faculty of Science and
     Technology, Keio University), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

COOP/VM: A Programming Environment for Experimental Parallel Processing
     Tatsunori Kanai (Department of Information Science, Faculty of
     Engineering, Kyoto University), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

A Dynamic Load-Balancing Strategy on Parallel Machines through Remapping of
Programs and Processes
     Youji Kohda (International Institute for Advanced Study of Social
     Information Science, Fujitsu Ltd.)
     Transactions of IPSJ 31, 12 (Dec. 1990)

A Program Design Visualization System
     Itaru Ichikawa (Fujitsu Ltd.), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

An Experimental Evaluation of Team Performance in Program Development based on
Extention of the Programmer Performance Model
     Kenichi Matsumoto (Department of Information and Computer Sciences,
     Faculty of Engineering Science, Osaka University), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

Keystroke Data Collection System for a Personal Computer
     Osamu Morikawa (Industrial Products Research Institute), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

Time-Symbolic Simulation for Accurate Timing Verification of Logic Circuits
     Nagisa Ishiura (Department of Information Science, Faculty of
     Engineering, Kyoto University), et. al.
     Transactions of IPSJ 31, 12 (Dec. 1990)

A Study of FGMP; Fine Grain Multi-Processor
     Takashi Matsumoto (IBM Research, Tokyo Research Laboratory)
     Transactions of IPSJ 31, 12 (Dec. 1990)

A Public-key Crytosystem Based on Diophantine Equations
     Masahiro Yagisawa (Showa Engineering Corporation)
     Transactions of IPSJ 31, 12 (Dec. 1990)


---------------------END OF REPORT------------------------------------------