今日は [1] 代数: 双線型形式と準双線型形式の行列表示, 逆形式や随伴写像の行列表示. [2] 代数トポロジー: 有限単体複体の自己準同型写像とそのホモロジー群への誘導準同型 の, トレースの交代和. 合計 11ページ分の勉強. 並行して, 公理的集合論入門の定式…