計算・言語・論理の研究集会 2023 御宿
日時
2023年8月21日（月）午後から 2023年8月24日（木）午前まで
参加者（記載希望者のみ）（部分参加含む）
- 新屋 良磨
- 木村 大輔
- 鈴木 悠大
- 中澤 巧爾
- 堀 弘昌
- 松田 直祐
- 中村 誠希
- 間庭 彬仁
- 竹田 侑人
- 五十里 大将
- 本田 真之
- 安部 達也
講演
- 堀 弘昌
- 無限証明体系と循環証明体系の証明能力同等性
- 中澤 巧爾
- 循環証明とカット除去
- 新屋 良磨
- 形式言語理論への測度論的アプローチ
- 竹田 侑人
- The computability theoretic and reverse mathematical analysis of Ramsey's Theorem
- 五十里 大将
- 2つ組ラムゼイ定理に対する保存拡大性（及び証明翻訳）
- 鈴木 悠大
- Π11-CA0 の Π12 部分について
- 本田 真之
- General topology on the second order arithmetic
- 間庭 彬仁
- TBA