計算・言語・論理の研究集会 2025 御宿
日時
2025年6月27日（金）午後から 2025年6月30日（月）午前まで
参加者（記載希望者のみ）（部分参加含む）
谷口 雅弥、鈴木 悠大、木村 大輔、西澤 弘毅、小峰 航
一倉 海斗、高木 翼、林 騰、佐藤 直人、名越 龍一
新屋 良磨、間庭 彬仁、早乙女 献自、佐藤 拓海、安部 達也
講演
- 高木 翼
- A new semantics for epistemic logic from the perspective of many-valued interpretation
- 早乙女 献自
- 循環証明体系における代入規則
- 林 騰
- ベキ集合クオンテールと双対的な空間の発見・構築
- 鈴木 悠大
- 決定性公理と逆数学
- 安部 達也
- タイムスタンプ意味論のための合成可能な並行プログラム論理
- 補間式によるモデル検査の限定解除
- 谷口 雅弥
- 範疇文法の左再帰化定理 (有限言語から弱文脈依存文法まで)
- 一倉 海斗
- NQC 上の算術を通した論理公理の分析
- 間庭 彬仁
- Dichotomy on intuitionistic logic
- 木村 大輔
- Cyclic λ-calculus for Gödel's T and its infinite reductions
- 名越 龍一
- Maude による測定量子計算の代数的仕様記述
- 小峰 航
- 往復論法を用いた量化記号消去について
- 佐藤 拓海
- 再帰呼び出しを含む分離論理の部分正当性のための循環証明体系
- 新屋 良磨
- 星無し言語と群言語
- 佐藤 直人
- 量子算術演算回路の Maude による形式検証