計算・言語・論理の研究集会 2024 御宿
日時
2024年9月26日（木）午後から 2024年9月29日（日）午前まで
参加者（記載希望者のみ）（部分参加含む）
- 谷口 雅弥
- 中澤 巧爾
- Lee Yeonseok（リ ヨンソク）
- 間庭 彬仁
- 高木 翼
- 木村 大輔
- 早乙女 献自
- 佐藤 拓海
- 鈴木 悠大
- 安部 達也
講演
高木 翼
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