講演・口頭発表等 - 中澤 巧爾
-
Incorrectness Separation Logic with Arrays and Pointer Arithmetic
Yeonseok Lee and Koji Nakazawa
2025年3月27日
-
再帰呼び出しを含む分離論理の部分正当性のための循環証明体系
佐藤拓海，中澤巧爾
第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025) 2025年3月 日本ソフトウェア科学会プログラミング論研究会
-
Cyclic-proof systems for symbolic heaps require cut formulas outside initial signatures
Kenji Saotome and Koji Nakazawa
2025年1月14日
-
Relative completeness of incorrectness separation logic
Koji Nakazawa and Yeonseok Lee
2024年8月
-
Toward completeness of incorrectness separation logic
Lee Yeonseok and Koji Nakazawa
2024年3月
-
不動点演算子を持つ命題論理に対する循環証明体系のカット無し完全性
堀 弘昌, 中澤 巧爾, and 龍田 真
第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) 2024年3月 日本ソフトウェア科学会プログラミング論研究会
-
Z定理のモジュール性
女屋優貴，藤田憲悦，中澤巧爾
RIMS共同研究「証明論と計算論の最前線」 2023年12月11日
-
命題論理に対する無限証明体系と循環証明体系の証明能力同等性
堀弘昌, 中澤巧爾, 龍田真
日本数学会秋季総合分科会 2022年9月 日本数学会
-
不動点演算子を持つ命題論理の循環証明体系
中澤巧爾, 堀弘昌, 龍田真
SLACS 2022 2022年9月
-
Decidable entailment checking for concurrent separation logic with fractional permissions 国際共著
Yeonseok Lee, Koji Nakazawa
2022年8月31日
-
Normalization of symbolic heaps for entailment checking in concurrent separation logic with fractional permissions 国際共著
2022年3月6日
-
無限証明体系と循環証明体系の証明能力同等性 国際共著
堀弘昌，中澤巧爾，龍田真
第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022) 2022年3月7日 日本ソフトウェア科学会プログラミング論研究会
-
制限された帰納的述語を含む分離論理の完全な循環証明体系 国際共著
石井沙織，中澤巧爾
第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022) 2022年3月7日 日本ソフトウェア科学会プログラミング論研究会
-
帰納的命題を含む循環証明体系のカット除去
中澤巧爾，早乙女献自，木村大輔
RIMS共同研究「証明と計算の理論と応用」 2021年12月20日
-
合流性とZ定理について
赤坂陸来，藤田憲悦，中澤巧爾
RIMS共同研究「証明と計算の理論と応用」 2021年12月20日
-
分離論理 招待有り
中澤 巧爾
2021年度数学基礎論サマースクール（古典論理に限らない論理） 2021年9月 日本数学会
-
Failure of cut-elimination in the cyclic proof system of bunched logic with inductive propositions 国際会議
Koji Nakazawa, Kenji Saotome, Daisuke Kimura
Forth Workshop on Mathematical Logic and its Applications (MLA 2021) 2021年3月
-
分離論理におけるエンテイルメント判定問題の決定不能性
飯田 晟樹，早乙女 献自，中澤 巧爾
第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) 日本ソフトウェア科学会プログラミング論研究会
-
分離論理の循環証明体系における帰納的述語の制限とカット除去
早乙女 献自, 中澤 巧爾
SLACS 2020 2020年12月
-
書換え系の変換を用いたZ性の証明
本多 雄樹, 中澤 巧爾
SLACS 2020 2020年12月