計算・言語・論理の研究集会 2024 御宿
基本情報
- 日時
- 2024年9月26日（木）18:00 から 2024年9月29日（日）10:00 まで
- 場所
- 千葉工業大学御宿研修センター（「利用ガイド」をご一読ください）
- 少し坂を登った先にきちんとした門があるのでそこから入ってください
- 千葉県夷隅郡御宿町岩和田1320
- JR外房線御宿駅下車、徒歩18分
-
- 参加費
- 無料。ただし、宿泊・飲食を伴う場合は実費を別途徴収します。
参加者（記載希望者のみ）（部分参加含む）
- 谷口雅弥
- 中澤巧爾
- 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
講演者向け情報
- セミナー室、スクリーン・プロジェクタ（HDMI）
- ホワイトボード（メイン）、ホワイトボード（サブ）
開催履歴
2023
連絡先
世話人 安部達也 ⟨(λX.abe.XaXsuya@iX-chiba.ac.jp)t⟩