刷新
{{item.name}}会员
Principles of Higher-Order Universal Algebraic Datatypes
高阶通用代数数据类型的原理
基本信息
- 批准号：17K00092
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2017
- 资助国家：日本
- 起止时间：2017-04-01 至 2021-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Confluence Competition 2018
2018年汇流大赛
- DOI：10.4230/lipics.fscd.2018.32
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：T. Aoto;M. Hamana;N. Hirokawa;A. Middeldorp J. Nagele;N. Nishida;K. Shintani;and Harald Zankl
- 通讯作者：and Harald Zankl
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation
多态重写规则：汇合、类型推断和实例验证
- DOI：10.1007/978-3-319-90686-7_7
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：木本真理究;竹川俊也;打木陸雄;松林和也;竹島由里子;植村誠;藤代一成;M. Hamana
- 通讯作者：M. Hamana
How to prove decidablity of equational theories with second-order computation analyser SOL
如何使用二阶计算分析器 SOL 证明方程理论的可判定性
- DOI：10.1017/s0956796819000157
- 发表时间：2019
- 期刊：
- 影响因子：1.1
- 作者：Ferenc Nagy;Norimasa Yoshida;M.Hamana
- 通讯作者：M.Hamana
関数プログラム・計算系の分割停止性検証: 外山-Klop-Barendregt の定理の高階化
功能程序和计算系统的可破坏性验证：Toyama-Klop-Barendregt 定理的高阶
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：藤岡 亮;浜名 誠;M. Hamana;浜名誠
- 通讯作者：浜名誠
{{
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 }}
Hamana Makoto其他文献
Hamana Makoto的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
高階書換え系による次世代マルチパラダイム・プログラミング言語の展開
使用高阶重写系统开发下一代多范式编程语言
- 批准号：
24K02919 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
戦略を導入した項書換え系における到達可能性の研究
引入策略的术语重写系统可达性研究
- 批准号：
10J08166 - 财政年份：2010
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
型付き項書換え系の変換に基づく関数型プログラムの自動検証
基于类型化术语重写系统改造的功能程序自动验证
- 批准号：
18700007 - 财政年份：2006
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
項書換え系を対象としたモデル検査手法に関する研究
术语重写系统模型检验方法研究
- 批准号：
15700015 - 财政年份：2003
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
遺伝的プログラミングを用いた項書換え系の自動合成に関する研究
利用遗传编程自动合成术语重写系统的研究
- 批准号：
13780189 - 财政年份：2001
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
宣言型プログラムを対象とする高階項書換え系の計算理論
声明性程序的高阶项重写系统的计算理论
- 批准号：
12878047 - 财政年份：2000
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Exploratory Research
高階項書換え系の停止性に関する研究
高阶重写系统终止性研究
- 批准号：
12780229 - 财政年份：2000
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
項書換え系における決定可能な必須呼び計算
术语重写系统中可确定的基本调用计算
- 批准号：
09780235 - 财政年份：1997
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
項書換え系における必須呼び計算機構に関する研究
术语重写系统中必要调用计算机制的研究
- 批准号：
08780238 - 财政年份：1996
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
項書換え系の単一化手法に関する研究
术语重写系统统一方法研究
- 批准号：
07780267 - 财政年份：1995
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)