計算・言語・論理の研究集会 2024 御宿
日時
2024年9月26日（木）午後から 2024年9月29日（日）午前まで
参加者（記載希望者のみ）（部分参加含む）
谷口 雅弥、中澤 巧爾、Lee Yeonseok（リ ヨンソク）、間庭 彬仁、高木 翼
木村 大輔、早乙女 献自、佐藤 拓海、鈴木 悠大、安部 達也、他 1 名
講演
- 高木 翼
- A Stone-type representation theorem for star-free dynamic orthomodular lattice
- 安部 達也
- リオーダリングのためのタイムスタンプ意味論
- 木村 大輔
- Cyclic T with lambda
- 谷口 雅弥
- ランベック計算と文脈自由文法・線形文法・正規文法
- 間庭 彬仁
- Intuitionistic intuitionistic logic
- Lee Yeonseok
- Incorrectness Separation Logic with Array and Pointer Arithmetic
- 早乙女 献自
- 循環証明体系におけるカット規則の除去と制限
- 佐藤 拓海
- 再帰呼び出しを含む分離論理の部分正当性のための循環証明体系
- 鈴木 悠大
- On infinite path principles