• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

プログラム基礎理論の総合的研究

研究課題

研究課題/領域番号 02302009
研究種目

総合研究(A)

配分区分補助金
研究分野 数学一般
研究機関東北大学

研究代表者

佐藤 雅彦  東北大学, 電気通信研究所, 教授 (20027387)

研究分担者 亀山 幸義  東北大学, 電気通信研究所, 助手 (10195000)
龍田 真  東北大学, 電気通信研究所, 助手 (80216994)
研究期間 (年度) 1990 – 1992
研究課題ステータス 完了 (1992年度)
配分額 *注記
11,500千円 (直接経費: 11,500千円)
1992年度: 3,500千円 (直接経費: 3,500千円)
1991年度: 3,700千円 (直接経費: 3,700千円)
1990年度: 4,300千円 (直接経費: 4,300千円)
キーワードプログラム理論 / 構成的論理 / 型理論 / グラフ理論 / 直観主義論理
研究概要

(1)基礎数理、(2)応用数理、(3)プログラミングの3つの主題について、プログラミングの基礎となる理論の構築、理論に基づくプログラム開発方式の研究、実際の応用プログラムの開発を行った。プログラムの基礎的諸理論について考察し、相互の関連を検討するこにより、各理論を深化させることができた。特に、本研究により次のような研究成果を得た。
佐藤は、証明を内的対象としてもつ論理体系RPTを構成し、プログラム理論の基礎を与えた。龍田は、構成的プログラミングのための帰納的定義の実現可能性解釈について研究した。亀山は、構成的プログラミングシステムの作成および研究活動の基盤となる計算機ネットワークに関する研究を行った。伊藤は、並列プロセスの構造化モでルと項書換え計算モデルについて研究を行い、それらに基づくソフトウェアの試作をした。林は、Singleton,union,intersectionによる型理論の新しい枠組を提唱し、これが、constructive programmingのためには、従来の型理論の枠組より強力な表現力をもつことを示した。萩谷は、形式的な証明を記述するための計算機環境を構築するために必要と考えられる基礎的な技術、特に、例による証明、例を用いた証明、証明の視覚化等を含む証明チェッカのユーザ・インターフェースに関する研究を行った。小野は、構造規則を欠いた論理のセマンティクス、決定問題、有限モデル性について、いくつかの結果を得た。野下は、ゲーム木の高速探索技法を開発し,詰将棋を解くプログラムに応用した。牛島は、並行処理プログラムのテスト法およびデバッグ法の基礎と実際について研究した。

報告書

(4件)
  • 1992 実績報告書   研究成果報告書概要
  • 1991 実績報告書
  • 1990 実績報告書
  • 研究成果

    (109件)

すべて その他

すべて 文献書誌 (109件)

  • [文献書誌] M.Sato: "Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures" Proceedings of Theoretical Aspects of Computer Software. 53-87 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M.Tatsuta: "Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams" Theoretical Computer Science.

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M.Tatsuta: "Uniqueness of normal proofs of minimal formulas" Journal of Symbolic Logic.

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] 亀山 幸義: "構成的数学体系RPTに基づく超数学定理の形式化" 情報処理学会第42回全国大学. 1. 47-48 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] 有川 節夫,西野 哲朗: "学習における計算論的アプローチ" 情報処理学会誌. 32-3. 217-225 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] J.Cheng and K.Ushijima: "Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets" Lecture Notes in Computer Science. 499. 125-146 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] K.Noshita and Y.Nakatani: "A note on deleting the maximum element in nested s-heaps" Trans.ofIECEJ. E73,10. 1725-1726 (1990)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] E.Kiriyama and H.Ono: "The contraction rule and decision problems for logics without structural rules" Studia Logica. 50. 299-319 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] 萩谷 昌己: "高階単一化と証明の一般化" 人工知能学会誌. 6,3. 388-396 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M.Hagiya: "Synthesis of rewrite programs by higher-order and semantic unification" New Generation Computing. 8,4. 403-420 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M.Hagiya: "Higher-order unification as a theorem proving procedure" Eighth International Conference on Logic Programming. 270-284 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] 佐藤 雅彦,桜井 貴文: "プログラムの基礎理論" 岩波書店, 348 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] I.Ito and A.R.Meyer: "Proceedings of Theoretical Aspects of Computer Software" Springer, 770 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] 林 晋,小林 聡: "構成的プログラミングの基礎" 遊星社, 254 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] 龍田 真: "型理論" 近代科学社, 82 (1992)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M.Sato: "Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures" Proceedings of Theoretical Aspects of Computer Software. 53-87 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M.Tatsuta: "Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams" Theoretical Computer Science.

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M.Tatsuta: "Uniqueness of normal proofs of minimal formulas" Journal of Symbolic Logic.

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] J.Cheng and K.Ushijima: "Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets" Lecture Notes in Computer Science. 499. 125-146 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] K.Noshita and Y.Nakatani: "A note on deleting the maximum element in nested s-heaps" Trans. of IECEJ E73. 10. 1725-1726 (1990)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] E.Kiriyama and H.Ono: "The contraction rule and decision problems for logics without structural rules" Studia Logica. 50. 299-319 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M.Hagiya: "Synthesis of rewrite programs by higher-order and semantic unification" New Generation Computing 8,4. 403-420 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M.Hagiya: "Higher-order unification as a theorem proving procedure" Eighth International Conference on Logic Programming. 270-284 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] I.Ito and A.R.Meyer: "Proceedings of Theoretical Aspects of Computer Software" Springer. (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1992 研究成果報告書概要
  • [文献書誌] M. Sato: "Adding Proof Pbjects and Inductive Definition Mechanisms to Frege Structures" Proceedings of Theoretical Axpects of Computer Softwara. 53-87 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] M. Tatsuta: "Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams" Theoretical Comrpter Sceince.

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] M. Tatsuta: "Unequeness of normal proofs of minimal formulas" Journal of Symbolic Logic.

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] 亀山 幸義: "講成的数学体系RPTに基づく超数学定理の形式化" 情報処理学会第42回全国大会. 1. 47-48 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] 有川 節夫,西野 哲朗: "学習における計算論的アプローチ" 情報処理学会誌. 32-3. 217-225 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] J. Cheng and K. Ushijima: "Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets" Lecture Notes in Computer Science. 499. 125-146 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] K.Noshita and Y.Nakatani: "A note on deleting the maximum element in nested s-heaps" Trans. of IECEJ. E73,10. 1725-1726 (1990)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] E.Kiriyama and H.Ono: "The contraction rule and decision decision problems for logics without structural rules" Studia Logica. 50. 299-319 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] 萩谷 昌己: "高階単一化と証明の一般化" 人工知能学会誌. 6,3. 388-396 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] M. Hagiya: "Higher-order unefication as atheorem proving Procedure" Eighth International Conference on Logic Programming. 270-284 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] 佐藤 雅彦,桜井 貴文: "プログラムの基礎理論" 岩波書店, 348 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] I.Ito and A.R.Meyer: "Proceedings of Theoretical Aspects of Computar Software" Springer, 770 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] 林 晋,小林 聡: "構成的プログラミングの基礎" 遊星社, 254 (1991)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] 龍田 真: "型理論" 近代科学社, 82 (1992)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] M.Sato: "Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures" Proceedings of Theoretical Aspects of Computer Software. 53-87 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 龍田 真: "型理論I" コンピュタソフトウェア. 8ー1. 25-33 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 龍田 真: "型理論II" コンピュ-タソフトェア. 8ー2. 40-46 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 龍田 真: "型理論III" コンピュ-タソフトェア. 8ー3. 2-8 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 龍田 真: "型理論IV" コンピュ-タソフトェア. 8ー4. 56-68 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] M.Tatsuta: "Monotone Recursive Delfinition of Predicates and Its Realizability Interpretation" Proceedings of Theoretical Aspects of Computer Software. 38-52 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] M.Tatsuta: "Program Synthesis Using Realizability" Theoretical Computer Science. 90. 309-353 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 亀山 幸義: "構成的数学体系RPTに基づく超数学定理の形式化" 情報処理学会第42回全国大会. 1. 47-48 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] J.Cheng and K.Ushijima: "Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets" Lecture Notes in Computer Science. 499. 125-146 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] J.Cheng,Y.Kasahara,K.Ushijima: "A Tasking Deadlock Detector for Ada Programs" Proc.IEEE 15th Annual COMPSAC. 56-62 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 有川 節夫,西野 哲朗: "学習における計算論的アプロ-チ" 情報処理学会誌. 32ー3. 217-225 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 野下 浩平,角田 博保: "長い可変長文字列の挿入操作に関する一考察" 情報処理学会論文誌. 32ー5. 665-672 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] K.Noshita and Y.Nakatani: "A note on deleting the maximum element in nested s‐heaps" Trans.of IECEJ. E73,10. 1725-1726 (1990)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] K.Noshita: "A Program for solving Tsume‐shogi quickly and accurately" Proc.of the Game Playing System Workshop. 56-59 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] Y.Ichisugi and A.Yonezawa: "Exception Handing and Real Time Features in an Object‐Oriented Concurrent Language" Concurrency:Theory,Language,and Architecture‐UK/Japan Workshop,Oxford,September 1989,Proceedings‐Springer Lecture Notes in Computer Science. 491. 92-109 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] T.Watanabe and A.Yonezawa: "An Actor‐Based Metalevel Architectur for Group‐Wide Reflection" Foundations of Object‐Oriented Languages,REX School/Workshop,Noordwijkerhouf,The Netherlands,May/June,1990,Proceedings,Springer Lecture Notes in Computer Science. 489. 405-425 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] S.Matsuoka,T.Watanabe and A.Yonezawa: "Hybrid Group Reflective Architecture for Object‐Oriented Concurrent Reflective Programming" Proceedings of the European Conference on Object‐Oriented Programming(ecoop)'91,Springer Lecture Notes in Computer Science. 512. 231-250 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] S.Matsuoka,S.Furuso,and A.Yonezawa: "A Fast Parallel Conservative Garbage Collector for Concurrent Object‐Oriented Systems" Proceedings of IEEE International Workshop on Object Orientation in Operating Systems,Palo Alto,CA. 87-93 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] S.Matsuoka,T.Watanabe,Y.Ichisugi,and A.Yonezawa: "Object‐Oriented Concurrent Reflective Architectures" Proceedings of Workshop on Object‐Based Concurrent Programming,Geneve,Switzerland,1991,Springer Lecture Notes in Computer Science. (1992)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] Y.Ichisugi,S.Matsuoka,T.Watanabe,and A.: "An Object‐Oriented Concurrent Reflective Architecture for Distributed Computing Environments" Proceedings of 29th Annual Allerton Conference on Communication,Control and Computing. (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 杉本 徹,米澤 明憲: "対話理解のための心的状態の多重世界表現形式" 自然言語処理. 83,5. 31-38 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 渡部 卓雄,松岡 聡,米澤 明憲: "並行オブジェクト指向計算における自己反映計算の一方式" 並列処理シンポジウム論文集. 421-428 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 古荘 進一,松岡 聡,米澤 明憲: "共有メモリ型並列計算機上のConservative Garbage Collection" 日本ソフトウェア科学会第8会大会論文集. 89-92 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 八杉 昌宏,米澤 明憲: "N体問題の並列オブジェクト指向アルゴリズム" 日本ソフトウェア科学会第8会大会論文集. 405-408 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 一杉 裕志,松岡 聡,渡部 卓雄,米澤 明憲: "分散環境のための並列オブジェクト指向言語のリフレクティブア-キテクチャ" 日本ソフトウェア科学会第8会大会論文集. 541-548 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] E.Kiriyama and H.Ono: "The contraction rule and decision problems for logics without structural rules" Studia Logica. 50. 299-319 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] M.Hagiya: "Synthesis of rewrite programs by higher‐order and semantic unification" New Generation Computing. 8,4. 403-420 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 萩谷 昌己: "高階単一化と証明の一般化" 人工知能学会誌. 6,3. 388-396 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] M.Hagiya: "Higher‐order unification as a theorem proving procedure" Eighth International Conference on Logic Programming. 270-284 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] M.Hagiya(T.Ito and A.R.Meyer eds.): "From programming‐by‐example to proving‐by‐example" Theoretical Aspects of Computer Science,Lecture Notes in Computer Science. 526. 387-419 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 萩谷 昌己: "視覚的プログラミングと自動プログラミング" コンピュ-タソフトウェア. 8,2. 27-39 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 大芝 猛: "自動証明における自然な三段論法の導入について" 数理解析研究所講究録. 772. 95-109 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 佐藤 雅彦,桜井 貴文: "プログラムの基礎理論" 岩波書店, 348 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] I.Ito and A.R.Meyer: "Proceedings of Theoretical Aspects of Computer Software" Springer, 770 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 榎本 彦衛,加納 幹雄: "グラフの構造" 朝倉書店,

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] 林 晋,小林 聡: "構成的プログラミングの基礎" 遊星社,

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] A.Yonezawa and T.Ito: "Concurrency:Theory,Language,and Architecture ‐UK/Japan Workshop,Oxiord,September 1989,Proceedings‐" Springer, 339 (1991)

    • 関連する報告書
      1991 実績報告書
  • [文献書誌] Masahiko Sato and Yukiyoshi Kameyama: "Constructive Programming in SST" Proceedings of the JapaneseーCzechoslovak Seminar on Theoretical Foundations of Knowledge Infromation Processing,INORGA,1990. 23-30 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] 龍田 真: "型理論I" コンピュタソフトウェア. 8ー1. 25-33 (1991)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] 亀山 幸義: "構成的数学体系RPTに基づく超数学定理の形式化" 情報処理学会第42回全国大会. 1. 47-48 (1991)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] H.Enomoto,H.Mizutani and N.Tokushige: "A word problem in Coxeter semigroups" Discrete Mathematics(to appear).

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] H.Ono: "Structural rules and a logical hierarchy" Proceedings of the Summer School and Conference on Mathematical Logic,Valna,1988,Plenum Press. 95-104 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] H.Ono: "Reasoning about knowledge and knowledge acquisitionーa case study" Proceddings of the JapaneseーCzechoslovak Seminar on Theoretical Foundations of Knowledge Information Processing,Prague,1989,Inorga. 61-69 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] P.Minari,M.Takano and H.Ono: "Intermediate predicate logics determined by ordinals" J.Symbolic Logic. 55. 1099-1124 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] H.Ono: "Phase structures and quantales" Technical Reports,Division of Mathematical and Information Sciences,Faculty of Integrated Arts and Sciences,Hiroshima University. 1-25 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] R.Nakajima,Y.Nishikawa,J.Nomura and K.Sawada: "Modeling of hierarchical multiobjective largeーscale problem inventory/production management and its practical application,Large Scale Systems:Theory and Applications 1986" 4th IFAC/IFORS symposium,Pergamon. 2. (1987)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] R.Nakajima,Y.Nishikawa,J.Nomura and K.Sawada: "Design of a decisionーsupport workstation system for hierarchical multiobjective largeーscale problem in inventory control,Operational Research'87" Proceedings of the Eleventh International Conference,NorthーHolland. (1988)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] R.Nakajima,K.Sawada and J.Nomura: "Decisionーsupport workーstation system for hierarchical multiobjective largeーscale inventory control" Matsushita Electr.Works Tech.Rep.37. 1-57 (1988)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] R.Nakajima,M.Hagiya,T.Hattori,A.Morishima,N.Nilde,R.Okazaki,T.Sakuragawa,T.Suzuki,H.Tsuiki and T.Yuasa: "Overview of GMW+Wnn system" Proceedings of the 2nd IEEE Conference on Computer Workstation,IEEE Comput.Soc.Press. (1988)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] S.Arikawa,A.Yamamoto and T.Shinohara: "Inductive Inference of Formal Languages by Elementary Formal Systems" Information Modelling and Knowledge Bases,IOS. 148-160 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] C.Zeng and S.Arikawa: "逆導出における2つの操作の完全性について" Proc.4th Annual Conference of JSAI. 139-142 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] H.Yuasa and S.Arikawa: "Pseudo Extension in Default Reasoning and Belief Revision by Model Inference" Lecture Notes in Artificial Intelligence,SpringerーVerlag. 383. 27-37 (1989)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] S.Arikawa et al.: "The text batabase management system SIGMA:An improvement of the main engine" Proc.Berliner InformatikーTage. 72-81 (1989)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] S.Arikawa et al.: "Elementary Formal System as a Unifying Framework for Language Learning" Proc.Computational Learning Theory,1989. 312-327 (1989)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] N.Zhou,T.Takagi,K.Ushijima: "A Matching Tree Oriented Abstract Machine for Prolog" Proc.of the 7th International Conference on Logic Programming,1990. 159-173 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] N.Zhou,T.Takagi,K.Ushijima: "Reducing the Cost of Backtracking for Prolog" Proc.of the International Conference on Information Thechnology,1990. 33-40 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] M.Hagiya: "Synthesis of rewrite programs by higherーorder and semantic unification" Proceedings of the First International Workshop on Algorithmic Learning Theory. 396-410 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] M.Hagiya: "Programming by example and proving by example using higherーorder unification" 10th Conference on Automated Deduction,Lecture Notes in Artificial Intelligence. 448. 588-602 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] M.Hagiya and 劉 樹令: "Model inference of constrained recursive figures" Proceedings of the First International Workshop on Algorithmic Learning Theory. 335-367 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] M.Hagiya: "Higherーorder unification as a theorem proving procedure" Eighth International Conterence on Logic Programming.

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] M.Hagiya: "高階単一化と証明の一般化" 人工知能学会誌.

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] 大芝 猛: "エルブランの定理の構成的証明" 名古屋工業大学学報. 41. 99-108 (1989)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] K.Hirose: "Formation and Developement of the concept of the algorithm" Advances in Software Science and Technology. 2. (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] Y.Ichisugi and A.Yonezawa: "Distributed Garbage Collection Using Group Reference Counting" Tech.Rep.,Dept.of Inf.Sci.,University of Tokyo. 90ー014. (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] S.Matsuoka,K.wakita and A.Yonezawa: "Synchronization constraints with inheritance:What is not possibleーSo what is?" Tech.Rep.,Dept.of Inf.Sci.,University of Tokyo. 90ー010. (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] S.Matsuoka and A.Yonezawa: "Metaleval solution to inheritance anomaly in concurrent objectーoriented languages" Proceeidng of the ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architectures in ObjectーOriented Programming. (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] T.Watanabe and A.Yonezawa: "An actorーbased metalevel architecture for groupーwide reflection" Proceedings of the REX School/Workshop on Foundations of ObjectーOriented Languages,Noordwijkerhout,the Netherlands,Lecture Notes in Computer Science,SpringerーVerlag(to appear). (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] T.Watanabe and A.Yonezawa: "An actorーbased metalevel architecture for groupーwide reflection" Proceeidng of the ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architectures in ObjectーOriented Programming. (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] 榎本 彦衛,加納 幹雄: "グラフの構造" 朝倉書店,

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] 林 晋、小林 聡: "構成的プログラミングの基礎" 遊星社,

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] A.Yonezawa: "ABCL:An ObjectーOriented Concurrent System" The MIT Press, 329 (1990)

    • 関連する報告書
      1990 実績報告書

URL: 

公開日: 1990-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi