• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Design and Development of A Unified Information Processing System

Research Project

Project/Area Number 63460130
Research Category

Grant-in-Aid for General Scientific Research (B)

Allocation TypeSingle-year Grants
Research Field 計算機工学
Research InstitutionTohoku University

Principal Investigator

NOGUCHI S.  Tohoku Univ. Res. Inst. of Elec. Comm., Professor, 電気通信研究所, 教授 (80006220)

Co-Investigator(Kenkyū-buntansha) TOGASHI A.  Tohoku Univ. Res. Inst. of Elec. Comm. Research Associate, 電気通信研究所, 助手 (20172140)
SHIRATORI N.  Tohoku Univ. Res. Inst. of Elec. Comm. Associate Professor, 電気通信研究所, 助教授 (60111316)
Project Period (FY) 1988 – 1989
Project Status Completed (Fiscal Year 1989)
Budget Amount *help
¥8,100,000 (Direct Cost: ¥8,100,000)
Fiscal Year 1989: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 1988: ¥7,300,000 (Direct Cost: ¥7,300,000)
KeywordsUnified Information Processing System / Unified Knowledge Processing Language / Knowledge Processing System / Intelligent Network Architecture / Communication Software / User Interface / Intelligent Programming Environment / Distributed Processing / 統合型知識処理言語 / ネットワーク・アーキテクチャ / 知識ベース / 融合型プログラミング / 分散処理システム / 統合型知識処理システム設計法、 / 通信プロトコル / 高機能推論エンジン
Research Abstract

In this project, our aim is to uniformly connect different kinds of intelligent information processing systems and to establish an essential design methodology for unified information processing systems.
For this purpose, in 1988, the first year of this project, we have focused on specific issues and have achieved the followings based on the results so far obtained -
(1) A proposal has been drawn up, and successfully designed, for a new language suitable for unified information processing. New functions such as types, hierarchical structures, modules, data abstraction and higher. functions have been introduced on the basis of the developed amalgamating programming language AMLOG.
(2) An intelligent network architecture has been designed and its software has been implemented.
In this year, we carried out research on those issues and related topics. Each investigator has worked towards establishing the requisite fundamental design technology.
In the second year, 1989, based on the results obtained in the first year, we have achieved the following items -
(1) We have completed the intelligent inference engine which provides logic programming and functional programming.
(2) The connection of each subsystem based on the intelligent networking, developed in the first year, has been carried out.
(3) We have established a closely connected intelligent information processing system.

Report

(3 results)
  • 1989 Annual Research Report   Final Research Report Summary
  • 1988 Annual Research Report
  • Research Products

    (126 results)

All Other

All Publications (126 results)

  • [Publications] 張、高橋、白鳥、野口: "A Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph" IEEE Trans.on Software Engineering. 14. 394-404 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 野口正一: "BioーMathematical Approach to NewーGeneration Computer and Related Computational Problems" 529-538 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 高橋、白鳥、野口: "An Intelligent Support System for Protocol and Communication Software Development" IEEE Journal on Selected Areas in Communications. 6. 842-849 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 張、高橋、白鳥、野口: "A KnowledgeーBased System for Protocol Synthesis(KSPS)" IEEE Journal on Selected Areas in Communications. 6. 874-883 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 木下、菅原、白鳥: "KnowledgeーBased Design Support System for Computer Communication System" IEEE Journal on Selected Areas in Communications. 6. 850-861 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 白鳥、高橋、野口: "A Software Design Method and Its Application to Protocol and Communication Software Development" J.Computer Networks. 15. 245-267 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 菊地、白鳥、宮崎: "逐次型高水準言語プログラムのモジュ-ル分割による並列性の抽出について" 電子情報通信学会論文誌. J71ーD. 1525-1531 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 富樫敦: "関数型プログラミングにおける計算モデル" 情報処理. 29. 817-828 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Hamid、白鳥、野口: "A New Controlling Algoirithm for Benes Interconnection Network without Symmetry" The Trans.of the IEICE. E71. 895-904 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 矢野、布川、富樫、野口: "項書き換え系のメタインタプリタEーTRS" 日本ソフトウェア科学会論文誌「コンピュ-タソフトウェア」. 5. 40-51 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 高橋、太田、白鳥、野口: "オブジェクトの概念に基づいたネットワ-クOSの設計法" 電子情報通信学会論文誌. J71ーD. 2128-2139 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 若山、野口: "OSI:開放型システム間相互接続[I]ーOSIの基本概念" 電子情報通信学会誌. 71. 1067-1075 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 浦野、野口: "OSI:開放型システム間相互接続[II]ー下位プロトコル" 電子情報通信学会誌. 71. 1324-1333 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 山本、丹野、野口: "わずかにランダム性をもつソ-スからのランダム性の抽出" 電子情報通信学会論文誌. J71ーD. 2242-2249 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 飯田、森川、野口: "Technical research aspects of a PanーPacific Satellite Information Network Using Satellite" 16th Space Communication and Science. 2113-2118 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 白鳥、高橋、野口: "An Intelligent UserーFriendly Support System for Protocol and Communication Software Development" Protocol Specification,Testing,and Verification V II. 6. 257-268 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Mansfield、富樫、野口: "AMLOG:An Amalgamated Equational Logic Programming Language" Journal of Information Processing. 11. 278-287 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 白鳥、張、高橋、野口: "プロトコルの合成支援環境の構成と現実" 電子情報通信学会論文誌. J72ーD. 33-42 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 小野里、Liu、野口: "Stability of a Slotted ALOHA System with Capture Effect" IEEE Trans.on Vehicular Technology. 38. 31-36 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 布川、富樫、野口: "図式をシンタックスにもつ関数型言語" 日本ソフトウェア科学会論文誌「コンピュ-タソフトウェア」. 6. 11-23 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Hamid、白鳥、野口: "A New Fast Parallel Computation Model for Setting Benes Rearrangeable Interconnection Network" The Trans.of the IEICE. E72. 393-405 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 神長、高橋、白鳥、野口: "LOTOS仕様の等価性とその判定法" 電子情報通信学会論文誌. J72ーD. 367-376 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 高橋、荒川、白鳥、野口: "プロトコルの状態遷移表現の生成法とその適用" 電子情報通信学会論文誌. J72ーD. 440-454 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 浦野、野口: "OSI:開放型システム間相互接続[III]ー上位層プロトコル" 電子情報通信学会誌. 72. 90-96 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 白鳥、野口: "OSI:開放型システム相互接続[IV]ーOSI実装と試験・検証" 電子情報通信学会誌. 72. 209-216 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 飯田、森川、野口: "Technical research aspect of a PanーPacific Satellite Information Network" Space Communication and Broadcasting. 6. 353-360 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 野口正一: "Advanced Communication and Network Technology in Japan" Proc.of PPCCー3. 5-12 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 白鳥、野口: "Applications of AI Technologies to Communication SystemsーToward Advanced Intelligent Network" Proc.of PPCCー3.177-183 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 坂田、根元、野口: "Tohoku University Academic Information Network SystemーTAINS" Proc.of PPCCー3.409-415 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 菅原、木下、白鳥: "KnowledgeーBased Design Methodology for Distributed Processing System" Proc.of PPCCー3.837-843 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Hu,Liu,Iyoda,菅原、白鳥、野口、大泉: "Fundamental characteristics of ring networks" Proc.ofPPCCー3.184-190 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Liu,Hu,Li,Li,菅原、白鳥、木下、大泉: "On the design and analysis of interconnection system of Lan" Proc.of PPCCー3.230-236 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 高橋、荒川、白鳥、野口: "プロトコルの状態遷移表現の分解とその適用" 電子情報通信学会論文誌. J72ーDーI. 601-611 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 徐、白鳥、野口: "ネットワ-ク信頼性の近似アルゴリズム" 電子情報通信学会論文誌. J72ーA. 1642-1650 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 白鳥、高橋、神長、野口: "A Verification Method for LOTOS Specifications and its Application" Proc.of ninth International Symposium on Protocol Specification Testing and Verification. 59-70 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 富樫、候、野口: "Generalized Predicate Completion" KBCS'89(to appear in LNCS).277-286 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 富樫、候、野口: "Believability in Default Logic Entails Logical Consequence from Circumscription(Sometimes)" KBCS'89(to appear in LNCS).287-296 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 高橋、神長、白鳥: "LOTOS言語の特質と処理系の現状と動向" 情報処理. 31. 35-46 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 候、富樫、野口: "A Partial Translation of Default Logic to Circumscription" J.of Infor.Proc.(掲載予定). 12. (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 候、富樫、野口: "A Generalized Predicate Completion and its Relation to Circumscription" 人工知能学会誌(掲載予定). 5. (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 三宅、富樫、野口: "実行制御機構を持つ融合型言語AMLOG" 人工知能学会誌(掲載予定). 5. (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 藤田、富樫、野口: "A canonical translation from higher order logic to typed lambda calculus" 人工知能学会誌(掲載予定). 5. (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 富樫敦: "等式プログラミングから融合型プログラミングへ「新しいプログラミングパラダイム」第9章" 共立出版, 218(32) (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Zhang, Y.-X., Takahashi, K., Shiratori, N., Noguchi, S.: "A Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph" IEEE Trans. on Software Engineering, Vol.14, No.3, pp.394-404, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Noguchi, S.: "Bio-Mathematical Approach to New-Generation Computer" Biomathematics and Related Computational Problems, pp.529-538, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Takahashi, K., Shiratori, N., Noguchi, S.: "An Intelligent Support System for Protocol and Communication Software Development" IEEE Journal on Selected Areas in Communications, Vol.6,No.5,pp.842-849, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Zhang, Y.-X., Takahashi, K., Shiratori, N., Noguchi, S.: "A Knowledge-Based System for Protocol Synthesis (KSPS)" IEEE Journal on Selected Areas in Communications, Vol.6,No.5,pp.874-883, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Kinoshita, T., Sugawara, K., Shiratori, N.: "Knowledge-Based Design Support System for Computer Communication System" IEEE Journal on Selected Areas in Communications, Vol.6,No.5,pp.850-861, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Shiratori, N., Takahashi, K., Noguchi, S.: "A Software Design Method and Its Application to Protocol and Communication Software Development" J. Computer Networks, Vol.15, No.4, pp. 245-267, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Kikuchi, S., Shiratori, N., Miyazaki, M.: "On extraction of Parallelism in a Program Written by Sequential Type High-Level-Programming Language Using the Concept of Module Partition" The Trans. of IEICI, Vol.J71-D, No.8, pp. 1525-1531, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Togashi, A.: "Computation Models for Functional Programming" The Journal of IPS of Japan, Vol.29, No.8, pp. 817-828, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Hamid, Shiratiri, N., Noguchi, S.: "A New Controlling Algorithm for Benes Interconnection Network without Symmetry" The Trans. of the IEICE, Vol.E71, No.9, pp. 895-904, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Yano, H., Nunokawa, H., Togashi, A., Noguchi, S.: "E-TRS: A Meta-interpreter for Term Rewriting Systems" Japan Society for Software Science and Technology,, Computer Software, Vol.5, No.4, pp. 40-51, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Takahashi, K., Ohta, Shiratori, N., Noguchi, S.: "A Design Method of Network Operating Systems Based on the Concept of an Object" The Trans. of IEICI, Vol.J71-D, No.10, pp. 2128-2139, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Wakayama, H., Noguchi, S.: "Fundamental Concepts of Open Systems Interconnection: OSI [I]" The Journal of IEICE, Vol.71, No.10, pp. 1067-1075, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Urano, Y., Noguchi, S.: "Open System Interconnection[II]- Lower Layer Protocols" The Journal of IEICE, Vol.71, No.12, pp. 1324-1333, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Yamamoto, H., Tanno, K., Noguchi, S.: "Extraction of Randomness from Semi-Random Sources" The Trans. of IEICI, Vol. J71-D, No.11, pp. 2242-2249, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Iida, T., Morikawa, H., Noguchi, S.: "Technical research aspects of a Pan-Pacific Satellite Information Network Using Satellite" 16th Space Communication and Science, pp. 2113-2118, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Shiratori, N., Takahashi, K., Noguchi, S.: "An Intelligent User-Friendly Support System for Protocol and Communication Software Development" Protocol Specification, Testing, and Verification @@, Vol.6, No.5, pp.257-268, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Mansfield, Togashi, A., Noguchi, S.: "AMLOG: An Amalgamated Equational Logic Programming Language" Journal of Information Processing, Vol.11, No.4, pp.278-287, 1988.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Shiratori, N., Zhang, Y.-X., Takahashi, K., Noguchi, S.: "Construction of a Protocol Synthesis Environment and Its Implementation" The Trans. of IEICI, Vol.J72-D-1, No.1, pp.33-42, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Onozato, Y., Liu, J., Noguchi, S.: "Stability of a Slotted ALOHA System with Capture Effect" IEEE Trans. on Vehicular Technology, Vol.38, No.1, pp.31-36, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Nunokawa, H., Togashi, A., Noguchi, S.: "A Functional Programming Language with Diagrammatic Syntax" Japan Society for Software Science and Technology,, Computer Software, Vol.6, No.2, pp.11-23, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Hamid, Shiratori, N., Noguchi, S.: "A New Fast Parallel Computation Model for Setting Benes Rearrangeable Interconnection Network" The Trans. of the IEICE, Vol.E72, No.4, pp.393-405, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Kaminaga, H., Takahashi, K., Shiratori, N., Noguchi, S.: "An Equivalence in LOTOS and Its Decision Method" The Trans. of IEICI, Vol.J72-D-1, No.5, pp.367-376, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Takahashi, K., Arakawa, N., Shiratori, N., Noguchi, S.: "A Method for Generating the State Transition Representation of Protocols and Its Applications" The Trans. of IEICI, Vol.J72-D-1, No.6, pp.440-454, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Matsushita, Y., Noguchi, S.: "Open System Interconnection[III]-Higher Layer Protocols" The Journal of IEICE, Vol.72, No.1, pp.90-96, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Shiratori, N., Noguchi, S.: "Open System Interconnection[IV]-Implementation of OSIP rotocol and Techniques of verification and Conformance Testing" The Journal of IEICE, Vol. 72, No.2., pp.209-216, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Iida, T., Morikawa, H., Noguchi, S.: "Technical research aspect of a Pan-Pacific Satellite Information Network" Space Communication and Broadcasting, 6, pp.353-360, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Noguchi, S.: "Advanced Communication and Network Technology in Japan" Proc. of PPCC-3, pp.5-12, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Shiratori, N., Noguchi, S.: "Applications of AI Technologies to Communication Systems - Toward Advanced Intelligent Network" Proc. of PPCC-3., pp.177-183, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Sakata, M., Nemoto, Y., Noguchi, S.: "Tohoku University Academic Information Network System - TAINS" Proc. of PPCC-3., pp.409-415, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Sugawara, K., Kinoshita, T., Shiratori, N.: "Knowledge-Based Design Methodology for Distributed Processing System" Proc. of PPCC-3., pp.837-843, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Hu, Liu, Iyoda, Sugawara, K., Shiratori, N., Noguchi, S., Oizumi, J.: "Fundamental characteristics of ring networks" Proc. of PPCC-3., pp.184-190, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Liu, Hu, Li, Li, Sugawara, K., Shiratori, N., Kinoshita, T., Oizumi, J.: "On the design and analysis of interconnection system of Lan" Proc. of PPCC-3., pp.230-236, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Takahashi, K., Arakawa, N., Shiratori, N., Noguchi, S.: "A Method for Decomposing the state Transition Representation of Protocols and Its Applications" The Trans. of IEICI, Vol.J72-D-I, No.8, pp.601-611, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Qian, X., Shiratori, N., Noguchi, S.: "Approximate Algorithms for Network reliability" The Trans. of IEICI, Vol.J72-A, No.10, pp.1642-1650, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Shiratori, N., Takahashi, K., Kaminaga, H., Noguchi, S.: "A Verification Method for LOTOS Specifications and its Application" Proc. of ninth International Symposium on Protocol Specification Testing and Verificatin, pp.59-70, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Togashi, A., Hou, B.-H., Noguchi, S.: "Generalized Predicate Completion" KBCS'89 (to appear in LNCS)., pp.277-286, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Togashi, A., Hou, B.-H., Noguchi, S.: "Believability in Default Logic Entails Logical Consequence from Circumscription (Sometimes)" KBCS'89 (to appear in LNCS)., pp.287-296, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Takahashi, K., Kaminaga, H., Shiratori, N.: "LOTOS features with Survey of Their Support Processing Systems" The Journal of IPS of Japan, Vol.31, No.1, pp.35-46, 1990.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Hou, B.-H., Togashi, A., Noguchi, S.: "A Partial Translation of Default Logic to Circumscription" J. of Infor. Proc. (to appear), Vol.12, No.4., 1990.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Hou, B.-H., Togashi, A., Noguchi, S.: "A Generalized Predicate Completion and its Relation to Circumscription" J. of Japanese Society of A.I. (to appear), Vol.5, No.3, 1989.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Miyake, N., Togashi, A., Noguchi, S.: "AMLOG:An Amalgamated Language equipped with Execution Strategy" J. of Japanese Society of A.I. (to appear), Vol.5, No.6, 1990.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Fujita, K., Togashi, A., Noguchi, S.: "A canonical translation from higher order logic to typed lambda calculus" J. of Japanese Society of A.I. (to appear), Vol.5, No.6, 1990.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Togashi, A.: From Equational Programming to Amalgamating Programming, Chap. 9 in New Programming Paradigms. Kyoritsu Pub., (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 小野里,Liu,野口: "Stability of a Slotted ALOHA System with Capture Effect" IEEE Trans.on Vehicular Technology. 38. 31-36 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 布川,富樫,野口: "図式をシンタックスにもつ関数型言語" 日本ソフトウェア科学会論文誌「コンピュ-タソフトウェア」. 6. 11-23 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] Hamid,白鳥,野口: "A New Fast Parallel Computation Model for Setting Benes Rearrangeable Interconnection Network" The Trans.of the IEICE. E72. 393-405 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 神長,高橋,白鳥,野口: "LOTOS仕様の等価性とその判定法" 電子情報通信学会論文誌. J72-D. 367-376 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 高橋,荒川,白鳥,野口: "プロトコルの状態遷移表現の生成法とその適用" 電子情報通信学会論文誌. J72-D. 440-454 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 浦野,野口: "OSI:開放型システム間相互接続〔III〕-上位層プロトコル" 電子情報通信学会誌. 72. 90-96 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 白鳥,野口: "OSI:開放型システム相互接続〔IV〕-OSI実装と試験・検証" 電子情報通信学会誌. 72. 209-216 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 飯田,森川,野口: "Technical research aspect of a Pan-Pacific Satellite Information Network" Space Communication and Broadcasting. 6. 353-360 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 野口正一: "Advanced Communication and Network Technology in Japan" Proc.of PPCC-3. 5-12 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 白鳥,野口: "Application of AI Technologies to Communication Systems-Toward Advanced Intelligent Network" Proc.of PPCC-3.177-183 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 坂田,根元,野口: "Tohoku University Academic Information Network System-TAINS" Proc.of PPCC-3.409-415 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 菅原,木下,白鳥: "Knowledge-Based Design Methodology for Distributed Processing System" Proc.of PPCC-3.837-843 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] Hu,Liu,Iyoda,菅原,白鳥,野口,大泉: "Fundamental characteristics of ring networks" Proc.ofPPCC-3.184-190 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] Liu,Hu,Li,Li,菅原,白鳥,木下,大泉: "On the design and analysis of interconnection system of Lan" Proc.of PPCC-3.230-236 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 高橋,荒川,白鳥,野口: "プロトコルの状態遷移表現の分解とその適用" 電子情報通信学会論文誌. J72-D-I. 601-611 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 徐,白鳥,野口: "ネットワ-ク信頼性の近似アルゴリズム" 電子情報通信学会論文誌. J72-A. 1642-1650 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 白鳥,高橋,神長,野口: "A Verification Method for LOTOS Specifications and its Application" Proc.of ninth International Symposium on Protocol Specification Testing and Verification. 59-70 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 富樫,侯,野口: "Generalized Predicate Completion" KBCS'89(to appear in LNCS).277-286 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 富樫,侯,野口: "Believability in Default Logic Entails Logical Consequence from Circumscription(Sometimes)" KBCS'89(to appear in LNCS).287-296 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 高橋,神長,白鳥: "LOTOS言語の特質と処理系の現状と動向" 情報処理. 31. 35-46 (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] 侯,富樫,野口: "A Partial Translation of Default Logic to Circumscription" J.of Infor.Proc.12. (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] 侯,富樫,野口: "A Generalized Predicate Completion and its Relation to Circumscription" 人工知能学会誌. 5. (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] 三宅,富樫,野口: "実行制御機構を持つ融合型言語AMLOG" 人工知能学会誌. 5. (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] 藤田,富樫,野口: "A canonical translation from higher order logic to typed lambda calculus" 人工知能学会誌. 5. (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] 富樫敦: "等式プログラミング融合型プログラミングへ「新しいプログラミングパラダイム」第9章" 共立出版, 218(32) (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 野口正一: Biomathematics and Belated Computational Problems. 529-538 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 高橋、白鳥、野口: IEEE Jouranl on Selected Areas in Communications. 16. 842-849 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 張、高橋、白鳥、野口: IEEE Jouranl on Selected Areas in Communications. 16. 874-883 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 大下,菅原、白鳥: IEEE Jouranl on Selected Areas in Communications. 16. 850-861 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 白鳥、高橋、野口: Computer Networks. 15. 245-267 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 菊地、白鳥、宮崎: 電子情報通信学会論文誌. J71-D. 1525-1531 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 富樫敦: 情報処理. 29. 817-828 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] ハミド、白鳥、野口: The Trans of the IEICE. E71. 895-904 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 矢野、布川、富樫、野口: コンピュータ ソフトウェア. 5. 40-51 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 高橋、太田、白鳥、野口: 電子情報通信学会・論文誌. J71-D. 2128-2139 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 山本、丹野、野口: 電子情報通信学会・論文誌. J71-D. 2242-2249 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 飯田、森川、野口: Proc.of the 16th International Symp.on Space Technology and Science. 2113-2118 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 白鳥、高橋、野口: Rroc.of the IFIP. 257-268 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] マンスフィールド、富樫、野口: Journal of Information Processing. 11. (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 富樫、三宅、マンスフィールド、野口: Rroc.of 7th SEARCC 88. 29-38 (1988)

    • Related Report
      1988 Annual Research Report

URL: 

Published: 1988-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi