刷新
{{item.name}}会员
Syntactic Duality of Classical Logic and Its Computational Aspect
经典逻辑的句法对偶性及其计算方面
基本信息
- 批准号：18700008
- 负责人：
- 金额：$ 1.61万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2006
- 资助国家：日本
- 起止时间：2006 至 2008
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
本研究では以下の結果を得た。(1) 直観主義シーケント計算のカット除去として、自然演繹の証明正規化と同型であるものを提案した。(2) 存在型を持つ型付きラムダ計算における型検査問題、型推論問題が決定不能であることを証明した。
The results of this study are as follows. (1)The theory of natural deduction and the theory of normalization (2)The existence of a type is determined by the calculation of a type of inquiry problem and a type of inference problem.
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.
存在性的无域类型 Lambda 演算中类型检查的不可判定性。
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：Koji Nakazawa;Makoto Tatsuta;Yukiyoshi Kameyama;and Hiroshi Nakano
- 通讯作者：and Hiroshi Nakano
trong Cut-Elimination and CPS-Translations. (In T. Kutsia and M. Marin, eds.)
强大的剪切消除和 CPS 翻译。
- DOI：
- 发表时间：2007
- 期刊：
- 影响因子：0
- 作者：加藤祐輝;中澤巧爾;Koji Nakazawa;Koji Nakazawa
- 通讯作者：Koji Nakazawa
An Isomorphism between Cut-Elimination Procedure and Proof Reduction
割消除过程与证明约简的同构
- DOI：
- 发表时间：2007
- 期刊：
- 影响因子：0
- 作者：K. Nakazawa;M. Tatsuta;Y. Kameyama;and H. Nakano;Koji Nakazawa and Makoto Tatsuta;Koji Nakazawa
- 通讯作者：Koji Nakazawa
Type Checking and Inference for Polymorphic and Existential Types.
多态和存在类型的类型检查和推断。
- DOI：
- 发表时间：2009
- 期刊：
- 影响因子：0
- 作者：S. Imahori;M. Yagiura;H. Nagamochi;今堀慎治;Koji Nakazawa and Makoto Tatsuta
- 通讯作者：Koji Nakazawa and Makoto Tatsuta
{{
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 }}
NAKAZAWA Koji其他文献
スペクトログラムを用いた耳介個人認証システムに関する検討
基于声谱图的耳廓个人认证系统研究
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
KIMURA Daisuke;NAKAZAWA Koji;TERAUCHI Tachio;UNNO Hiroshi;刀塚敦子，飯島涼，渡邉卓弥，秋山満昭，酒井哲也，森達哉;増田壮良，喜多俊輔，梶川嘉延 - 通讯作者：
増田壮良，喜多俊輔，梶川嘉延
Voice Assistant アプリの大規模実態調査
语音助手应用程序的大规模调查
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
KIMURA Daisuke;NAKAZAWA Koji;TERAUCHI Tachio;UNNO Hiroshi;刀塚敦子，飯島涼，渡邉卓弥，秋山満昭，酒井哲也，森達哉 - 通讯作者：
刀塚敦子，飯島涼，渡邉卓弥，秋山満昭，酒井哲也，森達哉
NAKAZAWA Koji的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('NAKAZAWA Koji', 18)}}的其他基金
Calculi with Second-Order Existential Quantifier
使用二阶存在量词的微积分
- 批准号：
21700013 - 财政年份：2009
- 资助金额：
$ 1.61万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
An autonomous machine learning-based molecular dynamics method that utilizes first-principles atomic energy calculation
一种基于自主机器学习的分子动力学方法，利用第一原理原子能计算
- 批准号：
23H03415 - 财政年份：2023
- 资助金额：
$ 1.61万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Understanding moisture-induced adhesion weakening via first-principles protonation calculation
通过第一原理质子化计算了解水分引起的粘附减弱
- 批准号：
23H01697 - 财政年份：2023
- 资助金额：
$ 1.61万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Development of calculation method for Magnetophonics and its application to magnetic materials
磁声学计算方法的发展及其在磁性材料中的应用
- 批准号：
23KJ2165 - 财政年份：2023
- 资助金额：
$ 1.61万 - 项目类别：
Grant-in-Aid for JSPS Fellows
A new nuclear matter calculation method based on realistic nuclear forces and the effect of many-body terms on the equation of state
基于现实核力和多体项对状态方程影响的新核物质计算方法
- 批准号：
23K03397 - 财政年份：2023
- 资助金额：
$ 1.61万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Calculation and the Verification of the maximum electric power of Microbial Fuel Cells by Minimizing the Internal Resistance Using the Mathematical Model
微生物燃料电池内阻最小化最大电功率的数学模型计算与验证
- 批准号：
23K11483 - 财政年份：2023
- 资助金额：
$ 1.61万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Applying Innovative Artificial Intelligence Approaches to a Large Sleep Physiologic Biorepository to Integrate Sleep Disruption in Cardiovascular Risk Calculation
将创新的人工智能方法应用于大型睡眠生理生物库，将睡眠中断纳入心血管风险计算
- 批准号：
10731500 - 财政年份：2023
- 资助金额：
$ 1.61万 - 项目类别：
RUI: Calculation of Higher Order Corrections to Positronium Energy Levels
RUI：正电子能级高阶修正的计算
- 批准号：
2308792 - 财政年份：2023
- 资助金额：
$ 1.61万 - 项目类别：
Standard Grant
What causes misconduct: Does inter-corporate competition skew the calculation of benefits and costs?
导致不当行为的原因：公司间竞争是否会扭曲收益和成本的计算？
- 批准号：
23K01362 - 财政年份：2023
- 资助金额：
$ 1.61万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Study of the B-meson wavefunction based on QCD and its applications to precision calculation of rare B decays
基于QCD的B介子波函数研究及其在稀有B衰变精密计算中的应用
- 批准号：
23K03419 - 财政年份：2023
- 资助金额：
$ 1.61万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of Relativistic Electronic Structure Approaches for the Calculation of Structural, Mechanical and Spectroscopic Properties of Infinite Periodic Systems
开发用于计算无限周期系统的结构、力学和光谱特性的相对论电子结构方法
- 批准号：
545643-2020 - 财政年份：2022
- 资助金额：
$ 1.61万 - 项目类别：
Postdoctoral Fellowships