Digest Friday, 21 Mar 1986

' s Topics :

Volume 4 Issue 61

Publications - Japanese Technical Reports

Date: Wed, 19 Mar 86 19:38:21 pstFrom: eugene@AMES-NAS . ARPA (Eugene Miya)Subject: New Japanese Technical Reports at Stanford

Richard Manuck of the Stanford Math/CS library and I are solicitingparties interested in helping to foot the cost of translatingsome technical reports from ICOT. The list is included below, andseveral are in English. Many unlisted reports have come (150 total)which do not even have their titles translated. We are seeking organizationsin the San Francisco Area who might be interested in footing the cost oftranslation of some of these reports. The cost will run between$50-100 per hour (not cheap). Demand for this service is high.Richard and I are seeking either an organization (perhaps H-P?)to do the work, or help pay for the work. The content of the reportsvary considerably from statements of requirements and highlytechnical documents. Several appear, on loose translation, to be"interesting." Please contact me if your organization can help.

—Eugene miyaNASA Ames Research Centereugene(3ames-nas[decwri,ihnp4,hao,menlo7o,allegra,hplabs,riacs,tektronix}! ames ! eugene UUCP

STANFORD UNIVERSITYMATH & COMPUTER SCIENCE LIBRARY

NEW Japanese REPORTS LIST

102667 SEVERAL ASPECTS ON UNIFICATION.T. Adachi et al[Institute for New Generation1984.]

Computer Technology (ICOT). TM-0046.

102671 OBJECT ORIENTED PARSER IN THE LOGIC PROGRAMMING LANGUAGE ESPH. Miyoshi and K. Furukawa.[Institute for New Generation Computer Technology (ICOT). TM-0053.1984.]

102673 UNIQUE FEATURES OF ESP.T. Chikayama.[ Institute for New Generation Computer Technology (ICOT). TM-0055.1984.]

102674 A CONSTRAINT BASED DYNAMIC SEMANTIC MODEL FOR LOGIC DATABASES.T . Miyachi et al .[Institute for New Generation Computer Technology (ICOT). TM-0056.1984.]

WRITING IN A FOREIGN LANGUAGE AND PROGRAMMING IN WARNIER'SMETHODOLOGY - A STUDY OF PROGRAMMING PROCESSES.A. Taguchi.

[Institute for New Generation Computer Technology (ICOT). TM-0057.1984.]

MAID: A MAN-MACHINE INTERFACES . Hiroyuki . FOR DOMESTIC AFFAIRS.

[Institute for New Generation1984.]

Computer Technology (ICOT). TM-0058.

102677 PROBLEMS IN DEVELOPING AN EXPERIMENTAL SYSTEM ABLE TO REUSE EXISTINGPROGRAMS .Y. Nagai, E. Chigira, and M. Kobayashi.[Institute for New Generation Computer Technology (ICOT) TM-00591984.]

102683 AN OPERATING SYSTEM FOR SEQUENTIAL INFERENCE MACHINE PSIT. Hattori et al .[Institute for New Generation1984.]

Computer Technology (ICOT). TM-0065.

102690 SYNTACTIC PARSING WITH POPS -COMPARISON WITH OTHER SYSTEMSH. Hirakawa and K. Furukawa.[Institute for New Generation1984.]

ITS PARSING TIME ORDER AND THE

Computer Technology (ICOT). TM-0073.

102691 PROGRESS IN THE INITIAL STAGEK. Takei.

OF THE FGCS PROJECT

[Institute for New Generation1984.]

Computer Technology (ICOT). TM-0074.

A102694 A PERSONAL PERSPECTIVE ON SOME ASPECTS OF THE FGCS - PRELIMINARYCONSIDERATIONS FOR FIFTH-GENERATION-COMPUTER NETWORKS.A. Taguchi.[Institute for New Generation Computer Technology (ICOT). TM-00771984.]

102699 WIRING DESIGN EXPERT SYSTEM FOR VLSI: WIREX.H. Mori et al.[Institute for New Generation Computer Technology (ICOT). TM-00831984.]

102700 GDLO: A GRAMMAR DESCRIPTION LANGUAGE BASED ON DCGT. Morishita and H. Hirakawa.[Institute for New Generation Computer Technology (ICOT).. TM-00841984.]

102701 DELTA DEMONSTRATION AT ICOT OPEN HOUSEK . Murakami et al .[Institute for New Generation Computer Technology (ICOT). TM-0085.1984.]

102702 THE BOYER-MOORE THEOREM PROVER IN PROLOG. USER'S MANUAL.[Institute for New Generation Computer Technology (ICOT). TM-0086.1984. V3.6, November 1984.]

102703 KNUTH-BENDIX ALGORITHM FOR THUE SYSTEM BASED ON KACHINUKI ORDERING.K. Sakai.

" [Institute for New Generation Computer Technology (ICOT). TM-0087.1984.]

102707

"102710

102711

102713

102715

102716

" 102717

102719

102721

102725

102728

" 102731

SOURCE-LEVEL OPTIMIZATION TECHNIQUES FOR PROLOG.H. Sawamura, T. Takeshima, and A. Kato.[Institute for New Generation Computer Technology (ICOT) TM-00911985.]

PROTOTYPING A DIALOGING SYSTEM WITH A TOPIC MANAGEMENT FUNCTION.T. Miyachi et al.[Institute for New Generation Computer Technology (ICOT) TM-00941985.]

CONSTRAINT-BASED LOGIC DATABASE MANAGEMENT: STRUCTURINGMETA-KNOWLEDGE IN DATABASE MANAGEMENT.

[Institute for New Generation Computer Technology (ICOT) TM-00951985.]

SOME CONSIDERATIONS ON ESSENTIAL REQUIREMENTS OF INTELLIGENT HUMANINTERFACES .A . Taguchi[Institute for New Generation Computer Technology (ICOT). TM-00971985.]

SOME ASPECTS OF FUTURE KNOWLEDGE-COMMUNICATION NETWORKS ASINFRASTRUCTURE FOR FIFTH GENERATION COMPUTERS.A. Taguchi.[Institute for New Generation Computer Technology (ICOT). TM-00991985.]

CONSTRUCTING THE SIMPOS SUPERVISOR IN AN OBJECT-ORIENTED APPROACH.T. Hattori, N. Yoshida, and T. Fujisaki.[Institute for New Generation Computer Technology (ICOT). TM-0100.1985.]

SOME EXPERIMENTS ON EKL.M. Hagiya and S. Hayashi.[Institute for New Generation Computer Technology (ICOT). TM-01011985.]

SOME ASPECTS OF GENERALIZED PHRASE STRUCTURE GRAMMAR.S . Amano et al .[Institute for New Generation Computer Technology (ICOT). TM-01031985.]

DESIGN OF A HIGH-SPEED PROLOG MACHINE (HPM) .R. Nakazaki et al.[Institute for New Generation Computer Technology (ICOT). TM-01051985.]

WIREX: VSLI WIRING DESIGN EXPERT SYSTEM.H . Mori et al .[Institute for New Generation Computer Technology (ICOT). TM-0109.1985.]

PSI FONT EDITOR USER GUIDE.H . Touati .[Institute for New Generation Computer Technology (ICOT). TM-0112.1985.]

PSI FONT EDITOR IMPLEMENTATION NOTES.H . Touati .

T. Miyachi et al.

[Institute for New Generation Computer Technology (ICOT) TM-01151985.]

SOME COMMENTS ON SEMANTICAL DISK CACHE MANAGEMENT FOR KNOWLEDGE BASESYSTEMS .H . Schweppe.[Institute for New Generation1984.]

Computer Technology (ICOT). TR-040.

102763 [SIMULATOR OF XP'S]M. Aso.[Institute for New Generation Computer Technology (ICOT). TR-041.1984. IN JAPANESE. English abstract.]

102764 AN APPROACH TO A PARALLEL INFERENCE MACHINE BASED ON CONTROL-DRIVENAND DATA-DRIVEN MECHANISMS.R. Onai, M. Asou, and A. Takeuchi.[Institute for New Generation Computer Technology (ICOT). TR-0421984.]

102765 [MANDALA: KNOWLEDGE PROGRAMMING SYSTEM ON LOGIC PROGRAMMING LANGUAGE]K. Furukawa, A. Takeuchi, and S. Kunifuji.[Institute for New Generation Computer Technology (ICOT). TR-0431984. IN JAPANESE. English abstract.]

102766 ESP REFERENCE MANUAL.T . Chikayama .[Institute for New Generation1984.]

Computer Technology (ICOT). TR-044.

M\ 102767 THE DESIGN AND IMPLEMENTATIONMACHINE: PSI.

OF A PERSONAL SEQUENTIAL INFERENCE

M. Yokota et al.[Institute for New Generation1984.]

Computer Technology (ICOT). TR-045.

102768 DIALOGUE MANAGEMENT IN THE PERSONAL SEQUENTIAL INFERENCE MACHINE(PSI).J. Tsuji et al[Institute for New Generation Computer Technology (ICOT). TR-0461984.]

102769 [PROLOG SOURCE LEVEL OPTIMIZER: CATALOGUE OF OPTIMIZATION METHODOLOGY]H . Sawamura .[Institute for New Generation Computer Technology (ICOT). TR-047.1984. IN JAPANESE. No English abstract. By H. Sawamura et al.]

102770 [ANALYSIS OF SEQUENTIAL PROLOG PROGRAM]R. Onai.[Institute for New Generation Computer Technology (ICOT). TR-048.1984. IN JAPANESE. No English abstract. By R. Onai et al.]

102771 [META- INFERENCE AND ITS APPLICATION IN A LOGIC PROGRAMMING LANGUAGE]S. Kunifuji et al.[Institute for New Generation Computer Technology (ICOT). TR-049.1984. IN JAPANESES. No English abstract.]

Ml l 02' [ARCHITECTURE OF DATAFLOW PARALLEL INFERENCE MACHINE]T. Ito.[Institute for New Generation Computer Technology (ICOT). TR-050.

1984. IN JAPANESE. No English abstract. By T. Ito et al.]

102773 [SOFTWARE DEVELOPMENT SUPPORTING SYSTEM]M. Sugimoto." [Institute for New Generation Computer Technology (ICOT) TR-0511984. IN JAPANESE. No English abstract.]

102774 [HARDWARE DESIGN OF PERSONAL SEQUENTIAL INFERENCE MACHINE]K. Taki.[Institute for New Generation Computer Technology (ICOT). TR-052.1984. IN JAPANESE. No English abstract. By K. Taki et al.]

102775 A RELATIONAL DATABASE MACHINE WITH LARGE SEMICONDUCTOR DISK ANDHARDWARE RELATIONAL ALGEBRA PROCESSOR.S. Shibayama et al.[Institute for New Generation Computer Technology (ICOT). TR-0531984.]

102776 [THE CONCEPTUAL SPECIFICATION OF THE KERNEL LANGUAGE, VERSION 1]K. Furukawa et al.[Institute for New Generation Computer Technology (ICOT). TR-0541984. IN JAPANESE. No English abstract.]

102777 SIMPOS: AN OPERATING SYSTEM FOR A PERSONAL PROLOG MACHINE PSI.T. Hattori, J. Tsuji, and T. Yokoi.[Institute for New Generation Computer Technology (ICOT). TR-0551984.]

102778 THE CONCEPTS AND FACILITIES OF SIMPOS SUPERVISOR.T. Hattori and T. Yokoi.

" [Institute for New Generation Computer Technology (ICOT). TR-0561984.]

102779 OVERALL DESIGN OF SIMPOS (SEQUENTIAL INFERENCE MACHINE PROGRAMMINGAND OPERATING SYSTEM) .S. Takagi et al.[Institute for New Generation Computer Technology (ICOT). TR-0571984.]

102780 PROLOG-BASED EXPERT SYSTEM FOR LOGIC DESIGN.F. Maruyama et al.[Institute for New Generation Computer Technology (ICOT). TR-0581984.]

102781 THE CONCEPTS AND FACILITIES OF SIMPOS FILE SYSTEMT. Hattori and T. Yokoi.[Institute for New Generation Computer Technology (ICOT). TR-0591984.]

102782 A NOTE ON THE SET ABSTRACTION IN LOGIC PROGRAMMING LANGUAGE.T . Yokomori .[Institute for New Generation Computer Technology (ICOT). TR-060.1984.]

102783 COORDINATOR - THE KERNEL OF THE PROGRAMMING SYSTEM FOR THE PERSONALSEQUENTIAL INFERENCE MACHINE (PSI).T. Kurokawa and S. To jo.

" [Institute for New Generation Computer Technology (ICOT). TR-061.1984.]

102784

"102785

102786

102787

102788

102789

"102790

102791

102792

102793

102794

" LO

AN ORDERING METHOD FOR TERM REWRITING SYSTEMS.K. Sakai.[Institute for New Generation Computer Technology (ICOT). TR-0621984.]

DESIGN AND IMPLEMENTATION OF THE RELATIONAL DATABASE ENGINE.H. Sakai et al.[Institute for New Generation Computer Technology (ICOT). TR-0631984.]

QUERY PROCESSING FLOW ON RDBM DELTA'S FUNCTIONALLY-DISTRIBUTEDARCHITECTURE.S. Shibayama et al[Institute for New Generation Computer Technology (ICOT). TR-0641984.]

EFFICIENT STREAM/ARRAY PROCESSING IN LOGIC PROGRAMMING lANGUAGE.K. Ueda and T. Chikayama.[Institute for New Generation Computer Technology (ICOT). TR-065.1984.]

DESIGN AND IMPLEMENTATION OF A TWO-WAY MERGE-SORTER AND ITSAPPLICATION TO RELATIONAL DATABASE PROCESSING.K. Iwata et al[Institute for New Generation Computer Technology (ICOT). TR-0661984.]

NATURAL LANGUAGE BASED SOFTWARE DEVELOPMENT SYSTEM TELL.H . Enomoto et al .[Institute for New Generation Computer Technology (ICOT). TR-067.1984.]

FORMAL SPECIFICATION AND VERIFICATION FOR CONCURRENT SYSTEMS BY TELLH. Enomoto et al.[Institute for New Generation Computer Technology (ICOT). TR-0681984.]

[KNOWLEDGE REPRESENTATION (FOR WG4 WORKSHOP '83)]F. Mizoguchi and K. Furukawa.[Institute for New Generation Computer Technology (ICOT). TR-070.1984. IN JAPANESE. No English abstract. Edited by F. Mizoguchi and XFurukawa . ]

DESIGN CONCEPT FOR A SOFTWARE DEVELOPMENT CONSULTATION SYSTEM.M. Sugimoto, H. Kato, and H. Yoshida.[Institute for New Generation Computer Technology (ICOT). TR-071.1984.]

COMPARISON OF CLOSURE REDUCTION AND COMBINATORY REDUCTION SCHEMES.T. Ida and A. Konagaya.[Institute for New Generation Computer Technology (ICOT). TR-072.1984.]

[APPROACH TO TRANSLATION IN MORE NATURAL WAY (1)]H. Tanaka.[Institute for New Generation Computer Technology (ICOT). TR-073.1984. IN JAPANESE. No English abstract. By H. Tanaka et al.]

AN OVERVIEW OF RELATIONAL DATABASE MACHINE DELTA.N. Miyazaki et al.

A LO

102797

102798

102799

102800

"102801

102802

102803

102804

102805

"102806

[Institute for New Generation Computer Technology (ICOT). TR-0741984.]

HARDWARE DESIGN AND IMPLEMENTATION OF THE PERSONAL SEQUENTIALINFERENCE MACHINE (PSI).K. Taki et al.[Institute for New Generation Computer Technology (ICOT). TR-0751984.]

MANDALA: A LOGIC BASED KNOWLEDGE PROGRAMMING SYSTEM.K. Furukawa et al.[Institute for New Generation Computer Technology (ICOT). TR-0761984.]

[PARALLEL INFERENCE MACHINE PIM-R: ITS ARCHITECURE AND SOFTWARESIMULATION]R. Onai.[Institute for New Generation Computer Technology (ICOT). TR-077.1984. IN JAPANESE. No English abstract. By R. Onai et al.]

[PLAN FOR CONSTRUCTING KNOWLEDGE ARCHITECTURE]H . Kondou .[Institute for New Generation Computer Technology (ICOT). TR-0781984. IN JAPANESE. No English abstract.]

[A MICROPROGRAMMED INTERPRETER FOR THE PERSONAL SEQUENTIAL INFERENCEMACHINE PSI]A . Yamamoto .[Institute for New Generation Computer Technology (ICOT). TR-079.1984. IN JAPANESE. No English abstract. By A. Yamamoto et al . ]

[THE DEVELOPMENT OF EXPERIMENTAL QA-SYSTEMS ON SITUATION SEMANTICS]T. Kato.[Institute for New Generation Computer Technology (ICOT). TR-0801984. IN JAPANESE. No English abstract.]

[THE COMPOUND LOCAL AREA NETWORK INI - ITS PHYSICAL NETWORKCONFIGURATION AND CHARACTERISTICS OF PHYSICAL LAYER PROTOCOLS]A. Taguchi.[Institute for New Generation Computer Technology (ICOT). TR-081.1984. IN JAPANESE. No English abstract. By A. Taguchi et al.]

CURRENT STATUS AND FUTURE PLANS OF THE FIFTH GENERATION COMPUTERSYSTEMS PROJECT.K . Kawanobe .[Institute for New Generation Computer Technology (ICOT). TR-083.1984.]

ARCHITECTURES AND HARDWARE SYSTEMS: PARALLEL INFERENCE MACHINE ANDKNOWLEDGE BASE MACHINE.K. Murakami, T. Kakuta, and R. Onai[Institute for New Generation Computer Technology (ICOT). TR-084.1984.]

BASIC SOFTWARE SYSTEM.K . Furukawa and T . Yokoi .[Institute for New Generation Computer Technology (ICOT). TR-085.1984.]

SEQUENTIAL INFERENCE MACHINE: SIM PROGRESS REPORT

102808

102809

102810

102811

"102812

102813

102814

102815

102816

Al 28]

S. Uchida and T. Yokoi.[Institute for New Generation Computer Technology (ICOT) TR-0861984.]

SEQUENTIAL INFERENCE MACHINE: SIM - ITS PROGRAMMING AND OPERATINGSYSTEM.T. Yokoi and S. Uchida.[Institute for New Generation Computer Technology (ICOT) TR-0871984.]

RECURSIVE UNSOLVABILITY OF DETERMINACY, SOLVABLE CASES OF DETERMINACYAND THEIR APPLICATIONS TO PROLOG OPTIMIZATION.H. Sawamura and T. Takeshima.[Institute for New Generation Computer Technology (ICOT). TR-0881984.]

THE DESIGN AND IMPLEMENTATION OF RELATIONAL DATABASE MACHINE DELTA.T. Kakuta et al.[Institute for New Generation Computer Technology (ICOT). TR-0891984.]

A SEQUENTIAL IMPLEMENTATION OF CONCURRENCT PROLOG BASED ON THESHALLOW BINDING SCHEME.T. Miyazaki, A. Takeuchi, and T. Chikayama.[Institute for New Generation Computer Technology (ICOT) TR-0901984.]

CONCURRENT PROLOG ON TOP OF PROLOG.K. Ueda and T. Chikayama.[Institute for New Generation Computer Technology (ICOT). TR-0921984.]

OCCAM TO CMOS EXPERIMENTAL LOGIC DESIGN SUPPORT SYSTEM.T. Mano et al.[Institute for New Generation Computer Technology (ICOT). TR-0931984.]

FORMULATION OF INDUCTION FORMULAS IN VERIFICATION OF PROLOG PROGRAMS.T. Kanamori and H. Fujita.[Institute for New Generation Computer Technology (ICOT). TR-0941984.]

TYPE INFERENCE IN PROLOG AND ITS APPLICATIONS.T. Kanamori and K. Horiuchi.[Institute for New Generation Computer Technology (ICOT). TR-0951984.]

VERIFICATION OF PROLOG PROGRAMS USING AN EXTENSION OF EXECUTION.T. Kanamori and H. Seki.[Institute for New Generation Computer Technology (ICOT). TR-096.1984.]

PRINCIPLES OF OBJ2J. A. Goguen, J.-P. Jouannaud, and J. Meseguer.[Institute for New Generation Computer Technology (ICOT). TR-097.1984.]

LOGIC DESIGN: ISSUES IN BUILDING KNOWLEDGE-BASED DESIGN SYSTEMS.F . Maruyama et al .[Institute for New Generation Computer Technology (ICOT). TR-098.

1984.]1

"102818 DATA-FLOW BASED EXECUTION MECHANISMS OF PARALLEL AND CONCURRENT

PROLOG .N. Ito et al.[Institute for New Generation Computer Technology (ICOT). TR-0991984.]

102819 HORN CLAUSE LOGIC WITH PARAMETERIZED TYPES FOR SITUATION SEMANTICSPROGRAMMING .K . Mukai .[Institute for New Generation Computer Technology (ICOT). TR-1011985.]

102820 TOWARDS AUTOMATED SYNTHETIC DIFFERENTIAL GEOMETRY 1 - BASICCATEGORICAL CONSTRUCTION.S. Hayashi.[Institute for New Generation Computer Technology (ICOT). TR-1041985.]

102821 ARCHITECTURE OF REDUCTION-BASED PARALLEL INFERENCE MACHINE: PIM-R.R. Onai et al.[Institute for New Generation Computer Technology (ICOT). TR-1051985.]

102822 [OPERATION MANUAL FOR QUTE PROCESSOR]T. Sakurai and M. Fujita.[Institute for New Generation Computer Technology (ICOT). TR-1061985. IN JAPANESE. No English abstract.]

[FOUNDATIONS AND APPLICATIONS OF KNOWLEDGE ENGINEERING: PROLOG-BASEDKNOWLEDGE BASE MANAGEMENT]S. Kunifuji et al.[Institute for New Generation Computer Technology (ICOT). TR-107.1985. IN JAPANESE. No English abstract.]

Many more only in the Kanji and Kana.

End of AlList Digest********************

"