告知：第一回層圏トポス寄せ鍋 日程:11月21日 土曜日 時間:10時から20時30分 待ち合わせ場所:日吉駅 9時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:11棟21番教室 こんにちは、圏論に興味ありませんか？圏論は、プログラム言語の背景として使…