Contents of Report

[Data of Report]

Report Number:: TR477
Date of Registration:: 1989.06
English Title:: ***
Japanese Title:: メタ推論とリフレクション
English Author:
Japanese:: 菅野博靖
Name of Organization to which author belongs:
PDF:: tr0477.pdf

[Contents]

1	はじめに	.... 2
2	論理学におけるメタレベル	.... 2
2.1	形式的体系と表現可能性	.... 3
2.2	Fefermanのリフレクション原理	.... 4
3	代表的なメタレベルアーキテクチャ	.... 5
3.1	WeyhrauchのFOL	.... 5
3.2	BowenとKowalskiのメタプログラミング	.... 6
3.3	B.C.Smithの3-lisp	.... 7
4	論理プログラミングとリフレクション	.... 8
4.1	メタインタプリタ	.... 9
4.2	変数の基底表現	.... 10
4.3	レベルの融合と計算的リフレクション	.... 11
5	計算リフレクションの最近の動向	.... 12
5.1	オブジェクト指向言語3-KRS	.... 12
5.2	並列オブジェクト指向言語ABCL/R	.... 14
5.3	並列論理型言語RGHC	.... 15
6	おわりに	.... 16
	参考文献	.... 17
	End	.... 18

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports