離散数学＜第２版＞　情報工学レクチャーシリーズ