刷新
{{item.name}}会员
Combinatorial and computational structures of approximations of spaces
空间近似的组合和计算结构
基本信息
- 批准号：15K00015
- 负责人：
- 金额：$ 3万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2015
- 资助国家：日本
- 起止时间：2015-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
非構成的対象を扱った証明からのプログラム抽出
从处理非组合对象的证明中提取程序
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Keita Emura;Takuya Hayashi;Noboru Kunihiro;Jun Sakuma;立木秀樹
- 通讯作者：立木秀樹
Infinite Adequacy Theorem through Coinductive Definitions
通过共归纳定义的无限充分性定理
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：片山彰之;白柳潔;Hideki Tsuiki
- 通讯作者：Hideki Tsuiki
Prawf: An Interactive Proof System for Program Extraction
- DOI：10.1007/978-3-030-51466-2_12
- 发表时间：2020-06-24
- 期刊：
- 影响因子：0
- 作者：Berger U;Petrovska O;Tsuiki H
- 通讯作者：Tsuiki H
{{
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 }}
Tsuiki Hideki其他文献
Tsuiki Hideki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
均衡の非決定性と行動経済学的期待を考慮した動学的一般均衡モデルによる実証分析
使用考虑均衡非确定性和行为经济预期的动态一般均衡模型进行实证分析
- 批准号：
24K00238 - 财政年份：2024
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
非決定性超伝導回路を用いた高性能機械学習計算基盤の創出
使用非确定性超导电路创建高性能机器学习计算平台
- 批准号：
23K28055 - 财政年份：2024
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Ｗｅｂアプリケーションの非決定性による欠陥の自動検出
自动检测 Web 应用程序中的非确定性缺陷
- 批准号：
14J05991 - 财政年份：2014
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for JSPS Fellows
非決定性動学モデルにおける最適性と双対性の研究とその数理経済学への応用
非确定性动态模型的最优性和对偶性研究及其在数理经济学中的应用
- 批准号：
09J05487 - 财政年份：2009
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for JSPS Fellows
非決定性動的計画法の研究とその制御差分方程式への応用
非确定性动态规划及其在控制差分方程中的应用研究
- 批准号：
15654019 - 财政年份：2003
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Exploratory Research
「翻訳の非決定性」とその諸帰結に関する哲学的分析
“翻译的不确定性”及其后果的哲学分析
- 批准号：
60710005 - 财政年份：1985
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
非線形回路の非決定性摂動に関する感度解析理論
非线性电路中非确定性扰动的灵敏度分析理论
- 批准号：
X00095----465131 - 财政年份：1979
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for General Scientific Research (D)
非決定性作用素理論による非線形システムの感度解析
使用非确定性算子理论进行非线性系统的灵敏度分析
- 批准号：
X00095----265099 - 财政年份：1977
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for General Scientific Research (D)