論理と確率

• 久保田貴大 (東大) : 暗号安全性証明の確率ホーア論理を用いた形式的検証
  • 発表資料: [pdf]
• 竹内泉 (産総研) : 確率と論理学
  • 発表資料: [html] [pdf]
• 岡本賢吾 (首都大) : チャンネル理論と確率的シークエント　――　regularityの意味モデルを考える
  • 発表資料: [pdf]

  最終更新 11/18