織田幸弘

東北大学特任研究員の織田幸弘です. 主に循環証明体系 Cyclic Proof について研究しています.

キーワード:

循環証明 Cyclic/circular proofs，非整礎な証明 Non-well-founded/ill-founded proofs，カット除去 Cut-elimination，帰納法 Induction，ソフトウェア検証 Software Verification，論理学 Logic etc.

emailアドレス:

yukihiro3socrates6hilbert [at] gmail.com

ORCID:

このリンクから私のORCIDのページに行けます.

researchmap:

このリンクから私のresearchmapのページに行けます.

Twitter:

このリンクから私のTwitterのページに行けます.

Blog:

このリンクから私のBlogに行けます.

最近の動向

Submitted:

Yukihiro Oda. "A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics", CoRR, 2025 https://arxiv.org/abs/2512.15075

Accepted:

Yukihiro Oda, James Brotherston, Makoto Tatsuta, "The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions", Journal of Logic and Computation, 2023;, exad068, https://doi.org/10.1093/logcom/exad068