政治・経済・社会 数学 ベーシック圏論 普遍性からの速習コース