权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

リフレクティブ構成モデルの研究

反射构型模型研究

基本信息

批准号：
02249104
负责人：
米澤明憲
金额：
$ 5.12万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1990
资助国家：
日本
起止时间：
1990 至无数据
项目状态：
已结题

项目摘要

米澤の研究では、既に提案した、並列オブジェクト指向言語の計算モデルの一つであるアクタモデルに基づいた新しいリフレクティブな計算のモデルGroupーwide Reflecーtionに関してさらなる考察を行ない、モデルの正当性や、その応用などに関して様々な結果を得た。また、既に作成したリフレクティブな計算が表現可能な並列オブジェクト指向言語ABCL/Rに対して、Groupーwide reflectionの成果をとり入れ、新たに言語ABCL/R2を提案作成した。大内の研究では、リフレクション機能を持つ関数型言語Brownのインタプリタの代数的仕様記述を与えた。これは項書き換えシステムとして解釈可能な等式の集合であるため、リダクションにより直接実行可能である。また、従来の高階のラムダ計算に基づくものと異なり、一階の等式論理に基づいているため、プログラムに関する形式的な推論に適している。さらに、人間にとっても直接的に理解しやすい意味をもっているため、インプリメントや言語の拡張をしやすいと考えている。佐々の研究では、インクリメンタルな属性評価法について研究した。これは一般に、ソ-スプログラムに対する属性付き解析木が与えられているときに、ソ-スプログラムの一部が修正されたとき、必要最小限の再解析を行うだけで属性付き解析木を修正する方法である。属性付き解析木をオブジェクト、ソ-スプログラムを外界と考えると、これはリフレクティブなモデルとなっている。中島の研究では、分散オペレ-ティング・システムToMに関する研究を行なった。ToMの特徴の一つは、プログラムの単位であるモジュ-ルと、実行の単位であるスレッドを分離していることである。モジュ-ルをオブジェクト、スレッドのRPCをメッセ-ジと考えると、これは並列オブジェクト指向言語の一種とみなせる。しかもOSの機能自身もRPCで呼び出されるので、リフレクションにより実現されている。

This is the first step in the research, the proposal, and the list of guidelines for the research, the proposal, and the calculation of the information. This is the basis for the calculation of the Group, the wide Reflec, the tion, the research, the legitimacy and the results of the study. It is possible to show that it is possible to make a calculation and list that the words "ABCL/R", "Group" and "ABCL/R2" have been introduced, and that the proposed proposal has been completed. In this paper, we study the records of the algebra of Brown algebra in terms of mathematical models. You may have to solve the problem of equations set, equation set, In the form of an equation, which is in the form of an equation. The direct understanding of the relationship between people and people means that it means to talk about it, to talk about it, to take an examination of each other. With the help of the research, the attributes and the attributes of the study. In general, please do not know how to analyze the properties of the computer, and the necessary minimum limit is to analyze the properties of the line, the attribute and the method. The attribute is used to analyze the information of the outside world. In the middle of the research, the dispersion of the research, the dispersion of the information, the ToM of the research, the research of the research, the research. The ToM has special information on the number of bits, and the bits of rows. Please tell me that you need to know if you want to know what you are going to RPC about. The OS machine can use its own RPC to tell you that it is not possible to detect a problem.