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

反射构型模型研究

基本信息

  • 批准号:
    02249104
  • 负责人:
  • 金额:
    $ 5.12万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    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で呼び出されるので、リフレクションにより実現されている。
Yonezawa的研究进一步考虑了基于Actor模型的新反思计算的新组范围反射模型,该模型是平行面向对象的语言的计算模型之一,并获得了有关模型及其应用的有效性的各种结果。此外,我们将整个范围反射的结果纳入了面向对象的语言ABCL/R中,这些语言可以表达已经创建的反思性计算,并提出了一种新的语言ABCL/R2。 Ouchi的工作给出了Brown的解释器的代数规范,Brown是一种功能性语言,具有反射功能。这是一组方程,可以解释为术语重写系统,可以通过减少直接执行。此外,与传统的高阶Lambda计算不同,它基于一阶平等逻辑,使其适用于有关程序的正式推断。此外,由于它具有容易直接理解的含义,因此很容易实施和扩展语言。 SASA的研究研究了增量属性评估方法。通常,当将归因分析树授予源程序时,修改源程序的一部分被修改为源程序的一部分时,这通常是一种使用最小重新分析的归因分析树的方法。将归因的分析树作为对象和源程序作为外部世界,这是一个反思模型。 Nakajima的研究对分布式操作系统Tom进行了研究。汤姆(Tom)的特征之一是将模块分开,该模块是程序的单位,而线程是执行单位。如果我们将模块视为对象和线程RPC是消息,则可以将其视为一种并行面向对象的语言。此外,在RPC中也调用了OS函数本身,因此它们是通过反射实现的。

项目成果

期刊论文数量(32)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Hisashi KONDOH,Masahito KURIHARA,Azuma OHUCHI: "Termination verifier of term rewriting systems with reason maintenance system." JapaneseーSino SapporoーShenyang International Conference on Computer Applications. 1. 5-8 (1990)
Hisashi KONDOH,Masahito KURIHARA,Azuma OHUCHI:“带有原因维护系统的术语重写系统的终止验证器。”日本-中国札幌-沉阳国际计算机应用会议(1990)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Takuo WATANABE,Akinori YONEZAWA: "An actorーbased metalevel architecture for groupーwide reflection." Proceedings of the ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architectures in ObjectーOriented Programming. (1990)
Takuo WATANABE、Akinori YONEZAWA:“面向对象编程中的反射和元级别架构的 ECOOP/OOPSLA90 研讨会的基于参与者的元级别架构”(1990 年)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Masahito KURIHARA,Azuma OHUCHI: "Termination of direct sum of simplyーterminating term rewriting systems." International Conference on Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan'90).
Masahito KURIHARA、Azuma OHUCHI:“简单终止术语重写系统的直接求和的终止。”纪念日本信息处理学会成立 30 周年的国际信息技术会议 (InfoJapan90)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Masahito KURIHARA,Azuma OHUCHI: "Modularity of simple termination of term rewriting systems with shared constructors." 情報処理学会研究報告. 90. 1-10 (1990)
Masahito KURIHARA、Azuma OHUCHI:“具有共享构造函数的术语重写系统的模块化。”日本信息处理协会研究报告 90. 1-10 (1990)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
岡本 利夫,桜川 貴司,堀切 和典,山岸 久夫: "分散OS ToMにおけるネットワ-クの概要" 日本ソフトウェア科学会ソフトウェア研究会(関西). SWー90ー7ー3. 15-22 (1990)
Toshio Okamoto、Takashi Sakurakawa、Kazunori Horikiri、Hisao Yamagishi:“分布式操作系统 ToM 中的网络概述”日本软件学会软件研究组 (Kansai) (Kansai)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

米澤 明憲其他文献

セキュリティシステム保護のためのサンドボックスシステム
安全系统保护的沙箱系统

米澤 明憲的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('米澤 明憲', 18)}}的其他基金

モバイルエージェントシステム及びコンポーネントの自己反映計算に関する研究
移动代理系统及组件自反射计算研究
  • 批准号:
    02F02748
  • 财政年份:
    2002
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
モバイルエージェントシステム及びコンポーネントの自己反映計算に関する研究
移动代理系统及组件自反射计算研究
  • 批准号:
    02F00748
  • 财政年份:
    2002
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
リフレクティブ構成モデルの研究
反射构型模型研究
  • 批准号:
    03235104
  • 财政年份:
    1991
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
リフレクティブ構成モデルの研究
反射构型模型研究
  • 批准号:
    04219104
  • 财政年份:
    1990
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
ACTORモデルによる分散並列型問題解決方式の研究
基于ACTOR模型的分布式并行问题求解方法研究
  • 批准号:
    60210004
  • 财政年份:
    1985
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for Special Project Research
ACTOR モデルによる分散並列型問題解決方式の研究
基于ACTOR模型的分布式并行问题求解方法研究
  • 批准号:
    59218005
  • 财政年份:
    1984
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for Special Project Research
プログラム合成系における高階関数の応用
高阶函数在程序综合系统中的应用
  • 批准号:
    58580023
  • 财政年份:
    1983
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
抽象データ型定義機能をもった関数型プログラム言語の研究
具有抽象数据类型定义功能的函数式编程语言研究
  • 批准号:
    57780032
  • 财政年份:
    1982
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
プログラムの自動合成に関する新しい手法-理論的研究及び実現-
一种新的程序自动合成方法-理论研究与实现-
  • 批准号:
    56790025
  • 财政年份:
    1981
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
ネットワークで結ばれた研究者用個人専有計算機のオペレーティングシステムの研究
网络连接个人计算机操作系统的研究
  • 批准号:
    X00210----579016
  • 财政年份:
    1980
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似国自然基金

基于LiST模型的西藏自治区孕产妇和儿童健康干预效果预测及策略研究
  • 批准号:
    71603007
  • 批准年份:
    2016
  • 资助金额:
    17.0 万元
  • 项目类别:
    青年科学基金项目
基于list-mode数据的快速SART真3D PET断层重建算法的研究
  • 批准号:
    81171410
  • 批准年份:
    2011
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
地上下一体化三维动态广义表空间索引方法
  • 批准号:
    41101368
  • 批准年份:
    2011
  • 资助金额:
    23.0 万元
  • 项目类别:
    青年科学基金项目
烷化剂MNNG在MGMT基因缺失的人FL细胞内的诱变谱研究
  • 批准号:
    39870412
  • 批准年份:
    1998
  • 资助金额:
    10.0 万元
  • 项目类别:
    面上项目

相似海外基金

Developing, Refining, and Testing a Mobile Health Question Prompt List in Gastroesophageal Reflux Disease
开发、完善和测试胃食管反流病移动健康问题提示表
  • 批准号:
    10739903
  • 财政年份:
    2023
  • 资助金额:
    $ 5.12万
  • 项目类别:
CAREER: Efficiency Considerations in List Decoding and Pseudorandomness Theory
职业:列表解码和伪随机性理论中的效率考虑
  • 批准号:
    2236931
  • 财政年份:
    2023
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Continuing Grant
Addressing racial and ethnic disparities in access to the liver transplant waiting list: a data science-focused and team-based approach
解决肝移植等候名单中的种族和民族差异:以数据科学为中心、基于团队的方法
  • 批准号:
    10681485
  • 财政年份:
    2022
  • 资助金额:
    $ 5.12万
  • 项目类别:
Addressing racial and ethnic disparities in access to the liver transplant waiting list: a data science-focused and team-based approach
解决肝移植等候名单中的种族和民族差异:以数据科学为中心、基于团队的方法
  • 批准号:
    10506394
  • 财政年份:
    2022
  • 资助金额:
    $ 5.12万
  • 项目类别:
Compiling a JFS word and phrase list using corpora
使用语料库编译 JFS 单词和短语列表
  • 批准号:
    21K00620
  • 财政年份:
    2021
  • 资助金额:
    $ 5.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了