プログラムの模倣合同性の危険対解析による自動判定
通过风险对分析自动确定程序的模仿一致性
基本信息
- 批准号:22K17850
- 负责人:
- 金额:$ 2.75万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Early-Career Scientists
- 财政年份:2022
- 资助国家:日本
- 起止时间:2022-04-01 至 2025-03-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
本研究は、模倣合同性の立証手法を提案・自動化することにより、プログラム等価性の自動証明手法を与えることを目指すものである。本年度では、制限つきの項書き換え系において模倣合同性の立証手法を定式化し、それに基づいて自動判定アルゴリズムを構築することを目標として研究を行い、制限つきの項書き換え系として「項評価系」を提案した。この項評価系について、項書き換え系に関するワークショップ58th TRS Meeting (2023年2月)での発表を行った。プログラムの実行を項書き換え系で表現するためには、既知の2種類の制限を加える必要があると予想されていた。1つ目は書き換えの場所を制限する手法(Lucas 1995)であり、2つ目は書き換え対象を構文的に制限する手法(Hamana et al. 2020)である。ところが、必要な制限はこの2つだけではなく、書き換えの順序を制限する手法が新たに必要であることが分かった。プログラム実行のモデリングにおいては、評価文脈を用いて書き換えの場所・順序を制限する手法が主流となっている。そこで、項書き換え系に評価文脈を組み合わせることで、書き換えの場所・順序が制限できるような新たな系を開発し、項評価系と名づけた。この成果は、項書き換え系理論の知見をプログラム意味論へ応用する上での大きなステップと捉えられる。プログラム実行がしばしば項書き換え系と見なされうるにも関わらず、項書き換え系理論からプログラム意味論への知見・技術の移植は進んでいない現状がある。項評価系という本年度の研究成果は、そのような状況に対して、プログラム意味論で基本的な概念である評価文脈が項書き換え系には欠如していることが根本的な原因であることを示唆するものである。項評価系に項書き換え系の技術を移転することで、項書き換え系の技術をプログラム意味論へ応用することが可能になると考えられる。
In this study, the proposal for the establishment of a contract contract is proposed for the purpose of automatic identification of sexual instruments, such as the practice of self-regulation, and the purpose of this study is to provide information on the practice of self-regulation and the purpose of this study. This year's program is based on the model contract model, the formulation of the model, the automatic determination of the system, the research program, and the proposal of the project. The project is called 58th TRS Meeting, and the item is the row of the table. The reason for this is that if you want to do so, you will need to know that you do not know what you are going to do. 1. The method of restriction (Lucas 1995) and the method of restriction (Hamana et al.) 2020) thank you. It is necessary to limit the number of cases, the order of the order, the necessary, the necessary. In order to control the order of the market, the mainstream techniques are used to control the order of the market. The information system and project management system are related to the order and order of the organization and the market. The new system is open and the project name is the name. "results" and "projects" are theoretical theories. "knowledge" means that you can use a lot of information to catch a lot of money. You may need to know that the technology transplant is in the process of improving the performance of the project. The project is based on the results of this year's research, which means that the basic concepts are not the same as the root causes of the research results of the current year. The project information system is related to the technical information system, and the technical information system.
项目成果
期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Local Coherence and Program Refinement (work in progress)
本地一致性和计划细化(正在进行中)
- DOI:
- 发表时间:2023
- 期刊:
- 影响因子:0
- 作者:Takashi Otonari;Satoshi Ikehata;Kiyoharu Aizawa;室屋晃子
- 通讯作者:室屋晃子
{{
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 }}
室屋 晃子其他文献
室屋 晃子的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('室屋 晃子', 18)}}的其他基金
副作用を扱うGoI意味論の確立と、高位合成技術・確率的プログラミングへの応用
建立处理副作用的 GoI 语义及其在高级综合技术和随机编程中的应用
- 批准号:
16J06849 - 财政年份:2016
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for JSPS Fellows
相似海外基金
IUCRC Planning Grant Duke University: Center for Innovation in Risk-analysis for Climate Adaptation and Decision-making (CIRCAD)
IUCRC 规划资助 杜克大学:气候适应和决策风险分析创新中心 (CIRCAD)
- 批准号:
2413267 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Standard Grant
IUCRC Planning Grant University of Georgia: Center for Innovation in Risk-analysis for Climate Adaptation and Decision-making (CIRCAD)
IUCRC 规划拨款 佐治亚大学:气候适应和决策风险分析创新中心 (CIRCAD)
- 批准号:
2413384 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Standard Grant
WaterTrace: catchment-scale water risk analysis
WaterTrace:流域规模水风险分析
- 批准号:
10056183 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Small Business Research Initiative
Sewer Overflow Flood Risk Analysis MOdel Dafni Enabled (SOFRAMODE)
下水道溢流洪水风险分析模型 Dafni 启用 (SOFRAMODE)
- 批准号:
ST/Y003837/1 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Research Grant
Collaborative Research: CAS-Climate: Risk Analysis for Extreme Climate Events by Combining Numerical and Statistical Extreme Value Models
合作研究:CAS-Climate:结合数值和统计极值模型进行极端气候事件风险分析
- 批准号:
2308680 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Continuing Grant
Collaborative Research: CAS-Climate: Risk Analysis for Extreme Climate Events by Combining Numerical and Statistical Extreme Value Models
合作研究:CAS-Climate:结合数值和统计极值模型进行极端气候事件风险分析
- 批准号:
2308679 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Continuing Grant
Conference: New Frontiers in Reliability and Risk Analysis
会议:可靠性和风险分析的新领域
- 批准号:
2325706 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Standard Grant
A methodology for quantitative failure risk analysis using physical modeling and Bayesian network
使用物理建模和贝叶斯网络进行定量故障风险分析的方法
- 批准号:
23K13522 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Expanding the water safety toolbox for small and decentralized drinking water systems using risk analysis, photocatalytic technologies, and pilot scale equipment
利用风险分析、光催化技术和中试设备扩展小型和分散式饮用水系统的水安全工具箱
- 批准号:
RGPIN-2021-03620 - 财政年份:2022
- 资助金额:
$ 2.75万 - 项目类别:
Discovery Grants Program - Individual
Immunotoxicity assessment of nanoparticles and development into risk analysis
纳米粒子的免疫毒性评估和风险分析的发展
- 批准号:
22H03749 - 财政年份:2022
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (B)