やぎねこ "はじめての圏論　ブンゲン先生..." 2025年11月11日