【告知】9月から不完全性定理、圏論、一般相対論のゼミが始まります