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

动态变量绑定机制的新软件理论研究

基本信息

  • 批准号:
    15017247
  • 负责人:
  • 金额:
    $ 1.98万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
  • 财政年份:
    2003
  • 资助国家:
    日本
  • 起止时间:
    2003 至 无数据
  • 项目状态:
    已结题

项目摘要

平成13,14年度の特定領域研究で行なった,超変数の概念を持った計算系に関する研究を引き続き行なった.本研究で提案した計算系は,変数にレベルを付与することにより既存の計算体系や論理体系に統一的に超変数の概念を導入し,超変数を形式化した体系を構成するというものである.つまり,対象言語の変数はレベル0,メタ言語の変数はレベル1,メタメタ言語の変数はレベル2,…と設定し,それにより項にもレベルを付与する.そしてβ基がレベルに関するある条件を満たすときには変数の衝突を避けないで代入操作を行なうことにより,レベルの低い項は対象言語の文法的な対象として扱うことができるようにした.そしてその結果としてできる計算体系もsubject reduction、合流性、強正規化性といった好ましい性質を保っていることを示した.本研究の手法は文脈の概念の形式化をする際にも有効である.つまり,文脈の穴の中に項を挿入するときその項に出現する変数が穴を囲むバインダで束縛されるということが起こるが,それは通常の変数の衝突を避ける代入とは異なる字面上の代入である.この状沢を本研究の方法で形式化するには,穴を高いレベルの変数と見なせばよい.するとその穴への項の代入操作は字面上の代入となる.本年度の成果は,先行研究で考えられていた体系ではできなかった,文脈の合成の表現ができるようになった点である.(この結果については,"Calculi of Meta-variables"という論文で発表した.)
In Pingcheng 13BI 14, the concept of "number" in the field of research in a specific field is in line with the concept of "number". In this study, it is proposed that the concept of "super-calculation" is integrated into the concept of "super-calculation" in the system of existing calculation systems and existing calculation systems. in this study, the concept of "super-number" is integrated into the concept of "super-number" in the system of existing calculation system, and the concept of "super-number" is integrated into the concept of "super-number". The formal system of super-calculation is divided into two parts. I don't know, I don't know. The settings will be set up, and the payment will be made to the customer. The number of conditions in the grammar is similar to that of the grammar, which is similar to that of the grammar. in the case of the condition, the number of conditions is different. The results show that the subject reduction, confluence, and normalization of the calculation system are not unavoidable. In this study, the concept of manipulation is formalized and there are some problems in the international community. In the text of the acupoint, the number of points appears in the project, the number of points, the number of points. The method of this study is to formalize the number of points in this study. The word "substitution operation" literally means "substitution operation". In this year's "achievements", we will first study the system, and the synthesis will show that there are significant differences between the two groups. (the results show that there is a significant difference in the results, and the "Calculi of Meta-variables" text table is not available.)

项目成果

期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(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:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Masahiko Sato: "Calculi of Meta-variables"Proc.CSL 2003, LNCS 2803. 484-497 (2003)
佐藤正彦:“元变量的计算”Proc.CSL 2003,LNCS 2803. 484-497 (2003)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
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:
  • 发表时间:
  • 期刊:
  • 影响因子:
    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 }}

佐藤 雅彦其他文献

計算と論理
计算和逻辑
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    K. Asai;L. Fennell;P. Thiemann;Y. Zhang;佐藤 雅彦
  • 通讯作者:
    佐藤 雅彦
フレーゲの計算機科学への影響
弗雷格对计算机科学的影响
  • DOI:
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中澤 巧爾;龍田 真;佐藤 雅彦
  • 通讯作者:
    佐藤 雅彦
術前に診断を得た回盲部子宮内膜症の1例
术前诊断回盲部子宫内膜异位症一例
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    盧 尚志;仙波 遼子;高橋 由佳;山田 正樹;岡田 治彦;斎藤 徹也;根上 直樹;渡部 英;石戸 保典;佐藤 雅彦;高橋 玄;小島 豊;奥澤 淳司;冨木 裕一;坂本 一博
  • 通讯作者:
    坂本 一博
入戸火砕流堆積物から抽出した粒子の自然残留磁化とその起源の検討
伊藤火山碎屑流沉积物提取颗粒的自然剩磁及其起源研究
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    武田 大海;山本 裕二;佐藤 雅彦;川畑 博
  • 通讯作者:
    川畑 博
根毛側面における二次細胞壁成分の輸送メカニズムの解明
阐明根毛侧次生细胞壁成分的运输机制
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    平野 朋子;海老根 一生;上田 貴志;佐藤 雅彦
  • 通讯作者:
    佐藤 雅彦

佐藤 雅彦的其他文献

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

{{ truncateString('佐藤 雅彦', 18)}}的其他基金

虫こぶ形成現象から果実形成のなぞを解く
从虫瘿形成现象解开果实形成之谜
  • 批准号:
    23K26870
  • 财政年份:
    2024
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
虫こぶ形成現象から果実形成のなぞを解く
从虫瘿形成现象解开果实形成之谜
  • 批准号:
    23H02177
  • 财政年份:
    2023
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
衝突残留磁化を用いて探る惑星磁場の初期進化史
利用碰撞剩磁探索行星磁场的初始演化历史
  • 批准号:
    21H01140
  • 财政年份:
    2021
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
高精細デジタル測定技術と職人の知識を融合させた工芸文化財復元の研究
高清数字测量技术与工匠知识相结合的工艺文化遗产修复研究
  • 批准号:
    21650053
  • 财政年份:
    2009
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
植物細胞の形態形成におけるオルガネラ動態と細胞内小胞輸送系の役割に関する研究
细胞器动力学及细胞内囊泡运输系统在植物细胞形态发生中的作用研究
  • 批准号:
    19039029
  • 财政年份:
    2007
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
環境適応過程における液胞ダイナミクスおよび液胞タンパク質の輪送メカニズムの解明
阐明环境适应过程中的液泡动力学和液泡蛋白的运输机制
  • 批准号:
    17051017
  • 财政年份:
    2005
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
动态变量绑定机制的新软件理论研究
  • 批准号:
    16016245
  • 财政年份:
    2004
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
トーラスプラズマにおける非線形MHD不安定性に対するプラズマ流の影響の解明
阐明等离子体流对环面等离子体中非线性 MHD 不稳定性的影响
  • 批准号:
    04J03822
  • 财政年份:
    2004
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
超変数を扱える形式的体系の理論的研究
能够处理超变量的形式系统的理论研究
  • 批准号:
    04F04801
  • 财政年份:
    2004
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
高等植物のタンパク質の旅路とその運命?細胞内小胞輸送ネットワークから考える?
高等植物中蛋白质的旅程及其命运?考虑细胞内囊泡运输网络?
  • 批准号:
    15032221
  • 财政年份:
    2003
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas

相似海外基金

「ことばの教育の連携」に向けたメタ言語教育の構築と教員養成における諸課題の発見
“语言教育协调”的元语言教育的确立及教师培训中的各种问题的发现
  • 批准号:
    23K00743
  • 财政年份:
    2023
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
メタ言語能力向上に資する小中学校用国語教育コーパスとデータ駆動型教材開発の研究
有助于元语言能力提升的中小学日语教育语料库及数据驱动教材的开发研究
  • 批准号:
    22K02649
  • 财政年份:
    2022
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
メタ言語能力が英語学習における動機づけ・学習方略・習熟度に与える影響について
元语言能力对英语学习动机、学习策略和熟练程度的影响
  • 批准号:
    15J00370
  • 财政年份:
    2015
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
メタ言語意識を基盤とする言語教育に関する理論的・実証的研究
基于元语言意识的语言教育理论与实证研究
  • 批准号:
    20652043
  • 财政年份:
    2008
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
継承沖縄語話者の文化適応とアイデンティティの言語・メタ言語指標性
继承的冲绳使用者的文化适应和身份的语言学和元语言学指标
  • 批准号:
    19652039
  • 财政年份:
    2007
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
音声対話システムのための言語的・メタ言語的知識の構築に関する研究
构建口语对话系统的语言学和元语言知识的研究
  • 批准号:
    03J52401
  • 财政年份:
    2003
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
第二言語獲得におけるメタ言語能力と、科学形成能力の発達に関する実証的研究
第二语言习得中元语言能力和科学形成能力发展的实证研究
  • 批准号:
    14651084
  • 财政年份:
    2002
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
英語話者と日本語話者の音節区分-メタ言語的課題による検討
英语和日语使用者的音节分割:使用元语言任务的研究
  • 批准号:
    11710293
  • 财政年份:
    1999
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
自然言語の文の意味を表示するためのメタ言語の構築と日仏相互翻訳への応用
自然语言句子意义元语言的构建及其在日法互译中的应用
  • 批准号:
    10871069
  • 财政年份:
    1998
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
メタ言語能力を育てる教材の開発
开发教材以培养元语言技能
  • 批准号:
    03851051
  • 财政年份:
    1991
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了