計算・言語・論理の研究集会 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 it's infinite reductions
名越 龍一
Maude による測定量子計算の代数的仕様記述
小峰 航
往復論法を用いた量化記号消去について
佐藤 拓海
再帰呼び出しを含む分離論理の部分正当性のための循環証明体系
新屋 良磨
星無し言語と群言語
佐藤 直人
量子算術演算回路の Maude による形式検証