E1AR0002@SMUVM1.BITNET (03/23/86)
This was extracted from AI-LIST. The person who forwarded this, Dr.
Eugene Miya of NASA Ames Research Center, would like an organization to help
with translating those materials in Japanese. This would be as a
monetary contribution or by doing the translation themselves. Contact
eugene@ames-nas if interested.
STANFORD UNIVERSITY
MATH & COMPUTER SCIENCE LIBRARY
NEW Japanese REPORTS LIST
102667 SEVERAL ASPECTS ON UNIFICATION.
T. Adachi et al.
[Institute for New Generation Computer Technology (ICOT). TM-0046.
1984.]
102671 OBJECT ORIENTED PARSER IN THE LOGIC PROGRAMMING LANGUAGE ESP.
H. 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.]
102675 WRITING IN A FOREIGN LANGUAGE AND PROGRAMMING IN WARNIER'S
METHODOLOGY - A STUDY OF PROGRAMMING PROCESSES.
A. Taguchi.
[Institute for New Generation Computer Technology (ICOT). TM-0057.
1984.]
102676 MAID: A MAN-MACHINE INTERFACE FOR DOMESTIC AFFAIRS.
S. Hiroyuki.
[Institute for New Generation Computer Technology (ICOT). TM-0058.
1984.]
102677 PROBLEMS IN DEVELOPING AN EXPERIMENTAL SYSTEM ABLE TO REUSE EXISTING
PROGRAMS.
Y. Nagai, E. Chigira, and M. Kobayashi.
[Institute for New Generation Computer Technology (ICOT). TM-0059.
1984.]
102683 AN OPERATING SYSTEM FOR SEQUENTIAL INFERENCE MACHINE PSI.
T. Hattori et al.
[Institute for New Generation Computer Technology (ICOT). TM-0065.
1984.]
102690 SYNTACTIC PARSING WITH POPS - ITS PARSING TIME ORDER AND THE
COMPARISON WITH OTHER SYSTEMS.
H. Hirakawa and K. Furukawa.
[Institute for New Generation Computer Technology (ICOT). TM-0073.
1984.]
102691 PROGRESS IN THE INITIAL STAGE OF THE FGCS PROJECT.
K. Takei.
[Institute for New Generation Computer Technology (ICOT). TM-0074.
1984.]
102694 A PERSONAL PERSPECTIVE ON SOME ASPECTS OF THE FGCS - PRELIMINARY
CONSIDERATIONS FOR FIFTH-GENERATION-COMPUTER NETWORKS.
A. Taguchi.
[Institute for New Generation Computer Technology (ICOT). TM-0077.
1984.]
102699 WIRING DESIGN EXPERT SYSTEM FOR VLSI: WIREX.
H. Mori et al.
[Institute for New Generation Computer Technology (ICOT). TM-0083.
1984.]
102700 GDLO: A GRAMMAR DESCRIPTION LANGUAGE BASED ON DCG.
T. Morishita and H. Hirakawa.
[Institute for New Generation Computer Technology (ICOT). TM-0084.
1984.]
102701 DELTA DEMONSTRATION AT ICOT OPEN HOUSE.
K. 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 SOURCE-LEVEL OPTIMIZATION TECHNIQUES FOR PROLOG.
H. Sawamura, T. Takeshima, and A. Kato.
[Institute for New Generation Computer Technology (ICOT). TM-0091.
1985.]
102710 PROTOTYPING A DIALOGING SYSTEM WITH A TOPIC MANAGEMENT FUNCTION.
T. Miyachi et al.
[Institute for New Generation Computer Technology (ICOT). TM-0094.
1985.]
102711 CONSTRAINT-BASED LOGIC DATABASE MANAGEMENT: STRUCTURING
META-KNOWLEDGE IN DATABASE MANAGEMENT.
T. Miyachi et al.
[Institute for New Generation Computer Technology (ICOT). TM-0095.
1985.]
102713 SOME CONSIDERATIONS ON ESSENTIAL REQUIREMENTS OF INTELLIGENT HUMAN
INTERFACES.
A. Taguchi.
[Institute for New Generation Computer Technology (ICOT). TM-0097.
1985.]
102715 SOME ASPECTS OF FUTURE KNOWLEDGE-COMMUNICATION NETWORKS AS
INFRASTRUCTURE FOR FIFTH GENERATION COMPUTERS.
A. Taguchi.
[Institute for New Generation Computer Technology (ICOT). TM-0099.
1985.]
102716 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.]
102717 SOME EXPERIMENTS ON EKL.
M. Hagiya and S. Hayashi.
[Institute for New Generation Computer Technology (ICOT). TM-0101.
1985.]
102719 SOME ASPECTS OF GENERALIZED PHRASE STRUCTURE GRAMMAR.
S. Amano et al.
[Institute for New Generation Computer Technology (ICOT). TM-0103.
1985.]
102721 DESIGN OF A HIGH-SPEED PROLOG MACHINE (HPM).
R. Nakazaki et al.
[Institute for New Generation Computer Technology (ICOT). TM-0105.
1985.]
102725 WIREX: VSLI WIRING DESIGN EXPERT SYSTEM.
H. Mori et al.
[Institute for New Generation Computer Technology (ICOT). TM-0109.
1985.]
102728 PSI FONT EDITOR USER GUIDE.
H. Touati.
[Institute for New Generation Computer Technology (ICOT). TM-0112.
1985.]
102731 PSI FONT EDITOR IMPLEMENTATION NOTES.
H. Touati.
[Institute for New Generation Computer Technology (ICOT). TM-0115.
1985.]
102762 SOME COMMENTS ON SEMANTICAL DISK CACHE MANAGEMENT FOR KNOWLEDGE BASE
SYSTEMS.
H. Schweppe.
[Institute for New Generation Computer Technology (ICOT). TR-040.
1984.]
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-DRIVEN
AND DATA-DRIVEN MECHANISMS.
R. Onai, M. Asou, and A. Takeuchi.
[Institute for New Generation Computer Technology (ICOT). TR-042.
1984.]
102765 [MANDALA: KNOWLEDGE PROGRAMMING SYSTEM ON LOGIC PROGRAMMING LANGUAGE]
K. Furukawa, A. Takeuchi, and S. Kunifuji.
[Institute for New Generation Computer Technology (ICOT). TR-043.
1984. IN JAPANESE. English abstract.]
102766 ESP REFERENCE MANUAL.
T. Chikayama.
[Institute for New Generation Computer Technology (ICOT). TR-044.
1984.]
102767 THE DESIGN AND IMPLEMENTATION OF A PERSONAL SEQUENTIAL INFERENCE
MACHINE: PSI.
M. Yokota et al.
[Institute for New Generation Computer Technology (ICOT). TR-045.
1984.]
102768 DIALOGUE MANAGEMENT IN THE PERSONAL SEQUENTIAL INFERENCE MACHINE
(PSI).
J. Tsuji et al.
[Institute for New Generation Computer Technology (ICOT). TR-046.
1984.]
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.]
102772 [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-051.
1984. 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 AND
HARDWARE RELATIONAL ALGEBRA PROCESSOR.
S. Shibayama et al.
[Institute for New Generation Computer Technology (ICOT). TR-053.
1984.]
102776 [THE CONCEPTUAL SPECIFICATION OF THE KERNEL LANGUAGE, VERSION 1]
K. Furukawa et al.
[Institute for New Generation Computer Technology (ICOT). TR-054.
1984. 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-055.
1984.]
102778 THE CONCEPTS AND FACILITIES OF SIMPOS SUPERVISOR.
T. Hattori and T. Yokoi.
[Institute for New Generation Computer Technology (ICOT). TR-056.
1984.]
102779 OVERALL DESIGN OF SIMPOS (SEQUENTIAL INFERENCE MACHINE PROGRAMMING
AND OPERATING SYSTEM).
S. Takagi et al.
[Institute for New Generation Computer Technology (ICOT). TR-057.
1984.]
102780 PROLOG-BASED EXPERT SYSTEM FOR LOGIC DESIGN.
F. Maruyama et al.
[Institute for New Generation Computer Technology (ICOT). TR-058.
1984.]
102781 THE CONCEPTS AND FACILITIES OF SIMPOS FILE SYSTEM.
T. Hattori and T. Yokoi.
[Institute for New Generation Computer Technology (ICOT). TR-059.
1984.]
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 PERSONAL
SEQUENTIAL INFERENCE MACHINE (PSI).
T. Kurokawa and S. Tojo.
[Institute for New Generation Computer Technology (ICOT). TR-061.
1984.]
102784 AN ORDERING METHOD FOR TERM REWRITING SYSTEMS.
K. Sakai.
[Institute for New Generation Computer Technology (ICOT). TR-062.
1984.]
102785 DESIGN AND IMPLEMENTATION OF THE RELATIONAL DATABASE ENGINE.
H. Sakai et al.
[Institute for New Generation Computer Technology (ICOT). TR-063.
1984.]
102786 QUERY PROCESSING FLOW ON RDBM DELTA'S FUNCTIONALLY-DISTRIBUTED
ARCHITECTURE.
S. Shibayama et al.
[Institute for New Generation Computer Technology (ICOT). TR-064.
1984.]
102787 EFFICIENT STREAM/ARRAY PROCESSING IN LOGIC PROGRAMMING LANGUAGE.
K. Ueda and T. Chikayama.
[Institute for New Generation Computer Technology (ICOT). TR-065.
1984.]
102788 DESIGN AND IMPLEMENTATION OF A TWO-WAY MERGE-SORTER AND ITS
APPLICATION TO RELATIONAL DATABASE PROCESSING.
K. Iwata et al.
[Institute for New Generation Computer Technology (ICOT). TR-066.
1984.]
102789 NATURAL LANGUAGE BASED SOFTWARE DEVELOPMENT SYSTEM TELL.
H. Enomoto et al.
[Institute for New Generation Computer Technology (ICOT). TR-067.
1984.]
102790 FORMAL SPECIFICATION AND VERIFICATION FOR CONCURRENT SYSTEMS BY TELL.
H. Enomoto et al.
[Institute for New Generation Computer Technology (ICOT). TR-068.
1984.]
102791 [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 K.
Furukawa.]
102792 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.]
102793 COMPARISON OF CLOSURE REDUCTION AND COMBINATORY REDUCTION SCHEMES.
T. Ida and A. Konagaya.
[Institute for New Generation Computer Technology (ICOT). TR-072.
1984.]
102794 [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.]
102795 AN OVERVIEW OF RELATIONAL DATABASE MACHINE DELTA.
N. Miyazaki et al.
[Institute for New Generation Computer Technology (ICOT). TR-074.
1984.]
102796 HARDWARE DESIGN AND IMPLEMENTATION OF THE PERSONAL SEQUENTIAL
INFERENCE MACHINE (PSI).
K. Taki et al.
[Institute for New Generation Computer Technology (ICOT). TR-075.
1984.]
102797 MANDALA: A LOGIC BASED KNOWLEDGE PROGRAMMING SYSTEM.
K. Furukawa et al.
[Institute for New Generation Computer Technology (ICOT). TR-076.
1984.]
102798 [PARALLEL INFERENCE MACHINE PIM-R: ITS ARCHITECURE AND SOFTWARE
SIMULATION]
R. Onai.
[Institute for New Generation Computer Technology (ICOT). TR-077.
1984. IN JAPANESE. No English abstract. By R. Onai et al.]
102799 [PLAN FOR CONSTRUCTING KNOWLEDGE ARCHITECTURE]
H. Kondou.
[Institute for New Generation Computer Technology (ICOT). TR-078.
1984. IN JAPANESE. No English abstract.]
102800 [A MICROPROGRAMMED INTERPRETER FOR THE PERSONAL SEQUENTIAL INFERENCE
MACHINE PSI]
A. Yamamoto.
[Institute for New Generation Computer Technology (ICOT). TR-079.
1984. IN JAPANESE. No English abstract. By A. Yamamoto et al.]
102801 [THE DEVELOPMENT OF EXPERIMENTAL QA-SYSTEMS ON SITUATION SEMANTICS]
T. Kato.
[Institute for New Generation Computer Technology (ICOT). TR-080.
1984. IN JAPANESE. No English abstract.]
102802 [THE COMPOUND LOCAL AREA NETWORK INI - ITS PHYSICAL NETWORK
CONFIGURATION 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.]
102803 CURRENT STATUS AND FUTURE PLANS OF THE FIFTH GENERATION COMPUTER
SYSTEMS PROJECT.
K. Kawanobe.
[Institute for New Generation Computer Technology (ICOT). TR-083.
1984.]
102804 ARCHITECTURES AND HARDWARE SYSTEMS: PARALLEL INFERENCE MACHINE AND
KNOWLEDGE BASE MACHINE.
K. Murakami, T. Kakuta, and R. Onai.
[Institute for New Generation Computer Technology (ICOT). TR-084.
1984.]
102805 BASIC SOFTWARE SYSTEM.
K. Furukawa and T. Yokoi.
[Institute for New Generation Computer Technology (ICOT). TR-085.
1984.]
102806 SEQUENTIAL INFERENCE MACHINE: SIM PROGRESS REPORT.
S. Uchida and T. Yokoi.
[Institute for New Generation Computer Technology (ICOT). TR-086.
1984.]
102807 SEQUENTIAL INFERENCE MACHINE: SIM - ITS PROGRAMMING AND OPERATING
SYSTEM.
T. Yokoi and S. Uchida.
[Institute for New Generation Computer Technology (ICOT). TR-087.
1984.]
102808 RECURSIVE UNSOLVABILITY OF DETERMINACY, SOLVABLE CASES OF DETERMINACY
AND THEIR APPLICATIONS TO PROLOG OPTIMIZATION.
H. Sawamura and T. Takeshima.
[Institute for New Generation Computer Technology (ICOT). TR-088.
1984.]
102809 THE DESIGN AND IMPLEMENTATION OF RELATIONAL DATABASE MACHINE DELTA.
T. Kakuta et al.
[Institute for New Generation Computer Technology (ICOT). TR-089.
1984.]
102810 A SEQUENTIAL IMPLEMENTATION OF CONCURRENCT PROLOG BASED ON THE
SHALLOW BINDING SCHEME.
T. Miyazaki, A. Takeuchi, and T. Chikayama.
[Institute for New Generation Computer Technology (ICOT). TR-090.
1984.]
102811 CONCURRENT PROLOG ON TOP OF PROLOG.
K. Ueda and T. Chikayama.
[Institute for New Generation Computer Technology (ICOT). TR-092.
1984.]
102812 OCCAM TO CMOS EXPERIMENTAL LOGIC DESIGN SUPPORT SYSTEM.
T. Mano et al.
[Institute for New Generation Computer Technology (ICOT). TR-093.
1984.]
102813 FORMULATION OF INDUCTION FORMULAS IN VERIFICATION OF PROLOG PROGRAMS.
T. Kanamori and H. Fujita.
[Institute for New Generation Computer Technology (ICOT). TR-094.
1984.]
102814 TYPE INFERENCE IN PROLOG AND ITS APPLICATIONS.
T. Kanamori and K. Horiuchi.
[Institute for New Generation Computer Technology (ICOT). TR-095.