Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!sdd.hp.com!caen!news.cs.indiana.edu!arizona.edu!arizona!rick From: rick@cs.arizona.edu (Rick Schlichting) Newsgroups: comp.research.japan Subject: Kahaner Report: IPSJ Conf. Proceedings (Book 1), Message-ID: <2933@optima.cs.arizona.edu> Date: 8 May 91 15:46:13 GMT Sender: rick@cs.arizona.edu Lines: 358 Approved: rick@cs.arizona.edu [Dr. David Kahaner is a numerical analyst visiting Japan for two-years under the auspices of the Office of Naval Research-Asia (ONR/Asia). The following is the professional opinion of David Kahaner and in no way has the blessing of the US Government or any agency of it. All information is dated and of limited life time. This disclaimer should be noted on ANY attribution.] [Copies of previous reports written by Kahaner can be obtained from host cs.arizona.edu using anonymous FTP.] 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)----------------------------------------