Research keywords (5):
プログラム理論
, 数学基礎論
, lambda calculus
, type theory
, classical logic
Research theme for competitive and other funds (18):
2022 - 2026 循環証明体系におけるカット除去定理とカット規則の制限
2021 - 2026 Network of automata with data based on compositional active learning
2021 - 2024 分離論理を用いたソフトウェア検証の発展
2018 - 2021 Proof theoretic analysis of cyclic proof systems
2017 - 2021 A reversible debugging model for real-time concurrent programs
2017 - 2021 Theory of Gradual Typing for Modern Programming Languages
2015 - 2018 計算における無限概念と古典論理
2013 - 2016 ソフトウェア契約に基づく高階型付プログラムの理論
2011 - 2015 Type Theory of Existential Types
2012 - 2015 ストリーム計算のための計算モデル
2010 - 2013 バグのないソフトウェア構築環境に関する研究の新展開
2009 - 2012 二階存在量化子をもつ計算体系
2007 - 2010 計算と論理の融合によるバグのないソフトウェア構築環境に関する研究
2006 - 2009 古典論理の構文論的双対性とその計算論的意味
2006 - 2007 安全・安心な環境適応型ソフトウェアの基礎理論に関する研究
2004 - 2006 変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
2004 - 2006 古典論理に基づく非決定的計算体系
2001 - 2003 Calculi and Logic of Environment and Context
Show all
Papers (34):
Kenji Saotome, Koji Nakazawa, Daisuke Kimura. Restriction on cut in cyclic proof system for symbolic heaps. The 15th International Symposium on Functional and Logic Programming (FLOPS 2020). 2020. .-105
Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura. Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. Proceedings of The 17th Asian Symposium on Programming Languages and Systems (APLAS2019). 2019
2000 - 2002 Kyoto University Graduate School, Division of Natural Science
1994 - 1998 Kyoto University Faculty of Science
Professional career (1):
博士(理学) (京都大学)
Work history (5):
2017/04/01 - 現在 Nagoya University Graduate School of Informatics Department of Computing and Software Systems 3 Associate professor
2015/10/01 - 現在 Nagoya University Graduate School of Information Science
2015/10/01 - 2017/03/31 Nagoya University Graduate School of Information Science Department of Information Engineering Software Science and Technology Associate professor
2007/04/01 - 2015/09/30 Kyoto University Graduate School of Informatics
2002/12/01 - 2007/03/31 Kyoto University Graduate School of Informatics
Committee career (1):
2017/04 - 2021/03 日本ソフトウェア科学会プログラミング論研究会運営委員 運営委員
Awards (2):
2022/09 - Best Research Paper Award Spatial Factorization in Cyclic-Proof System for Separation Logic
2016/09/08 - 日本ソフトウェア科学会 高橋奨励賞
Association Membership(s) (3):
European Association for Theoretical Computer Science
, 日本数学会
, 日本ソフトウェア科学会