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.