Quantitative analysis of existential theorems of reduction systems

约简系统存在定理的定量分析

• 批准号: 17K05343
• 负责人: Fujita Kenetsu
• 金额: $ 2.75万
• 依托单位: Gunma University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2017
• 资助国家: 日本
• 起止时间: 2017-04-01 至 2021-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K05343/
• 关键词: ラムダ計算; グルジェゴルチック階層; チャーチ・ロッサーの定理; 箙; 並行簡約; 隣接行列; 計算の複雑さ; 簡約列; 合流性; 並行変換; 簡約グラフ; 非初等関数; 簡約システム; 定量的解析

项目成果

On formalization of logic puzzles a la Smullyan

论 Smullyan 逻辑难题的形式化

• 发表时间: 2021
• 期刊: 京都大学数理解析研究所講究録
• 作者: Y. Honda;K. Nakawaza;K. Fujita;Masahiko Shimojo;Kenetsu Fujita
• 通讯作者: Kenetsu Fujita

ラムダ計算の簡約グラフについて

关于lambda演算的简化图

• 发表时间: 2020
• 期刊: 京都大学数理解析研究所講究録
• 作者: 富岡峻士，藤田憲悦

Probabilistic Model Checking for Biochemical Reaction Systems

生化反应系统的概率模型检查

• 发表时间: 2018
• 期刊: Proceedings of the Queueing Symposium, Stochastic Models and Their Applications
• 作者: R. Ty;K. Fujita;K. Kawanishi
• 通讯作者: K. Kawanishi

藤田研究室

藤田实验室

George Boolos' "The Hardest Logic Puzzle Ever" Revisited

乔治·布洛斯的“有史以来最难的逻辑谜题”重温

• 发表时间: 2020
• 作者: Editors Sandra Pinelas;TomasCaraballo;Peter Kloeden and John R. Graef;K. Fujita
• 通讯作者: K. Fujita