From: rick@cs.arizona.edu (Rick Schlichting)
Newsgroups: comp.research.japan
Subject: Kahaner Report: Transactions of Info Proc Soc Japan, Vol 33#8, 10, 11
Date: 28 Dec 92 17:14:57 GMT


  [Dr. David Kahaner is a numerical analyst on sabbatical to the 
   Office of Naval Research-Asia (ONR Asia) in Tokyo from NIST.  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 using
   anonymous FTP from host cs.arizona.edu, directory japan/kahaner.reports.]

To: Distribution
From: 
 David K. Kahaner
 US Office of Naval Research Asia
 (From outside US):  23-17, 7-chome, Roppongi, Minato-ku, Tokyo 106 Japan
 (From within  US):  Unit 45002, APO AP 96337-0007
  Tel: +81 3 3401-8924, Fax: +81 3 3403-9670
  Email: kahaner@cs.titech.ac.jp
Re: Transactions of Info Proc Soc Japan, Vol 33#8, 10, 11
25 Dec 1992
This file is named "tipsj33.811"


ABSTRACT. Titles and authors from Transactions of the Information
Processing Society of Japan, Vol 33 Nos 8, 10, 11. (1992).



Transactions of Information Processing Society of Japan, Vol. 33, No. 8, 1992

On the optimization of some seven-stage sixth-order explicit Runge-Kutta
method 
     M. Tanaka (Faculty of Engineering, Yamanashi Univ.), et al.

A new numerical method for transient electromagnetic problem - Transient Green
Method
     H. Abe (C&C Information Technology Research Labs, NEC Corp.), et al.

A sufficient condition to design a deadlock-free and collision-free path-
planning algorithm in an uncertain workspace and its algorithm's evaluation -
path-planning based on the euclidean distance toward the Goal
     H. Noborio (Faculty of Engineering, Osaka Electro-Communication Univ.)

A method for analyzing conjunctive structures in Japanese
     S. Kurohashi (Faculty of Engineering, Kyoto Univ.), et al.

Vision system model with differentiated visual fields
     C. Yoshida (Faculty of Engineering, Nagoya Inst. of Tech.), et al.

On the application of a set oriented language SOL to database system
     Y. Shigematsu (Faculty of Engineering, Kyushu Inst. of Tech.), et al.

Designing Contracts for Behavior of Objects
     H. Sakai (Faculty of Science and Engineering, Chuo Univ.)

Communication model for software requirements definition
     A. Ohnishi (Data Processing Center, Kyoto Univ.)



-------------------------------------------------------------

Transactions of Information Processing Society of Japan, Vol. 33, No. 10, 1992

Computation of Airy Functions Ai(z), Bi(z), Ai'(z) and Bi'(z) with Complex
Argument z 
     Toshio Yoshida (Chubu University)

Blocking Algorithm for Data Transfer Control in Numerical Linear Algebra
Programming
     Hikaru Samukawa (IBM Japan, Ltd.)

An Efficient Sub-System of Doxastic Modal Logic
     Mikio Yamamoto, Yasuhiro Morioka and Seiichi Nakagawa (Toyohashi
     University of Technology)

Zero-Pronoun Resolution Based on Consistency of the Knowledge States          
of Dialogue's Participants
     Hideki Kashioka and Atsuko Takano (Osaka University), et al.

A Framework for Dependency Grammar Based on the Word's Modifiability Level -
Restricted Dependency Grammar
     Fumiyo Fukumoto (ICOT), et al.

A Fast Algorithm for Detecting Errors of Novice Typists
     Naohiko Takeda (Toyohashi University of Technology), et al.

A Computer Graphics Representation Method of Cracks on a Plate Glass
     Takeshi Agui (Tokyo Institute of Technology), et al.

A Robust Method for Tracing Algebraic Curves
     Yukinobu Taniguchi (NTT Human Interface Labs.), et al.

A Method for Improving Retrieval Performance of a GBD Tree - A Proposal of a
Method for Handling Large Graphic Elements
     Hisashi Shimodaira (Nihon MECCS Co. Ltd.), et al.

Evaluation of a Semantic Analyzer of a Parallel Compiler Compas
     Hiroyasu Nishiyama (University of Tsukuba), et al.

Pipeline Structure for Prolog-oriented RISC Processors
     Kazuo Seo (Mitsubishi Electric Corp.), et al.

-------------------------------------------------------------


Transactions of Information Processing Society of Japan, Vol. 33, No. 11, 1992

Selection of the Stochastic Model Based on the Minimum Description Length
Principle and State Decomposition
     J. Suzuki (School of Science and Engineering, Waseda University), et. al.

On the Calculation of Eigenvalues of Mathieu Function
     Shin-ichiro Yamashita (College of Science and Technology, Nihon
     University)

A Strategy of Game Three Search Modelling Experts' Thinking Process
     Hiroyuki Iida (Faculty of Engineering, Tokyo University of Agriculture
     and Technology), et al.

Structuring of Weight Parameters and Decision Boundary in Complex Back-
propagation Network
     Tohru Nitta (Computer Science Division, Electrotechnical Laboratory), et
     al.

Structural Rule Base for High Speed Expert Scheduling System in Flexible
Manufacturing
     Rei Itsuki (Kansai Systems Lab., Hitachi Ltd.)

An Analysis and Parsing Method of the Omission of Post-Position and Inversion
on Japanese Spoken Sentence in Dialogue
     Mikio Yamamoto (Dept. of Information and Computer Sciences, Toyohashi
     University of Technology), et al.

Methods of Implementing a Multi-byte C Compiler
     Mitarou Namiki (Faculty of Technology, Tokyo University of Agriculture
     and Technology), et al.

Performance Improvement for Computer Systems by Virtualized Input/Output and
Its Analysis
     Taketoshi Sakuraba (Software Development Center, Hitachi, Ltd.), et al.

Implementation of Parallel Processing Language System on a Multiprocessor Unix
Machine
     Hideya Iwasaki (Faculty of Engineering, University of Tokyo)

Performance Evaluation of Concurrency Control Algorithms in the Distributed
Database System
     Nobuhiro Kato (Information System Engineering Lab., Toshiba Corp.)

Sense Retrieval on a Image Database of Full Color Paintings
     Takio Kurita (Electro Technical Lab.), et al.

Nested Transaction Based Reliable Distributed Computing Environment for a
Network of Workstations
     Tatsunori Kanai (Research and Development Center, Toshiba Corp.), et al.

The Testing Criterion on Dataflows with Common Variables for Concurrent
Programs
     Zengo Furukawa (Faculty of Engineering, Kyushu University), et al.

Design and Implementation of KyotoDB:  A Software Engineering Database
     Tsuneo Ajisaka (Faculty of Engineering, Kyoto University), et al.

Fundamental Control Structure of Software Process
     Keqing He (State Key Lab. of Computer Software Engineering, Wuhan
     University), et al.

A Route Status Reporting Method in a Computer Network
     Satoshi Miyazaki (Systems Development Lab., Hitachi, Ltd.), et al.

Evaluation of Mean Search Length on Distributed Electronic Mail Directory
Systems
     Lin Yang (University of Tsukuba), et al.

TACT: An Interface System to Support User Task Switching
     Yasuko Toju (Faculty of Science and Technology, Keio University), et al.

An Exponential-S-shaped Software Reliability Growth Model with Two Classes of
Error Detectability
     Mitsuhiro Kimura (Faculty of Engineering, Hiroshima University), et al.

Reliability Evaluations of Stop-and-Wait ARQ Policies for a System with Multi-
Stage Error Control
     Kazumi Yasui (Dept. of Industrial Engineering, Aichi Institute of
     Technology), et al.


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