课题基金 / 基金详情

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
动态变量绑定机制的新软件理论研究
批准号：
14019047
负责人：
佐藤 雅彦
金额：
$1.92万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2002
资助国家：
日本
项目状态：
已结题
起止时间：
2002 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-14019047/
关键词：
対象言語メタ言語文法的対象超変数変数の衝突合流性強正規化性

项目摘要

项目成果

佐藤 雅彦的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
超変数の概念を持った計算系に関する研究を行なった。この計算系は、対象言語、メタ言語、メタメタ言語、…という無限個の階層から成り、ある階層の言語はそれより下の階層の言語のメタ言語となっている。メタ言語で対象言語を扱う仕組を形式化するときは符号化の手法を用いることが多いが、本研究ではより自然にかつ直接的に対象言語を扱えるような機構を提案した。まず、対象言語の変数はレベル0、メタ言語の変数はレベル1、メタメタ言語の変数はレベル2、…と設定し、それにより項にもレベルを付与する。そしてβ基がレベルに関するある条件を満たすときには変数の衝突を避けないで代入操作を行なうことにより、レベルの低い項は対象言語の文法的な対象として扱うことができる。この仕組は対象言語に依存しないものであり、論理学や計算機科学でよく現れる現象を形式化できる。たとえば論理式を定義するときには限量子で変数を束縛することにより新しい論理式が作られるステップがあるが、それは「対象言語の変数(論理式を構成する変数)に具体化される超変数を含む表現が新しい論理式を定義するが、そのときその変数は限量子で束縛される」というように記述される。このような現象はいわゆる文脈を扱うときにも見られる。すなわち、穴の中に項を挿入するときその項に出現する変数が穴を囲むバインダで束縛されるということが起こるが、それは通常の変数の衝突を避ける代入とは異なる。なお、この計算系では、subject reduction、合流性、強正規化性といった種々の良い性質が成立することも証明した。
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
Yukiyoshi Kameyama: "Strong Normalizability of the Non-deterministic Catch/Throw Calculi"Theoretical Computer Science. 272・1-2. 223-245 (2002)
Yukiyoshi Kameyama：“非确定性 Catch/Throw 演算的强规范化”理论计算机科学 272・1-2（2002）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Masahiko Sato: "CAL : A Computer Assisted Learning system fo Computation and Logic"EUROCAST 2001,LNCS 2178. 509-524 (2002)
Masahiko Sato：“CAL：计算和逻辑的计算机辅助学习系统”EUROCAST 2001，LNCS 2178. 509-524 (2002)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Azza, A.Taha: "A Second Order Context Calculus"Journal of Information Processing Society of Japan. 19・3. 158-175 (2002)
Azza, A.Taha：“二阶上下文演算”日本信息处理学会杂志 19・3（2002 年）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Masahiko Sato: "A Simply Typed Context Calculus with First-Class Environments"The Journal of Functional and Logic Programming. 2002・4. 1-41 (2002)
Masahiko Sato：“具有一流环境的简单类型上下文演算”函数和逻辑编程杂志 2002・4.1-41（2002）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
虫こぶ形成現象から果実形成のなぞを解く
  • 批准号：
    23K26870
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $6.32万
  • 财政年份：
    2024
  • 负责人：
    佐藤 雅彦
  • 依托单位：
    Kyoto Prefectural University
虫こぶ形成現象から果実形成のなぞを解く
  • 批准号：
    23H02177
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $12.23万
  • 财政年份：
    2023
  • 负责人：
    佐藤 雅彦
  • 依托单位：
    Kyoto Prefectural University
衝突残留磁化を用いて探る惑星磁場の初期進化史
  • 批准号：
    21H01140
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $11.48万
  • 财政年份：
    2021
  • 负责人：
    佐藤 雅彦
  • 依托单位：
    The University of Tokyo
高精細デジタル測定技術と職人の知識を融合させた工芸文化財復元の研究
海外基金