当日連絡はDiscordサーバーで行います．
概要
日程: 2026年2月7日(土), 8日(日)
場所: 国立情報学研究所(学術総合センター) 1208室
入館時に必要になる可能性があるので、当日は身分証明書をご持参ください
テーマ:
一日目: 広い意味で圏論に関わる学術的内容
二日目: 専門的な圏論の内容
参加費: 無料
発表・参加申し込み
旅費の補助に関する相談: できるだけ早く前原まで連絡をお願いします。（発表希望かつ研究費を持っていない学生の方向け）
発表申し込み締め切り: 1月10日(土)
参加申し込み締め切り: 1月21日(水)
スライド提出締め切り: 2月6日(金) 正午
参加申し込みフォーム: https://forms.gle/BwAs1XXYXZBnSNmy9
発表申し込みフォーム: https://forms.gle/s8xdDYzyre66cTB89（送信後の編集可）
12月20日追記: 参加と発表で申し込みフォームを分けました。既に申し込まれた方は、フォームを再度送信して頂く必要はありません。ただし発表希望の有無や発表の概要等を変更したい場合は、発表申し込みフォームのみ新規に送信をお願いします。
スライドの提出・参加キャンセルの連絡は前原までお願いします。
質問 セッション
質問セッションでは、事前に募集した質問をタネにして参加者同士で交流・議論を行います。
自分の分野に圏論が応用できるという噂を聞いたが、圏論の専門家に詳しい話を聞いてみたい
圏論の研究で行き詰ったので、関連する論文やアイディアを探している
このような仮説を立てたが、証明もしくは反例を思い付いたら教えてほしい
等、広く質問を募集します。頂いた質問は、当日会場のホワイトボードに掲示する予定です。
フォームはこちら: https://forms.gle/MNG3ssNoatZn6skU6
プログラム（暫定）
2月7日（土）
10:00 開場
10:00～11:00 質問セッション
11:00～12:00 招待講演: 蓮尾一郎（国立情報学研究所）
14:00～18:00 質問セッション・発表
18:30～ 懇親会
2月8日（日）
10:00～ 質問セッション・発表
発表題目・概要
圏論の使い方： 計算機科学の現場から（蓮尾一郎・招待講演）
計算機科学の現場で，圏論を使って大規模プロジェクトを運営してきた経験についてお話します．具体的には，(1) （ハイレベルで）計算機科学という分野で，圏論を知らない人にどのようにその価値をアピールしてきたのか（またその中でどのような成果が生まれたのか），(2) （テクニカルなレベルで）圏論を知らない計算機科学の学生さんにどういうふうに圏論を教えているのか，2方向からお話します．
参加申し込み者 (2025/12/20時点)
中上陽向
饗庭大地
黒木 亮汰
関山実
豊田陽基
万 一乂 (Yiyi Wan)
中村優希
川辺 治之
荒武永史
須田智晴
市川航士郎
新屋良磨
小泉淳之介
赤坂奎茉
近藤亮介
細田和範
伊藤勘吾
藤井宗一郎
洞龍弥
水野晋之介
前原悠究
河瀬 悠人
他 3名