From: japancs@cs.arizona.edu (Japan CS Project)
Newsgroups: comp.research.japan
Subject: Journal of Information Processing, Vol 15, No. 1 (1992)
Date: 6 Nov 92 17:22:09 GMT


----------------------------------------------------------------------
     JOURNAL OF INFORMATION PROCESSING, VOL. 15, NO. 1, (1992)

          published by

     INFORMATION PROCESSING SOCIETY OF JAPAN
          (in English)
----------------------------------------------------------------------

[Collection and dissemination of this information supported in part by
 ONR Grant N0001492J1737.]


Regular Papers 

1	Music Server System 
	Distributed Music System on Local Area Network
	 by T. Aoyagi(1) and K. Hirata(2)
          (1) The University of Electro-Communications
          (2) Institute for New Generation Computer Technology

10 	Linearization of Zipfian Distribution for Chinese Characters
	 by Kim Teng Lua
          National University of Singapore, Kent Ridge, Singapore 0511

17 	Graphic Presentation of Chaos Generated in Computational Fluid Dynamics
	 by T. Aratani
          Department os Management and Information Sciences, Hiroshima
           Prefectural University, Shyobara-shi, Hiroshima 727, Japan

25 	Yet Another Approach for Secure Broadcasting Based Upon Single Key
        Concept
	 by Jinn-Ke Jan and Choung-Dong Yu
          Institute of Applied Mathematics, National Chung Hsing 
           University, Taichung, Taiwan 40227, Republic of China

29 	A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning
	 by K. Satoh 
          Institute for New Generation Computer Technology, 1-4-28 Mita, 
           Minato-ku, Tokyo 108, Japan

Translation from Transactions of IPSJ Editors' Message

40 	Editors' Message on Selected Translations from IPSJ Transactions
	 by S. Doshita(1) and T. Kamimura(2)
          (1) Kyoto University
          (2) IBM Japan, Ltd.

41 	Reasoning for a Logic Circuit Synthesis Expert System
	 by K. Bekki, T. Yokota, T. Nagai, N. Nakatsuka and N. Hamada
          Hitachi Research Laboratory, Hitachi Ltd. 4026, Kuji, Hitachi,
           Ibaraki 319-12, Japan

50 	A Knowledge Acquisition Method Based on a Multi-Attribute Utility Model
	 by T. Mitsuta, Y. Kabayashi and H. Nanaka
          Energy Research Laboratory, Hitachi, Ltd.

60 	Natural Language Dialogue Understanding on a Four-layer Plan Recognition
        Model
	 by H. Iida(1) and H. Arita(2)
          (1) ATR Interpreting Telephony Research Laboratories
          (2) Mitsubishi Electric Corp.

72 	AIgorithm for Constructing Extensions of Propositional Autoepistemic
        Logic
	 by N. Babaguchi, J. Moriuma and Y. Tezuka
          Department of Communication Engineering, Faculty of Engineering,
           Osaka University, 2-1 Yamadaoka, Suita, 565 Japan

79 	Rapid Learning Method for Multilayered Neural Networks Using Two-
        Dimensional Conjugate Gradient Search
	 by T. Yoshida
          Department of Computer Science, Gunma University, Kiryu,
           Gunma 376, Japan

87 	Optimal Checkpointing Policies Using the Checkpointing Density 	
         by S. Fukumoto(1), N. Kaio(2) and S. Osaki(3)
          (1) Graduate School of Engineering, Hiroshima University,
           Higashi-Hiroshima-shi, 724, Japan
          (2) Department of Management Science, Hiroshima Shudo
           University, Hiroshima-shi, 724, Japan
          (3) Cluster II (Electrical Engineering) Faculty of Engineering,
           Hiroshima University, Higashi-Hiroshima-shi, 724, Japan

93 	An Algorithm for Constructing a Semi-LL (2) Grammar's Parsing Table
	 by K. Yoshida(1) and Y. Takeuchi(2)
          (1) Department of Computer Science, College of Engineering,
           Shizuoka University
          (2) Department of Computer Science, Hamamatsu Polytechnic
           College

108 	An Efficient Algorithm for Point Pattern Matching Using Ordered Lists
	 by Hongbin Zhang, M. Minoh and K. Ikeda
          Department of Information Science, Faculty of Engineering,
           Kyoto University, Kyoto 606-01, Japan

116 	The Software Development Environment: dmCASE
	 by S. Matsuura and M. Ohbayashi
          Kanri Kogaku Kenkyusyo, Ltd. 1-9-6 Ebisuminami, Shibuya-ku,
           Tokyo 150, Japan

129 	Regular Temporal Logic Expressively Equivalent to Finite Automata and
        Its Application to Logic Design Verification
         by H. Hiraishi(1), K. Hamaguchi(2), H. Fujii(3) and S. Yajima(2)
          (1) Department of Information and Communication Sciences,
           Faculty of Engineering, Kyoto Sangyo University
          (2) Department of Information Science, Faculty of Engineering,
           Kyoto University
          (3) Information and Communication Processing Research 
           Laboratory, NTT

139 	Abstracts from "Transactions of Information Processing Society of Japan"

148 	Contents of JOHO SHORI

150 	Profiles of Authors

154 	Information for Authors

155 	Questionnaire