付録

ここに講義の内容とは関係のないことを書いていきます。