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