織田（益岡）幸弘 ⁄ 過去の講演など

not-peer-reviewed in English

• Yukihiro Masuoka and Makoto Tatsuta, "Cut-elimination in cyclic proof system for first-order logic", In Fourth Workshop on Mathematical Logic and its Applications (MLA), March 2021
• This link takes you to the page of "Fourth Workshop on Mathematical Logic and its Applications".
• Yukihiro Masuoka and Makoto Tatsuta, "Counterexample to cut-elimination in cyclic proof system", In Logic colloquium (LC), July 2021

日本語の講演(事前査読あり)

• 益岡 幸弘，木村 大輔，"A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates"，PPL2022, March 2022
• このリンクから "第24回プログラミングおよびプログラミング言語ワークショップ PPL 2022" のページに行けます．
• Yukihiro Oda, "The Equivalence between Presburger Arithmetic and Its Cyclic Proof System"，PPL2023, March 2023
• このリンクから "第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023" のページに行けます．

日本語の講演(事前査読なし)

• 益岡 幸弘，"循環証明体系におけるカット除去"，数学基礎論若手の会2020年度，March 2021
• 益岡 幸弘，"帰納的定義付き一階述語論理の循環証明体系におけるカット除去"，SLACS2021，August 2021
• このリンク から "SLACS2021" のページに行けます．
• 益岡 幸弘，"循環証明体系におけるカット除去性と帰納的述語記号の Arity"，数学基礎論若手の会2021年度，December 2021
• このリンクから "数学基礎論若手の会2021年度" のページに行けます．
• 益岡 幸弘，"循環証明体系におけるカット除去の反例について"，RIMS 共同研究（公開型）「証明と計算の理論と応用」，December 2021
• このリンクから "RIMS 共同研究（公開型）「証明と計算の理論と応用」" のページに行けます．
• このリンクから "RIMS 共同研究（公開型）「証明と計算の理論と応用」" の講究録のページに行けます．
• 織田 幸弘，"プレスバーガー算術の循環証明体系"，SLACS2022，September 2022
• このリンク から "SLACS2022" のページに行けます．
• 織田 幸弘，"循環証明体系とプレスバーガー算術"，証明論シンポジウム 2022，December 2022
• このリンク から "証明論シンポジウム 2022" のページに行けます．
• 織田 幸弘，"循環証明体系のカット除去について"，第58回MLG数理論理学研究集会，February 2024
• このリンク から "第58回MLG数理論理学研究集会" のページに行けます．
• 織田 幸弘，"部分逆Hoare 論理（partial incorrectness logic）の証明体系"，第2回 若手による数理論理学研究集会，August 2024
• このリンク から "第2回 若手による数理論理学研究集会" のページに行けます．
• 織田 幸弘，"部分逆正当性のための論理"，第41回 記号論理と情報科学 研究集会（SLACS 2024），August 2024
• このリンク から "第41回 記号論理と情報科学 研究集会（SLACS 2024）" のページに行けます．