Takahiro Hirano "はじめての圏論　ブンゲン先生..." 2026年2月23日