课题基金 / 基金详情

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

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

项目摘要

项目成果

佐藤 雅彦的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
平成13,14年度の特定領域研究で行なった,超変数の概念を持った計算系に関する研究を引き続き行なった.本研究で提案した計算系は,変数にレベルを付与することにより既存の計算体系や論理体系に統一的に超変数の概念を導入し,超変数を形式化した体系を構成するというものである.つまり,対象言語の変数はレベル0,メタ言語の変数はレベル1,メタメタ言語の変数はレベル2,…と設定し,それにより項にもレベルを付与する.そしてβ基がレベルに関するある条件を満たすときには変数の衝突を避けないで代入操作を行なうことにより,レベルの低い項は対象言語の文法的な対象として扱うことができるようにした.そしてその結果としてできる計算体系もsubject reduction、合流性、強正規化性といった好ましい性質を保っていることを示した.本研究の手法は文脈の概念の形式化をする際にも有効である.つまり,文脈の穴の中に項を挿入するときその項に出現する変数が穴を囲むバインダで束縛されるということが起こるが,それは通常の変数の衝突を避ける代入とは異なる字面上の代入である.この状沢を本研究の方法で形式化するには,穴を高いレベルの変数と見なせばよい.するとその穴への項の代入操作は字面上の代入となる.本年度の成果は,先行研究で考えられていた体系ではできなかった,文脈の合成の表現ができるようになった点である.(この結果については,"Calculi of Meta-variables"という論文で発表した.)
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
Koji Nakazawa: "Strong normalization proof with CPS-translation for second order classical natural deduction"Journal of Symbolic Logic. 68・3. 851-859 (2003)
Koji Nakazawa：“二阶经典自然演绎的强归一化证明”Journal of Symbolic Logic 68・3（2003）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Masahiko Sato: "Calculi of Meta-variables"Proc.CSL 2003, LNCS 2803. 484-497 (2003)
佐藤正彦：“元变量的计算”Proc.CSL 2003，LNCS 2803. 484-497 (2003)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Yukiyoshi Kameyama: "A Sound and Complete Axiomatization for Delimited Continuations"Proc.Eighth ACM ICFP 2003. 177-188 (2003)
Yukiyoshi Kameyama：“定界延续的合理且完整的公理化”Proc.Eighth ACM ICFP 2003. 177-188 (2003)
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
高精細デジタル測定技術と職人の知識を融合させた工芸文化財復元の研究
海外基金