ホモトピー理論による 線形モジュール追加型抽象階層を用いた 履修管理