講義ファイルはこちら。