para_para "はじめての圏論　ブンゲン先生..." 2026年6月29日