课题基金 / 基金详情

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

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

项目摘要

项目成果

佐藤 雅彦的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
本研究の目的は,分散環境のみならず,より一般的な枠組において,ソフトウェアの動的な移動の機能を実現し,さらにそれを解析できるようにするための理論的な裏付けを与えることであった.そのために,本研究では,変数の動的な束縛機構をもつ新しい計算体系を提案しその理論的な性質を解明することを目標とした.本研究では,明示的環境や明示的文脈を持った計算系を提案した.この体系では,通常メタレベルで扱われる環境や文脈を体系内で形式化している.しかし,文脈の扱いについては,依然として,メタレベルで可能なすべての操作ができるような体系にはなっていないので柔軟性を欠く点があり,さらに研究を進めている必要がある.この体系の計算では,文脈の穴が超変数の役割を持っていて,穴へプログラムを挿入するときに変数への束縛が起こるとみなすことが出来る.この点に注目すれば,文脈に関するメタレベルでの操作をすべて形式化することが出来るであろう.更に,超変数の概念を形式化するにはメタレベルでのどのような概念を形式化すればよいのかがはっきりしてくるはずである.この計算系は型理論に基くものである.本研究ではこの計算系に対する理論的考察を行った.ここでいう理論的考察とは,型の保存性,合流性,強正規化可能性,従来の体系に対する保守的拡大性などのことである.この計算系はこれらの性質を充すことが確かめられた.この体系は計算機上に部分的にではあるが実装された.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
虫こぶ形成現象から果実形成のなぞを解く
  • 批准号：
    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
高精細デジタル測定技術と職人の知識を融合させた工芸文化財復元の研究
海外基金