中澤巧爾

ナカザワコウジ | Nakazawa Koji

所属機関・部署：
職名：准教授
ホームページURL (2件)： http://knaknak.github.io/ , http://knaknak.github.io/index-e.html

研究分野 (2件)：ソフトウェア , 情報学基礎論

研究キーワード (5件)：プログラム理論 , 数学基礎論 , ラムダ計算 , 型理論 , 古典論理

競争的資金等の研究課題 (18件)：

全件表示

論文 (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
福井康介, 中澤巧爾, 石井沙織, 結縁祥治. 古典論理に対する汎用的自然演繹の証明正規化. 第22回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL2020). 2020. .
NAKAZAWA Koji, TATSUTA Makoto, KIMURA Daisuke, YAMAMURA Mitsuru. Spatial Factorization in Cyclic-Proof System for Separation Logic. コンピュータソフトウェア. 2020. 37. 1. 1_125-1_144
KIMURA Daisuke, NAKAZAWA Koji, TERAUCHI Tachio, UNNO Hiroshi. Failure of Cut-Elimination in Cyclic Proofs of Separation Logic. コンピュータソフトウェア. 2020. 37. 1. 1_39-1_52
龍田真, 中澤巧爾, 木村大輔. Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. Proceedings of The 17th Asian Symposium on Programming Languages and Systems (APLAS2019). 2019

MISC (28件)：

講演・口頭発表等 (26件)：

分離論理における記号ヒープのための循環証明体系におけるカットの制限について
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) 2020)
分離論理におけるエンテイルメント証明器の入力に対する制限の緩和
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) 2020)
Confluence proof of lambda-mu-calculus by Z thorem
(RIMS共同研究「証明論とその周辺」 2019)
Proof normalization for classical truth-table natural deduction
(RIMS共同研究「証明論とその周辺」 2019)
On restricted cut-elimination for cyclic proof system for separation logic
(RIMS共同研究「証明論とその周辺」 2019)

学歴 (2件)：

学位 (1件)：

経歴 (5件)：

委員歴 (1件)：

受賞 (2件)：

所属学会 (3件)：

European Association for Theoretical Computer Science , 日本数学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

中澤 巧爾