I

- . v .,v.

*i:,.. r.^-,

v^

]APAN ANNUAL REVIEWS IN ELECTRONICS, COMPUTERS & TELECOMMUNICATIONS

l^o/vii u i etc aOEiiivx

1982

Editor I KITAGAWA

£c/ 1

ffcf yt>o te i

i//b^i

wI

Hiilli 11b .y

Amsterdam -New York -OxfordTokyo " Osaka -Kyoto

1 II i

G

I 1-1 1 .

(|J)

OHMSHA,

LTD. and NORTH" GLAND PUBLISHING COMPANY

- 1

;

Ai

i ~.i\ r:i

! I

.! 4_

..- . .-S-:

sm

Copyright © 1982 by OHMSHA, LTD.

ISSN 0167-50036

Co-published byOHMSHA, LTD.1-3 Kanda Nishiki-cho, Chiyoda-ku, Tokyo 101, japan

Sole distributors for Japan

andNORTH-HOLLAND PUBLISHING COMPANYMolenwerf 1, 1014 AC, Amsterdam, The NetherlandsSole distributors for outside japan

All n

S

hts reserved No pari cf this publication may be reproduced, stored in a retrieval system, or transmitted in

anylorm orby any means, electronic or mechanical,photocopy, recording, or otherwise, without the pnor .ntten

permission of the publishers.,

■

t a mho in A This iournal hasbeen registeredwith the Copyright ClearanceCenter,

rs;"irBGAGA ;;: yAGGoA :;:„,, _ ,»«,„ l „ ,.,*, „»,_. .rf **TO, co"G Gen on the condition ,h„,hecopierm» tough*.Cente, thepe, cop, Ice stated m ,he codeon

C^rGo„,e,,*^^^

kr^^a

rnn-fnt to coov and permission to copy must ot uuuiiicti.. "rbroad consent to copy _.iu p

fGG n ,<■ a « a|,n Dl,

r,!e

through the Center. (N.B. For review jour-

££S.re!_ie a^veig and promotion purposes, or for creating new collective works. Speca, wntfen per-

mission must be obtained frorr thepublisher for such copying.

t ,h_

//<:

A I loon acceptance of an article to the journal,the author(s) will be

S^too^of information under the U.S. Copyright Law.

Printed in Japan

m.

Preface

This is the 1982 edition of a series of annual reviews which air. provideinternational readers with up to date information relevant to undemanding themost i nt research trends and representative achievements in the fie Id of com-puter science and technology in Japan.

In view of the rapid world wide developments in this field—exemplifiedby the growth of information oriented activities-the board of editors feels aresponsibility to reflect Japanese activities and achievements throurh our seriesof annual reviews, providing both a systematic and up to date appf . ich.

With this goal in mind we are, in these annual reviews, organizing our ac-cumulated experiences in order to fulfill our international dutie^ Ay promotingintimate cooperationamong those working in th uicreasingly important field.

tted inwritten

denier,clients.ode on

il law."■tanceii givenblishedw jour-generalen per-

Tosio KitagawaMusashino, Tokyo, JapanAutumn 1981

V'-

■ ..',■

. *" >

"

'-.."'-

'

r'^ "■-■-'

" '' —"'-' '**, f̂wi«w>-'-'' """'-'*"' '

"

Contents

PREFACEPREFACE

INTRODUCTION lT. Kitagawa; Fujitsu Ltd.

Chapter 1 PATTERN INFORMATION PROCESSING SYSTEM(PIPS) 5

1.1 Outline of the PIPS Project and Prototype ofTotal System 6O. Ishii; Electroteclv i Laboratory

1.2 Design and Implementation of a Microprocessing Unit withFlexible Architecture ■ 22

H. lizuka; Seikei University1.3 Database Machine with Magnetic-Bubble Memory 39

S. Uemura, T. Yuba, A. Kokubu and R.

Ooomote;

ElectrotechnicalLaboratory

1.4 A High Performance Kanji Character Reader 51K. Mori, K. Sakai and S. Hirai; Toshiba Corp.

Chapter 2 NATURAL LANGUAGE PRO GSSING rr2.1 A 'vey of Natural Language Processing and Machine

Translation in Japan 64M. Nagao; Kyoto University

2.2 Semantic Repress!ation Language 71H. Tanaka; Electrotechnical Laboratory

2.3 Conceptual Taxonomyfor Natural Language Processing 87S. Yoshida; Kyushu University

Chapter 3 SOFTWARE ENGINEERING 1013.1 / Survey of Sofi-.ric Lugineering in Japan 102

Y. Ohno andK. m; Kyoto University

3.2 A Software Design SystemBased on a Unified Design Method 110K. Iwamotoand O. Shigo; Nippon Electric

Co.,

Ltd.3.3 An Approach to Hierarchical and Modular Program Construction

and Verification—The i Programming System— 126111

■

CONTENTS ji

R . Nakajima; Kyoto University 15 ,3 4 Hierarchical Software Development in HISP g35

K Futatsugi;ASoft^D^Electrotechnical Laboratory

175 jSpecification to Software Design

Y. Matsumoto; Toshiba Corp.

193a r atarASE & KNOWLEDGE BASE "

ChUPte4 O^^ftesearch on the Theoretical Aspect of Datable 1'

System and Knowledge Base System in Japan

S. Ohsuga; The University of Tokyo 2Q6

4 2 Theory of DatabasesY. Kambayashi; Kyoto University

rnmDUter System of4.3 Knowledge 8a ... 1 Systems as a New Meractrve Computer S* I

the Next Gen- uonS Ohsuga " University of Tokyo 25Q

-=cq tn Relational Databases4 4 On IntelligentA ...ess to Keiauuu

K. Fumkavta; Electrotechnical Laboratory

45 A Data Stream Database Computer

y. Tanaka; Hokkaido University

287

Chanter 5 KNOWLEDGE ENGINEERING ""- 28851 Resume ofKnowledge Engineering in Japan

kinference Scheme for Question- I

52 riSs;c: ue ******~ - 291 iUnderstanding Simulation Systems

k Tanaka- Osaka University ., , J_£s_- Id"-*-* of Attet, Branches » One 1Angngtams-Ar. Image Understanding Syslea, whtch Uttes

Production-Type Knowledge- which Ja,

s Tsaii audit. NakamK Osaka Unimsay tcchnolog

5 4 MeL Consultation System with Practical Recrements-Development of MEC;" M- the prival

S /.flifcffW Tte t/m'u -. ity of Tokyo the fUno;

r . W «_«,/»*». fG^Z, Systems 334 backgro

5 5 A Software Environment for DevelopingKnowledge Base Sys . i

F.Mizoguchi; Science University of Tokyo 11 years. Fcthis volu

APPENDIX !ivit ies and Policy Choices in Japan 351Information Oriented .uvities anu n

-

■■.

iiA S3 Inten7. Kitagawa; Fujitsu Ltd. Num

J Authors' Pi -He 1

..-- M̂^__________Bl-_-_-_-_BI'