刷新
{{item.name}}会员
Construction of a self-extendable software verification system based on class theory
基于类理论的可自扩展软件验证系统的构建
基本信息
- 批准号：25280025
- 负责人：
- 金额：$ 11.23万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2013
- 资助国家：日本
- 起止时间：2013-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（21）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Proving confluence of term rewriting systems via persistency and decreasing diagrams
通过持久性和递减图证明术语重写系统的汇合
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：Takahito Aoto;Yoshihito Toyama and Kazumasa Uchida
- 通讯作者：Yoshihito Toyama and Kazumasa Uchida
A Hoare logic for SIMT programs
SIMT 程序的霍尔逻辑
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Shinichi Nishizawa;Tohru Ishihara;Hidetoshi Onodera;高橋紀之，井原岳志，高橋篤司;Kensuke Kojima and Atsushi Igarashi
- 通讯作者：Kensuke Kojima and Atsushi Igarashi
フレーゲ哲学の現代的意義 - 野本和幸著『フレーゲ哲学の全貌』を読む -
弗雷格哲学的现代意义——读野本一之《弗雷格哲学全集》——
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：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 }}
Sato Masahiko其他文献
Experimental Evaluation of Remanence Carriers Using the Microcoercivity‐Unblocking Temperature Diagram
使用微矫顽力-解锁温度图对剩磁载流子进行实验评估
- DOI：
10.1029/2019gc008534 - 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Sato Masahiko;Terada Takuma;Mochizuki Nobutatsu;Tsunakawa Hideo - 通讯作者：
Tsunakawa Hideo
Shock Remanent Magnetization Intensity and Stability Distributions of Single‐Domain Titanomagnetite‐Bearing Basalt Sample Under the Pressure Range of 0.1?10?GPa
0.1?10?GPa压力范围内含单畴钛磁铁矿玄武岩样品的冲击剩磁强度及稳定性分布
- DOI：
10.1029/2021gl092716 - 发表时间：
2021 - 期刊：
- 影响因子：5.2
- 作者：
Sato Masahiko;Kurosawa Kosuke;Kato Shota;Ushioda Masashi;Hasegawa Sunao - 通讯作者：
Hasegawa Sunao
Expression of Ganglioside Disialosyl Globopentaosyl Ceramide in Prostate Biopsy Specimens as a Predictive Marker for Recurrence after Radical Prostatectomy
前列腺活检标本中神经节苷脂二唾液酸基神经酰胺的表达作为根治性前列腺切除术后复发的预测标志物
- DOI：
10.1620/tjem.252.1 - 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Sato Masahiko;Shimada Shuichi;Watanabe Mika;Kawasaki Yoshihide;Sato Tomonori;Morozumi Kento;Mitsuzuka Koji;Ito Akihiro - 通讯作者：
Ito Akihiro
Sato Masahiko的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Sato Masahiko', 18)}}的其他基金
The Martian magnetic field intensity estimation based on the magnetic properties of exsolved magnetite
基于出溶磁铁矿磁特性的火星磁场强度估算
- 批准号：
19K14777 - 财政年份：2019
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Deepening of a self-extendable software verification system based on class theory
基于类理论的可自扩展软件验证系统的深化
- 批准号：
17H01724 - 财政年份：2017
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Proof theoretic and semantical study of Fregean Logic
弗雷格逻辑的证明理论和语义研究
- 批准号：
16K13150 - 财政年份：2016
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Paleointensity experiment using zircon crystal sampled from river sand: toward reconstruction of magnetic field variation during last 4 Ga
使用从河沙中取样的锆石晶体进行的古强度实验：重建过去 4 Ga 期间的磁场变化
- 批准号：
26610142 - 财政年份：2014
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
相似海外基金
安全かつ強力な手続き的マクロのための型理論的基礎
安全且强大的程序宏的类型理论基础
- 批准号：
24KJ1363 - 财政年份：2024
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for JSPS Fellows
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
基于证明论和类型论的自然语言形式语义新框架
- 批准号：
21K00016 - 财政年份：2021
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Analysis of rigidity and global structure for integrable systems by using normal form theory
利用范式理论分析可积系统的刚度和全局结构
- 批准号：
16K05173 - 财政年份：2016
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Overviews and constructions of Dirichlet form theory on non-Archimedean space on a basis of hierarchical structure
基于层次结构的非阿基米德空间狄利克雷形式理论概述与构建
- 批准号：
26400150 - 财政年份：2014
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Investigation of the weak-form theory framework for the recursive transfer method: Application to the microwave scattering and examination for tensor fields.
递归传递方法的弱形式理论框架的研究：在微波散射和张量场检查中的应用。
- 批准号：
23560065 - 财政年份：2011
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
並行プログラムのための型理論に基づく利便性の高い静的検証手法
基于类型论的并发程序便捷静态验证方法
- 批准号：
11J00571 - 财政年份：2011
- 资助金额：
$ 11.23万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Normal form theory, computiation and applications
范式理论、计算与应用
- 批准号：
183636-2004 - 财政年份：2008
- 资助金额：
$ 11.23万 - 项目类别：
Discovery Grants Program - Individual
Normal form theory, computiation and applications
范式理论、计算与应用
- 批准号：
183636-2004 - 财政年份：2007
- 资助金额：
$ 11.23万 - 项目类别：
Discovery Grants Program - Individual
Normal form theory, computiation and applications
范式理论、计算与应用
- 批准号：
183636-2004 - 财政年份：2006
- 资助金额：
$ 11.23万 - 项目类别：
Discovery Grants Program - Individual