ss2025

PPLサマースクール2025
「依存型入門 - 基礎・応用・発展」（仮題）
 
日本ソフトウェア科学会 (JSSST) プログラミング論研究会 (PPL) 主催
日本ソフトウェア科学会第42回大会 併設企画
 
講師：叢 悠悠（東京科学大学）
講師：上村 太一（名古屋大学）
 
2025年9月2日(火) XX:XX〜XX:XX
東海大学品川キャンパスおよびオンラインのハイブリッド開催
このページは準備中です
 

ニュース †

↑

参加者向け情報 †

PPLサマースクール2025は対面を中心としたハイブリッド形式で開催いたします．大会自体は対面のみの開催であることにご注意ください．

  • Zoomでのオンライン配信を行う予定です．
  • 対面・オンライン参加者用の非同期的な質疑・交流の場（SlackあるいはDiscord等）を提供予定です．
↑

概要 †

TBA

↑

講師紹介（発表順） †

叢 悠悠（東京科学大学）

TBA

上村 太一（名古屋大学）

TBA

↑

プログラム †

（暫定案）

第1部：依存型付きプログラミング言語Agda，および，依存型を活用するシステム開発事例（講師：叢 悠悠 先生）

第2部：依存型の拡張としてのホモトピー型理論，Cubical Type Theory，および，Cubical Agda（講師：上村 太一 先生）

↑

参加費・参加申し込み †

TBA

↑

問い合わせ先 †

PPLサマースクール2025 幹事
川端 英之（広島市立大学）
E-mail: kawabata[at]hiroshima-cu.ac.jp

↑

過去のサマースクール †