0x セミナー第 1 回
「Kan 拡張入門」