2018年度「離散数学と計算の理論」配布資料（河内担当回）