刷新
{{item.name}}会员
A Study on Breaking and Avoiding Relativization Barriers against Constructing One-Way Functions
打破和避免构建单向函数的相对化障碍的研究
基本信息
- 批准号：23K19957
- 负责人：
- 金额：$ 1.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Research Activity Start-up
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-08-31 至 2025-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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)}}的其他基金
学習階層の解析と計算論的学習理論の新展開
学习层次分析及计算学习理论新进展
- 批准号：
21J11263 - 财政年份：2021
- 资助金额：
$ 1.83万 - 项目类别：
Grant-in-Aid for JSPS Fellows
相似海外基金
Proof system for Realizability Decision of Reactive System Specification described by Temporal Logic
时态逻辑描述的反应式系统规范可实现性决策的证明系统
- 批准号：
16K00010 - 财政年份：2016
- 资助金额：
$ 1.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Towards a stronger proof system for combinatorial optimisation
建立更强大的组合优化证明系统
- 批准号：
DE130100292 - 财政年份：2013
- 资助金额：
$ 1.83万 - 项目类别：
Discovery Early Career Researcher Award
A Study on Proof System That Combines Verification and Optimization Technologies
验证与优化技术相结合的证明系统研究
- 批准号：
19500021 - 财政年份：2007
- 资助金额：
$ 1.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
オブジェクト指向分析モデルの定理証明系を用いた検証支援に関する研究
面向对象分析模型定理证明系统的验证支持研究
- 批准号：
12780204 - 财政年份：2000
- 资助金额：
$ 1.83万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
節理論に基づく知識発見システムのための基盤理論の構成と定理証明系上での実現
基于子句理论的知识发现系统基础理论构建及定理证明系统的实现
- 批准号：
11130201 - 财政年份：1999
- 资助金额：
$ 1.83万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
節論理に基づく知識発見システムのための基礎理論の構成と定理証明系上での実現
基于子句逻辑的知识发现系统基础理论构建及定理证明系统的实现
- 批准号：
10143201 - 财政年份：1998
- 资助金额：
$ 1.83万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)