刷新
書き換えシステムに基づく発展的プログラミングの研究
基于重写系统的进化规划研究
基本信息
- 批准号：09245212
- 负责人：
- 金额：$ 0.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research on Priority Areas
- 财政年份：1997
- 资助国家：日本
- 起止时间：1997 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
プログラムの漸増的な発展過程で保存される性質を明らかにするため,書き換えシステムの変形・組合せで保存される性質の解析を中心に研究を進め,以下の成果を得た。1。書き換えシステムの分解・合成書き換えシステムの発展過程における不変な性質を明らかにするため,型情報の変更が書き換えシステムの停止性や合流性に及ぼす影響を理論的に解析した。さらに、自然なソ-ト付けによるシステムの分解可能性という概念を導入することで,直和システムのモジュラ性と同様な性質が成り立つことを明らかにした。2。木持ち上げ順序による停止性2つの項書き換えシステムの合併の停止性を導く手法として木持ち上げ順序を提案した。これは,従来知られていたダミ-削除による停止性判定手法を発展させたものであり,階層構造をもつシステムの解析にも有効な手法である。3。優先順位付き書き換えシステムの意味論関数型言語の計算モデルである優先順位付き書き換えシステムの操作的意味論を与えた。さらに,優先順位付き書き換えシステムの効率的な計算方法について解析を行い,強逐次性のクラスが決定可能であること,及び,そのクラスにおいては,インデックス書き換えが正規化戦略であることを示した。
为了阐明程序进行性开发过程中保留的属性，我们进行了研究，重点是分析通过转换和重写系统的结合保留的属性，并实现了以下结果。 1。为了阐明分解和合成重写系统的开发过程的不变属性，理论上分析了更改类型信息对重写系统的悬停性和汇合的影响。此外，揭示了通过自然溶液引入系统的分解性概念，可以持有与直接总和系统模块化相似的属性。 2。提出了树抬起顺序的停止，以指导两个术语重写系统合并的停止能力的方法。这是一种通过使用以前已知的虚拟缺失来确定停止性的高级方法，也可以有效地分析具有分层结构的系统。 3。我们给出了优先重写系统的操作语义，这是优先重写系统功能语言的计算模型。此外，对优先重写系统的有效计算方法进行了分析，这表明可以确定强序性类别，并且索引重写是该类别的归一化策略。
项目成果
期刊论文数量（6）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
T.Aoto: "Tree lifting orderings for termination transformation of term rewriting systems" Proc.of LA symposium(1997-07). 109-114 (1997)
T.Aoto：“用于术语重写系统终止转换的树提升顺序”Proc.of LA 研讨会（1997-07）。
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
T.Aoto: "On Composakle properties of term rewriting systems" Lecture Notes in Compnto Sci.1298. 114-128 (1997)
T.Aoto：“论术语重写系统的 Composakle 属性”Compnto Sci.1298 中的讲义。
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
T.Aoto: "Termination transformation by tree lifting ordering" Lecture Notes in Comput.Sci.(発表予定). (1998)
T.Aoto：“通过树提升排序终止变换”Comput.Sci 讲义（待发表）。
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
M.Sasai: "Semantics and strong sequentiality of priority term rewriting systams" Theoretical Comput.Sci.(発表予定).
M.Sasai：“优先术语重写系统的语义和强顺序性”理论计算科学（待提交）。
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
T.Nagaya: "Index reduction of overlapping strongly sequential systems" IEICE TRANS.INF. & SYST.(発表予定).
T.Nagaya：“重叠强顺序系统的索引减少”IEICE TRANS.INF（待提交）。
- 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 }}
外山 芳人其他文献
Term rewriting systems and the Church-Rosser property
术语重写系统和 Church-Rosser 属性
- DOI：
10.11501/3052062 - 发表时间：
1990 - 期刊：
- 影响因子：0
- 作者：
外山 芳人 - 通讯作者：
外山 芳人
Design Challenges and Solutions in the era of IoT
物联网时代的设计挑战与解决方案
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
佐藤洸一;菊池健太郎;青戸等人;外山 芳人;X. Wen;小平行秀，児玉親亮，松井知己，高橋篤司，野嶋茂樹，田中聡;網本 貴一，長谷 清史;Hidetoshi Onodera - 通讯作者：
Hidetoshi Onodera
項書き換えシステムの変換を利用した帰納的定理自動証明
使用术语重写系统的变换自动证明归纳定理
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
佐藤洸一;菊池健太郎;青戸等人;外山 芳人 - 通讯作者：
外山 芳人
Decision Method of Reachability based on Rewrite Rule Overlapping
基于重写规则重叠的可达性判定方法
- DOI：
10.11309/jssst.33.3_93 - 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
島貫健太郎;青戸等人;外山 芳人 - 通讯作者：
外山 芳人
2-アミノカルコンエポキシドの固体発光性と化学反応性
2-氨基查尔酮环氧化物的固态发光和化学反应性
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
佐藤洸一;菊池健太郎;青戸等人;外山 芳人;X. Wen;小平行秀，児玉親亮，松井知己，高橋篤司，野嶋茂樹，田中聡;網本 貴一，長谷 清史 - 通讯作者：
網本 貴一，長谷 清史
外山 芳人的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('外山 芳人', 18)}}的其他基金
完備化に基づくプログラム自動変換の研究
基于完备性的程序自动转换研究
- 批准号：
16016202 - 财政年份：2005
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
完備化に基づくプログラム自動変換の研究
基于完备性的程序自动转换研究
- 批准号：
15017203 - 财政年份：2003
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
完備化に基づくプログラム自動変換の研究
基于完备性的程序自动转换研究
- 批准号：
14019003 - 财政年份：2002
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
完備化に基づくプログラム自動変換の研究
基于完备性的程序自动转换研究
- 批准号：
13224003 - 财政年份：2001
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (C)
書き換えシステムに基づく発展的プログラミングの研究
基于重写系统的进化规划研究
- 批准号：
10139214 - 财政年份：1998
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
相似国自然基金
机/舰耦合流场时空关联性及其参数预测方法研究
- 批准号：12372230
- 批准年份：2023
- 资助金额：53 万元
- 项目类别：面上项目
重写系统的基础理论及其在软件质量保障中的应用
- 批准号：61802259
- 批准年份：2018
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
基于柱塞/叠片混合流的放射性微流体萃取——反萃原位耦合系统
- 批准号：21776152
- 批准年份：2017
- 资助金额：64.0 万元
- 项目类别：面上项目
关于混合流体模型解的适定性的研究
- 批准号：11626238
- 批准年份：2016
- 资助金额：3.0 万元
- 项目类别：数学天元基金项目
频谱资源连续性约束下的绿色光电联合流量疏导研究
- 批准号：61575126
- 批准年份：2015
- 资助金额：64.0 万元
- 项目类别：面上项目
相似海外基金
Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order Rewriting
通用代数数据类型：基于高阶重写的数据类型理论与实践
- 批准号：
20H04164 - 财政年份：2020
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Principles of Higher-Order Universal Algebraic Datatypes
高阶通用代数数据类型的原理
- 批准号：
17K00092 - 财政年份：2017
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Experimental Study of Anomalies of Waters Flowing through Micro Channels
微通道水流异常现象的实验研究
- 批准号：
23560189 - 财政年份：2011
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research on automated confluence proving for term rewriting systems
术语重写系统自动汇合证明研究
- 批准号：
22500002 - 财政年份：2010
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
函数式程序分析、验证和高效执行的重写理论研究
- 批准号：
18500011 - 财政年份：2006
- 资助金额：
$ 0.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)