講演・口頭発表等 - 中澤 巧爾
-
書換え系の変換を用いたZ性の証明
本多 雄樹，中澤 巧爾
日本ソフトウェア科学会第 37 回大会 2020年9月 日本ソフトウェア科学会
-
Proof Normalization for Classical Truth-Table Natural Deduction
Kosuke Fukui, Saori Ishii, Koji Nakazawa, and Takeshi Tsukada
2020年9月
-
分離論理におけるエンテイルメント証明器の入力に対する制限の緩和
青木 洸佑, 中澤 巧爾, 木村 大輔
第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) 日本ソフトウェア科学会プログラミング論研究会
-
分離論理における記号ヒープのための循環証明体系におけるカットの制限について
早乙女 献自, 中澤 巧爾, 木村 大輔
第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) 日本ソフトウェア科学会プログラミング論研究会
-
On restricted cut-elimination for cyclic proof system for separation logic
-
Confluence proof of lambda-mu-calculus by Z thorem
-
Proof normalization for classical truth-table natural deduction
-
On cut elimination in cyclic-proof systems 国際会議
Koji Nakazawa, Daisuke Kimura, Tachio Terauchi, Hiroshi Unno, Kenji Saotome
The 51st TRS Meeting
-
Confluence Proof of lambda-mu-Calculus by Z Theorem 国際会議
Yuuki Honda, Koji Nakazawa, Ken-etsu Fujita
The 51st TRS Meeting
-
プログラムの正しさを証明する ---分離論理入門--- 招待有り
中澤 巧爾
日本数学会2019年度年会
-
Z定理を用いたラムダ・ミュー計算の合流性証明
本多 雄樹, 中澤 巧爾
第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019)
-
循環証明体系における準カット除去可能性について
早乙女 献自, 中澤 巧爾
第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019)
-
On Cut-Elimination in Cyclic Proof Systems 国際会議
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, and Hiroshi Unno
16th Asian Symposium on Programming Languages and Systems (APLAS 2018)
-
On Cut-Elimination in Cyclic Proof Systems 国際会議
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, and Hiroshi Unno
Workshop on New Ideas and Emerging Results (NIER 2019)
-
Cyclic Theorem Prover for Separation Logic by Magic Wand. 国際会議
Koji Nakazawa, Makoto Tatsuta, Daisuke Kimura, Mitsuru Yamamura
1st Workshop on Automated Deduction for Separation Logics (ADSL 2018)
-
Complete Axiom System of Cluster Algebra 国際会議
Kousuke Fukui and Koji Nakazawa
7th International Workshop on Confluence (IWC 2018)
-
帰納的述語を含む分離論理によるプログラム検証のための ループ不変式の導出
仲田 壮佑, 中澤 巧爾
第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018)
-
Completeness of Cyclic Proofs for Symbolic Heaps. 国際会議
Makoto Tatsuta, Koji Nakazawa, and Daisuke Kimura
Second Workshop on Mathematical Logic and its Applications (MLA 2018)
-
Complete cyclic-proof system for separation logic with general inductive predicates 招待有り 国際会議
-
Cyclic-Proof-Based Decision Procedure for Symbolic Heaps and Inductive Definitions 国際会議
Makoto Tatsuta, Daisuke Kimura, Koji Nakazawa
2nd Workshop on New and Emerging Results in Programming Languages and Systems